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 (CMSB, 2004)

Executable biology. - Jasmin Fisher; Thomas A. Henzinger (WSC, 2006)

Qualitative networks: a symbolic approach to analyze biological signaling networks. - Marc A. Schaub; Thomas A. Henzinger; Jasmin Fisher (BMC Syst. Biol., 2007)

Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. - Jasmin Fisher; Nir Piterman; Alex Hajnal; Thomas A. Henzinger (PLoS Comput. Biol., 2007)

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. - Jasmin Fisher; Thomas A. Henzinger; Maria Mateescu; Nir Piterman (FMSB, 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)

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)

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)

Dynamic Reactive Modules. - Jasmin Fisher; Thomas A. Henzinger; Dejan Nickovic; Nir Piterman; Anmol V. Singh; Moshe Y. Vardi (CONCUR, 2011)

The Only Way Is Up. - Jasmin Fisher; Nir Piterman; Moshe Y. Vardi (FM, 2011)

Model Checking Cell Fate Decisions. - Jasmin Fisher (SPIN, 2011)

Proving Stabilization of Biological Systems. - Byron Cook; Jasmin Fisher; Elzbieta Krepska; Nir Piterman (VMCAI, 2011)

The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae. - Nicola Bonzanni; Nianshu Zhang; Stephen G. Oliver; Jasmin Fisher (Bioinform., 2011)

Biology as reactivity. - Jasmin Fisher; David Harel; Thomas A. Henzinger (Commun. ACM, 2011)

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 (CAV, 2012)

Formal methods in cell Biology. - Jasmin Fisher (FMCAD, 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 (IPCAT, 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)

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. - Koen Claessen; Jasmin Fisher; Samin Ishtiaq; Nir Piterman; Qinsi Wang (CAV, 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é (CHI, 2013)

Synthesis of biological models from mutation experiments. - Ali Sinan Köksal; Yewen Pu; Saurabh Srivastava 001; Rastislav Bodík; Jasmin Fisher; Nir Piterman (POPL, 2013)

WormQTL - public archive and analysis web portal for natural variation data in Caenorhabditis spp. - L. Basten Snoek; K. Joeri van der Velde; Danny Arends; Yang Li 036; Antje Beyer; Mark Elvin; Jasmin Fisher; Alex Hajnal; Michael O. Hengartner; Gino B. Poulin; Miriam Rodriguez; Tobias Schmid; et al. (Nucleic Acids Res., 2013)

Finding Instability in Biological Models. - Byron Cook; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Garvit Juniwal; Nir Piterman (CAV, 2014)

Understanding biology through logic. - Jasmin Fisher (CSL-LICS, 2014)

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. - Jasmin Fisher; Ali Sinan Köksal; Nir Piterman; Steven Woodhouse (CAV (1), 2015)

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)

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 (VMCAI, 2017)

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)

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 (Automated Reasoning for Systems Biology and Medicine, 2019)

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)