Jasmin Fisher

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 4

Top Topics

High Throughput

Biological Networks

Gene Expression

Top Venues

Publications

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
Executable network of SARS-CoV-2-host interaction predicts drug combination treatments. npj Digit. Medicine 5 (2022)
Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. 12 (1) (2018)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens
BTR: training asynchronous Boolean models using single-cell expression data. BMC Bioinform. 17 (2016)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) (2015)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR (2015)
Jasmin Fisher
Understanding biology through logic. CSL-LICS (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
Synthesis of biological models from mutation experiments. POPL (2013)
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
At the interface of biology and computation. CHI (2013)
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
spp. Nucleic Acids Res. 41 (Database-Issue) (2013)
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV (2013)
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV (2012)
Jasmin Fisher
Formal methods in cell Biology. FMCAD (2012)
Ariel Feiglin, Adar Hacohen, Avital Sarusi, Jasmin Fisher, Ron Unger, Yanay Ofran
Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks. Bioinform. 28 (21) (2012)
Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher
Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans. IPCAT (2012)
Jasmin Fisher, David Harel, Thomas A. Henzinger
Biology as reactivity. Commun. ACM 54 (10) (2011)
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
Dynamic Reactive Modules. CONCUR (2011)
Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
Proving Stabilization of Biological Systems. VMCAI (2011)
Jasmin Fisher, Nir Piterman, Moshe Y. Vardi
The Only Way Is Up. FM (2011)
Jasmin Fisher
Model Checking Cell Fate Decisions. SPIN (2011)
Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher
. Bioinform. 27 (13) (2011)
Antje Beyer, Peter Thomason, Xinzhong Li, James Scott, Jasmin Fisher
Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks. Trans. Comp. Sys. Biology 12 (2010)
Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3 (2009)
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB (2008)
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel
Toward Verified Biological Models. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (2) (2008)
Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher
Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst. Biol. 1 (2007)
Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger
Vulval Development. PLoS Comput. Biol. 3 (5) (2007)
Jasmin Fisher, Thomas A. Henzinger
Executable biology. WSC (2006)
Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB (2004)