Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christoph Lange 0002
Author information
- University of Birmingham
Other persons with the same name
2010 – today
- 2013
[j2]Christoph Lange: Ontologies and languages for representing mathematical knowledge on the Semantic Web. Semantic Web 4(2): 119-158 (2013)- [c27]Till Mossakowski, Christoph Lange, Oliver Kutz: Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI 2013
- [c26]Christoph Lange, 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. MKM/Calculemus/DML 2013: 200-215
- [c25]Christoph Lange, Colin Rowat, Manfred Kerber: The ForMaRE Project - Formal Mathematical Reasoning in Economics. MKM/Calculemus/DML 2013: 330-334
- [e8]Alexander García Castro, Christoph Lange, Phillip W. Lord, Robert Stevens (Eds.): Proceedings of the 3rd Workshop on Semantic Publishing, Montpellier, France, May 26th, 2013. CEUR Workshop Proceedings 994, CEUR-WS.org 2013
- [e7]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
- [e6]Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (Eds.): Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8
- [i14]Christoph Lange, 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. CoRR abs/1303.4193 (2013)
- [i13]Christoph Lange, Colin Rowat, Manfred Kerber: The ForMaRE Project --- Formal Mathematical Reasoning in Economics. CoRR abs/1303.4194 (2013)
- [i12]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat: Proving soundness of combinatorial Vickrey auctions and generating verified executable code. CoRR abs/1308.1779 (2013)
- 2012
- [c24]Carst Tankink, Christoph Lange, Josef Urban: Point-and-Write - Documenting Formal Mathematics by Reference. AISC/MKM/Calculemus 2012: 169-185
- [c23]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus 2012: 458-462
- [c22]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger: The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus 2012: 463-467
- [c21]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
- [c20]Till Mossakowski, Christoph Lange, Oliver Kutz: Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352
- [c19]Till Mossakowski, Oliver Kutz, Christoph Lange: Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230
- [c18]Christoph Lange, Till Mossakowski, Oliver Kutz: LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO 2012
- [i11]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)
- [i10]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger: The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. CoRR abs/1204.5093 (2012)
- [i9]Carst Tankink, Christoph Lange, Josef Urban: Point-and-write --- Documenting Formal Mathematics by Reference. CoRR abs/1204.5094 (2012)
- [i8]Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale: The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility. CoRR abs/1208.0293 (2012)
- 2011
- [c17]Mihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing of Units and Quantities in Semantic Documents. SePublica 2011
- [c16]Mihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing Units and Quantities in Semantic Documents. ESWC Workshops 2011: 202-216
- [c15]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
- [c14]Anca Dumitrache, Christoph Lange: BauDenkMalNetz - Creating a Semantically Annotated Web Resource of Historical Buildings. SePublica 2011
- [c13]Christoph Lange: Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. Calculemus/MKM 2011: 304-306
- [c12]Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Web 3.0 & Active Documents for STEM. ICCS 2011: 598-607
- [e5]Alexander García Castro, Christoph Lange, Evan Sandhaus, Anita de Waard (Eds.): Proceedings of the 1st Workshop on Semantic Publishing 2011, Hersonissos, Crete, Greece, May 30, 2011. CEUR Workshop Proceedings 721, CEUR-WS.org 2011
- [e4]Christoph Lange, Josef Urban (Eds.): Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. CEUR Workshop Proceedings 767, CEUR-WS.org 2011
- [i7]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)
- 2010
- [c11]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369
- [c10]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375
- [c9]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: STEX+: a system for flexible formalization of linked data. I-SEMANTICS 2010
- [i6]Christoph Lange: wiki.openmath.org - how it works, how you can participate. CoRR abs/1003.5192 (2010)
- [i5]Christoph Lange: SWiM -- A Semantic Wiki for Mathematical Knowledge Management. CoRR abs/1003.5196 (2010)
- [i4]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. CoRR abs/1004.3390 (2010)
- [i3]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. CoRR abs/1004.5071 (2010)
- [i2]
- [i1]Andrea Kohlhase, Michael Kohlhase, Christoph Lange: sTeX+ - a System for Flexible Formalization of Linked Data. CoRR abs/1006.4474 (2010)
2000 – 2009
- 2009
- [j1]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)
- [c8]Jana Giceva, Christoph Lange, Florian Rabe: Integrating Web Services into Active Mathematical Documents. Calculemus/MKM 2009: 279-293
- [c7]Christoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404
- [e3]Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel (Eds.): 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), Hersonissos, Greece, June 1st, 2009. Proceedings. CEUR Workshop Proceedings 464, CEUR-WS.org 2009
- 2008
- [c6]
- [c5]Christoph Lange, Tuukka Hastrup, Stephane Corlosquet: Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki. LWA 2008: 41-48
- [c4]Christoph Lange: Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations. SemWiki 2008
- [c3]
- [e2]Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel (Eds.): Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008. CEUR Workshop Proceedings 360, CEUR-WS.org 2008
- 2007
- [c2]
- 2006
- [c1]Christoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006
- 2005
- [e1]Christoph Lange (Ed.): Wiki - Planen, Einrichten, Verwalten. C&L Computer und Literaturverlag 2005, ISBN 3-936546-28-2
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team