Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem. - Kerstin Bauer; Thomas Fischer 003; Sven Oliver Krumke; Katharina Gerhardt; Stephan Westphal; Peter Merz (EvoCOP, 2008)

A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. - Kerstin Bauer; Raffaella Gentilini; Klaus Schneider 001 (Haifa Verification Conference, 2008)

A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem. - Thomas Fischer 003; Kerstin Bauer; Peter Merz (PPSN, 2008)

A Multilevel Approach for the Routing and Wavelength Assignment Problem. - Thomas Fischer 003; Kerstin Bauer; Peter Merz (SAINT, 2008)

Approximated Reachability on Hybrid Automata: Falsification meets Certification. - Kerstin Bauer; Raffaella Gentilini; Klaus Schneider 001 (RP, 2008)

Standardized Multimedia Retrieval based on Web Service technologies and the MPEG Query Format. - Mario Döller; Kerstin Bauer; Harald Kosch; Matthias Gruhne (J. Digit. Inf. Manag., 2008)

Property Driven Three-Valued Model Checking on Hybrid Automata. - Kerstin Bauer; Raffaella Gentilini; Klaus Schneider 001 (WoLLIC, 2009)

Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm. - Thomas Fischer 003; Kerstin Bauer; Peter Merz (Memetic Comput., 2009)

Predicting Events for the Simulation of Hybrid Systems. - Kerstin Bauer; Klaus Schneider 001 (CIT, 2010)

From synchronous programs to symbolic representations of hybrid systems. - Kerstin Bauer; Klaus Schneider 001 (HSCC, 2010)

A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. - Kerstin Bauer; Raffaella Gentilini; Klaus Schneider 001 (Int. J. Softw. Tools Technol. Transf., 2011)

A New Modelling Language for Cyber-physical Systems. - Kerstin Bauer (Verlag Dr. Hut, 2012)

Teaching cyber-physical systems: a programming approach. - Kerstin Bauer; Klaus Schneider 001 (WESE, 2012)

Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. - Xian Li 002; Kerstin Bauer; Klaus Schneider 001 (FedCSIS, 2013)