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, pp. 25 - 43 (Eds. 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, pp. 441 - 462 (Eds. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Wiesbaden (1992)

Hanus, M.: Logic Programming with Type Specifications. In: Types in Logic Programming, pp. 91 - 140 (Ed. 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, Vol. 1, pp. 283 - 308 (Eds. 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, pp. 239 - 284 (Eds. 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, pp. 90 - 119 (Eds. Huet, G.; Plotkin, G.). Cambridge University Press, Cambridge (1991)

Seidel, H.-P.: Universal Splines and Geometric Continuity. In: Curves and Surfaces, pp. 437 - 444 (Eds. 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 (Eds. 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, pp. 301 - 341 (Ed. 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, pp. 33 - 89 (Ed. Trullemans, C.). Academic Press, London ; Orlando (1986)

Gardner, J.; Egger, B.; Smith, W.; Theobalt, C.; Wuhrer, S. (Eds.): 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. (Eds.): Wikidata Workshop 2022 (CEUR Workshop Proceedings, 3262). 3rd Wikidata Workshop, Virtual Event, Hangzhou, China. CEUR-WS (2022)

Singhania, S.; Nguyen, T.-P.; Razniewski, S. (Eds.): 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. (Eds.): ICTIR '20. ACM SIGIR International Conference on Theory of Information Retrieval , Virtual Event, Norway, September 14, 2020 - September 17, 2020. ACM, New York, NY (2020)

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

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

Han, D.; Feldmann, A. (Eds.): 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), December 01, 2020 - December 04, 2020. ACM, New York, NY (2020)

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

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

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