Department Informatik

Forensic Analysis of Smartphones: The Android Data Extractor Lite (ADEL) (2011) Freiling F, Schmitt S, Spreitzenbarth M Conference contribution, Original article The Failure Detector Abstraction (2011) Freiling F, Kuznetsov P, Guerraoui R Journal article, Original article Mathwebsearch 0.5 an open formula search engine (2011) Prodescu CC, Kohlhase M Conference contribution, Original article Säuberung eines infizierten Windows-Betriebssystems auf Basis von Malware-Analyse-Berichten (2011) Knaus A, Stüttgen J, Göbel J, Engelberth M, Freiling F Conference contribution, Original article Licensing the Mizar mathematical library (2011) Kohlhase M, Urban J Conference contribution, Original article Starting European Field Tests for Car-2-X Communication: The DRIVE C2X Framework (2011) Stahlmann R, Festag A, Tomatis A, Radusch I, Fischer F Conference contribution The LaTeXML daemon: Editable math on the collaborative web (2011) Ginev D, Stamerjohanns H, Kohlhase M, Miller B 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 Frühzeitige Registrierung eines 3D-Overlays des linken Atriums während linksatrialen Ablationen mittels Koronarsinuskatheter (2011) Bourier F, Schneider HJ, Heißenhuber F, Ganslmeier P, Fischer R, Brost A, Koch M, et al. Conference contribution, Conference Contribution Simulation and Optimized Design of High Density Optical Crossconnect Systems for Massively Parallel Computing Architectures (2011) Limmer S, Fey D Conference contribution