Sergiy Bogomolov

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c3		Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle: A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV 2012: 479-494
	2010
c2		Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski: Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA 2010: 67-81
c1		Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen: Shape-based Barrier Estimation for RNAs. GCB 2010: 41-50

Coauthor Index

1	Rolf Backofen	[c1]
2	Goran Frehse	[c3]
3	Radu Grosu	[c3]
4	Hamed Ladan	[c3]
5	Martin Mann	[c1]
6	Corina Mitrohin (Corina Apachite)	[c2]
7	Andreas Podelski	[c3] [c2] [c1]
8	Björn Voß (Björn Voss)	[c1]
9	Martin Wehrle	[c3]

Last update Thu May 23 02:27:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page