Michael Kohlhase

Table of Contents

Articles in Journals

  1. Michael Kohlhase. Mathematical Knowledge Management: Transcending the One-Brain-Barrier with Theory Graphs; in EMS Newsletter; 2014. in press ¶
  2. Michael Kohlhase, Helena Mihaljevic-Brandt, Wolfram Sperber, Olaf Teschke. Zentralblatt Column: Mathematical Formula Search; pp. 56–57 in EMS Newsletter; September 2013.  ¶
  3. Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban. The Mizar Mathematical Library in OMDoc: Translation and Applications; pp. 191-202 in Journal of Automated Reasoning (50:2); Springer Verlag 2013.  ¶
  4. Florian Rabe, Michael Kohlhase. ; pp. 1–54 in Information & Computation (0:230); 2013.  ¶
  5. Andrea Kohlhase, Michael Kohlhase. Spreadsheets with a Semantic Layer; pp. 1–20 in Till Mossakowski, Markus Roggenbach, Lutz Schröder, eds.: Electronic Communications of the EASST: Specification, Transformation, Navigation – Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday (62); 2013.  ¶
  6. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; pp. 235–260 in Mathematics in Computer Science (6:3); 2012.  ¶
  7. Manfred Kerber, Michael Kohlhase. Reasoning without Believing: On the mechanization of Presuppositions and partiality; pp. 295–317 in Journal of Applied Non-Classical Logics (22:4); 2012.  ¶
  8. Michael Kohlhase, Joe 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; pp. 598–607 in Mitsuhisa Sato, Satoshi Matsuoka, Peter M. Sloot, G. Dick Albada, Jack Dongarra, eds.: Procedia Computer Science (4) (Special issue: Proceedings of the International Conference on Computational Science (ICCS)); Elsevier 2011. Finalist at the Executable Paper Grand Challenge ¶
  9. Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce Miller. Transforming large collections of scientific publications to XML; pp. 299–307 in Serge Autexier, Petr Sojka, Masakazu Suzuki, eds.: Mathematics in Computer Science (3:3) (Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge); Birkhäuser 2010.  ¶
  10. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. Conversion d'articles en LaTeX vers XML avec MathML : une étude comparative; pp. 7–28 in Cahiers GUTenberg (51); 2010.  ¶
  11. Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase. Applying Semantic Techniques to Search and Analyze Bug Tracking Data; pp. 285–308 in Journal of Network and Systems Management (17:3) (Special Issue on Ontologies for Network and Service Management); May 2009.  ¶
  12. Christine Müller, Michael Kohlhase. Context-Aware Adaptation: A Case Study on Mathematical Notations; pp. 215–230 in Information Systems Management (26:3); 2009.  ¶
  13. Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase. Cut-Simulation and Impredicativity; pp. 1–21 in Logical Methods in Computer Science (5:1); 2009.  ¶
  14. Andrea Kohlhase, Michael Kohlhase. Semantic Knowledge Management for Education; pp. 970–989 in Proceedings of the IEEE; Special Issue on Educational Technology (96:6); IEEE June 2008.  ¶
  15. Michael Kohlhase. Using LaTeX as a Semantic Markup Format; pp. 279–304 in Mathematics in Computer Science (2:2); Birkhäuser 2008.  ¶
  16. Christoph Benzmüller, Chad Brown, Michael Kohlhase. Higher Order Semantics and Extensionality; pp. 1027–1088 in Journal of Symbolic Logic (69); 2004.  ¶
  17. Patrick Blackburn, Michael Kohlhase. Inference and Computational Semantics; pp. 117–120 in Journal of Logic, Language and Information (13:2); 2004.  ¶
  18. Johan Bos, Michael Kohlhase. Editorial; pp. 381-384 in Logic Journal of the IGPL (11:4); 2003.  ¶
  19. Michael Kohlhase, Alexander Koller. Resource-Adaptive Model Generation as a Performance Model; pp. 435–456 in Logic Journal of the IGPL (11:4); 2003.  ¶
  20. Michael Kohlhase, Andreas Franke. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems; pp. 365–402 in Journal of Symbolic Computation; Special Issue on the Integration of Computer Algebra and Deduction Systems (32:4); 2001.  ¶
  21. Michael Kohlhase. textscOMDoc: An Infrastructure for textscOpenMath Content Dictionary Information; pp. 43–48 in Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM) (34:2); 2000.  ¶
  22. Dieter Hutter, Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification; pp. 123–164 in Journal of Automated Reasoning (25:2); 2000.  ¶
  23. Andreas Franke, Michael Kohlhase. MBase: Representing mathematical knowledge in a relational data base; in Electronic Notes Theoretical Computer Science (23:3); 1999.  ¶
  24. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge. Agent-Oriented Integration of Distributed Mathematical Services; pp. 156–187 in Journal of Universal Computer Science (5); 1999.  ¶
  25. Claire Gardent, Michael Kohlhase, Karsten Konrad. Higher-Order Colored Unification: A Linguistic Application; pp. 1–28 in Téchniqe et Sciences Informatiques, special issue for JFPLC-UNIF'97 (18:2); 1999.  ¶
  26. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; in Journal of Applied Non-Classical Logics (9); 1999.  ¶
  27. Jörg 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; pp. 326–342 in Formal Aspects of Computing (3:11); 1999.  ¶
  28. Markus Egg, Claire Gardent, Michael Kohlhase. Steuerung der Inferenz in der Diskursverarbeitung; pp. 106–110 in Kognitionswissenschaft (7:3); 1998.  ¶
  29. Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra Into Proof Planning; pp. 327–355 in Journal of Automated Reasoning (21:3); 1998.  ¶
  30. Jörg Siekmann, Michael Kohlhase, Erica Melis. $Omega$mega, Ein mathematisches Assistenzsystem; pp. 101–105 in Kognitionswissenschaft (7:3); 1998.  ¶
  31. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. Die Beweisentwicklungsumgebung $Omega$mega; pp. 20–26 in Informatik – Forschung und Entwicklung (11); Springer Verlag 1996.  ¶
  32. Manfred Kerber, Michael Kohlhase. A Tableau Calculus for Partial Functions; pp. 21–49 in Collegium Logicum: Annals of the Kurt-Gödel-Society (2); Springer Verlag 1996.  ¶
  33. Michael Kohlhase. Sorten für das automatische Beweisen höherer Stufe; in Künstliche Intelligenz; Scientec Publishing 1996.  ¶
  34. Sabina Jeschke, Michael Kohlhase, Ruedi Seiler. eLearning-, eTeaching- & eResearch-Technologien – Chancen und Potentiale für die Mathematik; in Mitteilungen der DMV (12:2);  ¶

Articles in Collections

  1. Christoph Lange, Michael Kohlhase. Mashups using Mathematical Knowledge; pp. 171–204 in Brigitte Endres-Niggemeyer, ed.: Semantic Mashups; Springer 2013. ¶
  2. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz. Formal Management of CAD/CAM Processes; pp. 201–216 in Berthold Hoffmann, Bernd Gersdorf, Christoph Lüth, Till Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, Mattias Werner, eds.: Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday; DFKI 2009. ¶
  3. Andrea Kohlhase, Michael Kohlhase. Compensating the Computational Bias of Spreadsheets; pp. 184–200 in Berthold Hoffmann, Bernd Gersdorf, Christoph Lüth, Till Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, Mattias Werner, eds.: Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday; DFKI 2009. ¶
  4. Christoph Lange, Michael Kohlhase. SWiM: A Semantic Wiki for Mathematical Knowledge Management; pp. 47–68 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008. ¶
  5. Michael Kohlhase. Wissensrepräsentation für computerunterstützte Lehre; pp. 248–251 in Veronika Hornung-Prähauser, Michaela Luckmann, Marco Kalz, eds.: Selbstorganisiertes Lernen im Internet; Studienverlag 2008. ¶
  6. Christoph Benzmüller, Chad Brown, Michael Kohlhase. Cut Elimination with Xi-Functionality; in Christoph Benzmüller, Chad Brown, Jörg Siekmann, Rick Statman, eds.: ; College Publications 2008. ¶
  7. Grzegorz Bancerek, Michael Kohlhase. Towards a Mizar Mathematical Library in OMDoc Format; pp. 265–275 in R. Matuszewski, A. Zalewska, eds.: From Insight to Proof: Festschrift in Honour of Andrzej Trybulec; Studies in Logic, Grammar and Rhetoric (10:23), University of Białystok 2007. ¶
  8. Andreas Franke, Michael Kohlhase. MBase, an Open Mathematical Knowledge Base; chap. 26.4 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶
  9. Christoph Lange, Michael Kohlhase. SWiM – An OMDoc-based Semantic Wiki; chap. 26.10 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶
  10. Michael Kohlhase. sTeX: A LaTeX-Based Workflow for OMDoc; chap. 26.15 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶
  11. Michael Kohlhase. Standardizing Context in System Interoperability; chap. 26.18 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶
  12. Michael Kohlhase. Artificial Intelligence: Automated Reasoning; pp. 247–250 in Van Nostrand's Scientific Encyclopedia; Van Nostrand 2003. ¶
  13. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; pp. 11–28 in Harry Bunt, Leen Kievit, Reinhard Muskens, Margriet Verlinden, eds.: Computing Meaning (Volume 2); Kluwer Academic Publishers 2001. ¶
  14. Michael Kohlhase, Erica Melis, Jörg Siekmann. $Omega$MEGA – A Mathematical Assistant; pp. 248–251 in Jelle Gerbrandy, Maarten Marx, Maarten Rijke, Yde Venema, eds.: Liber Amicorum for the Fiftieth Birthday of Johan van Benthem; ILLC 1999. ¶
  15. Michael Kohlhase. Higher-Order Automated Theorem Proving; pp. 431–462 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  16. Michael Kohlhase. Automated Theorem Proving in Mathematics; pp. 3–7 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  17. . Automated Deduction – A Basis for Applications; chap. Automated Theorem Proving in Mathematics in Michael Kohlhase, ed.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  18. Michael Kohlhase. Beweissysteme mit Logiken höherer Stufe; pp. 213–238 (chap. 6) in Karl Hans Bläsius, Hans-Jürgen Bürckert, eds.: Deduktionssysteme, Automatisierung des Logischen Denkens; R. Oldenbourg Verlag 1992. ¶

Conference and Workshop Contributions

  1. Michael Kohlhase, Corneliu Prodescu, Christian Liguda. XLSearch: A Search Engine for Spreadsheets; in Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013); 2013. ¶
  2. Michael Kohlhase, Felix Mance, Florian Rabe. A Universal Machine for Biform Theory Graphs; in Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, 2013-07-08/2013-07-12 in Bath, UK; Lecture Notes in Computer Science 7961, Springer 2013. ¶
  3. Jan Wilken Dörrie, Michael Kohlhase. OpenMathMap: accessing math via interactive maps; in Christoph Lange, David Aspinall, Jacques Carette, James Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger, eds.: MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, , 2013-07-08/2013-07-12 in Bath, UK; CEUR Workshop Proceedings 1010, 2013. ¶
  4. Michael Kohlhase. Knowledge Management for Systematic Engineering Design in CAD Systems; pp. 202-217 in Franz Lehner, Nadine Amende, Nora Fteimi, eds.: Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz; GITO Verlag 2013. ¶
  5. Michael Kohlhase. The Flexiformalist Manifesto; pp. 30–36 in Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, eds.: 14th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012); IEEE Press 2013. ¶
  6. Jan Wilken Dörrie, Michael Kohlhase, Lars Linsen. textscOpenMathMap: Accessing Math via Interactive Maps; pp. 81-98 in Klaus Kaiser, Steven Krantz, Bernd Wegner, eds.: Contemporary Issues in Mathematical Publishing, JMM San Diego Special Session; EMIS 2013. ¶
  7. Akiko Aizawa, Michael Kohlhase, Iadh Ounis. NTCIR-10 Math Pilot Task Overview; pp. 1–8 in NTCIR Workshop 10 Meeting; 2013. ¶
  8. Michael Kohlhase, Corneliu Prodescu. MathWebSearch at NTCIR-10; pp. 675–679 in NTCIR Workshop 10 Meeting; 2013. ¶
  9. Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader. Full Semantic Transparency: Overcoming Boundaries of Applications; pp. 406–423 in Paula Kotz'e, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler, eds.: Human-Computer Interaction – INTERACT 2013; LNCS (8119), Springer 2013. ¶
  10. Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase. Semantic Alliance: A Framework for Semantic Allies; pp. 49–64 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  11. Fulya Horozal, Michael Kohlhase, Florian Rabe. Extending MKM Formats at the Statement Level; pp. 65–80 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  12. Michael Kohlhase. The Planetary Project: Towards eMath3.0; pp. 448–452 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  13. Michael Kohlhase, Mihnea Iancu. Searching the Space of Mathematical Knowledge; in Petr Sojka, Michael Kohlhase, eds.: DML and MIR 2012; Masaryk University, Brno 2012. ¶
  14. 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; pp. 763–777 in Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar Corcho, Valentina Presutti, eds.: The Semantic Web, 9th Extended Semantic Web Conference (ESWC), 2012-05-27/2012-05-31 in Hersonissos, Crete, Greece; LNCS 7295, Springer 2012. ¶
  15. Michael Kohlhase, Bogdan A. Matican, Corneliu C. Prodescu. MathWebSearch 0.5 – Scaling an Open Formula Search Engine; pp. 342–357 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  16. Corneliu C. Prodescu, Michael Kohlhase. MathWebSearch 0.5 - Open Formula Search Engine; in Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; September 2011. ¶
  17. 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; pp. 471–475 in Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan, eds.: ESWC (Part II), 8th Extended Semantic Web Conference (ESWC), 2011-05-29/2011-06-02 in Hersonissos, Crete, Greece; LNCS 6644, Springer Verlag 2011. ¶
  18. Andrea Kohlhase, Michael Kohlhase. Maintaining Islands of Consistency via Versioned Links; pp. 167–174 in Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC), , Pisa, Italy; ACM Press 2011. ¶
  19. Andrea Kohlhase, Michael Kohlhase. Towards a Flexible Notion of Document Context; pp. 181–188 in Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC), , Pisa, Italy; ACM Press 2011. ¶
  20. Andrea Kohlhase, Michael Kohlhase. Maintaining Islands of Consistency via Versioned Links; in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics – Work in Progress Papers; 2011. ¶
  21. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe. Project Abstract: Logic Atlas and Integrator (LATIN); pp. 289–291 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  22. Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe. Combining Source, Content, Presentation, Narration, and Relational Representation; pp. 212–227 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  23. Deyan Ginev, Heinrich Stamerjohanns, Michael Kohlhase. The LaTeXML Daemon: Editable Math on the Collaborative Web; pp. 292–294 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  24. Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea. A Framework for Modular Semantic Publishing with Separate Compilation and Dynamic Linking; in Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard, eds.: 1st Workshop on Semantic Publication (SePublica), , 2011-05-30 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 721, 2011. ¶
  25. Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev. Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics; pp. 164–179 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  26. Michael Kohlhase, Florian Rabe, Claudio Coen. A Foundational View on Integration Problems; pp. 107–122 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  27. Fulya Horozal, Michael Kohlhase, Florian Rabe. Extending OpenMath with Sequences; pp. 58–72 in A. Asperti, J. Davenport, W. Farmer, F. Rabe, J. Urban, eds.: ; Technical Reports of University of Bologna (UBLCS-2011-04), University of Bologna 2011. ¶
  28. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, K. Sojakova. Towards Logical Frameworks in the Heterogeneous Tool Set Hets; in H. Kreowski, T. Mossakowski, eds.: Recent Trends in Algebraic Development Techniques; LNCS 7137, Springer 2011. ¶
  29. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe. A Proof Theoretic Interpretation of Model Theoretic Hiding; in H. Kreowski, T. Mossakowski, eds.: Recent Trends in Algebraic Development Techniques; LNCS 7137, Springer 2011. ¶
  30. Magdalena Wolska, Mihai Grigore, Michael Kohlhase. Using discourse context to interpret object-denoting mathematical expressions; pp. 85–101 in Petr Sojka, ed.: Towards Digital Mathematics Library, DML workshop; Masaryk University, Brno 2011. ¶
  31. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev. JOBAD/MMT – Interactive Mathematics; in Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler, eds.: AI Mashup Challenge at ESWC; June 2010. ¶
  32. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. Dimensions of Formality: A Case Study for MKM in Software Engineering; pp. 355–369 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  33. Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev. Towards MKM in the Large: Modular Representation and Scalable Software Architecture; pp. 370–384 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  34. Constantin Jucovschi, Michael Kohlhase. sTeXIDE: An Integrated Development Environment for sTeX Collections; pp. 336–344 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  35. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. sTeX – A System for Flexible Formalization of Linked Data; in Adrian Paschke, Nicola Henze, Tassilo Pellegrini, Hans Weigand, eds.: Proceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web; ACM 2010. ¶
  36. Vyacheslav Zholudev, Michael Kohlhase. Scripting Documents with XQuery: Virtual Documents in TNTBase; in Proceedings of Balisage: The Markup Conference 2010; Balisage Series on Markup Technologies, Mulberry Technologies, Inc. 2010. ¶
  37. Andrea Kohlhase, Michael Kohlhase. What we understand is what we get: Assessment in Spreadsheets; pp. 111–121 in Simon Thorne, ed.: Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010); European Spreadsheet Risk Interest Group 2010. ¶
  38. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, K. Sojakova. Towards Logical Frameworks in the Heterogeneous Tool Set Hets; in Workshop on Algebraic Development Techniques; 2010. ¶
  39. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe. A Proof Theoretic Interpretation of Model Theoretic Hiding; in Workshop on Algebraic Development Techniques; 2010. ¶
  40. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache, eds.: The Semantic Web: Research and Applications (Part II), 7th Extended Semantic Web Conference (ESWC), 2010-05-30/2010-06-03 in Hersonissos, Crete, Greece; LNCS 6089, Springer Verlag 2010. ¶
  41. Anca Dumitrache, Christoph Lange, Michael Kohlhase, Nils Aschenbeck. Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki; in Christoph Lange, Jochen Reutelshöfer, Sebastian Schaffert, Hala Skaf-Molli, eds.: 5th Workshop on Semantic Wikis, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 632, 2010. ¶
  42. Catalin David, Deyan Ginev, Michael Kohlhase, Joe Corneli. eMath 3.0: Building Blocks for a social and semantic Web for online mathematics & ELearning; in Ion Mierlus-Mazilu, ed.: 1st International Workshop on Mathematics and ICT: Education, Research and Applications, , 2010-11-03 in Bucharest, Romania; 2010. ¶
  43. Mihai Grigore, Magdalena Wolska, Michael Kohlhase. Towards Context-Based Disambiguation of Mathematical Expressions; pp. 262–271 in Masakazu Suzuki, Hoon Hong, Hirokazu Anai, Chee Yap, Yousuke Sato, Hiroshi Yoshida, eds.: The Joint Conference of ASCM 2009 and MACIS 2009: Asian Symposium on Computer Mathematics and Mathematical Aspects of Computer and Information Sciences; COE Lecture Notes (22), Faculty of Mathematics, Kyushu University December 14, 2009. ¶
  44. Michael Kohlhase, Jana Giceva, Christoph Lange, Vyacheslav Zholudev. JOBAD – Interactive Mathematical Documents; in Brigitte Endres-Niggemeyer, Valentin Zacharias, Pascal Hitzler, eds.: AI Mashup Challenge at KI Conference; September 2009. ¶
  45. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. ¶
  46. Andrea Kohlhase, Michael Kohlhase. What you get is what you understand: Assessment in SACHS; pp. 22–29 in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. ¶
  47. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  48. James H. Davenport, Michael Kohlhase. Unifying Math Ontologies: A tale of two standards; pp. 263–278 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  49. James H. Davenport, Michael Kohlhase. Quantifiers and Big Operators in OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  50. Florian Rabe, Michael Kohlhase. A better Role System for OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  51. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; pp. 389–404 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  52. Andrea Kohlhase, Michael Kohlhase. Spreadsheet Interaction with Frames: Exploring a Mathematical Practice; pp. 341–356 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  53. Andrea Kohlhase, Michael Kohlhase. Compensating the Computational Bias of Spreadsheets with MKM Techniques; pp. 357–372 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  54. Christoph Lange, Michael Kohlhase. Documenting Ontologies the Mathematical Way; in , ed.: Poster Proceedings of the 6th European Semantic Web Conference (ESWC); June 2009. ¶
  55. Andrea Kohlhase, Michael Kohlhase. Semantic Transparency in User Assistance Systems; pp. 89–96 in Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, Shaun Slatterey, eds.: Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC), , 2009 in Bloomington, Indiana, USA; ACM Press 2009. ¶
  56. Andrea Kohlhase, Michael Kohlhase. Modeling Task Experience in User Assistance Systems; pp. 135–142 in Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, Shaun Slatterey, eds.: Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC), , 2009 in Bloomington, Indiana, USA; ACM Press 2009. ¶
  57. Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase. An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus; in Applications of Semantic Technologies (AST) Workshop at Informatik 2009; 2009. ¶
  58. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. MathML-aware article conversion from LaTeX, A comparison study; pp. 109–120 in Petr Sojka, ed.: Towards Digital Mathematics Library, DML 2009 workshop; Masaryk University, Brno 2009. ¶
  59. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz. Formal Management of CAD/CAM Processes; pp. 223–238 in Ana Cavalcanti, Dennis Dams, eds.: 16th International Symposium on Formal Methods (FM 2009); LNCS 5850, Springer Verlag 2009. ¶
  60. Vyacheslav Zholudev, Michael Kohlhase. TNTBase: a Versioned Storage for XML; in Proceedings of Balisage: The Markup Conference 2009; Balisage Series on Markup Technologies, Mulberry Technologies, Inc. 2009. ¶
  61. Andrea Kohlhase, Michael Kohlhase. Compensating the Semantic Bias of Spreadsheets; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  62. Normen Müller, Michael Kohlhase. Fine-Granular Version Control & Redundancy Resolution; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  63. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008. ¶
  64. Florian Rabe, Michael Kohlhase. An Exchange Format for Modular Knowledge; pp. 50–68 in G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, S. Schulz, eds.: Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics; CEUR Workshop Proceedings 418, 2008. ¶
  65. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical eLearning; pp. 34–35 in In proceedings of the Workshop in Mathematical and Scientific eContent; 2008. ¶
  66. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit Based On Semantically Marked Up Artifacts; pp. 41–50 in M. D. Lytras, Others, eds.: Proceedings of the 1st World Summit of the Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society; LNAI 5288, Springer-Verlag Berlin Heidelberg 2008. ¶
  67. Michael Kohlhase, Christine Müller, Florian Rabe. Notations for Living Mathematical Documents; pp. 504–519 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC, 15th Symposium, Calculemus, 7th International Conference MKM, 2008-07-28/2008-08-01 in Birmingham, UK; LNAI 5144, Springer Verlag 2008. ¶
  68. Heinrich Stamerjohanns, Michael Kohlhase. Transforming the arXiv to XML; pp. 574–582 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC, 15th Symposium, Calculemus, 7th International Conference MKM, 2008-07-28/2008-08-01 in Birmingham, UK; LNAI 5144, Springer Verlag 2008. ¶
  69. Michael Kohlhase, Christine Müller, Normen Müller. Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007. ¶
  70. Michael Kohlhase, Christoph Lange, Florian Rabe. Presenting Mathematical Content With Flexible Elisions; in Olga Caprotti, Michael Kohlhase, Paul Libbrecht, eds.: OpenMath/JEM Workshop 2007; June 2007. ¶
  71. Immanuel Normann, Michael Kohlhase. Extended Formula Normalization for $epsilon$-Retrieval and Sharing of Mathematical Knowledge; pp. 266–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus; LNAI 4573, Springer Verlag 2007. ¶
  72. Andrea Kohlhase, Michael Kohlhase. Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch; pp. 266–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus; LNAI 4573, Springer Verlag 2007. ¶
  73. Christine Müller, Michael Kohlhase. panta rhei; pp. 318–323 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  74. Michael Kohlhase, Achim Mahnke, Christine Müller. Managing Variants in Document Content and Narrative Structures; pp. 324–229 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  75. Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase. Cut-Simulation in Impredicative Logics; pp. 220–234 in Ulrich Furbach, Natarajan Shankar, eds.: Automated Reasoning — Third International Joint Conference, IJCAR 2006; LNAI 4130, Springer Verlag 2006. ¶
  76. Michael Kohlhase, Ioan Şucan. A Search Engine for Mathematical Formulae; pp. 241–253 in Tetsuo Ida, Jacques Calmet, Dongming Wang, eds.: Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006; LNAI 4120, Springer Verlag 2006. ¶
  77. Andrea Kohlhase, Michael Kohlhase. Communities of Practice in MKM: An Extensional Model; pp. 179–193 in Jon Borwein, William M. Farmer, eds.: Mathematical Knowledge Management (MKM); LNAI 4108, Springer Verlag 2006. ¶
  78. Eberhard Hilf, Michael Kohlhase, Heinrich Stamerjohanns. Capturing the Content of Physics: Systems, Observables, and Experiments; pp. 165–178 in Jon Borwein, William M. Farmer, eds.: Mathematical Knowledge Management (MKM); LNAI 4108, Springer Verlag 2006. ¶
  79. Andrea Kohlhase, Michael Kohlhase. An Exploration in the Space of Mathematical Knowledge; pp. 17–32 in Michael Kohlhase, ed.: Mathematical Knowledge Management, MKM'05; LNAI 3863, Springer Verlag 2006. ¶
  80. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; in Max Völkel, Sebastian Schaffert, Stefan Decker, eds.: 1st Workshop on Semantic Wikis, , 2006-06-12 in Budva, Montenegro; CEUR Workshop Proceedings 206, 2006. ¶
  81. Michael Kohlhase. OMDoc: Open Mathematical Documents; pp. 137–143 in Fred Vries, Graham Attwell, Raymond Elferink, Alexandra Tödt, eds.: Open Source for Education in Europe: Research and Practise; Open Universiteit Nederland November 2005. ¶
  82. Andrea Kohlhase, Michael Kohlhase. CPoint: Dissolving the Author's Dilemma; pp. 175–189 in Andrea Asperti, Grzegorz Bancerek, Andrej Trybulec, eds.: Mathematical Knowledge Management, MKM'04; LNAI 3119, Springer Verlag 2004. ¶
  83. Michael Kohlhase. Semantic Markup for TeX/LaTeX; in Paul Libbrecht, ed.: Mathematical User Interfaces; 2004. ¶
  84. Edmund Clarke, Michael Kohlhase, Joël Ouaknine, Klaus Sutner. System Description: Analytica 2; pp. 69–74 in Thérèse Hardin, Renaud Rioboo, eds.: Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2003); September 2003. ¶
  85. Edmund Clarke, Michael Kohlhase, Joël Ouaknine, Klaus Sutner. Resurrecting the Analytica Theorem Prover; in First QPQ Workshop on Deductive Software Components; 2003. ¶
  86. Michael Kohlhase, Romeo Anghelache. Towards Collaborative Content Management And Version Control For Structured Mathematical Knowledge; pp. 147–161 in Andrea Asperti, Bruno Buchberger, James Harold Davenport, eds.: Mathematical Knowledge Management, MKM'03; LNCS 2594, Springer Verlag 2003. ¶
  87. Benjamin Han, Michael Kohlhase. A time calculus for natural language; pp. 113–127 in Patrick Blackburn, Johan Bos, eds.: Proceedings of Inference in Computational Semantics ICoS-4; LORIA, Nancy 2003. ¶
  88. Michael Kohlhase. Applying Unification Techniques to XML Document Management?; in 17th Workshop on Unification; 2003. ¶
  89. Andrea Asperti, Michael Kohlhase. MathML in the scMoWGLI Project; in Second International Conference on MathML and Technologies for Math on the Web; 2002. ¶
  90. Michael Kohlhase, Klaus Sutner, Peter Jansen, Andrea Kohlhase, Peter Lee, Dana Scott, Matthew Szudzik. Acquisition of Math Content in an Academic Setting; in Second International Conference on MathML and Technologies for Math on the Web; 2002. ¶
  91. Jörg 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$mega; pp. 144–149 in Andrei Voronkov, ed.: Automated Deduction — CADE-18; LNAI 2392, Springer Verlag 2002. ¶
  92. Jürgen Zimmer, Michael Kohlhase. System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning; pp. 247–252 in Andrei Voronkov, ed.: Automated Deduction — CADE-18; LNAI 2392, Springer Verlag 2002. ¶
  93. Michael Kohlhase. OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge; pp. 32–52 in Eugenio Roanes Lozano, ed.: Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2000; LNAI 1930, Springer Verlag 2001. ¶
  94. Michael Kohlahse. Formal Representation Issues in an Open Mathematical Knowledge Base; in Bruno Buchberger, Olga Caprotti, eds.: Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management: MKM'2001; 2001. ¶
  95. Alessandro Armando, Michael Kohlhase, Silvio Ranise. Communication Protocols for mathematical Services based on KQML and OMRS; pp. 34–48 in Manfred Kerber, Michael Kohlhase, eds.: Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000); AKPeters 2000. ¶
  96. Michael Kohlhase, Alexander Koller. Towards A Tableaux Machine for Language Understanding; pp. 57–88 in Johan Bos, Michael Kohlhase, eds.: Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2000. ¶
  97. Andreas Franke, Michael Kohlhase. System Description: MBase, an Open Mathematical Knowledge Base; pp. 455–459 in David McAllester, ed.: Automated Deduction – CADE-17; LNAI 1831, Springer Verlag 2000. ¶
  98. Michael Kohlhase. Model Generation for Discourse Representation Theory; pp. 441–445 in Werner Horn, ed.: Proceedings of of the 14th European Conference on Artifical Intelligence; John Wiley & Sons, Chichester, UK 2000. ¶
  99. Manfred Pinkal, Michael Kohlhase. Feature Logic for Dotted Types: A Formalism for Complex Word Meanings; pp. 521–528 in Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics; 2000. ¶
  100. Jörg Siekmann, Christoph BenzMüller, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge, Carsten Ullrich, Jürgen Zimmer. Adaptive Course Generation and Presentation; in P. Brusilovski, Chrisoph Peylo, eds.: Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems; 2000. ¶
  101. Patrick Blackburn, Johan Bos, Michael Kohlhase. Automated Reasoning for Computational Semantics; in The Third International Tbilisi Symposium on Language, Logic and Computation; 1999. ¶
  102. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; pp. 5–19 in Harry Bunt, Leen Kievit, Reinhard Muskens, Margriet Verlinden, eds.: Proceedings of IWCS III (Third International Workshop on Computational Semantics); 1999. ¶
  103. Andreas Franke, Michael Kohlhase. System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving; pp. 217–221 in Harald Ganzinger, ed.: Automated Deduction — CADE-16; LNAI 1632, Springer Verlag 1999. ¶
  104. Stefan Hess, Christoph Jung, Michael Kohlhase, Volker Sorge. An Implementation of Distributed Mathematical Services; in Arjeh Cohen, Henk Barendregt, eds.: 6th CALCULEMUS and TYPES Workshop; July 1998. ¶
  105. Christoph Benzmüller, Michael Kohlhase. Extensional Higher Order Resolution; pp. 56–72 in Claude Kirchner, Hélène Kirchner, eds.: Proceedings of the 15th Conference on Automated Deduction; LNAI 1421, Springer Verlag 1998. ¶
  106. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Automated Theorem Proving for Natural Language Understanding; in Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, Tomàs Uribe, eds.: CADE-15 Workshop “Problem-solving Methodologies with Automated Deduction”; 1998. ¶
  107. Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge. A Distributed Graphical User Interface for the Interactive Proof System OMEGA; pp. 130–138 in Roland C. Backhouse, ed.: User Interfaces for Theorem Provers; Computing Science Reports 98-08, 1998. ¶
  108. Christoph Benzmüller, Michael Kohlhase. LEO – a Higher Order Theorem Prover; pp. 139–144 in Claude Kirchner, Hélène Kirchner, eds.: Proceedings of the 15th Conference on Automated Deduction; LNAI 1421, Springer Verlag 1998. ¶
  109. Jörg Siekmann, Stephan Hess, Christoph BenzMüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge. LOUI: A Distributed Graphical User Interface for the Interactive Proof System OMEGA; in Proceedings of the International Workshop “User Interfaces for Theorem Provers 1998” (UITP'98); 1998. ¶
  110. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Erica Melis, Andreas Meier, Wolfgang Schaarschmidt, Jörg Siekmann, Volker Sorge. $Omega$mega: Towards a mathematical assistant; pp. 252–255 in William McCune, ed.: Proceedings of the 14th Conference on Automated Deduction; LNAI 1249, Springer Verlag 1997. ¶
  111. Manfred Kerber, Michael Kohlhase. Mechanising Partiality without Re-Implementation; pp. 123–134 in Gerd Brewka, Cristopher Habel, Bernhard Nebel, eds.: Proceedings of the 18.th Annual German Conference on Artificial Intelligence KI'97; LNAI 1303, 1997. ¶
  112. Markus Egg, Michael Kohlhase. Dynamic Control of Quantifier Scope; pp. 109–114 in Paul Dekker, ed.: Proceedings of the 11th Amsterdam Colloquium; ILLC 1997. ¶
  113. Markus Egg, Michael Kohlhase. Underspecification of quantifier scope; in Proceedings der 6. Fachtagung der Sektion Computerlinguistik der DGfS; 1997. ¶
  114. Claire Gardent, Michael Kohlhase. Computing parallelism in Discourse; pp. 1016–1021 in Martha E. Pollack, ed.: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI); Morgan Kaufmann 1997. ¶
  115. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; pp. 291–305 in William McCune, ed.: Proceedings of the 14th Conference on Automated Deduction; LNAI 1249, Springer Verlag 1997. ¶
  116. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; pp. 85–92 in Proceedings of the 5th Meeting on Mathematics of Language – MOL5; 1997. ¶
  117. Manfred Kerber, Michael Kohlhase. A Resolution Calculus for Presuppositions; pp. 375–379 in Wolfgang Wahlster, ed.: Proceedings of the 12th European Conference on Artificial Intelligence; John Wiley & Sons, Chichester, UK August 1996. ¶
  118. Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra with Proof Planning; pp. 204–215 in Jacques Calmet, Carla Limogelli, eds.: Design and Implementation of Symbolic Computation Systems, DISCO'96; LNCS 1128, Springer Verlag 1996. ¶
  119. Manfred Kerber, Michael Kohlhase. Partiality without the Cost; in Workshop on “Mechanization of Partial Functions” at CADE-13; 1996. ¶
  120. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Unification; pp. 268–279 in Proceedings of the 16th International Conference on Computational Linguistics; 1996. ¶
  121. Claire Gardent, Michael Kohlhase. Higher–Order Coloured Unification and Natural Language Semantics; pp. 1–9 in Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics; ACL 1996. ¶
  122. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; pp. 268–279 in Proceedings of KONVENS'96; De Gruyter 1996. ¶
  123. Michael Kohlhase, Susanna Kuschert, Manfred Pinkal. A type-theoretic semantics for $lambda$-DRT; pp. 479–498 in P. Dekker, M. Stokhof, eds.: Proceedings of the 10th Amsterdam Colloquium; 1996. ¶
  124. Michael Kohlhase. Higher-Order Tableaux; pp. 294–309 in Proceedings of the Tableau Workshop; 1995. ¶
  125. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Daniel Nesmith, Jörn Richts. Guaranteeing Correctness through the Communication of Checkable Proofs (or: Would You Really Trust an Automated Reasoning System?); in CADE-14 Workshop; 1994. ¶
  126. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. KEIM: A Toolkit for Automated Deduction; pp. 807–810 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994. ¶
  127. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Wolfgang Reif. A Test for Evaluating the Practical Usefulness of Deduction Systems; pp. 12–12 in Christoph Walther Bibel, ed.: Informal Proc. of the 11th Annual Meeting of the “GI-Fachgruppe Deduktionssysteme”; Forschungsbericht, FB Informatik, TH Darmstadt AIDA-94-06, 1994. ¶
  128. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts. Adapting Methods to Novel Tasks in Proof Planning; pp. 379–390 in Bernhard Nebel, Leonie Dreschler-Fischer, eds.: 18th Annual German Conference on Aritificial Intelligence; LNAI 861, Springer Verlag 1994. ¶
  129. Patricia Johann, Michael Kohlhase. Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading; pp. 620–634 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994. ¶
  130. Michael Kohlhase. Unification in a $lambda$-calculus with term declarations and function sorts; pp. 331–342 in Bernhard Nebel, Leonie Dreschler-Fischer, eds.: 18th Annual German Conference on Aritificial Intelligence; LNAI 861, Springer Verlag 1994. ¶
  131. Manfred Kerber, Michael Kohlhase. Formalizing Mathematics with Dependent Sorts; in Proceedings des Deduktionstreffen; AIDA-Report, 1994. ¶
  132. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Daniel Nesmith, Jörn Richts, Jörg Siekmann. $Omega$-MKRP A Proof Development Environment; pp. 788–792 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994. ¶
  133. Manfred Kerber, Michael Kohlhase. A Mechanization of Strong Kleene Logic for Partial Functions; pp. 371–385 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994. ¶
  134. Michael Kohlhase. Higher-Order Resolution with Combinators; pp. 15 in J. Avenhaus, J. Denzinger, eds.: Informal Proceedings fo the Annual Meeting of “GI-Fachgruppe `Deduktionssysteme' ” in Kaiserslautern, 1993; SEKI-Report SR-93-11 (SFB), 1993. ¶
  135. Michael Kohlhase, Frank Pfenning. Unification in a $lambda$-Calculus with Intersection Types; pp. 488–505 in Dale Miller, ed.: Proceedings of the International Logic Programming Symposion ILPS'93; MIT Press 1993. ¶
  136. Michael Kohlhase. Unification in Order-Sorted Type Theory; pp. 421–432 in Andrei Voronkov, ed.: Proceedings of the International Conference on Logic Programming and Automated Reasoning LPAR'92; LNAI 624, Springer Verlag 1992. ¶

Monographs and Proceedings

  1. Petr Sojka, Michael Kohlhase. DML and MIR 2012; Masaryk University, Brno 2012.  ¶
  2. Olga Caprotti, Sebastian Xambó, Maria-Antonia Huertas, Michael Kohlhase, Mika Seppälä. 3rd JEM Workshop – Joining Educational Mathematics; 2008.  ¶
  3. Olga Caprotti, Michael Kohlhase, Paul Libbrecht. OpenMath/JEM Workshop 2007; June 2007.  ¶
  4. Michael Kohlhase, . textscOMDoc – An open markup format for mathematical documents [Version 1.2]; Springer Verlag August 2006.  ¶
  5. Christian Freksa, Michael Kohlhase, Kerstin Schill. Proceedings of the 29.th Annual German Conference on Artificial Intelligence KI'06; LNAI 4314, 2006.  ¶
  6. Michael Kohlhase. Mathematical Knowledge Management, MKM'05; LNAI 3863, Springer Verlag 2006.  ¶
  7. Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, Erica Melis. Proceedings of the IJCAI 03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems; 2003.  ¶
  8. Johan Bos, Michael Kohlhase. ; Oxford University Press 2003. Special Issue for ICOS-2 ¶
  9. Patrick Blackburn, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2001.  ¶
  10. Johan Bos, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2000.  ¶
  11. Manfred Kerber, Michael Kohlhase. Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000); AKPeters 2000.  ¶
  12. Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, Tomàs Uribe. CADE-15 Workshop “Problem-solving Methodologies with Automated Deduction”; 1998.  ¶
  13. Jörg Denzinger, Michael Kohlhase, Bruce Spencer. CADE-15 Workshop “Using AI Methods in Deduction”; 1998.  ¶

Theses

  1. Michael Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle; Ph.D. Thesis, Universität des Saarlandes 1994. ¶
  2. Michael Kohlhase. Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, $cal F$-extremalen Hyperflächen in glatten Mannigfaltigkeiten; Master's Thesis, Universität Bonn 1989. ¶

Technical Reports

  1. Michael Kohlhase. Preparing Proposals in LaTeX with ttproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  2. Michael Kohlhase. Preparing DFG Proposals and Reports in LaTeX with dfgproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  3. Michael Kohlhase. Preparing FP7 EU Proposals and Reports in LaTeX with euproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  4. Michael Kohlhase. Editorial Notes for LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  5. Michael Kohlhase, Deyan Ginev, Rares Ambrus. modules.sty: Semantic Macros and Module Scoping in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  6. Michael Kohlhase, Deyan Ginev. presentation.sty: An Infrastructure for Presenting Semantic Macros in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  7. Michael Kohlhase. sproof.sty: Structural Markup for Proofs; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  8. Michael Kohlhase. reqdoc.sty: Semantic Markup for Requirements Specification Documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  9. Michael Kohlhase. physml.sty: An Infrastructure for Marking Up PhysML in TeX/LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  10. Michael Kohlhase. dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  11. Michael Kohlhase. workaddress.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  12. Michael Kohlhase. assignment.sty/cls: An Infrastructure for formatting Assignments and Exams; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  13. Michael Kohlhase. problem.sty: An Infrastructure for formatting Problems; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  14. Michael Kohlhase. sref.sty: Semantic Crossreferencing in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  15. Michael Kohlhase. metakeys.sty: A generic framework for extensible Metadata in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  16. Michael Kohlhase. RDFa Metadata in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  17. Michael Kohlhase. owl2onto.cls: Marking up OWL2 Ontologies in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  18. Michael Kohlhase. statements.sty: Structural Markup for Mathematical Statements; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  19. Michael Kohlhase. cmathml.sty: A TeX/LaTeX-based Syntax for Content MathML; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  20. Michael Kohlhase. CNXLaTeX: A LaTeX-based Syntax for Connexions Modules; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  21. Michael Kohlhase. omdoc.sty/cls: Semantic Markup for Open Mathematical Documents in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  22. Michael Kohlhase. omtext: Semantic Markup for Mathematical Text Fragments in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  23. Michael Kohlhase. sTeX: Semantic Markup in TeX/LaTeX; Technical Report , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  24. Florian Rabe, Michael Kohlhase. An XML-based Syntax for MMT; Technical Report , 2012. ¶
  25. Mihnea Iancu, Michael Kohlhase, Florian Rabe. Translating the Mizar Mathematical Library into OMDoc format; KWARC Report , Jacobs University Bremen 2011. ¶
  26. M. Iancu, M. Kohlhase, F. Rabe. Translating the Mizar Mathematical Library into OMDoc format; Technical Report KWARC Report-01/11, Jacobs University Bremen 2011. ¶
  27. Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt. Mathematical Markup Language (MathML) Version 3.0; W3C Recommendation , World Wide Web Consortium (W3C) 2010. ¶
  28. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Notations for Active Mathematical Documents; KWARC Report 2009-1, Jacobs University Bremen February 2009. ¶
  29. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. A comparison study of MathML-aware LaTeX converters; KWARC Report , Jacobs University Bremen 2009. ¶
  30. M. Kohlhase, C. Lange, C. Müller, N. Müller, F. Rabe. Notations for Active Mathematical Documents; Technical Report 2009-1, Jacobs University Bremen 2009. ¶
  31. Christine Müller, Michael Kohlhase. Context Aware Adaptation: A Case Study on Mathematical Notations; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008. ¶
  32. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical E-Learning; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008. ¶
  33. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Adaptation of Notations in Living Mathematical Documents; KWARC Report 2008-2, Jacobs University Bremen April 2008. ¶
  34. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaëtano, Michael Kohlhase. The Open Math Standard, Version 2.0; Technical Report , The OpenMath Society 2004. ¶
  35. Andrea Asperti, Michael Kohlhase, Claudio Coen. Prototype n. D2.b Document Type Descriptors: OMDoc Proofs; MoWGLI Deliverable , The MoWGLI Project 2003. ¶
  36. Ron Ausbrooks, Stephen Buswell, David Carlisle, Stéphane Dalmas, Stan Devitt, Angel Diaz, Max Froumentin, Roger Hunter, Patrick Ion, Michael Kohlhase, Robert Miner, Nico Poppelier, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt. Mathematical Markup Language (MathML) Version 2.0 (second edition); W3C Recommendation , World Wide Web Consortium (W3C) 2003. ¶
  37. Serge Autexier, Frederick Eberhardt, Dieter Hutter, Michael Kohlhase, Romeo Anghelache. Distributed Knowledge Management and Version Control; Deliverable D5.a, The MoWGLI Project 2003. ¶
  38. Christoph Benzmüller, Michael Kohlhase, Chad E. Brown. Higher Order Semantics and Extensionality.; Technical Report 03-001, Department of Mathematical Sciences, Carnegie Mellon University 2003. ¶
  39. Michael Kohlhase, Mandy Simons. Interpreting Negatives in Discourse; Technical Report CMU-PHIL-127, Philosophy, Carnegie Mellon University 2002. ¶
  40. Michael Kohlhase. OMDoc: Towards an OpenMath Representation of Mathematical Documents; Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes 2000. ¶
  41. Michael Kohlhase, Karsten Konrad. Model Generation for Discourse Representation Theory; SEKI-Report SR-99-01, Dept. of Computer Science, Universität des Saarlandes, Germany 1999. ¶
  42. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; CLAUS Report 99, University of the Saarland 1998. ¶
  43. Michael Kohlhase, Karsten Konrad. Higher-Order Automated Theorem Proving for Natural Language Semantics; Seki Report SR-98-04, Fachbereich Informatik, Universität Saarbrücken 1998. ¶
  44. Manfred Kerber, Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality; Technical Report CSRP-97-23, University of Birmingham, School of Computer Science September 1997. ¶
  45. Christoph Benzmüller, Michael Kohlhase. Model Existence for Higher-Order Logic; SEKI-Report SR-97-09, Universität des Saarlandes 1997. ¶
  46. Christoph Benzmüller, Michael Kohlhase. Resolution for Henkin Models; SEKI-Report SR-97-10, Universität des Saarlandes 1997. ¶
  47. Claire Gardent, Michael Kohlhase, Karsten Konrad. Higher–Order Coloured Unification: a linguistic application; CLAUS Report 97, University of the Saarland 1997. ¶
  48. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; Technical Report , Computer Linguistics, Saarland University 1997. ¶
  49. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; CLAUS Report 77, University of the Saarland 1996. ¶
  50. Claire Gardent, Michael Kohlhase. Higher–Order Coloured Unification and Natural Language Semantics; CLAUS Report 76, University of the Saarland 1996. ¶
  51. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Coloured Unification; CLAUS Report 75, University of the Saarland 1996. ¶
  52. Manfred Kerber, Michael Kohlhase, Volker Sorge. An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs; Seki Report SR-96-06, Fachbereich 14 Informatik, Universität des Saarlandes 1996. ¶
  53. Michael Kohlhase. Higher-Order Tableaux with Combinators; SEKI Report SR-96-01, Dept. of Computer Science, Universität des Saarlandes, Germany 1996. ¶
  54. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; SEKI Report SR-95-04, Fachbereich Informatik, Universität des Saarlandes 1995. ¶
  55. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. Omega-MKRP, ein mathematisches Assistenzsystem; SEKI Working Paper SWP-95-01, Fachbereich Informatik, Universität des Saarlandes 1995. ¶
  56. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; Technical Report SR-95-05, Fachbereich Informatik, Universität des Saarlandes 1995. ¶
  57. Michael Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle; SEKI Report SR-94-10, Fachbereich Informatik, Universität des Saarlandes 1994. ¶
  58. Michael Kohlhase. Higher-Order Order-Sorted Resolution; Seki Report SR-94-1, Fachbereich Informatik, Universität des Sarrlandes 1994. ¶
  59. Patricia Johann, Michael Kohlhase. Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading; SEKI-Report SR-93-14, Universität des Saarlandes 1993. ¶
  60. Manfred Kerber, Michael Kohlhase. A Mechanization of Strong Kleene Logic for Partial Functions; SEKI-Report SR-93-20 (SFB), Universität des Saarlandes, Saarbrücken 1993. ¶
  61. Michael Kohlhase. A Unifying Principle for Extensional Higher-Order Logic; Technical Report 93--153, Dept. of Mathematics, Carnegie Mellon University 1993. ¶
  62. Xiaorong Huang, Manfred Kerber, Michael Kohlhase. Methods — The Basic Unit for Planning and Verifying Proofs; SEKI-Report SR-92-20, Fachbereich Informatik, Universität des Saarlandes 1992. ¶
  63. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Daniel Nesmith, Jörn Richts, Jörg Siekmann. $Omega$-MKRP – a proof development environment; Technical Report SR-92-22, Universität des Saarlandes 1992. ¶
  64. Michael Kohlhase. Order-Sorted Type Theory I: Unification; SEKI-Report SR-91-18 (SFB), Universität des Saarlandes, Saarbrücken 1991. ¶
  65. Michael Kohlhase, Corneliu Prodescu. MathWebSearch Manual; Web Manual , Jacobs University  ¶

Unpublished

  1. Michael Kohlhase, Mihnea Iancu. Co-Representing Structure and Meaning of Mathematical Documents; , 2014. submitted to SDV (Sprache und Datenverarbeitung, International Journal for Language Data Processing) ¶
  2. Lukas Kohlhase, Michael Kohlhase. System Description: A Semantics-Aware LaTeX-to-Office Converter; , 2014. submitted to CICM 2014 ¶
  3. Deyan Ginev, Mihnea Iancu, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase, Heinz Kröger, Jürgen Schefter, Wolfram Sperber. The SMGLoM Project and System; , 2014. submitted to CICM 2014 ¶
  4. Michael Kohlhase. A Data Model and Encoding for a Semantic, Multilingual Glossary of Mathematics; , 2014. submitted to CICM 2014 ¶
  5. Mircea Alex Dumitru, Deyan Ginev, Michael Kohlhase, Vlad Merticariu, Stefan Mirea, Tom Wiesing. System Description: KAT an Annotation Tool for STEM Documents; , 2014. submitted to CICM 2014 ¶
  6. Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing. System Description: MathHub.info; , 2014. submitted to CICM 2014 ¶
  7. Jacques Carette, William Farmer, Michael Kohlhase. Realms: A Structure for Consolidating Knowledge about Mathematical Theories; , 2014. submitted to CICM 2014 ¶
  8. Fulya Horozal, Michael Kohlhase, Florian Rabe. Flexary Operators for Formalized Mathematics; , 2014. submitted to CICM 2014 ¶
  9. Michael Kohlhase, Deyan Ginev, Vlad Merticariu. A Framework for Semantic Publishing of Modular Content Objects; in Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger, eds.: . Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, 2013-07-08/2013-07-12 in Bath, UK; Springer 2013. ¶
  10. Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack. Towards Ontological Support for Principle Solutions in Mechanical Engineering; , 2013. see http://kwarc.info/kohlhase/papers/fm13.pdf ¶
  11. Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack. Semantic Support for Engineering Design Processes; , 2013. ¶
  12. Michael Kohlhase, Catalin David, Deyan Ginev, Bogdan Matican, Vlad Merticariu, Stefan Mirea. A Framework for Semantic Publishing of Modular Content Objects; , 2012. ¶
  13. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.6 (pre-2.0)]; , 2010. Draft Specification ¶
  14. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.3]; , 2010. Draft Specification ¶
  15. Fulya Horozal, Michael Kohlhase, Florian Rabe, Kristina Sojakova. Towards an Atlas of Logics; , 2010. ¶
  16. Michael Kohlhase. omdoc: An Open Markup Format for Mathematical Documents; Language Specification, Primer, Projects, Applications [Version 1.6 (pre-2.0)]; , 2009. Draft Specification https://svn.omdoc.org/repos/omdoc/trunk/doc/spec/main.pdf ¶
  17. Michael Kohlhase. An omdoc Primer [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/primer/main.pdf ¶
  18. Michael Kohlhase. Processing omdoc [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/processing/main.pdf ¶
  19. Michael Kohlhase. omdoc Projects and Applications [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf ¶
  20. Michael Kohlhase. CodeML: An Open Markup Format the Content and Presentatation of Program Code; Internet Draft at https://svn.omdoc.org/repos/codeml/doc/spec/codeml.pdf ¶

Miscellaneous

  1. Alex Dumitru, Deyan Ginev, Michael Kohlhase, Vlad Merticariu, Stefan Mirea, Tom Wiesing. KAT: An Annotation Tool for STEM Documents; Manual; , 2014. ¶
  2. Michael Kohlhase. Mathematical Documents want to be Active, Digital Math Libraries want to be Semantic — Position paper for WDML 2012; , Position Paper at WDML Symposium, 2012. ¶
  3. Michael Kohlhase, Lutz Schroeder. The FormalCAD Project; , 2011. see http://trac.kwarc.info/FormalCAD/ ¶
  4. Michael Kohlhase. General Computer Science; 320101: GenCS I Lecture Notes; , 2011. ¶
  5. Michael Kohlhase. General Computer Science; Problems for 320101 GenCS I; , 2011. ¶
  6. Michael Kohlhase. General Computer Science; Problems and Solutions for 320101 GenCS I; , 2011. ¶
  7. Michael Kohlhase. General Computer Science: 320201 GenCS II Lecture Notes; , 2011. ¶
  8. Michael Kohlhase. General Computer Science: Problems for 320201 GenCS II; , 2011. ¶
  9. Michael Kohlhase. General Computer Science: Problems and Solutions for 320201 GenCS II; , 2011. ¶
  10. Michael Kohlhase. General Computer Science: GenCS I/II Lecture Notes; , Semantic Course Notes in Panta Rhei, 2011. ¶
  11. James H. Davenport, Michael Kohlhase. Unifying Math Ontologies: A tale of two standards (full paper); , 2009. ¶
  12. M. Kohlhase, T. Mossakowski, F. Rabe. The LATIN Project; , 2009. see https://trac.omdoc.org/LATIN/ ¶
  13. Dieter Hutter, Michael Kohlhase. Ontology-Driven Management of Change; , 2006. ¶
  14. Michael Kohlhase, David Carlisle. Guidelines for Graphics in MathML 2; , 2003. ¶
  15. Michael Kohlhase, Stan Devitt. Bound Variables in MathML; , 2003. ¶
  16. Michael Kohlhase, Stan Devitt. Structured Types in MathML 2.0; , 2003. ¶
  17. Michael Kohlhase. OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1); , Open Specification, 2001. ¶
  18. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Daniel Nesmith, Jörn Richts. A Test for Evaluating the Practical Usefulness of Deduction Systems; , 1994. ¶

(last regeneration: 2014-04-14+02:00)

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package