Items where Author is "Lange, Christoph"

Article or issue of a publication series

Kohlhase, Michael and Corneli, Joe and David, Catalin and Ginev, Deyan and Jucovschi, Constantin and Kohlhase, Andrea and Lange, Christoph and Matican, Bogdan and Mirea, Stefan and Zholudev, Vyacheslav (2011) The Planetary System: Web 3.0 & Active Documents for STEM. Procedia Computer Science: Special issue: Proceedings of the International Conference on Computational Science (ICCS)., 4. pp. 598-607. ISSN 1877-0509

Conference or Workshop Item

Lange, Christoph and Kohlhase, Michael and David, Catalin and Ginev, Deyan and Kohlhase, Andrea and Matican, Bogdan and Mirea, Stefan and Zholudev, Vyacheslav (2011) The Planetary System: Executable Science, Technology, Engineering and Math Papers. In: (Proceedings of the) 8th Extended Semantic Web Conference (ESWC), May 29–June 2, 2011, Hersonissos, Crete, Greece, pp. 471-475. (Lecture Notes in Computer Science; 6644). ISBN 9783642210648

Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph (2010) Dimensions of Formality: A Case Study for MKM in Software Engineering. In: (Proceedings of the) 10th ASIC and 9th MKM International conference, and 17th Calculemus conference on Intelligent computer mathematics, July, 5-7, 2010, Paris, France, pp. 355-369. ISBN 9783642141270

Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph (2010) sTeX – A System for Flexible Formalization of Linked Data. In: (Proceedings of the) 6th International Conference on Semantic Systems and the 5th International Conference on Pragmatic Web, September, 1-3, 2010, Graz, Austria. ISBN 9781450300148