Hochschule für angewandte Wissenschaften Neu-Ulm

Semantic alliance: A framework for semantic allies (2012) David C, Jucovschi C, Kohlhase A, Kohlhase M Conference contribution, Original article The planetary system: Executable science, technology, engineering and math papers (2011) Lange-Bever C, Kohlhase M, David C, Ginev D, Kohlhase A, Matican B, Zholudev V Conference contribution, Original article The planetary system: Web 3.0 & active documents for STEM (2011) Kohlhase M, Corneli J, David C, Ginev D, Jucovschi C, Kohlhase A, Lange-Bever C, et al. Conference contribution, Original article Towards a flexible notion of document context (2011) Kohlhase M, Kohlhase A Conference contribution, Conference Contribution Maintaining islands of consistency via versioned links (2011) Kohlhase A, Kohlhase M Conference contribution, Original article Dimensions of formality: A case study for MKM in software engineering (2010) Kohlhase A, Kohlhase M, Lange-Bever C Conference contribution, Original article STEX+: A system for flexible formalization of linked data (2010) Kohlhase M, Kohlhase A Conference contribution, Conference Contribution 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