University of Birmingham
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j3 |      | Christoph Lange: Ontologies and languages for representing mathematical knowledge on the Semantic Web. Semantic Web 4(2): 119-158 (2013) |
| i13 | | 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) |
| i12 | | Christoph Lange, Colin Rowat, Manfred Kerber: The ForMaRE Project --- Formal Mathematical Reasoning in Economics. CoRR abs/1303.4194 (2013) |
| 2012 | ||
| c23 | | Carst Tankink, Christoph Lange, Josef Urban: Point-and-Write - Documenting Formal Mathematics by Reference. AISC/MKM/Calculemus 2012: 169-185 |
| c22 | | 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 |
| c21 | | 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 |
| c20 | | 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 |
| c19 | | Till Mossakowski, Christoph Lange, Oliver Kutz: Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352 |
| c18 | | Till Mossakowski, Oliver Kutz, Christoph Lange: Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230 |
| c17 | | 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 | ||
| j2 | | 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) |
| c16 | | 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 |
| c15 | | Mihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing of Units and Quantities in Semantic Documents. SePublica 2011 |
| c14 | | Mihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing Units and Quantities in Semantic Documents. ESWC Workshops 2011: 202-216 |
| c13 | | Anca Dumitrache, Christoph Lange: BauDenkMalNetz - Creating a Semantically Annotated Web Resource of Historical Buildings. SePublica 2011 |
| c12 | | Christoph Lange: Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. Calculemus/MKM 2011: 304-306 |
| 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) |
| 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 |
Colors in the list of coauthors
Last update Sat May 25 23:54:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page