Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2023 | Journal Article | LibreCat-ID: 48871
Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up Evolutionary Algorithms?” Theoretical Computer Science, 2023, 113757. https://doi.org/10.1016/j.tcs.2023.113757.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48862
Bossek, Jakob, and Dirk Sudholt. “Do Additional Optima Speed up Evolutionary Algorithms?” In Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 1–11. New York, NY, USA: Association for Computing Machinery, 2021.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI