Department Informatik

eledSQL: A New Web-based Learning Environment for Teaching Databases and SQL at Secondary School Level (2012) Grillenberger A, Brinda T Conference contribution, Conference Contribution Using Symbolic Substitution Logic as an Automated Design Procedure for QCA Arithmetic Circuits (2012) Fey D, Kleinert B Conference contribution Bringing mathematics to the web of data: The case of the mathematics subject classification (2012) Lange-Bever C, Kohlhase M Conference contribution, Original article 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