Jasmin Fisher

32 papers A* 5B 5Misc 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
Executable network of SARS-CoV-2-host interaction predicts drug combination treatments.
npj Digit. Medicine
Rowan S. M. Howell, Matthew A. Clarke, Ann-Kathrin Reuschl, Tianyi Chen, Sean Abbott-Imboden, Mervyn Singer, David M. Lowe, Clare L. Bennett, Benjamin Chain, Clare Jolly, Jasmin Fisher
2019 — ch.
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.
Automated Reasoning for Systems Biology and Medicine
Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher
2018 J jnl
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data.
BMC Syst. Biol.
Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
2017 B conf
Bringing LTL Model Checking to Biologists.
VMCAI
Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2016 J jnl
BTR: training asynchronous Boolean models using single-cell expression data.
BMC Bioinform.
Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens
2015 — conf
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data.
CAV (1)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
2015 J jnl
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data.
CoRR
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
2014 A* conf
Finding Instability in Biological Models.
CAV
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
2014 — conf
Understanding biology through logic.
CSL-LICS
Jasmin Fisher
2013 A* conf
At the interface of biology and computation.
CHI
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
2013 A* conf
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.
CAV
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
2013 A* conf
Synthesis of biological models from mutation experiments.
POPL
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
2013 J jnl
WormQTL - public archive and analysis web portal for natural variation data in
Nucleic Acids Res.
L. Basten Snoek, K. Joeri van der Velde, Danny Arends, Yang Li, Antje Beyer, Mark Elvin, Jasmin Fisher, Alex Hajnal, Michael O. Hengartner, Gino B. Poulin, Miriam Rodriguez, Tobias Schmid, Sabine Schrimpf, Feng Xue, Ritsert C. Jansen, Jan E. Kammenga, Morris A. Swertz
2012 A* conf
Bma: Visual Tool for Modeling and Analyzing Biological Networks.
CAV
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
2012 B conf
Formal methods in cell Biology.
FMCAD
Jasmin Fisher
2012 — conf
Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans.
IPCAT
Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher
2012 J jnl
Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks.
Bioinform.
Ariel Feiglin, Adar Hacohen, Avital Sarusi, Jasmin Fisher, Ron Unger, Yanay Ofran
2011 J jnl
Biology as reactivity.
Commun. ACM
Jasmin Fisher, David Harel, Thomas A. Henzinger
2011 B conf
Dynamic Reactive Modules.
CONCUR
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
2011 — conf
Model Checking Cell Fate Decisions.
SPIN
Jasmin Fisher
2011 B conf
Proving Stabilization of Biological Systems.
VMCAI
Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
2011 B conf
The Only Way Is Up.
FM
Jasmin Fisher, Nir Piterman, Moshe Y. Vardi
2011 J jnl
The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in
Bioinform.
Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher
2010 J jnl
Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks.
Trans. Comp. Sys. Biology
Antje Beyer, Peter Thomason, Xinzhong Li, James Scott, Jasmin Fisher
2009 J jnl
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.
BMC Syst. Biol.
Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
2008 — conf
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
FMSB
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
2008 — ed.
Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
FMSB
Jasmin Fisher
2008 J jnl
Toward Verified Biological Models.
IEEE ACM Trans. Comput. Biol. Bioinform.
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel
2007 J jnl
Predictive Modeling of Signaling Crosstalk during
PLoS Comput. Biol.
Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger
2007 J jnl
Qualitative networks: a symbolic approach to analyze biological signaling networks.
BMC Syst. Biol.
Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher
2006 Misc conf
Executable biology.
WSC
Jasmin Fisher, Thomas A. Henzinger
2004 — conf
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.
CMSB
Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin