| 51. |
Hritcu, Catalin
(2012)
Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
Dissertation
|
| 52. |
Feld, Michael
(2011)
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Dissertation
|
| 53. |
Bozek, Katarzyna
(2011)
Analysis of HIV-host interaction on different scales
Dissertation
|
| 54. |
Dietrich, Dominik
(2011)
Assertion level proof planning with compiled strategies
Zugl. im Buchhandel: Göttingen : Optimus-Verl., 2012
Dissertation
|
| 55. |
Schuler, David
(2011)
Assessing test quality
Dissertation
|
| 56. |
Müller, Christian
(2011)
Complete formal hardware verification of interfaces for a FlexRay-like bus
Dissertation
|
| 57. |
Zimmer, Henning Lars
(2011)
Correspondence problems in computer vision : novel models, numerics, and applications
Dissertation
|
| 58. |
Tevs, Art
(2011)
Deformable shape matching
Dissertation
|
| 59. |
Schmidt, Mareike Dorothee
(2011)
Formal verification of a small real-time operating system
Dissertation
|
| 60. |
Kleinbauer, Thomas
(2011)
Generating automated meeting summaries
Dissertation
|
