Department Informatik

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 Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung (2009) Söhnlein S, Saglietti F, Bitzer F, Baryschew S Book chapter / Article in edited volumes Multimedia Forensics is not Computer Forensics (2009) Freiling F, Böhme R, Gloe T, Kirchner M Conference contribution, Original article Modular Consensus Algorithms for the Crash-Recovery Model (2009) Freiling F, Lambertz C, Majster-Cederbaum M Conference contribution, Original article Learning More About the Underground Economy: A Case-Study of Keyloggers and Dropzones (2009) Freiling F, Holz T, Engelberth M Conference contribution Safe termination detection in an asynchronous distributed system when processes may crash and recover (2009) Mittal N, Phaneesh KL, Freiling F Journal article, Original article 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