Department Informatik

Real-time RGB-D mapping and 3-D modeling on the GPU using the random ball cover data structure (2011) Neumann D, Lugauer F, Bauer S, Wasza J, Hornegger J Conference contribution, Conference Contribution 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 TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet (2011) Gorecki C, Freiling F, Kührer M, Holz T Conference contribution, Original article 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