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: Fisher:Jasmin
Contributed to:
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.
- FM-2011-FisherPV
- 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.