Get my own profile
Public access
View all0 articles
1 article
available
not available
Based on funding mandates
Co-authors
Thomas NeumannProfessor, Technische Universität MünchenVerified email at in.tum.de
Wolf RödigerTechische Universität MünchenVerified email at cs.tum.edu
Viktor LeisTechnische Universität MünchenVerified email at in.tum.de
Florian FunkeTechnische Universität MünchenVerified email at in.tum.de
Manuel ThenTechnische Universität MünchenVerified email at manuel-then.de
Jonas EckhardtTechnische Universität MünchenVerified email at in.tum.de
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Peter BonczProfessor, VU University Amsterdam & CWIVerified email at cwi.nl
Michael HaubenschildTechnical University of MunichVerified email at tum.de
Harald LangTechnical University of MunichVerified email at in.tum.de
Andreas KipfProfessor, University of Technology NurembergVerified email at utn.de
Henrik MüheTU MünchenVerified email at in.tum.de
Philipp UnterbrunnerSnowflake ComputingVerified email at snowflakecomputing.com
Musab A. AlturkiRuntime Verification Inc.Verified email at runtimeverification.com
Varun PandeyTechnical University of BerlinVerified email at tu-berlin.de
Rick ColeLead Research Staff, TableauVerified email at tableau.com
Andrey GubichevGoogleVerified email at google.com