BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Russia
2 × USA
Collaborated with:
B.Cook J.Fisher N.Piterman J.Berdine C.Haase J.Ouaknine M.J.Parkinson A.Cox C.M.Wintersteiger A.S.Taylor C.Cockerton S.Bourton D.Benque K.Claessen Q.Wang B.A.Hall G.Juniwal M.Y.Vardi
Talks about:
biolog (3) model (3) network (2) separ (2) logic (2) tool (2) base (2) transduct (1) reachabl (1) interfac (1)

Person: Samin Ishtiaq

DBLP DBLP: Ishtiaq:Samin

Contributed to:

CAV 20142014
CAV 20132013
CHI 20132013
CAV 20122012
CAV 20112011

Wrote 7 papers:

CAV-2014-CookFHIJP #biology #modelling
Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
CAV-2013-ClaessenFIPW #model checking #network #reachability #set
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (KC, JF, SI, NP, QW), pp. 85–100.
CAV-2013-HaaseIOP #graph #logic #named #reasoning
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.
CHI-2013-TaylorPIFCCBB #biology #interface
At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
CAV-2012-BenqueBCCFIPTV #biology #modelling #named #network #visual notation
Bma: Visual Tool for Modeling and Analyzing Biological Networks (DB, SB, CC, BC, JF, SI, NP, AST, MYV), pp. 686–692.
CAV-2012-BerdineCIW #abstraction #analysis
Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.
CAV-2011-BerdineCI #memory management #named #safety
SLAyer: Memory Safety for Systems-Level Code (JB, BC, SI), pp. 178–183.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.