KWARC

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. Christoph Lange. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web; pp. 119–158 in Semantic Web Journal (4:2); IOS Press 2013.  ¶
  5. Florian Rabe, Michael Kohlhase. ; pp. 1–54 in Information & Computation (0:230); 2013.  ¶
  6. 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.  ¶
  7. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; pp. 235–260 in Mathematics in Computer Science (6:3); 2012.  ¶
  8. Christoph Lange. Vokabelheft fürs Web; pp. 42–45 in freeX Magazin für Netzwerkallowbreak/allowbreak Virtualisierungallowbreak/allowbreak Sicherheit (1); C&L Computer- und Literaturverlag 2012.  ¶
  9. Christoph Lange. Desktop mit Dolmetscher; pp. 90–94 in freeX Magazin für Netzwerkallowbreak/allowbreak Virtualisierungallowbreak/allowbreak Sicherheit (2); C&L Computer- und Literaturverlag 2012.  ¶
  10. Florian Rabe. A Logical Framework Combining Model and Proof Theory; in Mathematical Structures in Computer Science; 2012.  ¶
  11. 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.  ¶
  12. 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 ¶
  13. Stephen Awodey, Florian Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; in Logical Methods in Computer Science (7:3); 2011.  ¶
  14. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; pp. 4919–4945 in Theoretical Computer Science (412:37); 2011.  ¶
  15. Mihnea Iancu, Florian Rabe. Formalizing Foundations of Mathematics; pp. 883–911 in Mathematical Structures in Computer Science (21:4); 2011.  ¶
  16. 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.  ¶
  17. 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.  ¶
  18. Florian Rabe. Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on His 70th Birthday”; pp. 409–411 in Bulletin of Symbolic Logic (16:3); 2010.  ¶
  19. 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.  ¶
  20. Christine Müller, Michael Kohlhase. Context-Aware Adaptation: A Case Study on Mathematical Notations; pp. 215–230 in Information Systems Management (26:3); 2009.  ¶
  21. 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.  ¶
  22. 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.  ¶
  23. J. Goguen, T. Mossakowski, V. Paiva, Florian Rabe, L. Schröder. An Institutional View on Categorical Logic; pp. 129–152 in International Journal of Software and Informatics (1:1); 2008.  ¶
  24. Michael Kohlhase. Using LaTeX as a Semantic Markup Format; pp. 279–304 in Mathematics in Computer Science (2:2); Birkhäuser 2008.  ¶
  25. Andrea Kohlhase, Milena Reichel. Embodied Conceptualizations: Social Tagging and E-Learning; pp. 58–67 in International Journal of Web-Based Learning and Teaching Technologies; Idea Group Inc. 2008.  ¶
  26. Normen Müller. Tagungsbericht – LWA 2006; pp. 61 in KI – Zeitschrift Künstliche Intelligenz (1); 2007.  ¶
  27. Florian Rabe, P. Pudlák, G. Sutcliffe, W. Shen. Solving the $100 Modal Logic Challenge; in Journal of Applied Logic (1:1); 2007.  ¶
  28. Andrea Kohlhase. Learner and Learning Technology: The Interaction Process as a Full Partnership; in ECTI Transactions Journal; 2007. Under final review ¶
  29. Christoph Benzmüller, Chad Brown, Michael Kohlhase. Higher Order Semantics and Extensionality; pp. 1027–1088 in Journal of Symbolic Logic (69); 2004.  ¶
  30. Patrick Blackburn, Michael Kohlhase. Inference and Computational Semantics; pp. 117–120 in Journal of Logic, Language and Information (13:2); 2004.  ¶
  31. Johan Bos, Michael Kohlhase. Editorial; pp. 381-384 in Logic Journal of the IGPL (11:4); 2003.  ¶
  32. Michael Kohlhase, Alexander Koller. Resource-Adaptive Model Generation as a Performance Model; pp. 435–456 in Logic Journal of the IGPL (11:4); 2003.  ¶
  33. 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.  ¶
  34. 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.  ¶
  35. Dieter Hutter, Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification; pp. 123–164 in Journal of Automated Reasoning (25:2); 2000.  ¶
  36. Andreas Franke, Michael Kohlhase. MBase: Representing mathematical knowledge in a relational data base; in Electronic Notes Theoretical Computer Science (23:3); 1999.  ¶
  37. 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.  ¶
  38. 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.  ¶
  39. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; in Journal of Applied Non-Classical Logics (9); 1999.  ¶
  40. 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.  ¶
  41. Markus Egg, Claire Gardent, Michael Kohlhase. Steuerung der Inferenz in der Diskursverarbeitung; pp. 106–110 in Kognitionswissenschaft (7:3); 1998.  ¶
  42. Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra Into Proof Planning; pp. 327–355 in Journal of Automated Reasoning (21:3); 1998.  ¶
  43. Jörg Siekmann, Michael Kohlhase, Erica Melis. $Omega$mega, Ein mathematisches Assistenzsystem; pp. 101–105 in Kognitionswissenschaft (7:3); 1998.  ¶
  44. 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.  ¶
  45. 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.  ¶
  46. Michael Kohlhase. Sorten für das automatische Beweisen höherer Stufe; in Künstliche Intelligenz; Scientec Publishing 1996.  ¶
  47. 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. Andrea Kohlhase, Milena Reichel. Social Tagging and Learning: The Fuzzy Line between Private and Public Space; chap. 11 in Nikos Karacapilidis, ed.: Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching; Advances in Web-based Learning (AWBL), Information Science Reference January 2010. ¶
  3. 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. ¶
  4. 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. ¶
  5. 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. ¶
  6. Andrea Kohlhase, Normen Müller. Added-Value: Getting People into Semantic Work Environments; pp. 185–205 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008. ¶
  7. 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. ¶
  8. 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. ¶
  9. 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. ¶
  10. 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. ¶
  11. 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. ¶
  12. 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. ¶
  13. 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. ¶
  14. Normen Müller. OMDoc as a Data Format for VeriFun; pp. 329–332 (chap. 26.20) in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶
  15. Michael Kohlhase. Artificial Intelligence: Automated Reasoning; pp. 247–250 in Van Nostrand's Scientific Encyclopedia; Van Nostrand 2003. ¶
  16. 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. ¶
  17. 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. ¶
  18. Michael Kohlhase. Higher-Order Automated Theorem Proving; pp. 431–462 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  19. Michael Kohlhase. Automated Theorem Proving in Mathematics; pp. 3–7 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  20. . Automated Deduction – A Basis for Applications; chap. Automated Theorem Proving in Mathematics in Michael Kohlhase, ed.: Automated Deduction – A Basis for Applications; Kluwer 1998. ¶
  21. 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. Andrea Kohlhase, Alexandru Toader. Exploration of Spreadsheet Formulae with Fency; in Andrea Kohlhase, Bodo Rieger, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; October 2013. ¶
  2. Manfred Kerber, Christoph Lange, Colin Rowat. Automated Reasoning for Economics; in Alexander Bolotov, Simon Colton, David Crocker, Louise Dennis, Clare Dixon, Jacques Fleuriot, Ullrich Hustadt, Mateja Jamnik, Katya Komendantskaya, Alice Miller, Renate Schmidt, Volker Sorge, Jónathan Heras, eds.: 20th Automated Reasoning Workshop (ARW), , 2013-04-11/2013-04-12 in Dundee, UK; 2013. ¶
  3. Michael Kohlhase, Corneliu Prodescu, Christian Liguda. XLSearch: A Search Engine for Spreadsheets; in Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013); 2013. ¶
  4. 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. ¶
  5. 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. ¶
  6. Christoph Langeselfedit, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory; pp. 200–215 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. ¶
  7. Christoph Langeselfedit, Colin Rowat, Manfred Kerber. The ForMaRE Project – Formal Mathematical Reasoning in Economics; pp. 330–334 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. ¶
  8. Christoph Lange, Manfred Kerber, Colin Rowat. Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts; pp. 153–156 in Matthias Horbach, ed.: INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt, 43rd annual meeting of the German Informatics Society (Gesellschaft für Informatik e.V. (GI)), 2013-09-16/2013-09-20 in Koblenz, Germany; Lecture Notes in Informatics P-220, Köllen 2013. ¶
  9. Till Mossakowski, Oliver Kutz, Christoph Lange. Semantics of the Distributed Ontology Language: Institutes and Institutions; pp. 212–230 in Till Mossakowski, Narciso Martí-Oliet, Miguel Tarjuelo, eds.: Recent Trends in Algebraic Development Techniques, WADT 2012, 21st International Workshop on Algebraic Development Techniques, 2012-06-07/2012-06-10 in Salamanca, Spain; LNCS 7841, Springer 2013. ¶
  10. Christoph Lange, Colin Rowat, Wolfgang Windsteiger, Manfred Kerber. Developing an Auction Theory Toolbox; in Christoph Lange, Colin Rowat, Manfred Kerber, eds.: Enabling Domain Experts to use Formalised Reasoning, Do-Form, symposium at the AISB Annual Convention, 2013-04-03/2013-04-05 in Exeter, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2013. ¶
  11. 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. ¶
  12. 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. ¶
  13. Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract); in Francesca Rossi, ed.: International Joint Conference on Artificial Intelligence, 23rd International Conference (IJCAI 2013), track on best papers in sister conferences, 2013-08-03/2013-08-09 in Beijing, China; AAAI Press 2013. ¶
  14. Florian. Rabe. The MMT API: A Generic MKM System; pp. 339–343 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. ¶
  15. Mihnea Iancu, Felix Mance, Florian Rabe. The Scala-REPL + MMT as a lightweight mathematical user interface; 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. ¶
  16. 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. ¶
  17. Akiko Aizawa, Michael Kohlhase, Iadh Ounis. NTCIR-10 Math Pilot Task Overview; pp. 1–8 in NTCIR Workshop 10 Meeting; 2013. ¶
  18. Michael Kohlhase, Corneliu Prodescu. MathWebSearch at NTCIR-10; pp. 675–679 in NTCIR Workshop 10 Meeting; 2013. ¶
  19. 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. ¶
  20. Andrea Kohlhase. Human-Spreadsheet Interaction; pp. 571-578 in Paula Kotz'e, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler, eds.: Human-Computer Interaction – INTERACT 2013; LNCS (8120), Springer 2013. ¶
  21. Andrea Kohlhase. Spreadsheets: from data interfaces to knowledge interfaces; 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. ¶
  22. Andrea Kohlhase. Navigation in Mathematical Documents; pp. 12–23 in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2012; June 2012. ¶
  23. Till Mossakowski, Oliver Kutz, Christoph Lange. cMap's Product Classification Mapping from an Ontology Interoperability Perspective; in Aurélie Virgili, Others, eds.: Mapping of classifications and other light-weight ontologies, Workshop of the cMap project (Classification Mapping for open and standardized product classification usage in eBusiness), 2012-06-22 in Madrid, Spain; 2012. ¶
  24. Mihnea Iancu, Florian Rabe. Management of Change in Declarative Languages; pp. 325–340 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. ¶
  25. Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus, Michael Grüninger. The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability; in Frank Harmelen, James A. Hendler, Pascal Hitzler, Krzysztof Janowicz, Denny Vrandečić, eds.: What will the Semantic Web look like 10 Years from now? Workshop at ISWC; 2012. ¶
  26. Manfred Kerber, Christoph Lange, Colin Rowat. Formal representation and proof for cooperative games; pp. 15–18 in Alison Pease, Brendan Larvor, eds.: Symposium on Mathematical Practice and Cognition II, , 2012-07-02/2012-07-03 in Birmingham, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2012. ¶
  27. Florian Rabe. A Query Language for Formal Mathematical Libraries; pp. 142–157 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. ¶
  28. 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; pp. 458–462 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. ¶
  29. Carst Tankink, Christoph Lange, Josef Urban. Point-and-write — Documenting Formal Mathematics by Reference; pp. 169–185 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. ¶
  30. Christoph Lange, Till Mossakowski, Oliver Kutz. LoLa: A Modular Ontology of Logics, Languages, and Translations; in Thomas Schneider, Dirk Walther, eds.: Modular Ontologies, 6th International Workshop (WoMO), 2012-07-24 in Graz, Austria; CEUR Workshop Proceedings 875, 2012. ¶
  31. Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger. The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization; pp. 463–467 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. ¶
  32. 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. ¶
  33. 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. ¶
  34. 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. ¶
  35. Michael Kohlhase, Mihnea Iancu. Searching the Space of Mathematical Knowledge; in Petr Sojka, Michael Kohlhase, eds.: DML and MIR 2012; Masaryk University, Brno 2012. ¶
  36. 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. ¶
  37. 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. ¶
  38. Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language; pp. 337–352 in Maureen Donnelly, Giancarlo Guizzardi, eds.: Formal Ontology in Information Systems, 7th International Conference (FOIS 2012), 2012-07-24/2012-07-27 in Graz, Austria; Frontiers in Artificial Intelligence and Applications 239, IOS Press 2012. ¶
  39. Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Vale. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility; pp. 33–48 in Guadalupe Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda, eds.: Terminology and Knowledge Engineering Conference (TKE), , 2012-06-20/2012-06-21 in Madrid, Spain; 2012. ¶
  40. Mihnea Iancu, Florian Rabe. (Work-in-Progress) An MMT-Based User-Interface; in Workshop on User Interfaces for Theorem Provers; 2012. ¶
  41. Mihai Codescu, Fulya Horozal, Till Mossakowski, Florian Rabe. Compiling Logics; in Workshop on Algebraic Development Techniques; 2012. ¶
  42. Mihai Codescu, Fulya Horozal, Iulia Ignatov, Florian Rabe. Representing CASL in a Proof-Theoretical Logical Framework; in Workshop on Algebraic Development Techniques; 2012. ¶
  43. Fulya Horozal, Florian Rabe. Representing Categories of Theories in a Proof-Theoretical Logical Framework; in Workshop on Algebraic Development Techniques; 2012. ¶
  44. Florian Rabe, Kristina Sojakova. Mechanically Verifying Logic Translations; in Workshop on Algebraic Development Techniques; 2012. ¶
  45. Christoph Lange, Till Mossakowski, Christian Galinski, Oliver Kutz. Making Heterogeneous Ontologies Interoperable Through Standardisation; pp. 185–196 in Accessibility Reaching Everywhere, AEGIS 2nd International Conference, 2011-11-29/2011-11-30 in Brussels, Belgium; November 2011. ¶
  46. 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. ¶
  47. Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange. Towards a Standard for Heterogeneous Ontology Integration and Interoperability; pp. 101–110 in Key-Sun Choi, Others, eds.: First International Conference on Terminology, Language and Content Resources (LaRC), , 2011-06-10/2011-06-11 in Seoul, Korea; KATS June 2011. ¶
  48. 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. ¶
  49. 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. ¶
  50. 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. ¶
  51. 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. ¶
  52. Andrea Kohlhase, Constantin Jucovschi. planMP:Collecting Mathematical Practices for MKM; in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics – Work in Progress Papers; 2011. ¶
  53. Christoph Lange. Krextor – An Extensible Framework for Contributing Content Math to the Web of Data; pp. 304–306 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  54. 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. ¶
  55. 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. ¶
  56. 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. ¶
  57. Anca Dumitrache, Christoph Lange. BauDenkMalNetz – Creating a Semantically Annotated Web Resource of Historical Buildings; 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. ¶
  58. Mihai Cîrlănaru, Deyan Ginev, Christoph Lange. Authoring and Publishing of Units and Quantities in Semantic Documents; pp. 202–216 in Raúl Castro, Dieter Fensel, Grigoris Antoniou, eds.: The Semantic Web: ESWC 2011 Workshops, Workshops at the 8th Extended Semantic Web Conference (ESWC), 2011-05-29/2011-05-30 in Hersonissos, Crete, Greece; LNCS 7117, Springer Verlag 2011. ¶
  59. Mihai Cîrlănaru, Deyan Ginev, Christoph Lange. Authoring and Publishing of Units and Quantities in Semantic Documents; 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. ¶
  60. 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. ¶
  61. 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. ¶
  62. 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. ¶
  63. 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. ¶
  64. 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. ¶
  65. 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. ¶
  66. 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. ¶
  67. Christoph Lange. Towards OpenMath Content Dictionaries as Linked Data; in Michael Kohlhase, Christoph Lange, eds.: 23rd OpenMath Workshop; July 2010. ¶
  68. 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. ¶
  69. Andrea Kohlhase. Towards User Assistance for Documents via Interactional Semantic Technology; pp. 107–115 in Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz, eds.: KI 2010: Advances in Artificial Intelligence; LNAI 6359, 2010. ¶
  70. Christoph Lange. Integrating Mathematics into the Web of Data; in Sören Auer, Stefan Decker, Manfred Hauswirth, eds.: Linked Data in the Future Internet, Future Internet Assembly, 2010-12-16/2010-12-17 in Ghent, Belgium; CEUR Workshop Proceedings 700, 2010. ¶
  71. Serge Autexier, Normen Müller. Semantics-based Change Impact Analysis for Heterogeneous Collections of Documents; pp. 97–106 in Michael Gormish, Rolf Ingold, eds.: Proceedings of the 10th ACM symposium on Document engineering; DocEng '10, ACM 2010. ¶
  72. 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. ¶
  73. Catalin David, Christoph Lange, Florian Rabe. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha; pp. 13–30 in David Delahaye, Renaud Rioboo, eds.: CALCULEMUS (Emerging Trends); Centre d'Étude et de Recherche en Informatique du CNAM (Cédric) 2010. ¶
  74. 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. ¶
  75. 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. ¶
  76. 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. ¶
  77. Denny Vrandečić, Christoph Lange, Michael Hausenblas, Jie Bao, Li Ding. Semantics of Governmental Statistics Data; in Proceedings of WebSci'10: Extending the Frontiers of Society On-Line; Web Science Trust 2010. ¶
  78. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application]; pp. 317–339 in Proceedings of XML Prague 2010; 2010. ¶
  79. 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. ¶
  80. 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. ¶
  81. 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. ¶
  82. 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. ¶
  83. C. David, C. Lange, F. Rabe. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha; pp. 13–30 in D. Delahaye, R. Rioboo, eds.: CALCULEMUS (Emerging Trends); Technical Reports of CEDRIC (CNAM/ENSIIE), Centre d'Étude et de Recherche en Informatique du CNAM (Cédric) 2010. ¶
  84. 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. ¶
  85. F. Rabe. Representing Isabelle in LF; pp. 85–100 in K. Crary, M. Miculan, eds.: Logical Frameworks and Meta-languages: Theory and Practice; Electronic Proceedings in Theoretical Computer Science (34), Electronic Proceedings in Theoretical Computer Science 2010. ¶
  86. Christoph Lange, Vyacheslav Zholudev. Previewing OWL Changes and Refactorings Using a Flexible XML Database; in Mathieu d'Aquin, Alexander Castro, Christoph Lange, Kim Viljanen, eds.: 1st Workshop on Ontology Repositories and Editors, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 596, 2010. ¶
  87. 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. ¶
  88. 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. ¶
  89. 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. ¶
  90. Vyacheslav Zholudev. The TNTBase System and Validation of XML Documents; pp. 57–63 in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. ¶
  91. 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. ¶
  92. 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. ¶
  93. 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. ¶
  94. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  95. 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. ¶
  96. James H. Davenport, Michael Kohlhase. Quantifiers and Big Operators in OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  97. Florian Rabe, Michael Kohlhase. A better Role System for OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  98. Christoph Lange. wiki.openmath.org – how it works, how you can participate; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  99. Jana Giceva, Christoph Lange, Florian Rabe. Integrating Web Services into Active Mathematical Documents; pp. 279–293 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  100. 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. ¶
  101. Cristian Calude, Christine Müller. Formal Proofs: Reconciling Correctness and Understanding; in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  102. 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. ¶
  103. 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. ¶
  104. Christoph Lange, Michael Kohlhase. Documenting Ontologies the Mathematical Way; in , ed.: Poster Proceedings of the 6th European Semantic Web Conference (ESWC); June 2009. ¶
  105. Christoph Lange. Krextor – An Extensible XML$to$RDF Extraction Framework; in Chris Bizer, Sören Auer, Gunnar AAstrand Grimnes, eds.: Scripting and Development for the Semantic Web (SFSW); CEUR Workshop Proceedings 449, May 2009. ¶
  106. 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. ¶
  107. 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. ¶
  108. 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. ¶
  109. 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. ¶
  110. 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. ¶
  111. 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. ¶
  112. Christine Müller. Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup; pp. 432–437 in J. Yang, Others, eds.: Proceedings of the United International Systems Conference (UNISCON) LNBIP 20; Springer-Verlag Berlin Heidelberg 2009. ¶
  113. Christine Müller. Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup; pp. 1–8 in UNISCON 2009 Supplementary Proceedings: Doctoral Consortium Papers; University of Western Sydney 2009. ¶
  114. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; pp. 249–263 in P. Curien, ed.: Typed Lambda Calculi and Applications (TLCA); LNCS (5608), Springer 2009. ¶
  115. F. Rabe, C. Schürmann. A Practical Module System for LF; pp. 40–48 in J. Cheney, A. Felty, eds.: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP); ACM International Conference Proceeding Series (LFMTP'09), ACM Press 2009. ¶
  116. F. Rabe. Representing Logics and Logic Translations; pp. 201–210 in D. Wagner et al., ed.: Ausgezeichnete Informatikdissertationen 2008; Lecture Notes in Informatics (D-9), Gesellschaft für Informatik e.V. (GI) 2009. ¶
  117. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; pp. 49–65 in M. Ayala-Rincón, F. Kamareddine, eds.: Fourth Workshop on Logical and Semantic Frameworks, with Applications; Electronic Notes in Theoretical Computer Science (256), Elsevier 2009. ¶
  118. K. Sojakova, F. Rabe. Translating Dependently-Typed Logic to First-Order Logic; pp. 326–341 in A. Corradini, U. Montanari, eds.: Recent Trends in Algebraic Development Techniques; LNCS (5486), Springer 2009. ¶
  119. Stefania Dumbrava, Fulya Horozal, Kristina Sojakova. A Case Study on Formalizing Algebra in a Module System; pp. 11–18 in Florian Rabe, Carsten Schürmann, eds.: Workshop on Modules and Libraries for Proof Assistants; ACM International Conference Proceeding Series (429), 2009. ¶
  120. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  121. 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. ¶
  122. Christine Müller. Towards CoPing with Information Overload; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  123. Christine Müller. Towards the Adaptation of Scientific Course Material powered by Community of Practice; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  124. 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. ¶
  125. Christoph Lange, Alberto Palomo. Easily Editing and Browsing Complex OpenMath Markup with SWiM; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop; July 2008. ¶
  126. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Improving mathematical knowledge items by acting on issue-based community feedback; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008. ¶
  127. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008. ¶
  128. Andrea Kohlhase. MS PowerPoint Use from a Micro-Perspective; pp. 1279–1286 in Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications 2008 (ED-MEDIA'08), , 2008-06 in Vienna, Austria; AACE June 2008. ¶
  129. Christoph Lange. Editing openmath Content Dictionaries with SWiM; in 3rd JEM Workshop (Joining Educational Mathematics); February 2008. ¶
  130. 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. ¶
  131. Christoph Lange, Uldis Bojārs, Tudor Groza, John Breslin, Siegfried Handschuh. Expressing Argumentative Discussions in Social Media Sites; in John Breslin, Uldis Bojārs, Alexandre Passant, Sergio Fernández, eds.: Social Data on the Web (SDoW), Workshop at the 7th International Semantic Web Conference, , 2008-10-27 in Karlsruhe, Germany; CEUR Workshop Proceedings 405, 2008. ¶
  132. 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. ¶
  133. 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. ¶
  134. Christoph Lange. SWiM – A semantic wiki for mathematical knowledge management; pp. 832–837 in Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis, eds.: The Semantic Web: Research and Applications, 5th European Semantic Web Conference (ESWC), 2008-06-01/2008-06-05 in Tenerife, Spain; LNCS 5021, Springer Verlag 2008. ¶
  135. Christoph Lange. Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  136. Christoph Lange, Sean McLaughlin, Florian Rabe. Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  137. 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. ¶
  138. 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. ¶
  139. 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 on Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics; CEUR Workshop Proceedings (418), CEUR-WS.org 2008. ¶
  140. C. Benzmüller, Florian Rabe, G. Sutcliffe. THF0 – The core of the TPTP Language for Higher-Order Logic; pp. 491–506 in A. Armando, P. Baumgartner, G. Dowek, eds.: 4th International Joint Conference on Automated Reasoning; LNCS 5195, 2008. ¶
  141. Andrea Kohlhase, Heidi Schelhowe, Michael Lund. What Can the Hundred Languages of Children Teach Us?; pp. 189–198 in Tom Gross, ed.: Interaktion im Plural; Konferenzreihe Mensch und Computer 7, Oldenbourg Verlag September 2007. ¶
  142. Christoph Lange. Towards Scientific Collaboration in a Semantic Wiki; in Andreas Hotho, Bettina Hoser, eds.: Bridging the Gap between Semantic Web and Web 2.0 (SemNet); June 2007. ¶
  143. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007. ¶
  144. 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. ¶
  145. 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. ¶
  146. Andrea Kohlhase. Semantic PowerPoint: Content and Semantic Technology for Educational Added-Value Services in MS PowerPoint; pp. 3576–3583 in Craig Montgomerie, Jane Seale, eds.: Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications 2007 (ED-MEDIA'07); AACE June 2007. ¶
  147. Normen Müller, Marc Wagner. Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change; pp. 289–295 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  148. Christoph Lange. Towards a Semantic Wiki for Science; in Elena Simperl, Jörg Diederich, Guus Schreiber, eds.: Proceedings of the KWEPSY (Knowledge Web PhD Symposium), , 2007-06 in Innsbruck, Austria; CEUR Workshop Proceedings 275, 2007. ¶
  149. Florian Rabe. omdoc Theory Graphs Revisited; in Proceedings of the openmath/JEM workshop; 2007. ¶
  150. 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. ¶
  151. 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. ¶
  152. Andrea Kohlhase. Semantic Perspectives on Knowledge Management and E-Learning; pp. 281–288 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  153. 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. ¶
  154. 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. ¶
  155. Marc Wagner, Christine Müller. Towards Community of Practice Support for Interactive Mathematical Authoring; in Christine Müller, ed.: Proceedings of the 1st SCooP Workshop; 2007. ¶
  156. Christine Müller. Towards the Identification and Support of Scientific Communities of Practice; in Christine Müller, ed.: Proceedings of the 1st SCooP Workshop; 2007. ¶
  157. Christine Müller. Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies; in Tom Gross, ed.: Mensch und Computer 2007; Oldenburg 2007. ¶
  158. Feryal Fulya Horozal, Chad E. Brown. Formal Representation of Mathematics in a Dependently Typed Set Theory; pp. 265–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus; LNAI 4573, Springer Verlag 2007. ¶
  159. Andrea Kohlhase. CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint; pp. 116–118 in Veronika Hornung-Prähauser, ed.: Offene Bildung im/mit dem Web 2.0!?!; Salzburg Research 2007. ¶
  160. Andrea Kohlhase. The Music is not in the Piano: Engaging vs. Enabling MS PowerPoint; pp. 2026–2028 in Roger Carlsen, Karen McFerrin, Jerry Price, Roberta Weber, Dee Anna Willis, eds.: Proceedings of Society for Information Technology and Teacher Education International Conference 2007 (SITE'07); AACE 2007. ¶
  161. Andrea Kohlhase. Media or Medea Society? Learner and Learning Technology as Full Partners; pp. 6–12 in Bundit Thipakorn, ed.: ICDML2006; Tana Press March 2006. ¶
  162. Normen Müller. An Ontology-Driven Management of Change; pp. 186–193 in Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; 2006. ¶
  163. Florian Rabe. Towards Determining the Subset Relation between Propositional Modal Logics; pp. 126–140 in G. Sutcliffe, R. Schmidt, S. Schulz, eds.: Proceedings of the FLoC 06 Workshop on Empirically Successful Computerized Reasoning, 3rd International Joint Conference on Automated Reasoning; CEUR Workshop Proceedings 192, 2006. ¶
  164. Florian Rabe. First-Order Logic with Dependent Types; pp. 377–391 in Ulrich Furbach, Natarajan Shankar, eds.: Automated Reasoning — Third International Joint Conference, IJCAR 2006; LNAI 4130, Springer Verlag 2006. ¶
  165. 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. ¶
  166. 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. ¶
  167. 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. ¶
  168. 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. ¶
  169. 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. ¶
  170. 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. ¶
  171. Andrea Kohlhase. What if PowerPoint became emPowerPoint (through CPoint)?; pp. 2934–2939 in Caroline M. Crawford, ed.: Society for Information Technology and Teacher Education, 17th International Conference SITE 2006; AACE 2006. ¶
  172. Andrea Kohlhase. CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint; pp. 35–42 in Christoph Rensing, ed.: Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006; Logos Verlag 2006. ¶
  173. Andrea Kohlhase. The User as Prisoner: How the Dilemma Might Dissolve; pp. 26–31 in Martin Memmel, Eric Ras, Stephan Weibelzahl, eds.: 2nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning; 2006. ¶
  174. Andrea Kohlhase, Milena Reichel. Embodied Constructionist Learning: Social Tagging and Folksonomies in E-Learning Environments; in Current Developments in Technology-Assisted Education (mICTE06); 2006. ¶
  175. Andrea Kohlhase. Overcoming Proprietary Hurdles: CPoint as Invasive Editor; pp. 51–56 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. ¶
  176. 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. ¶
  177. Florian Rabe, S. Schlager, P. Schmitt. A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela$^+$; pp. 21–27 in G. Sutcliffe, A. Voronkov, eds.: Short Paper Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; 2005. ¶
  178. 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. ¶
  179. Andrea Kohlhase. CPoint's Mathematical User Interface; in Paul Libbrecht, ed.: Mathematical User Interfaces; 2004. ¶
  180. Michael Kohlhase. Semantic Markup for TeX/LaTeX; in Paul Libbrecht, ed.: Mathematical User Interfaces; 2004. ¶
  181. 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. ¶
  182. Edmund Clarke, Michael Kohlhase, Joël Ouaknine, Klaus Sutner. Resurrecting the Analytica Theorem Prover; in First QPQ Workshop on Deductive Software Components; 2003. ¶
  183. 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. ¶
  184. 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. ¶
  185. Michael Kohlhase. Applying Unification Techniques to XML Document Management?; in 17th Workshop on Unification; 2003. ¶
  186. Andrea Asperti, Michael Kohlhase. MathML in the scMoWGLI Project; in Second International Conference on MathML and Technologies for Math on the Web; 2002. ¶
  187. 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. ¶
  188. 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. ¶
  189. 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. ¶
  190. 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. ¶
  191. 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. ¶
  192. 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. ¶
  193. 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. ¶
  194. 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. ¶
  195. 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. ¶
  196. 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. ¶
  197. 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. ¶
  198. Patrick Blackburn, Johan Bos, Michael Kohlhase. Automated Reasoning for Computational Semantics; in The Third International Tbilisi Symposium on Language, Logic and Computation; 1999. ¶
  199. 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. ¶
  200. 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. ¶
  201. 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. ¶
  202. 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. ¶
  203. 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. ¶
  204. 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. ¶
  205. 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. ¶
  206. 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. ¶
  207. 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. ¶
  208. 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. ¶
  209. Markus Egg, Michael Kohlhase. Dynamic Control of Quantifier Scope; pp. 109–114 in Paul Dekker, ed.: Proceedings of the 11th Amsterdam Colloquium; ILLC 1997. ¶
  210. Markus Egg, Michael Kohlhase. Underspecification of quantifier scope; in Proceedings der 6. Fachtagung der Sektion Computerlinguistik der DGfS; 1997. ¶
  211. 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. ¶
  212. 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. ¶
  213. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; pp. 85–92 in Proceedings of the 5th Meeting on Mathematics of Language – MOL5; 1997. ¶
  214. 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. ¶
  215. 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. ¶
  216. Manfred Kerber, Michael Kohlhase. Partiality without the Cost; in Workshop on “Mechanization of Partial Functions” at CADE-13; 1996. ¶
  217. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Unification; pp. 268–279 in Proceedings of the 16th International Conference on Computational Linguistics; 1996. ¶
  218. 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. ¶
  219. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; pp. 268–279 in Proceedings of KONVENS'96; De Gruyter 1996. ¶
  220. 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. ¶
  221. Michael Kohlhase. Higher-Order Tableaux; pp. 294–309 in Proceedings of the Tableau Workshop; 1995. ¶
  222. 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. ¶
  223. 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. ¶
  224. 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. ¶
  225. 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. ¶
  226. 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. ¶
  227. 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. ¶
  228. Manfred Kerber, Michael Kohlhase. Formalizing Mathematics with Dependent Sorts; in Proceedings des Deduktionstreffen; AIDA-Report, 1994. ¶
  229. 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. ¶
  230. 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. ¶
  231. 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. ¶
  232. 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. ¶
  233. 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. Andrea Kohlhase, Bodo Rieger. Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; October 2013. Workshop at LWA 2013, published as part of citeLWA13 ¶
  2. Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. 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. Christoph Lange, Colin Rowat, Manfred Kerber. Enabling Domain Experts to use Formalised Reasoning, Do-Form, symposium at the AISB Annual Convention, 2013-04-03/2013-04-05 in Exeter, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2013.  ¶
  4. Alexander Castro, Christoph Lange, Phillip Lord, Robert Stevens. 3rd Workshop on Semantic Publishing (SePublica), , 2013-05-26 in Montpellier, France; CEUR Workshop Proceedings 994, 2013.  ¶
  5. Benjamin Good, Frank Harmelen, Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard. 2nd Workshop on Semantic Publishing (SePublica), , 2012-05-28 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 903, 2012.  ¶
  6. Petr Sojka, Michael Kohlhase. DML and MIR 2012; Masaryk University, Brno 2012.  ¶
  7. Christoph Lange, . Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; AKA Verlag and IOS Press 2011. Book edition of thesis citeLange:PhD ¶
  8. J. Davenport, W. Farmer, F. Rabe, J. Urban. ; Lecture Notes in Computer Science (6824), Springer 2011.  ¶
  9. A. Asperti, J. Davenport, W. Farmer, F. Rabe, J. Urban. ; Technical Reports of University of Bologna (UBLCS-2011-04), University of Bologna 2011.  ¶
  10. Herman Geuvers, Gopalan Nadathur, Florian Rabe, Carsten Schürmann. ; 2011. see http://kwarc.info/frabe/events/mlpa-11/index.html ¶
  11. James Davenport, William Farmer, Florian Rabe, Josef Urban. Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011.  ¶
  12. James Davenport, William Farmer, Florian Rabe, Josef Urban. Intelligent Computer Mathematics – Work in Progress Papers; 2011.  ¶
  13. Alexander Castro, Ken Baclawski, John Bateman, Kim Viljanen, Christoph Lange. Workshop Ontologies come of Age in the Semantic Web, , 2011-10-24 in Bonn, Germany; CEUR Workshop Proceedings 809, 2011.  ¶
  14. Christoph Lange, Josef Urban. ITP Workshop on Mathematical Wikis (MathWikis), , 2011-08-27 in Nijmegen, Netherlands; CEUR Workshop Proceedings 767, 2011.  ¶
  15. Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard. 1st Workshop on Semantic Publication (SePublica), , 2011-05-30 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 721, 2011.  ¶
  16. Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler. AI Mashup Challenge at ESWC; June 2010.  ¶
  17. F. Rabe, C. Schürmann. ; 2010. see http://kwarc.info/frabe/events/mlpa-10.html ¶
  18. Mathieu d'Aquin, Alexander Castro, Christoph Lange, Kim Viljanen. 1st Workshop on Ontology Repositories and Editors, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 596, 2010.  ¶
  19. Christoph Lange, Jochen Reutelshöfer, Sebastian Schaffert, Hala Skaf-Molli. 5th Workshop on Semantic Wikis, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 632, 2010.  ¶
  20. Christoph Lange, Jochen Reutelshöfer. Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009.  ¶
  21. Christoph Lange, Jochen Reutelshöfer. Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. Workshop at LWA 2009, published as part of citeLWA09 ¶
  22. F. Rabe, C. Schürmann. ; ACM International Conference Proceeding Series (429), ACM 2009.  ¶
  23. Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel. 4th Workshop on Semantic Wikis, , 2009-06-01 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 464, 2009.  ¶
  24. Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel. 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008.  ¶
  25. Olga Caprotti, Sebastian Xambó, Maria-Antonia Huertas, Michael Kohlhase, Mika Seppälä. 3rd JEM Workshop – Joining Educational Mathematics; 2008.  ¶
  26. Olga Caprotti, Michael Kohlhase, Paul Libbrecht. OpenMath/JEM Workshop 2007; June 2007.  ¶
  27. Christoph Lange. Wikis und Blogs – Planen, Einrichten, Verwalten; C&L Computer- und Literaturverlag September 2006.  ¶
  28. Michael Kohlhase, . textscOMDoc – An open markup format for mathematical documents [Version 1.2]; Springer Verlag August 2006.  ¶
  29. Christian Freksa, Michael Kohlhase, Kerstin Schill. Proceedings of the 29.th Annual German Conference on Artificial Intelligence KI'06; LNAI 4314, 2006.  ¶
  30. Michael Kohlhase. Mathematical Knowledge Management, MKM'05; LNAI 3863, Springer Verlag 2006.  ¶
  31. Christoph Lange. Wiki – Planen, Einrichten, Verwalten; C&L Computer- und Literaturverlag September 2005.  ¶
  32. 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.  ¶
  33. Johan Bos, Michael Kohlhase. ; Oxford University Press 2003. Special Issue for ICOS-2 ¶
  34. Patrick Blackburn, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2001.  ¶
  35. Johan Bos, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2000.  ¶
  36. Manfred Kerber, Michael Kohlhase. Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000); AKPeters 2000.  ¶
  37. 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.  ¶
  38. Jörg Denzinger, Michael Kohlhase, Bruce Spencer. CADE-15 Workshop “Using AI Methods in Deduction”; 1998.  ¶

Theses

  1. Christoph Lange. Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; Ph.D. Thesis, Jacobs University Bremen 2011. ¶
  2. Christine Müller. Adaptation of Mathematical Documents; Ph.D. Thesis, Jacobs University Bremen 2010. ¶
  3. Andrea Kohlhase. Semantic Interaction Design: Composing Knowledge with CPoint; Ph.D. Thesis, Computer Science, Universität Bremen April 2008. ¶
  4. Florian Rabe. Representing Logics and Logic Translations; Ph.D. Thesis, Jacobs University Bremen 2008. ¶
  5. Feryal Fulya Horozal. Towards a Natural Representation of Mathematics in Proof Assistants; Master's Thesis, Saarland University 2007. ¶
  6. Christoph Lange. A Semantic Wiki for Mathematical Knowledge Management; Diploma thesis, Universität Trier August 2006. ¶
  7. Normen Müller. OMDoc-Repräsentation von Programmen und Beweisen in VeriFun; Master's Thesis, Programmiermethodik, Technische Universität Darmstadt 2005. ¶
  8. Michael Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle; Ph.D. Thesis, Universität des Saarlandes 1994. ¶
  9. 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. Manfred Kerber, Christoph Lange, Colin Rowat. A formal proof of Vickrey's theorem by blast, simp, and rule; Working Paper 14-01, University of Birmingham, Department of Economics January 2014. ¶
  2. Michael Kohlhase. Preparing Proposals in LaTeX with ttproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  3. Michael Kohlhase. Preparing DFG Proposals and Reports in LaTeX with dfgproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  4. Michael Kohlhase. Preparing FP7 EU Proposals and Reports in LaTeX with euproposal.cls; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  5. Michael Kohlhase. Editorial Notes for LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  6. 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. ¶
  7. Michael Kohlhase, Deyan Ginev. presentation.sty: An Infrastructure for Presenting Semantic Macros in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  8. Michael Kohlhase. sproof.sty: Structural Markup for Proofs; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  9. Michael Kohlhase. reqdoc.sty: Semantic Markup for Requirements Specification Documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  10. Michael Kohlhase. physml.sty: An Infrastructure for Marking Up PhysML in TeX/LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  11. 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. ¶
  12. 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. ¶
  13. Michael Kohlhase. assignment.sty/cls: An Infrastructure for formatting Assignments and Exams; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  14. Michael Kohlhase. problem.sty: An Infrastructure for formatting Problems; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  15. Michael Kohlhase. sref.sty: Semantic Crossreferencing in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  16. Michael Kohlhase. metakeys.sty: A generic framework for extensible Metadata in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  17. Michael Kohlhase. RDFa Metadata in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  18. Michael Kohlhase. owl2onto.cls: Marking up OWL2 Ontologies in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  19. Michael Kohlhase. statements.sty: Structural Markup for Mathematical Statements; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  20. Michael Kohlhase. cmathml.sty: A TeX/LaTeX-based Syntax for Content MathML; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  21. Michael Kohlhase. CNXLaTeX: A LaTeX-based Syntax for Connexions Modules; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  22. Michael Kohlhase. omdoc.sty/cls: Semantic Markup for Open Mathematical Documents in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  23. Michael Kohlhase. omtext: Semantic Markup for Mathematical Text Fragments in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  24. Michael Kohlhase. sTeX: Semantic Markup in TeX/LaTeX; Technical Report , Comprehensive TeX Archive Network (CTAN) 2013. ¶
  25. Florian Rabe, Michael Kohlhase. An XML-based Syntax for MMT; Technical Report , 2012. ¶
  26. Mihnea Iancu, Michael Kohlhase, Florian Rabe. Translating the Mizar Mathematical Library into OMDoc format; KWARC Report , Jacobs University Bremen 2011. ¶
  27. M. Iancu, M. Kohlhase, F. Rabe. Translating the Mizar Mathematical Library into OMDoc format; Technical Report KWARC Report-01/11, Jacobs University Bremen 2011. ¶
  28. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application] (extended version); Technical Report , Jacobs University Bremen 2010. ¶
  29. 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. ¶
  30. Cristian Calude, Christine Müller. Formal Proofs: Reconciling Correctness and Understanding; Research Reports , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland March 2009. ¶
  31. 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. ¶
  32. 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. ¶
  33. 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. ¶
  34. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; KWARC Report 2008-3, Jacobs University Bremen December 2008. ¶
  35. 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. ¶
  36. 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. ¶
  37. 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. ¶
  38. Christine Müller. A Survey on Mathematical Notations; KWARC Report 2008-1, Jacobs University Bremen 2008. ¶
  39. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; Technical Report 5, Jacobs University Bremen March 2007. ¶
  40. 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. ¶
  41. Andrea Asperti, Michael Kohlhase, Claudio Coen. Prototype n. D2.b Document Type Descriptors: OMDoc Proofs; MoWGLI Deliverable , The MoWGLI Project 2003. ¶
  42. 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. ¶
  43. Serge Autexier, Frederick Eberhardt, Dieter Hutter, Michael Kohlhase, Romeo Anghelache. Distributed Knowledge Management and Version Control; Deliverable D5.a, The MoWGLI Project 2003. ¶
  44. 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. ¶
  45. Michael Kohlhase, Mandy Simons. Interpreting Negatives in Discourse; Technical Report CMU-PHIL-127, Philosophy, Carnegie Mellon University 2002. ¶
  46. Michael Kohlhase. OMDoc: Towards an OpenMath Representation of Mathematical Documents; Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes 2000. ¶
  47. 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. ¶
  48. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; CLAUS Report 99, University of the Saarland 1998. ¶
  49. 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. ¶
  50. 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. ¶
  51. Christoph Benzmüller, Michael Kohlhase. Model Existence for Higher-Order Logic; SEKI-Report SR-97-09, Universität des Saarlandes 1997. ¶
  52. Christoph Benzmüller, Michael Kohlhase. Resolution for Henkin Models; SEKI-Report SR-97-10, Universität des Saarlandes 1997. ¶
  53. Claire Gardent, Michael Kohlhase, Karsten Konrad. Higher–Order Coloured Unification: a linguistic application; CLAUS Report 97, University of the Saarland 1997. ¶
  54. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; Technical Report , Computer Linguistics, Saarland University 1997. ¶
  55. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; CLAUS Report 77, University of the Saarland 1996. ¶
  56. Claire Gardent, Michael Kohlhase. Higher–Order Coloured Unification and Natural Language Semantics; CLAUS Report 76, University of the Saarland 1996. ¶
  57. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Coloured Unification; CLAUS Report 75, University of the Saarland 1996. ¶
  58. 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. ¶
  59. Michael Kohlhase. Higher-Order Tableaux with Combinators; SEKI Report SR-96-01, Dept. of Computer Science, Universität des Saarlandes, Germany 1996. ¶
  60. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; SEKI Report SR-95-04, Fachbereich Informatik, Universität des Saarlandes 1995. ¶
  61. 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. ¶
  62. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; Technical Report SR-95-05, Fachbereich Informatik, Universität des Saarlandes 1995. ¶
  63. 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. ¶
  64. Michael Kohlhase. Higher-Order Order-Sorted Resolution; Seki Report SR-94-1, Fachbereich Informatik, Universität des Sarrlandes 1994. ¶
  65. 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. ¶
  66. 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. ¶
  67. Michael Kohlhase. A Unifying Principle for Extensional Higher-Order Logic; Technical Report 93--153, Dept. of Mathematics, Carnegie Mellon University 1993. ¶
  68. 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. ¶
  69. 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. ¶
  70. Michael Kohlhase. Order-Sorted Type Theory I: Unification; SEKI-Report SR-91-18 (SFB), Universität des Saarlandes, Saarbrücken 1991. ¶
  71. 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. Andreal Kohlhase. Search Interfaces for Mathematicians; , 2014. submitted to CICM 2014 ¶
  9. Florian Rabe. Generic Literals; , 2014. submitted to CICM 2014 ¶
  10. Cezary Kaliszyk, Florian Rabe. Towards Knowledge Management for HOL Light; , 2014. submitted to CICM 2014 ¶
  11. Fulya Horozal, Michael Kohlhase, Florian Rabe. Flexary Operators for Formalized Mathematics; , 2014. submitted to CICM 2014 ¶
  12. 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. ¶
  13. Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger. Proof Support for Common Logic; , 2013. ¶
  14. 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 ¶
  15. Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack. Semantic Support for Engineering Design Processes; , 2013. ¶
  16. Michael Kohlhase, Catalin David, Deyan Ginev, Bogdan Matican, Vlad Merticariu, Stefan Mirea. A Framework for Semantic Publishing of Modular Content Objects; , 2012. ¶
  17. Florian Rabe. A Type Theory Based on Reflection; , 2012. Manuscript ¶
  18. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.6 (pre-2.0)]; , 2010. Draft Specification ¶
  19. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.3]; , 2010. Draft Specification ¶
  20. Fulya Horozal, Michael Kohlhase, Florian Rabe, Kristina Sojakova. Towards an Atlas of Logics; , 2010. ¶
  21. F. Rabe, M. Iancu. A Formalized Set-Theoretical Semantics of Isabelle/HOL; , 2010. see http://kwarc.info/frabe/Research/rabeEA_isabelle_10.pdf ¶
  22. 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 ¶
  23. Michael Kohlhase. An omdoc Primer [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/primer/main.pdf ¶
  24. Michael Kohlhase. Processing omdoc [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/processing/main.pdf ¶
  25. 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 ¶
  26. Normen Müller. Change Management on Semi-Structured Documents; , 2009. ¶
  27. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; , 2009. see http://kwarc.info/frabe/Research/LamKrip.pdf ¶
  28. M. Kohlhase, C. Lange, C. Müller, N. Müller, F. Rabe. Notations for Active Mathematical Documents; , 2009. ¶
  29. F. Rabe. The MMT Language; , 2009. ¶
  30. Florian Rabe. Institutions with Proofs and their Representation in a Logical Framework; , 2008. Submitted, see http://kwarc.info/frabe/Research/rabe_instlf_07.pdf ¶
  31. Vyacheslav Zholudev, Christoph Lange. TNTBase – a Versioned XML Database;  ¶
  32. 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 ¶
  33. Andrea Kohlhase, Michael Kohlhase. Invasives Design: Mashups für Desktop-Applikationen; submitted to Mensch und Computer 2014 ¶
  34. Andrea Kohlhase. Math Web Interfaces and the Generation Gap of Mathematicians; submitted to Web and Mobile Math Interfaces 2014 ¶

Miscellaneous

  1. Alex Dumitru, Deyan Ginev, Michael Kohlhase, Vlad Merticariu, Stefan Mirea, Tom Wiesing. KAT: An Annotation Tool for STEM Documents; Manual; , 2014. ¶
  2. Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat. Proving soundness of combinatorial Vickrey auctions and generating verified executable code; , 2013. ¶
  3. Christoph Lange, Manfred Kerber, Colin Rowat. Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts; in Ulrich Furbach, Rüdiger Grimm, Felix Hampe, Steffen Staab, Maria Wimmer, eds.: . ; 2013. ¶
  4. Christoph Lange, Colin Rowat, Manfred Kerber, Makarius Wenzel, Marco Caminati, Till Mossakowski, Wolfgang Windsteiger. Auction Theory Toolbox; , 2013. ¶
  5. . OntoIOp (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative; , 2013. ¶
  6. Colin Rowat, Christoph Lange, Manfred Kerber. Formalising “100” Theorems/allowbreak Models/allowbreak Theories in Economics; , 2012. ¶
  7. Manfred Kerber, Christoph Lange, Colin Rowat. An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems; in Kenneth Judd, ed.: . ; 2012. ¶
  8. 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. ¶
  9. . Mathematics Subject Classification (MSC) SKOS; , 2012. ¶
  10. Michael Kohlhase, Lutz Schroeder. The FormalCAD Project; , 2011. see http://trac.kwarc.info/FormalCAD/ ¶
  11. Ioannis Antoniou, Charalampos Bratsas, Anastasia Dimou, Patrick Ion, Christoph Lange, Wolfram Sperber. Mathematics Subject Classification Linked Wiki; , 2011. ¶
  12. Christoph Lange. Survey Results on Collaborative Mathematical Knowledge Management; , 2011. Appendix to the Ph.D. thesis “Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration” ¶
  13. Michael Kohlhase. General Computer Science; 320101: GenCS I Lecture Notes; , 2011. ¶
  14. Michael Kohlhase. General Computer Science; Problems for 320101 GenCS I; , 2011. ¶
  15. Michael Kohlhase. General Computer Science; Problems and Solutions for 320101 GenCS I; , 2011. ¶
  16. Michael Kohlhase. General Computer Science: 320201 GenCS II Lecture Notes; , 2011. ¶
  17. Michael Kohlhase. General Computer Science: Problems for 320201 GenCS II; , 2011. ¶
  18. Michael Kohlhase. General Computer Science: Problems and Solutions for 320201 GenCS II; , 2011. ¶
  19. Michael Kohlhase. General Computer Science: GenCS I/II Lecture Notes; , Semantic Course Notes in Panta Rhei, 2011. ¶
  20. Vyacheslav Zholudev, Others. TNTBase – Virtual Documents; , 2010. ¶
  21. Vyacheslav Zholudev, Others. TNTBase – RESTful API; , 2010. ¶
  22. Vyacheslav Zholudev, Others. TNTBase – RESTful API; , 2010. ¶
  23. M. Iancu, F. Rabe. A Formal Semantics of Isabelle/HOL; , 2010. see https://svn.kwarc.info/repos/twelf/projects/isabelle ¶
  24. Stefania Dumbrava, Florian Rabe. Structuring Theories with Partial Morphisms; , 2010. Workshop on Abstract Development Techniques ¶
  25. James H. Davenport, Michael Kohlhase. Unifying Math Ontologies: A tale of two standards (full paper); , 2009. ¶
  26. Christoph Lange. OpenMath Wiki; , 2009. ¶
  27. F. Horozal, F. Rabe. A Formal Proof of the Soundness of First-order Logic; , 2009. see https://svn.kwarc.info/repos/twelf/fol-soundness.cfg ¶
  28. F. Rabe, C. Schürmann. A Module System for Twelf; , 2009. see https://cvs.concert.cs.cmu.edu/twelf/branches/twelf-mod ¶
  29. M. Kohlhase, T. Mossakowski, F. Rabe. The LATIN Project; , 2009. see https://trac.omdoc.org/LATIN/ ¶
  30. Christoph Lange. Mathematik lernen in einem semantischen Wiki; , March 2008. Invited talk at the 99th MNU-Kongress (Deutscher Verein zur Förderung des mathematischen und naturwissenschaftlichen Unterrichts e.V.) ¶
  31. Vyacheslav Zholudev. Towards Distributed Mathematical Knowledge Management; , 2008. ¶
  32. Christine Müller. Lectora: Towards an Interactive, Collaborative Reader for Mathematical Documents; , March 2007. Research proposal ¶
  33. Christoph Lange, Others. OMDoc (from Wikipedia, the free encyclopedia); in Wikimedia Foundation, ed.: . ; March 2007. ¶
  34. Christoph Lange. Towards a Semantic Wiki for Science; , February 2007. Research proposal for a Ph. D. thesis ¶
  35. Christine Müller. Panta Rhei: Case Study Fall2007; , 2007. ¶
  36. Normen Müller. Towards an Ontology-Driven Management of Change – Research proposal for a Ph.D. thesis; , 2006. ¶
  37. Dieter Hutter, Michael Kohlhase. Ontology-Driven Management of Change; , 2006. ¶
  38. Andrea Kohlhase. CPoint; , 2005. http://kwarc.info/projects/CPoint/ ¶
  39. Michael Kohlhase, David Carlisle. Guidelines for Graphics in MathML 2; , 2003. ¶
  40. Michael Kohlhase, Stan Devitt. Bound Variables in MathML; , 2003. ¶
  41. Michael Kohlhase, Stan Devitt. Structured Types in MathML 2.0; , 2003. ¶
  42. Michael Kohlhase. OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1); , Open Specification, 2001. ¶
  43. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Daniel Nesmith, Jörn Richts. A Test for Evaluating the Practical Usefulness of Deduction Systems; , 1994. ¶
  44. Manfred Kerber, Colin Rowat, Christoph Lange. The ForMaRE Project;  ¶
  45. Manfred Kerber, Christoph Lange, Colin Rowat. ForMaRE;  ¶
  46. Florian Rabe. The MMT Language and System;  ¶
  47. Florian Rabe. MMT – A Module system for Mathematical Theories;  ¶
  48. Christoph Lange, Others. Krextor – The KWARC RDF Extractor;  ¶
  49. Christoph Lange. scSWiM: A Semantic Wiki for Mathematical Knowledge Management;  ¶
  50. Christoph Lange. The OMDoc Ontology;  ¶
  51. . JOBAD Framework – JavaScript API for OMDoc-based active documents;  ¶
  52. Christoph Lange, Normen Müller, Christine Müller. Document Ontologies; project homepage at http://kwarc.info/projects/docOnto/ ¶
  53. . Ontohub;  ¶
  54. Daniel Vale, Julian Kornberger, Christoph Lange, Till Mossakowski, Henning Müller. Ontohub;  ¶

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

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