dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christoph Lange (Selection)

University of Birmingham

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarst Tankink, Christoph Lange, Josef Urban: Point-and-Write - Documenting Formal Mathematics by Reference. AISC/MKM/Calculemus 2012: 169-185
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarst Tankink, Christoph Lange, Josef Urban: Point-and-write --- Documenting Formal Mathematics by Reference CoRR abs/1204.5094: (2012)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander García Castro, Christoph Lange, Evan Sandhaus, Anita de Waard: Proceedings of the 1st Workshop on Semantic Publishing 2011, Hersonissos, Crete, Greece, May 30, 2011 CEUR-WS.org 2011
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Josef Urban: Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011 CEUR-WS.org 2011
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. Calculemus/MKM 2011: 304-306
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing Units and Quantities in Semantic Documents. ESWC Workshops 2011: 202-216
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Cîrlanaru, Deyan Ginev, Christoph Lange: Authoring and Publishing of Units and Quantities in Semantic Documents. SePublica 2011
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnca Dumitrache, Christoph Lange: BauDenkMalNetz - Creating a Semantically Annotated Web Resource of Historical Buildings. SePublica 2011
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Kohlhase, Michael Kohlhase, Christoph Lange: STEX+: a system for flexible formalization of linked data. I-SEMANTICS 2010
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: wiki.openmath.org - how it works, how you can participate CoRR abs/1003.5192: (2010)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: SWiM -- A Semantic Wiki for Mathematical Knowledge Management CoRR abs/1003.5196: (2010)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data CoRR abs/1004.3390: (2010)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering CoRR abs/1004.5071: (2010)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: Towards OpenMath Content Dictionaries as Linked Data CoRR abs/1006.4057: (2010)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Kohlhase, Michael Kohlhase, Christoph Lange: sTeX+ - a System for Flexible Formalization of Linked Data CoRR abs/1006.4474: (2010)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), Hersonissos, Greece, June 1st, 2009. Proceedings. CEUR-WS.org 2009
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Giceva, Christoph Lange, Florian Rabe: Integrating Web Services into Active Mathematical Documents. Calculemus/MKM 2009: 279-293
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHa 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)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008 CEUR-WS.org 2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: SWiM - A Semantic Wiki for Mathematical Knowledge Management. ESWC 2008: 832-837
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Tuukka Hastrup, Stephane Corlosquet: Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki. LWA 2008: 41-48
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Sean McLaughlin, Florian Rabe: Flyspeck in a Semantic Wiki. SemWiki 2008
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations. SemWiki 2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: Towards a Semantic Wiki for Science. KWEPSY 2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lange: Wiki - Planen, Einrichten, Verwalten C&L Computer und Literaturverlag 2005

Selection of 38 from 38 records - Christoph Lange has 38 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page