Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found
here
.
Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Tools
Heroes of Computer Science
Help
Publications
Options:
Filter
Publications by year
To appear
(4)
2020
(6)
2019
(4),
2018
(5),
2017
(7),
2016
(16),
2015
(19),
2014
(31),
2013
(32),
2012
(36),
2011
(40),
2010
(38)
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
(90)
Conference and Workshop Papers
(280)
Master's Theses
(14)
PhD Theses
(5)
Technical Reports
(90)
Non-refereed papers
Publications by author
Bauer, Joerg
Esparza, Javier
Holzer, Andreas
Jezequel, Loig
Kern, Christian
Kiefer, Stefan
Kinder, Johannes
Kretinsky, Jan
Kugele, Stefan
Ledesma-Garza, Ruslan
Ledesma-Garza, Ruslan
Luttenberger, Michael
Meyer, Philipp
Navarro, Juan Antonio
Neumann, René
Nickles, Matthias
Popeea, Corneliu
Rettinger, Achim
Rybalchenko, Andrey
Schlund, Maximilian
Schwoon, Stefan
Sickert, Salomon
Suwimonteerabuth, Dejvuth
Tautschnig, Michael
Full listing of the publications
Contact
Filter
