Department Informatik

Impossibility of blind signatures from one-way permutations (2011) Katz J, Schröder D, Yerukhimovich A Authored book, Volume of book series Design and Implementation of a Documentation Tool for interactive Commandline Sessions (2011) Dewald A, Freiling F, Weber T Conference contribution, Original article Project abstract: Logic atlas and integrator (LATIN) (2011) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article A foundational view on integration problems (2011) Rabe F, Kohlhase M, Sacerdoti Coen C Conference contribution, Original article The Erlangen Glaucoma Registry: a Scientific Database for Longitudinal Analysis of Glaucoma (2011) Lauterwald F, Neumann C, Lenz R, Jünemann A, Mardin C, Meyer-Wegener K, Horn F Other publication type Workflows for the management of change in science, technologies, engineering and mathematics (2011) Autexier S, David C, Kohlhase M, Zholudev V Conference contribution, Original article Motion compensation by registration-based catheter tracking (2011) Brost A, Wimmer A, Liao R, Hornegger J, Strobel N Conference contribution, Conference Contribution 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