Jasmin Fisher

	2012
14		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
13		Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi: Dynamic Reactive Modules. CONCUR 2011: 404-418
12		Jasmin Fisher, Nir Piterman, Moshe Y. Vardi: The Only Way Is Up. FM 2011: 3-11
11		Jasmin Fisher: Model Checking Cell Fate Decisions. SPIN 2011: 1
10		Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman: Proving Stabilization of Biological Systems. VMCAI 2011: 134-149
9		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. Bioinformatics [ISMB/ECCB] 27(13): 283-287 (2011)
8		Jasmin Fisher, David Harel, Thomas A. Henzinger: Biology as reactivity. Commun. ACM 54(10): 72-82 (2011)
	2010
7		Antje Beyer, Peter Thomason, Xinzhong Li, James Scott, Jasmin Fisher: Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks. T. Comp. Sys. Biology 12: 146-162 (2010)
	2008
6		Jasmin Fisher: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings Springer 2008
5		Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32
4		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. Biology Bioinform. 5(2): 223-234 (2008)
	2007
3		Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger: Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Computational Biology 3(5): (2007)
	2006
2		Jasmin Fisher, Thomas A. Henzinger: Executable biology. Winter Simulation Conference 2006: 1675-1682
	2004
1		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

1	Yishai Admanit	[4]
2	Dan Barak	[4]
3	Antje Beyer	[7] [14]
4	Nicola Bonzanni	[9]
5	Byron Cook	[10]
6	Ralf Eberhard	[14]
7	Alex Hajnal	[3] [14]
8	David Harel	[1] [4] [8]
9	Michael O. Hengartner	[14]
10	Thomas A. Henzinger	[2] [3] [5] [8] [13]
11	E. Jane Albert Hubbard	[1] [4]
12	Elzbieta Krepska	[10]
13	Xinzhong Li	[7]
14	Maria Mateescu	[5]
15	Dejan Nickovic	[13]
16	Stephen G. Oliver	[9]
17	Nir Piterman	[1] [3] [5] [10] [12] [13] [14]
18	Avital Sadot	[4]
19	James Scott	[7]
20	Anmol V. Singh	[13]
21	Michael J. Stern	[1] [4]
22	Naamah Swerdlin	[1]
23	Peter Thomason	[7]
24	Moshe Y. Vardi	[12] [13]
25	Nianshu Zhang	[9]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page