Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Tools
Help
Publications
Options:
Filter
Publications by year
To appear
(1)
2013
(8),
2012
(35),
2011
(40),
2010
(37)
2009
(21),
2008
(28),
2007
(25),
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
(69)
Conference and Workshop Papers
(211)
Master's Theses
(14)
PhD Theses
(5)
Technical Reports
(63)
Non-refereed papers
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
Neumann, René
Nickles, Matthias
Popeea, Corneliu
Rettinger, Achim
Rybalchenko, Andrey
Schlund, Maximilian
Schwoon, Stefan
Suwimonteerabuth, Dejvuth
Tautschnig, Michael
Full listing of the publications
Contact
Filter
