Jasmin Fisher
Journal Papers
2013
- Moignarg V., Woodhouse S., Fisher J., and Gottgens B., Transcriptional Hierarchies Regulating Early Blood Cell Development, in the oven... Submitted March, 2013
- Ilsley G., Fisher J., Apweiler R., DePace A., and Luscombe N., Cellular resolution models of cis-regulatory input function in the entire Drosophila embryo, in the oven... Submitted January, 2013
2012
- Snoek B., van der Velde K., Arends D., Li Y., Beyer A., Elvin M., Fisher J., Hajnal A., Hengartner M., Poulin G., Rodriguez M., Schmid T., Schrimpf S., Xue F., Jansen R., Kammenga J., and Swertz M., WormQTL – Public archive and analysis web portal for natural variation data in Caenorhabditis spp, in Nucleic Acids Research 40(21): 1-6, Oxford University Press, November 2012
- Feiglin A., Hacohen A., Sarusi A., Fisher J., Unger R., and Ofran Y., Static Network Structure Can Be Used to Model the Phenotypic Effects of Perturbations in Regulatory Networks, in Bioinformatics, 28(21): 2811–2818, Oxford University Press, October 2012
- Nusser-Stein S., Beyer A., Rimann I., Adamczyk M., Piterman N., Hajnal A., and Fisher J., Cell-Cycle Regulation of NOTCH Signaling during C. elegans Vulval Development, in Molecular Systems Biology, Featured Article 8:618, Nature Publishing Group, October 2012
2011
- Bonzanni N., Zhang N., Oliver S.G., and Fisher J., The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in S. cerevisiae, in Bioinformatics, Vol. 27, pages i283–i287, 2011
- Fisher J., Harel D., and Henzinger T.A., Biology as Reactivity, in Communication of the ACM 54 (10): 72-82, 2011
2010
- Beyer A., Thomason P., Li X., Scott J., and Fisher J., Mechanistic Insights into Metabolic Disturbance during Type-II Diabetes and Obesity using Qualitative Networks , in Transactions on Computational Systems Biology, LNBI 5945, pp. 146–162 , January 2010
- Fisher J. and Piterman N., The Executable Pathway to Biological Networks, in Briefings in Functional Genomics and Proteomics 9(1): 79-92., Oxford University Press, January 2010
2009
- Wang D., Cardelli L., Phillips A., Piterman N., and Fisher J., Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics, in BMC Systems Biology 3:118, 22 December 2009
2008
- Kam N., Kugler H., Marelly R., Appleby L., Fisher J., A. Pnueli, D. Harel, M.J. Stern, and E.J.A. Hubbard, A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification , in Developmental Biology, vol. 323, no. 1, pp. 1-5, Elsevier , August 2008
- Fisher J. and Henzinger T.A., Dichotomies between computational and mathematical models (Correspondence), in Nature Biotechnology , vol. 26, no. 7, pp. 737-8;738-9, 2008
- Sadot A., Fisher J., Barak D., Admanit Y., Stern M.J., Hubbard E.J.A., and Harel D., Towards Verified Biological Models, in IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 5, pp. 1-12, January 2008
2007
- Fisher J. and Henzinger T.A., Executable Cell Biology, in Nature Biotechnology, vol. 25, no. 11, pp. 1239-1249, November 2007
- Fisher J., Piterman N., Hajnal A., & Henzinger, T.A. Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Computational Biology. 3(5):e92, 2007.
- Schaub M.A., Henzinger, T.A., & Fisher J. Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks. BMC Systems Biology. 1:4, 2007.
2005
- Fisher J., Piterman N., Hubbard J., Stern M., & Harel D. Computational insights into C. elegans vulval development. PNAS 102(6):1951-1956, 2005. [Supporting Information].
See also Nature Reviews Genetics 6(4):255, 2005. [html].
2003
- Schwartz M., Shaked I., Fisher J., Mizrahi T., & Schori H. Protective autoimmunity against the enemy within: fighting glutamate toxicity. Trends in Neuroscience 26(6):297-302, 2003.
2002
- Wolf S., Fisher J., Bechman I., Steiner B., Kwidzinski E., & Nitsch R. Neuroprotection by T-cells depends on their subtype and activation state. Journal of Neuroimmunology 133:72-80, 2002.
2001
- Fisher J., Mizrahi T., Schori H., Yoles E., Levkovich-Verbin H., Haggiag S., Ravel M., & Schwartz M. Increased post-traumatic survival of neurons in IL-6 knockout mice on a background of EAE susceptibility. Journal of Neuroimmunology 119:1-9, 2001.
- Fisher J., Levkovitch-Verbin H., Schori H., Yoles E., Butovsky O., Kaye J.F., Ben-Nun A., & Schwartz M. Vaccination for neuroprotection in the mouse optic nerve: Implications for optic neuropathies. The Journal of Neuroscience 21(1):136-142, 2001.
Book Chapters
2013
- Fisher J. and Piterman N., Model Checking Cell Biology, in System Theoretic and Computational Perspectives in Systems and Synthetic Biology, to appear, Springer Verlag, 2013
2012
- Beyer A., Eberhard R., Piterman N., Hengartner M., Hajnal A., and Fisher J., A Dynamic Physical Model of Cell Migration, Differentiation and Apoptosis in Caenorhabditis elegans, in Advances in Systems Biology, Springer, 2012
2010
- Fisher J. and Harel D., On Statecharts for Biology, in Symbolic Systems Biology: Theory and Methods, Jones and Bartlett Publishers, 2010
Refereed Conference Papers
2013
- Claessen K., Fisher J., Ishtiaq S., Piterman N., and Wang Q., Model-Checking Signal Transduction Networks through Decreasing Reachability Sets, in Computer Aided Verification (CAV), 2013
- Koksal A.S., Pu Y., Srivastava S., Bodik R., Piterman N., and Fisher J, Synthesis of Biological Models from Mutation Experiments, in Principles of Programming Languages (POPL), ACM, 2013
- Taylor A.S, Piterman N., Ishtiaq S., Fisher J., Cook B., Cockerton C., Bourton S., and Benque D., At the Interface of Biology and Computation, in Conference on Human-Computer Interaction (CHI), ACM, 2013
2012
- Benque D., Bourton S., Cockerton C., Cook B., Fisher J., Ishtiaq S., Piterman N., Taylor A., and Vardi M., Bio Model Analyzer: Visual Tool for Modeling and Analysis of Biological Networks, in Computer Aided Verification (CAV) 2012. LNCS 7358, pp. 686–692 , Springer Verlag, July 2012
- Beyer A., Eberhard R., Piterman N., Hengartner M., Hajnal A., and Fisher J., Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans, in 9th International Conference on Information Processing in Cells and Tissues (IPCAT), LNCS 7223, pp. 99–104, Springer Verlag, 2012
2011
- Fisher J., Henzinger T., Nickovic D., Piterman N., Singh A., and Vardi M., Dynamic Reactive Modules, in 22nd International Conference on Concurrency Theory, LNCS 6901, pp. 404–418, Springer Verlag, September 2011
- Fisher J., Piterman N., and Vardi Y.M., The Only Way Is Up: On A Tower of Abstractions for Biology, in 17th International Symposium on Formal Methods, LNCS 6664, pp. 3–11 , Springer Verlag, June 2011
- Cook B., Fisher J., Krepska E., and Piterman N., Proving Stabilization of Biological Systems, in 12th International Conference on Verification, Model Checking, and Abstract Interpretation Conference VMCAI'11. R. Jhala and D. Schmidt (Eds.), LNCS vol. 6538, pp 134-149 , Springer Verlag, January 2011
2008
- L. Church, K. Apagyi, and J. Fisher, Languages for Biological Models: Importance, Implications and Challenges - A Work In Progress, in Proceedings of the Psychology of Programming Interest Group, January 2008
- J. Fisher, T.A. Henzinger, M. Mateescu, and N. Piterman, Bounded Asynchrony: A biologically-inspired notion of concurrency, in Proceedings of FMSB ’08 Cambridge, UK, Springer, January 2008
2007
- Marc Schaub, April Bezdek, Thomas Henzinger, Freddy Radtke, and Jasmin Fisher, Qualitative Crosstalk Analysis of Wnt and Notch Signaling in Mammalian Skin, in RECOMB Systems Biology, ’07 San Diego, CA, Springer, January 2007
2006
- Fisher J. & Henzinger T. A. Executable Biology. Proc. of the Winter Simulation Conference - Track on Modeling and Simulation in Computational Biology. pp. 1675-1682, 2006.
2004
- Fisher J., Harel D., Hubbard J., Piterman N., Stern M., & Swerdlin N. Combining state-based and scenario-based approaches in modeling biological systems. Proc. of Computational Methods in Systems Biology (CMSB '04), Lecture Notes in Bioinformatics, Vol. 3082, pp. 236-241, Springer-Verlag, 2004.
