Michael Kohlhase

	2012
108		Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. ESWC 2012: 763-777
107		Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset CoRR abs/1204.5086: (2012)
	2011
106		Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122
105		Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban: Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163
104		Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179
103		Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe: Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227
102		Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291
101		Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase: The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294
100		Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) 2011: 471-475
99		Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea: A Framework for Semantic Publishing of Modular Content Objects. SePublica 2011
98		Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers CoRR abs/1103.1482: (2011)
97		Florian Rabe, Michael Kohlhase: A Scalable Module System CoRR abs/1105.0548: (2011)
96		Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR abs/1105.2392: (2011)
95		Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems CoRR abs/1105.2725: (2011)
94		Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane: Licensing the Mizar Mathematical Library CoRR abs/1107.3212: (2011)
93		Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Web 3.0 & Active Documents for STEM. Procedia CS 4: 598-607 (2011)
	2010
92		Constantin Jucovschi, Michael Kohlhase: sTeXIIS: An Integrated Development Environment for sTeX Collections. AISC/MKM/Calculemus 2010: 336-344
91		Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369
90		Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus 2010: 370-384
89		Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375
88		Andrea Kohlhase, Michael Kohlhase, Christoph Lange: STEX+: a system for flexible formalization of linked data. I-SEMANTICS 2010
87		Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138
86		Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159
85		Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data CoRR abs/1004.3390: (2010)
84		Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering CoRR abs/1004.5071: (2010)
83		Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture CoRR abs/1005.5232: (2010)
82		Constantin Jucovschi, Michael Kohlhase: sTeXIDE: An Integrated Development Environment for sTeX Collections CoRR abs/1005.5489: (2010)
81		Andrea Kohlhase, Michael Kohlhase, Christoph Lange: sTeX+ - a System for Flexible Formalization of Linked Data CoRR abs/1006.4474: (2010)
80		Andrea Kohlhase, Michael Kohlhase: What we understand is what we get: Assessment in Spreadsheets CoRR abs/1009.2797: (2010)
79		Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller: Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science 3(3): 299-307 (2010)
	2009
78		James H. Davenport, Michael Kohlhase: Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278
77		Andrea Kohlhase, Michael Kohlhase: Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM 2009: 341-356
76		Andrea Kohlhase, Michael Kohlhase: Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM 2009: 357-372
75		Christoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404
74		Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz: Formal Management of CAD/CAM Processes. FM 2009: 223-238
73		Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase: An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. GI Jahrestagung 2009: 3162-3176
72		Andrea Kohlhase, Michael Kohlhase: Modeling task experience in user assistance systems. SIGDOC 2009: 135-142
71		Andrea Kohlhase, Michael Kohlhase: Semantic transparency in user assistance systems. SIGDOC 2009: 89-96
70		Christine Müller, Michael Kohlhase: Context-Aware Adaptation: A Case Study On Mathematical Notations. IS Management 26(3): 215-230 (2009)
69		Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase: Applying Semantic Techniques to Search and Analyze Bug Tracking Data. J. Network Syst. Manage. 17(3): 285-308 (2009)
68		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
	2008
67		Michael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519
66		Heinrich Stamerjohanns, Michael Kohlhase: Transforming the arXiv to XML. AISC/MKM/Calculemus 2008: 574-582
65		Florian Rabe, Michael Kohlhase: An Exchange Format for Modular Knowledge. LPAR Workshops 2008
64		Normen Müller, Michael Kohlhase: Fine-Granular Version Control & Redundancy Resolution. LWA 2008: 1-8
63		Andrea Kohlhase, Michael Kohlhase: Compensating the Semantic Bias of Spreadsheets. LWA 2008: 49-58
62		Christine Müller, Michael Kohlhase: Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) 2008: 41-50
61		Michael Kohlhase: Using as a Semantic Markup Format. Mathematics in Computer Science 2(2): 279-304 (2008)
	2007
60		Christian Freksa, Michael Kohlhase, Kerstin Schill: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings Springer 2007
59		Andrea Kohlhase, Michael Kohlhase: Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326
58		Immanuel Normann, Michael Kohlhase: Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370
57		Christine Müller, Michael Kohlhase: panta rhei. LWA 2007: 318-323
56		Michael Kohlhase, Achim Mahnke, Christine Müller: Managing Variants in Document Content and Narrative Structures. LWA 2007: 324-329
	2006
55		Michael Kohlhase: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers Springer 2006
54		Michael Kohlhase: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Springer 2006
53		Michael Kohlhase, Ioan Sucan: A Search Engine for Mathematical Formulae. AISC 2006: 241-253
52		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
51		Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns: Capturing the Content of Physics: Systems, Observables, and Experiments. MKM 2006: 165-178
50		Andrea Kohlhase, Michael Kohlhase: Communities of Practice in MKM: An Extensional Model. MKM 2006: 179-193
49		Christoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006
	2005
48		Andrea Kohlhase, Michael Kohlhase: An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32
	2004
47		Andrea Kohlhase, Michael Kohlhase: CPoint: Dissolving the Author's Dilemma. MKM 2004: 175-189
46		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004)
45		Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
	2003
44		Michael Kohlhase, Romeo Anghelache: Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM 2003: 147-161
43		Johan Bos, Michael Kohlhase: Editorial. Logic Journal of the IGPL 11(4): 381-384 (2003)
42		Michael Kohlhase, Alexander Koller: Resource-Adaptive Model Generation as a Performance Model. Logic Journal of the IGPL 11(4): 435-456 (2003)
	2002
41		Jürgen Zimmer, Michael Kohlhase: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE 2002: 139-143
40		Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
	2001
39		Michael Kohlhase, Andreas Franke: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput. 32(4): 365-402 (2001)
	2000
38		Manfred Pinkal, Michael Kohlhase: Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL 2000
37		Michael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC 2000: 32-52
36		Andreas Franke, Michael Kohlhase: System Description: MBASE, an Open Mathematical Knowledge Base. CADE 2000: 455-459
35		Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)
	1999
34		Andreas Franke, Michael Kohlhase: System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE 1999: 217-221
33		Andreas Franke, Michael Kohlhase: MBase: Representing mathematical knowledge in a relational data base. Electr. Notes Theor. Comput. Sci. 23(3): 451-468 (1999)
32		Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
31		Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge: Agent-Oriented Integration of Distributed Mathematical Services. J. UCS 5(3): 156-187 (1999)
30		Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution. Journal of Applied Non-Classical Logics 9(4): (1999)
	1998
29		Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
28		Christoph Benzmüller, Michael Kohlhase: Extensional Higher-Order Resolution. CADE 1998: 56-71
27		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)
26		Jörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
25		Markus Egg, Claire Gardent, Michael Kohlhase: Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft 7(3): 106-110 (1998)
	1997
24		Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
23		Dieter Hutter, Michael Kohlhase: A Colored Version of the Lambda-Calculus. CADE 1997: 291-305
22		Claire Gardent, Michael Kohlhase: Computing Parallelism in Discourse. IJCAI (2) 1997: 1016-1021
21		Manfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. KI 1997: 123-134
20		Claire Gardent, Michael Kohlhase: Computing Parallelism in Discourse CoRR cmp-lg/9705004: (1997)
	1996
19		Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics. ACL 1996: 1-9
18		Claire Gardent, Michael Kohlhase: Focus and Higher-Order Unification. COLING 1996: 430-435
17		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
16		Manfred Kerber, Michael Kohlhase: A Resolution Calculus for Presuppositions. ECAI 1996: 375-379
15		Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. KONVENS 1996: 268-279
14		Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics CoRR cmp-lg/9605004: (1996)
13		Claire Gardent, Michael Kohlhase: Focus and Higher-Order Unification CoRR cmp-lg/9605005: (1996)
12		Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification CoRR cmp-lg/9609001: (1996)
11		Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
10		Michael Kohlhase: Sorten für das automatische Beweisen höherer Stufe. KI 10(2): 23-26 (1996)
	1995
9		Michael Kohlhase: Higher-Order Tableaux. TABLEAUX 1995: 294-309
	1994
8		Manfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
7		Patricia Johann, Michael Kohlhase: Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634
6		Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
5		Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
4		Michael Kohlhase: Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. KI 1994: 331-342
3		Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390
	1993
2		Michael Kohlhase, Frank Pfenning: Unification in a Lambda-Calculus with Intersection Types. ILPS 1993: 488-505
	1992
1		Michael Kohlhase: Unification in Order-Sorted Type Theory. LPAR 1992: 421-432

Coauthor Index

1	Jesse Alama	[94] [105]
2	Stefan Anca	[73]
3	Romeo Anghelache	[44]
4	Ioannis Antoniou	[107] [108]
5	Serge Autexier	[96] [104]
6	Christoph Benzmüller (Christoph Benzmueller)	[24] [28] [29] [32] [40] [46] [52] [68]
7	Patrick Blackburn	[45]
8	Johan Bos	[43]
9	Charalampos Bratsas	[107] [108]
10	Vladimir Brezhnev	[40]
11	Chad E. Brown	[46] [52] [68]
12	Lassaad Cheikhrouhou	[24] [32] [40]
13	Georgi Chulkov	[69]
14	Mihai Codescu	[86] [87] [102]
15	Claudio Sacerdoti Coen	[95] [106]
16	Joseph Corneli	[93] [107]
17	James H. Davenport (James Harold Davenport)	[78]
18	Catalin David	[73] [79] [85] [89] [93] [96] [98] [99] [100] [104]
19	Dominik Dietrich	[96] [104]
20	Anastasia Dimou	[107] [108]
21	Markus Egg	[25]
22	Detlef Fehrer	[24]
23	Armin Fiedler	[24] [32] [40]
24	Andreas Franke	[31] [33] [34] [36] [39] [40]
25	Christian Freksa	[60]
26	Claire Gardent	[12] [13] [14] [15] [18] [19] [20] [22] [25]
27	Deyan Ginev	[73] [79] [93] [98] [99] [100] [101]
28	Mihai Grigore	[73]
29	Stephan M. Hess	[31] [32]
30	Eberhard R. Hilf	[51]
31	Helmut Horacek	[32] [40]
32	Fulya Horozal	[86] [87] [102] [103]
33	Xiaorong Huang	[3] [5] [6] [11] [24]
34	Dieter Hutter	[23] [35]
35	Alin Iacob	[103]
36	Patrick Ion	[107] [108]
37	Patricia Johann	[7]
38	Constantin Jucovschi	[73] [82] [92] [93] [103]
39	Christoph G. Jung	[31]
40	Manfred Kerber	[3] [5] [6] [8] [11] [16] [17] [21] [24] [27]
41	Andrea Kohlhase	[47] [48] [50] [59] [63] [71] [72] [76] [77] [80] [81] [84] [88] [91] [93] [98] [100]
42	Alexander Koller	[42]
43	Karsten Konrad	[24] [32]
44	Christoph Lange	[49] [69] [75] [81] [84] [85] [88] [89] [91] [93] [98] [100] [107] [108]
45	Johannes Lemburg	[74]
46	Noor van Leusen	[12] [15]
47	Achim Mahnke	[56]
48	Lionel Mamane	[94] [105]
49	Bogdan Matican	[93] [98] [99] [100]
50	Andreas Meier	[24] [32] [40]
51	Erica Melis	[5] [6] [11] [24] [26] [32] [40]
52	Bruce R. Miller	[79] [101]
53	Stefan Mirea	[93] [98] [99] [100]
54	Markus Moschner	[40]
55	Till Mossakowski	[86] [87] [102]
56	Christine Müller	[56] [57] [62] [67] [70]
57	Normen Müller	[64]
58	Adam Naumowicz	[94] [105]
59	Daniel Nesmith (Dan Nesmith)	[5] [6] [11]
60	Immanuel Normann	[40] [58]
61	Frank Pfenning	[2]
62	Manfred Pinkal	[38]
63	Martin Pollet	[32] [40]
64	Florian Rabe	[65] [67] [83] [85] [86] [87] [89] [90] [95] [97] [102] [103] [106]
65	Jörn Richts	[3] [5] [6] [11]
66	Piotr Rudnicki	[94] [105]
67	Wolf Schaarschmidt	[24]
68	Ortwin Scheja	[30]
69	Kerstin Schill	[60]
70	Jürgen Schönwälder	[69]
71	Lutz Schröder	[74]
72	Ewaryst Schulz	[74]
73	Jörg H. Siekmann	[5] [6] [11] [24] [26] [32] [40]
74	Kristina Sojakova	[86]
75	Volker Sorge	[17] [24] [27] [31] [32] [40]
76	Wolfram Sperber	[107] [108]
77	Heinrich Stamerjohanns	[51] [66] [79] [101]
78	Ioan Sucan	[53]
79	Ha Manh Tran	[69]
80	Carsten Ullrich	[40]
81	Josef Urban	[94] [105]
82	Claus-Peter Wirth	[40]
83	Nikita Zhiltsov	[85] [89]
84	Vyacheslav Zholudev	[83] [85] [89] [90] [93] [96] [98] [100] [104]
85	Jürgen Zimmer	[40] [41]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page