| 2008 |
|---|
| 5 | EE | 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 |
| 4 | EE | 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 |
| 3 | EE | Thomas Fischer,
Kerstin Bauer,
Peter Merz:
A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem.
PPSN 2008: 879-888 |
| 2 | EE | Thomas Fischer,
Kerstin Bauer,
Peter Merz:
A Multilevel Approach for the Routing and Wavelength Assignment Problem.
SAINT 2008: 225-228 |
| 1 | EE | Kerstin Bauer,
Raffaella Gentilini,
Klaus Schneider:
Approximated Reachability on Hybrid Automata: Falsification meets Certification.
Electr. Notes Theor. Comput. Sci. 223: 47-60 (2008) |
