All theses are available in hardcopy format at the University Library for perusal.

Completed Theses

Author


All :: A, B, D, E, F, G, H, J, K, L, M, N, O, P, R, S, T, V, W
All :: Pfab, Pfeifer, Pragst

Preferences

Show keywords Show abstracts

4.
default
Pragst, Louisa
Effiziente Behandlung von Dekompositionsaxiomen in PANDA2
Projektbericht
Universität Ulm,
2015
3.
default
Pragst, Louisa
Hybrid Planning in Cyber Security Applications
Bachelor Thesis
Ulm University,
2013
2.
default
Pfab, Stephan
Efficient Abstract Interpretation of Formal Specifications and Its Interrelationship with Theorem Proving
Diploma Thesis
Ulm University,
1998
1.
default
Pfeifer, Holger
Eine reflexive Architektur zur Darstellung von Beweis- und Softwareentwicklungsschritten in Typtheorie
Diploma Thesis
Ulm University,
1995
Export as: BibTeX, XML