Norbert Schirmer

发表

Mark A. Hillebrand, Norbert Schirmer, Eyad Alkassar, 2009, Journal of Automated Reasoning.
Wolfgang J. Paul, Norbert Schirmer, Ulan Degenbaev, 2009, Efficient Algorithms.
Norbert Schirmer, Norbert Schirmer, 2006 .
Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.
Alysson Bessani, Gianluca Ramunno, Norbert Schirmer, 2013, DISCCO '13.
Mark A. Hillebrand, Artem Starostin, Norbert Schirmer, 2008, VSTTE.
Norbert Schirmer, Mareike Schmidt, Matthias Daum, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Mark A. Hillebrand, Alexandra Tsyban, Artem Starostin, 2009, Journal of Automated Reasoning.
Mohamed Nassim Seghir, Norbert Schirmer, Matthias Daum, 2005, LPAR.
Norbert Schirmer, Veronika Ortner, Norbert Schirmer, 2005, TPHOLs.
Norbert Schirmer, Ernie Cohen, Ernie Cohen, 2010, ITP.
Norbert Schirmer, Markus Wenzel, M. Wenzel, 2009, SSV.
Norbert Schirmer, Norbert Schirmer, 2013, ISSE.
Artem Starostin, Norbert Schirmer, Eyad Alkassar, 2008, TACAS.