AG 14 - Diplomarbeiten, Dissertationen und Preprints

Stefan Broetz

Diplomarbeit (Oktober 1999): Modellierung von Banachräumen in der Scottschen Domaintheorie (Modelling Banach spaces in the world of Scott domains).

Ben S. Cohen

Diplomarbeit (November 2006): Mathematical Foundations for Denotational Semantics for Combining Probability and Nondeterminism over Stably Compact Spaces.

Thomas Erker

Diplomarbeit (Oktober 1997): Stetigkeit und Ordnung in Funktionenräumen (Continuity and order in function spaces).

Martina Fischer

Diplomarbeit (Januar 1998): Eine Kategorie von Reduktionsmodellen für den ungetypten Lambda-Kalkül. (A category of reduction models for the untyped lambda-calculus).

Christian Haack

Diplomarbeit (August 1993): Die Hyperlimeskonstruktion (The hyperlimit construction).

Barbara Henhapl

Diplomarbeit (May 1995): Ein vollabstraktes extensionales Modell für endliches PCF. (A fully abstract extensional modell for finitary PCF).

Michael Holderbaum

Dissertation (February 2006): Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren. (Discretization and Approximation of Images and Morphological Image Operators).

Mathias Kegelmann

Diplomarbeit (September 1995): Faktorisierungssysteme auf Bereichen (Factorization Systems on Domains).

Olaf Kirch

Diplomarbeit (June 1993): Bereiche und Bewertungen (Domains and valuations).

Diplomarbeit (June 1995): Monomorphe Typsysteme des Lambda Kalküls (Monomorphic Type Systems for the Lambda Calculus).

Klaus Meyer

Diplomarbeit (September 1990): Lokale Bereiche (Local domains).

Florence Micol

Diplomarbeit (October 1997): Zur Struktur freier regulärer unärer Halbgruppen (On the structure of free regular unary semigroups).

Jon Nedelmann

Diplomarbeit (April 1996): Über die Entscheidbarkeit der Theorie der Quadrupels (On the decidebility of the theory of quadrupels).

Diplomarbeit (August 1990): Verallgemeinerung relationaler Schemata in Datenbanken mit Informationsordnung (Generalizing relational schemes in databases with information order).

Dissertation (July 1995): Die Snack-Potenzkonstruktion: Grundlage einer Semantik genesteter Datenbanken (The Snack-Powerdomain: Basis for a Semantics of Nested Databases).

Artus Philipp Rosenbusch

Diplomarbeit (February 2007): Eine direkte Definition der predicate transformer-Semantik für nichtdeterministisch-probabilistische Programme
(A direct defintion of the predicate transformer semantics for nondeterministic-probabilistic programs).

Magnus Rothe

Diplomarbeit (April 1991): Retraktionen auf stetigen Bereichen (Retractions on continuous domains).

Andrea Schalk

Diplomarbeit (October 1990): Bereiche und topologischer Zusammenhang (Domains and topological connectedness).

Dissertation (July 1993): Algebras for generalized power constructions.

Dirk Scheuermann

Diplomarbeit: Parallelisierung von Faktorisierungsalgorithmen (Parallelising factorisation algorithms).

Philipp Sünderhauf

Diplomarbeit (June 1991): Vervollständigung quasi-uniformer Räume (Completion of quasi-uniform spaces).

Dissertation (July 1994): Discrete Approximation of Spaces

Christine Strüder

Diplomarbeit (April 1995): Stetige Operationen auf kontinuierlichen Bereichen. (Continuous operations on continuous domains).

Dirk Thierbach

Diplomarbeit (July 1997): Ein Kalkül für polymorphe Objekte mit Untertypen (A calculus for polymorphic objects with subtyping).

Regina Tix

Diplomarbeit (June 1995): Stetige Bewertungen auf topologischen Räumen (Continuous Valuations on Topological Spaces).

Gerd Weidner

Diplomarbeit (October 1995): Bewertungen auf stetigen Verbänden (Valuations on Continuous Lattices).

Preprint (1994): Many-sorted algebras in congruence modular varieties.
(Algebra Universalis 36 (1996), 66-80)
Abstract & Introduction