Department Informatik

Fault-Tree Generation from EMF Models (2009) Lauer C, Pollmer J, German R Conference contribution Text Mining in Program Code (2009) Dreweke A, Fischer I, Werth T, Wörlein M Book chapter / Article in edited volumes 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 Semantic transparency in user assistance systems (2009) Kohlhase M, Kohlhase A Conference contribution, Original article Modeling task experience in user assistance systems (2009) Kohlhase A, Kohlhase M Conference contribution, Conference Contribution Context-aware adaptation: A case study on mathematical notations (2009) Müller C, Kohlhase M Journal article, Original article