Jasmin Fisher
Journal Papers

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    • Fisher J and Henzinger T.A, Executable Cell Biology, in Nature Biotechnology, vol. 25, no. 11, pp. 1239-1249, November 2007

    2005

    2003

    2002

    2001

    Book Chapters

      2013

      • Fisher J and Piterman N, Model Checking in Biology, in System Theoretic and Computational Perspectives in Systems and Synthetic Biology, Springer Verlag, 2013

      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

        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

        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