( en | de | ru )

 

Disambiguation of "Bauer, Kerstin"

Author of the publication

copydeleteadd this publication to your clipboard
Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm.

, , and . Memetic Computing, 1 (2): 101-123 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kerstin Bauer

Kerstin Bauer

Kerstin Bauer

Kerstin Bauer

Kerstin Bauer

 

Other publications of authors with the same name

Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm., , and . Memetic Computing, 1 (2): 101-123 (2009)A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata., , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 38-52. Springer, (2008)Predicting Events for the Simulation of Hybrid Systems., and . CIT, page 1833-1840. IEEE Computer Society, (2010)Teaching cyber-physical systems: a programming approach., and . WESE, page 3. ACM, (2012)A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata., , and . Int. J. Softw. Tools Technol. Transf., 13 (3): 273-287 (2011)Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem., , , , , and . EvoCOP, volume 4972 of Lecture Notes in Computer Science, page 158-169. Springer, (2008)Property Driven Three-Valued Model Checking on Hybrid Automata., , and . WoLLIC, volume 5514 of Lecture Notes in Computer Science, page 218-229. Springer, (2009)A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem., , and . PPSN, volume 5199 of Lecture Notes in Computer Science, page 879-888. Springer, (2008)Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera., , and . FedCSIS, page 1393-1400. (2013)Approximated Reachability on Hybrid Automata: Falsification meets Certification., , and . RP, volume 223 of Electronic Notes in Theoretical Computer Science, page 47-60. Elsevier, (2008)