Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Research
Help
Publications
Options:
Filter
Publications by year
To appear
(2)
2008
(17),
2007
(24),
2006
(28),
2005
(30),
2004
(22),
2003
(18),
2002
(10),
2001
(11),
2000
(9)
1999
(8),
1998
(3),
1997
(7),
1996
(9),
1995
(7),
1994
(5),
1993
(3),
1992
(3),
1991
(6),
1990
(3)
Publications by type
Books and Journal Articles
(48)
Conference and Workshop Papers
(127)
Master's Theses
(10)
PhD Theses
(3)
Technical Reports
(28)
Non-refereed papers
Publications by author
Bauer, Joerg
Esparza, Javier
Holzer, Andreas
Kiefer, Stefan
Kinder, Johannes
Kugele, Stefan
Luttenberger, Michael
Nickles, Matthias
Rettinger, Achim
Schwoon, Stefan
Suwimonteerabuth, Dejvuth
Tautschnig, Michael
Publications by project
Advanced Validation Techniques for Telecommunication Protocols
Automatic Synthesis of Distributed Systems
An Automata-theoretic Approach to Software Model-Checking
Full listing of the publications
Contact
Filter
