Norbert Schirmer
Publication Activity (10 Years)
Years Active: 2004-2019
Publications (10 Years): 2
Publications (10 Years): 2
Technical University Munich, Germany (PHD)
Education History
Technical University Munich, Germany
Publications
- Ernie Cohen, Norbert Schirmer
- Ammar Alkassar, Michael Gröne, Norbert Schirmer
- Anders Andersen, Trygve Hardersen, Norbert Schirmer
- Norbert Schirmer
- Matthias Daum, Norbert Schirmer, Mareike Schmidt
- Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
- Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
- Matthias Daum, Norbert Schirmer, Mareike Schmidt
- Norbert Schirmer, Makarius Wenzel
- Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
- Ernie Cohen, Norbert Schirmer
- Eyad Alkassar, Norbert Schirmer, Artem Starostin
- Veronika Ortner, Norbert SchirmerBDD Normalisation. Arch. Formal Proofs 2008 (2008)
- Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
- Veronika Ortner, Norbert Schirmer
- Nicole Rauch, Norbert SchirmerJive Data and Store Model. Arch. Formal Proofs 2005 (2005)
- Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir
- Norbert Schirmer
- Norbert Schirmer