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 × France
1 × Ireland
1 × Italy
1 × Russia
2 × Austria
3 × USA
Collaborated with:
N.Piterman B.Cook S.Ishtiaq M.Y.Vardi A.S.Köksal S.Woodhouse E.Krepska A.S.Taylor C.Cockerton S.Bourton D.Benque K.Claessen Q.Wang B.A.Hall G.Juniwal Y.Pu S.Srivastava R.Bodík
Talks about:
biolog (6) model (4) network (3) gene (2) understand (1) regulatori (1) transduct (1) synthesis (1) synthesi (1) reachabl (1)

Person: Jasmin Fisher

DBLP DBLP: Fisher:Jasmin

Contributed to:

CAV 20152015
CAV 20142014
CSL-LICS 20142014
CAV 20132013
CHI 20132013
POPL 20132013
CAV 20122012
FM 20112011
VMCAI 20112011

Wrote 9 papers:

CAV-2015-FisherKPW #execution #network
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.
CAV-2014-CookFHIJP #biology #modelling
Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
LICS-CSL-2014-Fisher #biology #comprehension #logic
Understanding biology through logic (JF), p. 1.
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.
CHI-2013-TaylorPIFCCBB #biology #interface
At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
POPL-2013-KoksalPSBFP #biology #modelling #synthesis
Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.
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.
The Only Way Is Up (JF, NP, MYV), pp. 3–11.
VMCAI-2011-CookFKP #biology #proving
Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.

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.