Norbert Schirmer

发表

Norbert Schirmer, Anders Andersen, Trygve Hardersen, 2014, ISSE.
Norbert Schirmer, Mareike Schmidt, Matthias Daum, 2010, IFM.
Alysson Neves Bessani, Gianluca Ramunno, Norbert Schirmer, 2014, OPSR.
Alysson Bessani, Gianluca Ramunno, Norbert Schirmer, 2013, DISCCO '13.
Norbert Schirmer, 2004, Concurr. Pract. Exp..
Wolfgang J. Paul, Norbert Schirmer, Ulan Degenbaev, 2009, Efficient Algorithms.
Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.
Norbert Schirmer, Nicole Rauch, 2005, Arch. Formal Proofs.
Mark A. Hillebrand, Alexandra Tsyban, Artem Starostin, 2009, Journal of Automated Reasoning.
Norbert Schirmer, Ernie Cohen, 2019, Arch. Formal Proofs.
Mohamed Nassim Seghir, Norbert Schirmer, Matthias Daum, 2005, LPAR.
Norbert Schirmer, Stefan Maus, Matthias Daum, 2005 .
Norbert Schirmer, Veronika Ortner, Norbert Schirmer, 2005, TPHOLs.
Norbert Schirmer, Norbert Schirmer, 2013, ISSE.
Norbert Schirmer, Markus Wenzel, M. Wenzel, 2009, SSV.
Michael Gröne, Norbert Schirmer, Ammar Alkassar, 2015, ISSE.
Norbert Schirmer, Mareike Schmidt, Matthias Daum, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Norbert Schirmer, Matthias Schunter, Ninja Marnau, 2011, Datenschutz und Datensicherheit.
Norbert Schirmer, Veronika Ortner, 2008, Arch. Formal Proofs.
Norbert Schirmer, Norbert Schirmer, 2006 .
Norbert Schirmer, Ernie Cohen, 2009, ArXiv.
Mark A. Hillebrand, Artem Starostin, Norbert Schirmer, 2008, VSTTE.
Artem Starostin, Norbert Schirmer, Eyad Alkassar, 2008, TACAS.
Norbert Schirmer, Ernie Cohen, Ernie Cohen, 2010, ITP.