Sven Drazan

	2011
5		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod 2011: 97-112
4		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR abs/1107.5924: (2011)
	2009
3		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
2		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)
	2008
1		Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008)

Coauthor Index

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

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