Skapa en profil
Offentlig åtkomst
Visa alla0 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Thomas NeumannProfessor, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Wolf RödigerTechische Universität MünchenVerifierad e-postadress på cs.tum.edu
- Viktor LeisTechnische Universität MünchenVerifierad e-postadress på in.tum.de
- Florian FunkeTechnische Universität MünchenVerifierad e-postadress på in.tum.de
- Manuel ThenTechnische Universität MünchenVerifierad e-postadress på manuel-then.de
- Jonas EckhardtTechnische Universität MünchenVerifierad e-postadress på in.tum.de
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Martin WirsingProfessor of Computer Science, LMU MunichVerifierad e-postadress på lmu.de
- Michael HaubenschildTechnical University of MunichVerifierad e-postadress på tum.de
- Peter BonczProfessor, VU University Amsterdam & CWIVerifierad e-postadress på cwi.nl
- Harald LangTechnical University of MunichVerifierad e-postadress på in.tum.de
- Andreas KipfProfessor, University of Technology NurembergVerifierad e-postadress på utn.de
- Henrik MüheTU MünchenVerifierad e-postadress på in.tum.de
- Rick ColeLead Research Staff, TableauVerifierad e-postadress på tableau.com
- Philipp UnterbrunnerSnowflake ComputingVerifierad e-postadress på snowflakecomputing.com
- Musab A. AlturkiRuntime Verification Inc.Verifierad e-postadress på runtimeverification.com
- Varun PandeyTechnical University of BerlinVerifierad e-postadress på tu-berlin.de
- Andrey GubichevGoogleVerifierad e-postadress på google.com