Department Informatik

Subversion-resilient signature schemes (2015) Ateniese G, Magri B, Venturi D Conference contribution, Conference Contribution Ökonomische Effekte durch den Einsatz von CardioMEMS bei herzinsuffizienten Patienten in Deutschland: das ProHTA-Simulationskonzept (2015) Uffenorde S, Meier F, Radeleff J, Djanatliev A, Kriza C, Baumgärtel P, Leb I, Kolominsky-Rabas P Conference contribution, Original article What is essential data in digital forensic analysis? (2015) Freiling F, Schuhr J, Gruhn M Journal article, Original article On Inconsistency and Unsatisfiability (2015) Schröder L, Mossakowski T Journal article, Original article Binarization Driven Blind Deconvolution for Document Image Restoration (2015) Köhler T, Maier A, Christlein V Conference contribution, Conference Contribution Inner Source in Platform-based Product Engineering (2015) Riehle D, Capraro M, Kips D, Horn L Other publication type Language-independent method for analysis of German stuttering recordings (2015) Lustyk T, Bergl P, Haderlein T, Nöth E, Cmejla R Conference contribution Towards Energy-Proportional State-Machine Replication (2015) Eibel C, Distler T Conference contribution Unguarded Recursion on Coinductive Resumptions (2015) Goncharov S, Rauch C, Schröder L Conference contribution, Original article From Sensibility to Responsibility: The Impact of System Software on Ecological and Economical Sustainability of Computing Systems (2015) Hönig T Book chapter / Article in edited volumes