Kerstin Bauer

	2011
11		Kerstin Bauer, Raffaella Gentilini, Klaus Schneider: A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. STTT 13(3): 273-287 (2011)
	2010
10		Kerstin Bauer, Klaus Schneider: Predicting Events for the Simulation of Hybrid Systems. CIT 2010: 1833-1840
9		Kerstin Bauer, Klaus Schneider: From synchronous programs to symbolic representations of hybrid systems. HSCC 2010: 41-50
	2009
8		Kerstin Bauer, Raffaella Gentilini, Klaus Schneider: Property Driven Three-Valued Model Checking on Hybrid Automata. WoLLIC 2009: 218-229
7		Thomas Fischer, Kerstin Bauer, Peter Merz: Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm. Memetic Computing 1(2): 101-123 (2009)
	2008
6		Kerstin Bauer, Thomas Fischer, Sven Oliver Krumke, Katharina Gerhardt, Stephan Westphal, Peter Merz: Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem. EvoCOP 2008: 158-169
5		Kerstin Bauer, Raffaella Gentilini, Klaus Schneider: A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Haifa Verification Conference 2008: 38-52
4		Thomas Fischer, Kerstin Bauer, Peter Merz: A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem. PPSN 2008: 879-888
3		Thomas Fischer, Kerstin Bauer, Peter Merz: A Multilevel Approach for the Routing and Wavelength Assignment Problem. SAINT 2008: 225-228
2		Kerstin Bauer, Raffaella Gentilini, Klaus Schneider: Approximated Reachability on Hybrid Automata: Falsification meets Certification. Electr. Notes Theor. Comput. Sci. 223: 47-60 (2008)
1		Mario Döller, Kerstin Bauer, Harald Kosch, Matthias Gruhne: Standardized Multimedia Retrieval based on Web Service technologies and the MPEG Query Format. JDIM 6(4): 315-331 (2008)

Coauthor Index

1	Mario Döller	[1]
2	Thomas Fischer	[3] [4] [6] [7]
3	Raffaella Gentilini	[2] [5] [8] [11]
4	Katharina Gerhardt	[6]
5	Matthias Gruhne	[1]
6	Harald Kosch	[1]
7	Sven Oliver Krumke	[6]
8	Peter Merz	[3] [4] [6] [7]
9	Klaus Schneider	[2] [5] [8] [9] [10] [11]
10	Stephan Westphal	[6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page