| 31. |
Shadrin, Andrey
(2012)
Mixed low- and high level programming language semantics and automated verification of a small hypervisor
Dissertation
|
| 32. |
Hahn, Ernst Moritz
(2012)
Model checking stochastic hybrid systems
Dissertation
|
| 33. |
Denev, Dimitar
(2012)
Models and methods for web archive crawling
Dissertation
|
| 34. |
Jindal, Alekh
(2012)
OctopusDB : flexible and scalable storage management for arbitrary database engines
Dissertation
|
| 35. |
Didyk, Piotr
(2012)
Perceptual display : exceeding display limitations by exploiting the human visual system
Dissertation
|
| 36. |
Endres, Christoph
(2012)
PRESTK : situation-aware presentation of messages and infotainment content for drivers
Dissertation
|
| 37. |
Houy, Constantin ; Reiter, Markus ; Fettke, Peter ; Loos, Peter
(2012)
Prozessorientierter Web-2.0-basierter integrierter Telekommunikationsservice (PROWIT) – Anforderungserhebung, Konzepte, Implementierung und Evaluation
Report (Bericht)
|
| 38. |
Fouz, Mahmoud
(2012)
Randomized rumor spreading in social networks and complete graphs
Dissertation
|
| 39. |
Ciobotaru, Oana-Mădălina
(2012)
Rational cryptography: novel constructions, automated verification and unified definitions
Dissertation
|
| 40. |
Baak, Andreas
(2012)
Retrieval-based approaches for tracking and reconstructing human motions
Dissertation
|
