Dissertationen

2007

• Marvin Schneider: Logical Fibering Based Web Access Management, Juli 2007
• Dong Huang: A Security Gateway for Web Service Protocols, Juni 2007
• Yi Yang: A Framework for Decision Support Systems Adapted to Uncertain Knowledge, Juni 2007
• Regine Endsuleit: Robust and private computations of mobile agent alliances, Mai 2007

2006

• Robert Michael Zeier: Lie-theoretischer Zugang zur Erzeugung unitärer Transformationen auf Quantenrechnern, Juli 2006

2005

• Anusch Daemi-Ahwazi: Entropiebasierte Bewertung von Ontologien, Juni 2005

• Björn Grohmann: Zur Arithmetik in abelschen Zahlkörpern, Dezember 2005

2001

• Peter Kullmann: Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung, Juli 2001

1998

• Christoph Zenger: Indizierte Typen, Juli 1998

• Fakler, Winfried: Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen, Juni 1998

1996

• Karsten Homann: Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme, Juni 1996

1995

• Joachim Schü: Updates and Query-Processing in a Mediator Architecture, Oktober 1995

1994

• Werner Markus Seiler: Analysis and Application of the Formal Theory of Partial Differential Equations, September 1994

1993

• Indra Adiono Tjandra: Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra, Juli 1993

1991

• Norbert Brändli: CAD-Datenaustausch - ein formaler Ansatz, Oktober 1991
• Felix Ulmer: Entwurf von Algorithmen zur Berechnung Liouvillescher Lösungen von linearen gewöhnlichen Differentialgleichungen, 1991

1990

• Guilherme Bittencourt: An Architecture for Hybrid Knowledge Representation, Januar 1990

1988

• Hubert Comon: Unification et Disunification. Théorie et Applications, März 1988

Forschungsgruppe Prof. Beth

Forschungsgruppe Prof. Nagel

Fakultätshauptseite