Der Buecherwurm


You can access our publications in several ways:

Journals and conferences by year:

2002 [Postscript] [PDF]
2001 [Postscript] [PDF]
2000 [Postscript] [PDF]
1999 [Postscript] [PDF]
1998 [Postscript] [PDF]
1997 [Postscript] [PDF]
1996 [Postscript] [PDF]
1995 [Postscript] [PDF]
1994 [Postscript] [PDF]

By category:

Publications in journals [Postscript] [PDF]
Publications in conference proceedings [Postscript] [PDF]
Technical reports [Postscript] [PDF]
Ph.D. theses [Postscript] [PDF]
Master's theses [Postscript] [PDF]

By project:

Verification of Infinite State Systems [Postscript] [PDF]
Verification Using Constraint Programming [Postscript] [PDF]
Partial Order Model Checking [Postscript] [PDF]
Higher Order Languages and Mobility [Postscript] [PDF]
Algorithmic Learning Theory [Postscript] [PDF]

By searching for a regular expression:

By person:

Javier Esparza [Postscript] [PDF] Astrid Kiehn [Postscript] [PDF]
Barbara König [Postscript] [PDF] Christine Röckl [Postscript] [PDF]
Stefan Römer [Postscript] [PDF] Peter Rossmanith [Postscript] [PDF]
Claus Schröter [Postscript] [PDF] Stefan Schwoon [Postscript] [PDF]
Frank Wallner [Postscript] [PDF]

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Peter Rossmanith