Michael Kohlhase
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
56
Venues
19
Active years
1992–2024
Best venue rank
A*
Where they publish
Papers
56 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | JURIX | DIREGA - Building Decision Support for German Register Law. | Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schrder, Verena Strmer |
| 2023 | ECAI | Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. | Jonas Betzendahl, Michael Kohlhase, Dennis Mller |
| 2023 | GI | Learning with ALeA: Tailored experiences through annotated course material. | Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Mller |
| 2020 | CADE | Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer |
| 2020 | COMMA | Context Graphs for Legal Reasoning and Argumentation. | Max Rapp, Axel Adrian, Michael Kohlhase |
| 2020 | KI | Deep FAIR - Knowledge Representation for Research Data about Complex Objects. | Michael Kohlhase |
| 2020 | KI | GLIF: A Declarative Framework for Symbolic Natural Language Understanding. | Jan Frederik Schaefer, Michael Kohlhase |
| 2018 | CADE | Theories as Types. | Dennis Mller, Florian Rabe, Michael Kohlhase |
| 2017 | ITP | Making PVS Accessible to Generic Services by Interpretation in a Universal Format. | Michael Kohlhase, Dennis Mller, Sam Owre, Florian Rabe |
| 2016 | CIKM | A Standard for Aligning Mathematical Concepts. | Cezary Kaliszyk, Michael Kohlhase, Dennis Mller, Florian Rabe |
| 2016 | CIKM | FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. | Denis Rochau, Michael Kohlhase, Dennis Mller |
| 2016 | CIKM | Notation-based Semantification. | Ion Toloaca, Michael Kohlhase |
| 2015 | ICSE | Context in Spreadsheet Comprehension. | Andrea Kohlhase, Michael Kohlhase, Ana Guseva |
| 2015 | ICSE | Assessment for Spreadsheets. | Alexandru Toader, Andrea Kohlhase, Michael Kohlhase |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2013 | Interact | Full Semantic Transparency: Overcoming Boundaries of Applications. | Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader |
| 2012 | AISC | Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. | Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou |
| 2012 | AISC | Semantic Alliance: A Framework for Semantic Allies. | Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase |
| 2012 | AISC | Extending MKM Formats at the Statement Level. | Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe |
| 2012 | AISC | The Planetary Project: Towards eMath3.0. | Michael Kohlhase |
| 2012 | AISC | MathWebSearch 0.5: Scaling an Open Formula Search Engine. | Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu |
| 2012 | SYNASC | The Flexiformalist Manifesto. | Michael Kohlhase |
| 2010 | AISC | sTeXIIS: An Integrated Development Environment for sTeX Collections. | Constantin Jucovschi, Michael Kohlhase |
| 2010 | AISC | Dimensions of Formality: A Case Study for MKM in Software Engineering. | Andrea Kohlhase, Michael Kohlhase, Christoph Lange |
| 2010 | AISC | Towards MKM in the Large: Modular Representation and Scalable Software Architecture. | Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev |
| 2009 | FM | Formal Management of CAD/CAM Processes. | Michael Kohlhase, Johannes Lemburg, Lutz Schrder, Ewaryst Schulz |
| 2009 | GI | An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. | Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase |
| 2008 | AISC | Notations for Living Mathematical Documents. | Michael Kohlhase, Christine Mller, Florian Rabe |
| 2008 | AISC | Transforming the arXiv to XML. | Heinrich Stamerjohanns, Michael Kohlhase |
| 2008 | LPAR | An Exchange Format for Modular Knowledge. | Florian Rabe, Michael Kohlhase |
| 2006 | AISC | A Search Engine for Mathematical Formulae. | Michael Kohlhase, Ioan Sucan |
| 2006 | CADE | Cut-Simulation in Impredicative Logics. | Christoph Benzmller, Chad E. Brown, Michael Kohlhase |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | CADE | System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. | Jrgen Zimmer, Michael Kohlhase |
| 2000 | ACL | Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. | Manfred Pinkal, Michael Kohlhase |
| 2000 | AISC | OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. | Michael Kohlhase |
| 2000 | CADE | System Description: MBASE, an Open Mathematical Knowledge Base. | Andreas Franke, Michael Kohlhase |
| 1999 | CADE | System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. | Andreas Franke, Michael Kohlhase |
| 1998 | CADE | Extensional Higher-Order Resolution. | Christoph Benzmller, Michael Kohlhase |
| 1998 | CADE | System Description: LEO - A Higher-Order Theorem Prover. | Christoph Benzmller, Michael Kohlhase |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | CADE | A Colored Version of the Lambda-Calculus. | Dieter Hutter, Michael Kohlhase |
| 1997 | IJCAI | Computing Parallelism in Discourse. | Claire Gardent, Michael Kohlhase |
| 1997 | KI | Mechanising Partiality With Re-implementation. | Manfred Kerber, Michael Kohlhase |
| 1996 | ACL | Higher-Order Coloured Unification and Natural Language Semantics. | Claire Gardent, Michael Kohlhase |
| 1996 | COLING | Focus and Higher-Order Unification. | Claire Gardent, Michael Kohlhase |
| 1996 | ECAI | A Resolution Calculus for Presuppositions. | Manfred Kerber, Michael Kohlhase |
| 1995 | TABLEAUX | Higher-Order Tableaux. | Michael Kohlhase |
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. | Patricia Johann, Michael Kohlhase |
| 1994 | CADE | A Mechanization of Strong Kleene Logic for Partial Functions. | Manfred Kerber, Michael Kohlhase |
| 1994 | KI | Adapting Methods to Novel Tasks in Proof Planning. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts |
| 1994 | KI | Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. | Michael Kohlhase |
| 1992 | LPAR | Unification in Order-Sorted Type Theory. | Michael Kohlhase |