Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Research
Help
Publications
Options:
Filter off
Publications by year
2012
(8),
2011
(37),
2010
(35)
2009
(20),
2008
(28),
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
(61)
Conference and Workshop Papers
(187)
Master's Theses
(13)
PhD Theses
(5)
Technical Reports
(54)
Publications by author
Bauer, Joerg
Esparza, Javier
Gaiser, Andreas
Holzer, Andreas
Kern, Christian
Kiefer, Stefan
Kinder, Johannes
Kretinsky, Jan
Kugele, Stefan
Ledesma-Garza, Ruslan
Luttenberger, Michael
Navarro, Juan Antonio
Nickles, Matthias
Popeea, Corneliu
Rettinger, Achim
Rybalchenko, Andrey
Schlund, Maximilian
Schwoon, Stefan
Suwimonteerabuth, Dejvuth
Tautschnig, Michael