Department Informatik

Towards logical frameworks in the heterogeneous tool set hets (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K Conference contribution, Original article Fast Dynamic Reconstruction Algorithm with Joint Bilateral Filtering for Perfusion C-arm CT (2012) Manhart M, Kowarschik M, Fieselmann A, Deuerling-Zheng Y, Hornegger J Conference contribution, Conference Contribution Is Computer Forensics a Forensic Science? (2012) Dewald A, Freiling F Conference contribution, Original article Verbesserte Integration von Medizintechnik durch Testdatenqualität (2012) Held J, Endler G, Baumgärtel P, Lenz R Conference contribution, Original article Comparing Sources of Location Data from Android Smartphones (2012) Spreitzenbarth M, Schmitt S, Freiling F Book chapter / Article in edited volumes TreVisor -- OS-Independent Software-Based Full Disk Encryption Secure Against Main Memory Attacks (2012) Müller T, Taubmann B, Freiling F Conference contribution, Original article Reverse Code Engineering - State of the Art and Countermeasures (2012) Willems C, Freiling F Journal article, Original article ProHTA: Prospective health technology assessment (2012) Kolominsky-Rabas P, Herrmann M, Djanatliev A, German R, Sedlmayr M, Reinhardt E Journal article, Report Der modellzentrierte Test geht in die Cloud (2012) Limmer S, Hofmann J Other publication type Evolutionary Design of Active Free Space Optical Networks Based on Digital Mirror Devices (2012) Limmer S, Fey D Conference contribution