Fleischer, R.; Fries, O.; Mehlhorn, K.; Meiser, S.; Näher, S.; Rohnert, H.; Schirra, S.; Simon, K.; Tsakalidis, A.; Uhrig, C.: Selected Topics from Computational Geometry, Data Structures and Motion Planning. In: Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative, S. 25 - 43 (Hg. Monien, B.; Ottmann, T.). Springer, Berlin, Germany (1992)

Ganzinger, H.; Stuber, J.: Inductive Theorem Proving by Consistency for First‐order Clauses. In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, S. 441 - 462 (Hg. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Wiesbaden (1992)

Hanus, M.: Logic Programming with Type Specifications. In: Types in Logic Programming, S. 91 - 140 (Hg. Pfenning, F.). MIT Press, Cambridge, USA (1992)

Klein, R.; Mehlhorn, K.; Meiser, S.: Randomized incremental construction of abstract Voronoi diagrams. In: Informatik---Festschrift zum 60.~Geburtstag von Günter Hotz, Bd. 1, S. 283 - 308 (Hg. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Stuttgart, Germany (1992)

Nonnengart, A.; Ohlbach, H. J.: Modal- und Temporallogik. In: Deduktionssysteme - Automatisierung des logischen Denkens, S. 239 - 284 (Hg. Bläsius, K. H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)

Basin, D.; Kaufmann, M.: The Boyer-Moore Prover and Nuprl: An Experimental Comparison. In: Logical Frameworks, S. 90 - 119 (Hg. Huet, G.; Plotkin, G.). Cambridge University Press, Cambridge (1991)

Seidel, H.-P.: Universal Splines and Geometric Continuity. In: Curves and Surfaces, S. 437 - 444 (Hg. Laurent, P.-}.; Le Méhauté, A.; Schumaker, L. L.). Academic Press, San Diego, CA (1991)

Kaufmann, M.; Mehlhorn, K.: Routing Problems in Grid Graphs. In: Paths, Flows, and VLSI-Layout (Hg. Korte, B.; Lovász, L.; Prömel, H. J.; Schrijver, A.). Springer, Berlin, Germany (1990)

Mehlhorn, K.; Tsakalidis, A.: Data Structures. In: Handbook of Theoretical Computer Science, S. 301 - 341 (Hg. Leeuwen, J.). Elsevier/MIT, Amsterdam, The Netherlands (1990)

Lengauer, T.; Mehlhorn, K.: VLSI complexity, efficient VLSI algorithms and the HILL design system. In: Algorithmics for VLSI, S. 33 - 89 (Hg. Trullemans, C.). Academic Press, London ; Orlando (1986)

Gardner, J.; Egger, B.; Smith, W.; Theobalt, C.; Wuhrer, S. (Hg.): 3D Morphable Models and Beyond (Dagstuhl Reports, 12). Dagstuhl Seminar 22121 "3D Morphable Models and Beyond", Dagstuhl, Germany, 2022 - 2015-05-08. Schloss Dagstuhl, Wadern (2022)

Kaffee, L.-A.; Razniewski, S.; Amaral, G.; Alghamdi, K. S. (Hg.): Wikidata Workshop 2022 (CEUR Workshop Proceedings, 3262). 3rd Wikidata Workshop, Virtual Event, Hangzhou, China. CEUR-WS (2022)

Singhania, S.; Nguyen, T.-P.; Razniewski, S. (Hg.): Knowledge Base Construction from Pre-trained Language Models 2022 (CEUR Workshop Proceedings, 3274). Semantic Web Challenge on Knowledge Base Construction from Pre-trained Language Models, Virtual Event, Hanghzou, China, 2022-10. CEUR-WS (2022)

Balog, K.; Setty, V.; Lioma, C.; Liu, Y.; Zhang, M.; Berberich, K. (Hg.): ICTIR '20. ACM SIGIR International Conference on Theory of Information Retrieval , Virtual Event, Norway, 14. September 2020 - 17. September 2020. ACM, New York, NY (2020)

Bhattacharya, A.; Natarajan, S.; Saha Roy, R. (Hg.): Proceedings of the 7th ACM IKDD CoDS and 25th COMAD. ACM India Joint International Conferenceon Data Science and Management of Data , Hyderabad, India, 05. Januar 2020 - 07. Januar 2020. ACM, New York, NY (2020)

Blanchette, J.; Hriţcu, C. (Hg.): CPP '20. 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, New Orleans, LA, USA, 20. Januar 2020 - 21. Januar 2020. ACM, New York, NY (2020)

Han, D.; Feldmann, A. (Hg.): CoNEXT '20: Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. 16th International Conference on Emerging Networking Experiments and Technologies, Barcelona, Spain (Virtual Event), 01. Dezember 2020 - 04. Dezember 2020. ACM, New York, NY (2020)

Egger, B.; Smith, W.; Theobalt, C.; Vetter, T. (Hg.): 3D Morphable Models (Dagstuhl Reports, 9). Dagstuhl Seminar 17201 "3D Morphable Models", Dagstuhl, Germany. Schloss Dagstuhl, Wadern (2019)

Beverly, R.; Smaragdakis, G.; Feldmann, A. (Hg.): Passive and Active Measurement (Lecture Notes in Computer Science, 10771). 19th International Passive and Active Measurement Conference, Berlin, Germany, 26. März 2018 - 27. März 2018. Springer, Berlin (2018)

Bulling, A.; Kasneci, E.; Lander, C. (Hg.): Proceedings PETMEI 2018. 7th International Workshop on Pervasive Eye Tracking and Mobile Eye-based Interaction , Warsaw, Poland, 15. Juni 2018 - 16. Juni 2018. ACM, New York, NY (2018)