Jana Fabriková

	2011
4		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod 2011: 97-112
3		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR abs/1107.5924: (2011)
	2009
2		Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma: BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD 2009: 31-45
1		Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek: On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410(33-34): 3128-3148 (2009)

Coauthor Index

1	Jiri Barnat	[1] [2]
2	Lubos Brim	[1] [2] [3] [4]
3	Ivana Cerná (Ivana Cerna)	[1] [2]
4	Sven Drazan	[1] [2] [3] [4]
5	Jan Láník	[2]
6	Hongwu Ma	[2]
7	David Safránek	[1] [2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page