DBIS - Datenbanken und Informationssysteme

IIF

Albert-Ludwigs-Universtät Freiburg

Technische Fakultät

DBIS ::: Startseite

Dr. Harald Hiss

Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee, Geb. 51
79110 Freiburg i.Br., Germany

+49 761 203-8127 (phone)
+49 761 203-8122 (fax)

Office: 051-01-028

I have obtained my diploma in computer science from the university freiburg in March 2004. I develop my thesis at the chair for Databases and Information Systems (DBIS) with a scholarship from the Graduate Programme "Mathematical Logic and Applications". The thesis presents tools for the development of XML-specifications.

Publications

Werkzeuge zur Entwicklung von XML-Spezifikationen, Harald Hiss, Dissertation, Freiburg, 2007.

Checking XML-Specifications, Harald Hiss, Isabelle Workshop, CADE-21 , Bremen, 2007.

Checking the Satisfiability of XML-Specifications, Harald Hiss, TPHOLS 2008 Montreal, 2008.