Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
- Steffen HölldoblerProfessor, TU DresdenVerified email at iccl.tu-dresden.de
- Anna TigunovaMax Planck Institute for InformaticsVerified email at mpi-inf.mpg.de
- Michael BründlWSL Institute for Snow and Avalanche Research SLFVerified email at slf.ch
- Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
- Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
- Norbert MantheyTU DresdenVerified email at tu-dresden.de
- Cunjing GeInstitute for Formal Models and Verification, JKUVerified email at jku.at