Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Kohlhase
2010 – today
- 2013
[j23]Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban: The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reasoning 50(2): 191-202 (2013)- [c77]Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader: Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) 2013: 406-423
- [c76]Michael Kohlhase, Felix Mance, Florian Rabe: A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML 2013: 82-97
- [e3]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
- [i18]Michael Kohlhase, Felix Mance, Florian Rabe: A Universal Machine for Biform Theory Graphs. CoRR abs/1306.3198 (2013)
- 2012
- [j22]Manfred Kerber, Michael Kohlhase: Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics 22(4): 295-317 (2012)
- [j21]Michael Kohlhase, Florian Rabe: Semantics of OpenMath and MathML3. Mathematics in Computer Science 6(3): 235-260 (2012)
- [c75]Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase: Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus 2012: 49-64
- [c74]Fulya Horozal, Michael Kohlhase, Florian Rabe: Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus 2012: 65-80
- [c73]Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu: MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus 2012: 342-357
- [c72]
- [c71]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus 2012: 458-462
- [c70]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. ESWC 2012: 763-777
- [c69]
- [i17]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset. CoRR abs/1204.5086 (2012)
- [i16]
- 2011
- [c68]Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) 2011: 471-475
- [c67]Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea: A Framework for Semantic Publishing of Modular Content Objects. SePublica 2011
- [c66]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122
- [c65]Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban: Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163
- [c64]Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179
- [c63]Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe: Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227
- [c62]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291
- [c61]Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase: The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294
- [c60]Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Web 3.0 & Active Documents for STEM. ICCS 2011: 598-607
- [i15]Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers. CoRR abs/1103.1482 (2011)
- [i14]
- [i13]Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. CoRR abs/1105.2392 (2011)
- [i12]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. CoRR abs/1105.2725 (2011)
- [i11]Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane: Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011)
- 2010
- [j20]Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller: Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science 3(3): 299-307 (2010)
- [c59]Constantin Jucovschi, Michael Kohlhase: sTeXIIS: An Integrated Development Environment for sTeX Collections. AISC/MKM/Calculemus 2010: 336-344
- [c58]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369
- [c57]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus 2010: 370-384
- [c56]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375
- [c55]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: STEX+: a system for flexible formalization of linked data. I-SEMANTICS 2010
- [c54]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138
- [c53]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159
- [i10]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. CoRR abs/1004.3390 (2010)
- [i9]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. CoRR abs/1004.5071 (2010)
- [i8]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. CoRR abs/1005.5232 (2010)
- [i7]Constantin Jucovschi, Michael Kohlhase: sTeXIDE: An Integrated Development Environment for sTeX Collections. CoRR abs/1005.5489 (2010)
- [i6]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: sTeX+ - a System for Flexible Formalization of Linked Data. CoRR abs/1006.4474 (2010)
- [i5]Andrea Kohlhase, Michael Kohlhase: What we understand is what we get: Assessment in Spreadsheets. CoRR abs/1009.2797 (2010)
2000 – 2009
- 2009
- [j19]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity. Logical Methods in Computer Science 5(1) (2009)
- [j18]Christine Müller, Michael Kohlhase: Context-Aware Adaptation: A Case Study On Mathematical Notations. IS Management 26(3): 215-230 (2009)
- [j17]Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase: Applying Semantic Techniques to Search and Analyze Bug Tracking Data. J. Network Syst. Manage. 17(3): 285-308 (2009)
- [c52]Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz: Formal Management of CAD/CAM Processes. FM 2009: 223-238
- [c51]Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase: An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. GI Jahrestagung 2009: 3162-3176
- [c50]James H. Davenport, Michael Kohlhase: Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278
- [c49]Andrea Kohlhase, Michael Kohlhase: Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM 2009: 341-356
- [c48]Andrea Kohlhase, Michael Kohlhase: Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM 2009: 357-372
- [c47]Christoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404
- [c46]Andrea Kohlhase, Michael Kohlhase: Semantic transparency in user assistance systems. SIGDOC 2009: 89-96
- [c45]Andrea Kohlhase, Michael Kohlhase: Modeling task experience in user assistance systems. SIGDOC 2009: 135-142
- 2008
- [j16]Michael Kohlhase: Using as a Semantic Markup Format. Mathematics in Computer Science 2(2): 279-304 (2008)
- [c44]Michael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519
- [c43]Heinrich Stamerjohanns, Michael Kohlhase: Transforming the arXiv to XML. AISC/MKM/Calculemus 2008: 574-582
- [c42]
- [c41]Normen Müller, Michael Kohlhase: Fine-Granular Version Control & Redundancy Resolution. LWA 2008: 1-8
- [c40]
- [c39]Christine Müller, Michael Kohlhase: Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) 2008: 41-50
- 2007
- [c38]
- [c37]Michael Kohlhase, Achim Mahnke, Christine Müller: Managing Variants in Document Content and Narrative Structures. LWA 2007: 324-329
- [c36]Andrea Kohlhase, Michael Kohlhase: Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326
- [c35]Immanuel Normann, Michael Kohlhase: Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370
- [e2]Christian Freksa, Michael Kohlhase, Kerstin Schill (Eds.): KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings. Lecture Notes in Computer Science 4314, Springer 2007, ISBN 978-3-540-69911-8
- 2006
- [b1]Michael Kohlhase: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science 4180, Springer 2006, ISBN 3-540-37897-9
- [c34]
- [c33]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
- [c32]Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns: Capturing the Content of Physics: Systems, Observables, and Experiments. MKM 2006: 165-178
- [c31]Andrea Kohlhase, Michael Kohlhase: Communities of Practice in MKM: An Extensional Model. MKM 2006: 179-193
- [c30]Christoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006
- [e1]Michael Kohlhase (Ed.): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3863, Springer 2006, ISBN 3-540-31430-X
- 2005
- [c29]Andrea Kohlhase, Michael Kohlhase: An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32
- 2004
- [j15]Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
- [j14]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004)
- [c28]
- 2003
- [j13]
- [j12]Michael Kohlhase, Alexander Koller: Resource-Adaptive Model Generation as a Performance Model. Logic Journal of the IGPL 11(4): 435-456 (2003)
- [c27]Michael Kohlhase, Romeo Anghelache: Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM 2003: 147-161
- 2002
- [c26]Jürgen Zimmer, Michael Kohlhase: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE 2002: 139-143
- [c25]Jörg H. Siekmann, Christoph Benzmüller, 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, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
- 2001
- [j11]Michael Kohlhase, Andreas Franke: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput. 32(4): 365-402 (2001)
- 2000
- [j10]Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)
- [c24]Manfred Pinkal, Michael Kohlhase: Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL 2000
- [c23]Michael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC 2000: 32-52
- [c22]Andreas Franke, Michael Kohlhase: System Description: MBASE, an Open Mathematical Knowledge Base. CADE 2000: 455-459
1990 – 1999
- 1999
- [j9]Andreas Franke, Michael Kohlhase: MBase: Representing mathematical knowledge in a relational data base. Electr. Notes Theor. Comput. Sci. 23(3): 451-468 (1999)
- [j8]Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
- [j7]Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution. Journal of Applied Non-Classical Logics 9(4): 455-477 (1999)
- [j6]Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge: Agent-Oriented Integration of Distributed Mathematical Services. J. UCS 5(3): 156-187 (1999)
- [c21]Andreas Franke, Michael Kohlhase: System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE 1999: 217-221
- 1998
- [j5]Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)
- [j4]Jörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
- [j3]Markus Egg, Claire Gardent, Michael Kohlhase: Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft 7(3): 106-110 (1998)
- [c20]
- [c19]Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
- 1997
- [c18]Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
- [c17]
- [c16]
- [c15]
- [i4]
- 1996
- [j2]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
- [j1]
- [c14]Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics. ACL 1996: 1-9
- [c13]
- [c12]Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
- [c11]
- [c10]Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. KONVENS 1996: 268-279
- [i3]Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics. CoRR cmp-lg/9605004 (1996)
- [i2]
- [i1]Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. CoRR cmp-lg/9609001 (1996)
- 1995
- [c9]
- 1994
- [c8]Manfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
- [c7]Patricia Johann, Michael Kohlhase: Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634
- [c6]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
- [c5]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
- [c4]Michael Kohlhase: Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. KI 1994: 331-342
- [c3]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390
- 1993
- [c2]Michael Kohlhase, Frank Pfenning: Unification in a Lambda-Calculus with Intersection Types. ILPS 1993: 488-505
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team