Jasmin Fisher

According to our database, Jasmin Fisher authored at least 30 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Executable network of SARS-CoV-2-host interaction predicts drug combination treatments.

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

npj Digit. Medicine, 2022

2019

Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.

Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2018

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data.

Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher

BMC Syst. Biol., 2018

2017

Bringing LTL Model Checking to Biologists.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

BTR: training asynchronous Boolean models using single-cell expression data.

Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens

BMC Bioinform., 2016

2015

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data.

Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Understanding biology through logic.

Jasmin Fisher

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Finding Instability in Biological Models.

Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

WormQTL - public archive and analysis web portal for natural variation data in <i>Caenorhabditis</i> spp.

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

Nucleic Acids Res., 2013

Synthesis of biological models from mutation experiments.

Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

At the interface of biology and computation.

Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.

Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks.

Ariel Feiglin, Adar Hacohen, Avital Sarusi, Jasmin Fisher, Ron Unger, Yanay Ofran

Bioinform., 2012

Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans.

Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher

Proceedings of the Information Processign in Cells and Tissues, 2012

Formal methods in cell Biology.

Jasmin Fisher

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Bma: Visual Tool for Modeling and Analyzing Biological Networks.

David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Biology as reactivity.

Jasmin Fisher, David Harel, Thomas A. Henzinger

Commun. ACM, 2011

The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in <i>Saccharomyces cerevisiae</i>.

Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher

Bioinform., 2011

Proving Stabilization of Biological Systems.

Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Model Checking Cell Fate Decisions.

Jasmin Fisher

Proceedings of the Model Checking Software, 2011

The Only Way Is Up.

Jasmin Fisher, Nir Piterman, Moshe Y. Vardi

Proceedings of the FM 2011: Formal Methods, 2011

Dynamic Reactive Modules.

Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks.

Antje Beyer, Peter Thomason, Xinzhong Li, James Scott, Jasmin Fisher

Trans. Comp. Sys. Biology, 2010

2009

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.

Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher

BMC Syst. Biol., 2009

2008

Toward Verified Biological Models.

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.

Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007

Predictive Modeling of Signaling Crosstalk during <i>C. elegans</i> Vulval Development.

Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger

PLoS Comput. Biol., 2007

Qualitative networks: a symbolic approach to analyze biological signaling networks.

Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher

BMC Syst. Biol., 2007

2006

Executable biology.

Jasmin Fisher, Thomas A. Henzinger

Proceedings of the Winter Simulation Conference WSC 2006, 2006

2004

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.

Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004