default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJasmin Fisher
Person information
- affiliation: University College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j12]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)
2010 – 2019
- 2019
- [p1]Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher:
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. Automated Reasoning for Systems Biology and Medicine 2019: 133-153 - 2018
- [j11]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): 59:1-59:7 (2018) - 2017
- [c17]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: 1-13 - 2016
- [j10]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: 355 (2016) - 2015
- [c16]Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse:
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) 2015: 544-560 - [i1]Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse:
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR abs/1505.05193 (2015) - 2014
- [c15]Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman:
Finding Instability in Biological Models. CAV 2014: 358-372 - [c14]Jasmin Fisher:
Understanding biology through logic. CSL-LICS 2014: 3:1 - 2013
- [j9]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:
WormQTL - public archive and analysis web portal for natural variation data in Caenorhabditis spp. Nucleic Acids Res. 41(Database-Issue): 738-743 (2013) - [c13]Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang:
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV 2013: 85-100 - [c12]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: 493-502 - [c11]Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman:
Synthesis of biological models from mutation experiments. POPL 2013: 469-482 - 2012
- [j8]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): 2811-2818 (2012) - [c10]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: 686-692 - [c9]Jasmin Fisher:
Formal methods in cell Biology. FMCAD 2012: 1 - [c8]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: 99-104 - 2011
- [j7]Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher:
The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae. Bioinform. 27(13): 283-287 (2011) - [j6]Jasmin Fisher, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011) - [c7]Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418 - [c6]Jasmin Fisher, Nir Piterman, Moshe Y. Vardi:
The Only Way Is Up. FM 2011: 3-11 - [c5]Jasmin Fisher:
Model Checking Cell Fate Decisions. SPIN 2011: 1 - [c4]Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman:
Proving Stabilization of Biological Systems. VMCAI 2011: 134-149 - 2010
- [j5]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: 146-162 (2010)
2000 – 2009
- 2009
- [j4]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: 118 (2009) - 2008
- [j3]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): 223-234 (2008) - [c3]Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32 - [e1]Jasmin Fisher:
Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Lecture Notes in Computer Science 5054, Springer 2008, ISBN 978-3-540-68410-7 [contents] - 2007
- [j2]Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher:
Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst. Biol. 1: 4 (2007) - [j1]Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger:
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Comput. Biol. 3(5) (2007) - 2006
- [c2]Jasmin Fisher, Thomas A. Henzinger:
Executable biology. WSC 2006: 1675-1682 - 2004
- [c1]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: 236-241
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
