Get my own profile
Public access
View all19 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Djordje ZikelicSingapore Management UniversityVerified email at smu.edu.sg
Salomon SickertVerified email at tum.de
Amir GoharshadyUniversity of OxfordVerified email at cs.ox.ac.uk
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputeVerified email at dtu.dk
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Maximilian ProkopTechnische Universität MünchenVerified email at in.tum.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Guy AvniSenior Lecturer, University of HaifaVerified email at cs.haifa.ac.il
Suman SadhukhanPostdoctoral Researcher, University of HaifaVerified email at campus.haifa.ac.il
Josef TkadlecCharles University, PragueVerified email at iuuk.mff.cuni.cz
Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk