Professur für Wissensrepräsentation und -verarbeitung

Unifying math ontologies: A tale of two standards (2009) Davenport J, Kohlhase M Conference contribution, Original article MathML-aware article conversion from LATEX a comparison study (2009) Stamerjohanns H, Ginev D, David C, Misev D, Kohlhase M Conference contribution, Original article TNTBase: Versioned storage for XML (2009) Kohlhase M, Zholudev V Conference contribution, Conference Contribution Formal management of CAD/CAM processes (2009) Kohlhase M, Schröder L Conference contribution, Original article What you understand is what you get: Assessment in spreadsheets (2009) Kohlhase M, Kohlhase A Conference contribution, Original article Spreadsheet interaction with frames: Exploring a mathematical practice (2009) Kohlhase A, Kohlhase M Conference contribution Compensating the computational bias of spreadsheets with MKM techniques (2009) Kohlhase A, Kohlhase M Conference contribution, Original article An architecture for linguistic and semantic analysis on the ARXMLIV corpus (2009) Ginev D, Jucovschi C, Anca S, Grigore M, David C, Kohlhase M Conference contribution, Original article A mathematical approach to ontology authoring and documentation (2009) Lange-Bever C, Kohlhase M Conference contribution, Original article A mathematical approach to ontology authoring and documentation (2009) Kohlhase M, Lange-Bever C Conference contribution, Original article