PhD Projects
The following PhD projects are currently supported by the PhD Study Support Program:
Finished PhD Projects at SCCH
The following PhD projects have already been finished at SCCH:
| Author |
Title of PhD work |
Date |
| I. Khalil Ibrahim |
Semantic Query Transformation for the Intelligent Integration of Information Sources |
February 2001 |
| W. Schwinger |
Modelling Ubiquitous Web Applications — Requirements and Concepts |
November 2001 |
| K. Nakagawa |
Supporting User-Friendliness in the Mathematical Software System Theorema |
April 2002 |
| T. Kutsia |
Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols |
May 2002 |
| S. Probst |
GAMMA - A platform independent framework for reusable authentication, authorization, and auditing components |
October 2004 |
| R.R. Athale |
Symbolic Computation in Number Theory |
December 2004
|
| M. Drobics |
Data Analysis using Fuzzy Expressions - Creating comprehensible computational models from data |
June 2005 |