Publications

Page 3 of 6.

Andrea Kohlhase; Milena Reichel
Social Tagging and Learning: The Fuzzy Line between Private and Public Space
In: Nikos Karacapilidis (Hrsg.). Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching. Chapter 11, Pages 199-210, Advances in Web-based Learning (AWBL), Information Science Reference, 1/2010.
Andrea Kohlhase; Michael Kohlhase; Christoph Lange
Dimensions of Formality: A Case Study for MKM in Software Engineering
In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, France, Lecture Notes on Artificial Intelligence (LNAI), Springer Verlag, 2010.
Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
Integrating Maude into HETS
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010.
Marco Franke; Patrick Klein; Lutz Schröder
Ontological Semantics of Standards and PLM Repositories in the Product Development Phase
In: Alain Bernard (Hrsg.). Proceedings of the 20th CIRP Design Conference 2010. CIRP Design Conference (CIRP Design-2010), Global Product Development, April 19-21, Nantes, France, Springer, 2010.
Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder
Global Caching for Coalgebraic Description Logics
In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference on Automated Reasoning (IJCAR-2010), 5th, located at FLoC 2010, July 16-19, Edinburgh, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 2010.
Andrea Kohlhase
Towards User Assistance for Documents via Interactional Semantic Technology
In: Conference Proceedings of KI'10. German Conference on Artificial Intelligence (KI), September 21-24, Karlsruhe, Germany, IEEE, 2010.
Andrea Kohlhase; Michael Kohlhase; Christoph Lange
sTeX+ - A System for Flexible Formalization of Linked Data
In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria, arXiv.org, 2010.
Andrea Kohlhase; Michael Kohlhase
What we understand is we get: Assessment in Spreadsheets
In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, EuSpRIG, 2010.
Maksym Bortin; Christoph Lüth
Structural Formal Development with Quotient Types in Isabelle/HOL
In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science (LNCS), Vol. 6167, Springer, 2010.
Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
Formal Management of CAD/CAM Processes
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands, Pages 223-238, Lecture Notes in Computer Science (LNCS), Vol. 5850, Springer, Berlin, 11/2009.