The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Michael Kohlhase: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Claire Gardent, Michael Kohlhase
    Higher-Order Coloured Unification and Natural Language Semantics. [Citation Graph (0, 0)][DBLP]
    ACL, 1996, pp:1-9 [Conf]
  2. Manfred Pinkal, Michael Kohlhase
    Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. [Citation Graph (0, 0)][DBLP]
    ACL, 2000, pp:- [Conf]
  3. Michael Kohlhase
    OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:32-52 [Conf]
  4. Michael Kohlhase, Ioan Sucan
    A Search Engine for Mathematical Formulae. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:241-253 [Conf]
  5. Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
    Cut-Simulation in Impredicative Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:220-234 [Conf]
  6. Christoph Benzmüller, Michael Kohlhase
    Extensional Higher-Order Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:56-71 [Conf]
  7. Christoph Benzmüller, Michael Kohlhase
    System Description: LEO - A Higher-Order Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:139-144 [Conf]
  8. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
    Omega: Towards a Mathematical Assistant. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:252-255 [Conf]
  9. Andreas Franke, Michael Kohlhase
    System Description: MBASE, an Open Mathematical Knowledge Base. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:455-459 [Conf]
  10. Andreas Franke, Michael Kohlhase
    System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:217-221 [Conf]
  11. Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
    Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  12. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:788-792 [Conf]
  13. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:807-810 [Conf]
  14. Dieter Hutter, Michael Kohlhase
    A Colored Version of the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:291-305 [Conf]
  15. Patricia Johann, Michael Kohlhase
    Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:620-634 [Conf]
  16. Manfred Kerber, Michael Kohlhase
    A Mechanization of Strong Kleene Logic for Partial Functions. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:371-385 [Conf]
  17. Jürgen Zimmer, Michael Kohlhase
    System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:139-143 [Conf]
  18. Claire Gardent, Michael Kohlhase
    Focus and Higher-Order Unification. [Citation Graph (0, 0)][DBLP]
    COLING, 1996, pp:430-435 [Conf]
  19. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Integrating Computer Algebra with Proof Planning. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:204-215 [Conf]
  20. Manfred Kerber, Michael Kohlhase
    A Resolution Calculus for Presuppositions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:375-379 [Conf]
  21. Claire Gardent, Michael Kohlhase
    Computing Parallelism in Discourse. [Citation Graph (0, 0)][DBLP]
    IJCAI (2), 1997, pp:1016-1021 [Conf]
  22. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
    Adapting Methods to Novel Tasks in Proof Planning. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:379-390 [Conf]
  23. Manfred Kerber, Michael Kohlhase
    Mechanising Partiality With Re-implementation. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:123-134 [Conf]
  24. Michael Kohlhase
    Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:331-342 [Conf]
  25. Claire Gardent, Michael Kohlhase, Noor van Leusen
    Corrections and Higher-Order Unification. [Citation Graph (0, 0)][DBLP]
    KONVENS, 1996, pp:268-279 [Conf]
  26. Michael Kohlhase
    Unification in Order-Sorted Type Theory. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:421-432 [Conf]
  27. Michael Kohlhase, Romeo Anghelache
    Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:147-161 [Conf]
  28. Andrea Kohlhase, Michael Kohlhase
    CPoint: Dissolving the Author's Dilemma. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:175-189 [Conf]
  29. Andrea Kohlhase, Michael Kohlhase
    An Exploration in the Space of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:17-32 [Conf]
  30. Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
    Capturing the Content of Physics: Systems, Observables, and Experiments. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:165-178 [Conf]
  31. Andrea Kohlhase, Michael Kohlhase
    Communities of Practice in MKM: An Extensional Model. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:179-193 [Conf]
  32. Michael Kohlhase, Frank Pfenning
    Unification in a Lambda-Calculus with Intersection Types. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:488-505 [Conf]
  33. Michael Kohlhase
    Higher-Order Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:294-309 [Conf]
  34. Claire Gardent, Michael Kohlhase
    Higher-Order Coloured Unification and Natural Language Semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
  35. Claire Gardent, Michael Kohlhase
    Focus and Higher-Order Unification [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
  36. Claire Gardent, Michael Kohlhase, Noor van Leusen
    Corrections and Higher-Order Unification [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
  37. Claire Gardent, Michael Kohlhase
    Computing Parallelism in Discourse [Citation Graph (0, 0)][DBLP]
    CoRR, 1997, v:0, n:, pp:- [Journal]
  38. Andreas Franke, Michael Kohlhase
    MBase: Representing mathematical knowledge in a relational data base. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  39. Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
    L<Omega>UI: Lovely <Omega>MEGA User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
  40. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal]
  41. Johan Bos, Michael Kohlhase
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:4, pp:381-384 [Journal]
  42. Michael Kohlhase, Alexander Koller
    Resource-Adaptive Model Generation as a Performance Model. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:4, pp:435-456 [Journal]
  43. Michael Kohlhase, Ortwin Scheja
    Higher Order Multi-Valued Resolution. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:4, pp:- [Journal]
  44. Dieter Hutter, Michael Kohlhase
    Managing Structural Information by Higher-Order Colored Unification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:25, n:2, pp:123-164 [Journal]
  45. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Integrating Computer Algebra into Proof Planning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:3, pp:327-355 [Journal]
  46. Patrick Blackburn, Michael Kohlhase
    Inference and Computational Semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:2, pp:117-120 [Journal]
  47. Michael Kohlhase, Andreas Franke
    MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:365-402 [Journal]
  48. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
    Agent-Oriented Integration of Distributed Mathematical Services. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:156-187 [Journal]
  49. Michael Kohlhase
    Sorten für das automatische Beweisen höherer Stufe. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:2, pp:23-26 [Journal]
  50. Markus Egg, Claire Gardent, Michael Kohlhase
    Steuerung der Inferenz in der Diskursverarbeitung. [Citation Graph (0, 0)][DBLP]
    Kognitionswissenschaft, 1998, v:7, n:3, pp:106-110 [Journal]
  51. Jörg H. Siekmann, Michael Kohlhase, Erica Melis
    <Omega>MEGA: Ein mathematisches Assistenzsystem. [Citation Graph (0, 0)][DBLP]
    Kognitionswissenschaft, 1998, v:7, n:3, pp:101-105 [Journal]
  52. Michael Kohlhase, Achim Mahnke, Christine Müller
    Managing Variants in Document Content and Narrative Structures. [Citation Graph (0, 0)][DBLP]
    LWA, 2007, pp:324-329 [Conf]
  53. Christine Müller, Michael Kohlhase
    panta rhei. [Citation Graph (0, 0)][DBLP]
    LWA, 2007, pp:318-323 [Conf]
  54. Andrea Kohlhase, Michael Kohlhase
    Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:313-326 [Conf]
  55. Immanuel Normann, Michael Kohlhase
    Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:356-370 [Conf]
  56. Christoph Lange 0002, Michael Kohlhase
    A Semantic Wiki for Mathematical Knowledge Management. [Citation Graph (0, 0)][DBLP]
    SemWiki, 2006, pp:- [Conf]

  57. Notations for Living Mathematical Documents. [Citation Graph (, )][DBLP]


  58. Transforming the arXiv to XML. [Citation Graph (, )][DBLP]


  59. Towards MKM in the Large: Modular Representation and Scalable Software Architecture. [Citation Graph (, )][DBLP]


  60. sTeXIIS: An Integrated Development Environment for sTeX Collections. [Citation Graph (, )][DBLP]


  61. Dimensions of Formality: A Case Study for MKM in Software Engineering. [Citation Graph (, )][DBLP]


  62. Publishing Math Lecture Notes as Linked Data. [Citation Graph (, )][DBLP]


  63. Formal Management of CAD/CAM Processes. [Citation Graph (, )][DBLP]


  64. An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. [Citation Graph (, )][DBLP]


  65. An Exchange Format for Modular Knowledge. [Citation Graph (, )][DBLP]


  66. Compensating the Semantic Bias of Spreadsheets. [Citation Graph (, )][DBLP]


  67. Fine-Granular Version Control & Redundancy Resolution. [Citation Graph (, )][DBLP]


  68. A Mathematical Approach to Ontology Authoring and Documentation. [Citation Graph (, )][DBLP]


  69. Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. [Citation Graph (, )][DBLP]


  70. Compensating the Computational Bias of Spreadsheets with MKM Techniques. [Citation Graph (, )][DBLP]


  71. Unifying Math Ontologies: A Tale of Two Standards. [Citation Graph (, )][DBLP]


  72. Semantic transparency in user assistance systems. [Citation Graph (, )][DBLP]


  73. Modeling task experience in user assistance systems. [Citation Graph (, )][DBLP]


  74. Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. [Citation Graph (, )][DBLP]


  75. STEX+: a system for flexible formalization of linked data. [Citation Graph (, )][DBLP]


  76. Cut-Simulation and Impredicativity [Citation Graph (, )][DBLP]


  77. Publishing Math Lecture Notes as Linked Data [Citation Graph (, )][DBLP]


  78. Dimensions of Formality: A Case Study for MKM in Software Engineering [Citation Graph (, )][DBLP]


  79. Towards MKM in the Large: Modular Representation and Scalable Software Architecture [Citation Graph (, )][DBLP]


  80. sTeXIDE: An Integrated Development Environment for sTeX Collections [Citation Graph (, )][DBLP]


  81. sTeX+ - a System for Flexible Formalization of Linked Data [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002