Kerstin Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2013
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FedCSIS | Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. | Xian Li, Kerstin Bauer, Klaus Schneider |
| 2009 | WoLLIC | Property Driven Three-Valued Model Checking on Hybrid Automata. | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
| 2008 | PPSN | A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem. | Thomas Fischer, Kerstin Bauer, Peter Merz |