Crea il mio profilo
Accesso pubblico
Visualizza tutto0 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Thomas NeumannProfessor, Technische Universität MünchenEmail verificata su in.tum.de
- Wolf RödigerTechische Universität MünchenEmail verificata su cs.tum.edu
- Viktor LeisTechnische Universität MünchenEmail verificata su in.tum.de
- Florian FunkeTechnische Universität MünchenEmail verificata su in.tum.de
- Manuel ThenTechnische Universität MünchenEmail verificata su manuel-then.de
- Jonas EckhardtTechnische Universität MünchenEmail verificata su in.tum.de
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Martin WirsingProfessor of Computer Science, LMU MunichEmail verificata su lmu.de
- Michael HaubenschildTechnical University of MunichEmail verificata su tum.de
- Peter BonczProfessor, VU University Amsterdam & CWIEmail verificata su cwi.nl
- Harald LangTechnical University of MunichEmail verificata su in.tum.de
- Andreas KipfProfessor, University of Technology NurembergEmail verificata su utn.de
- Henrik MüheTU MünchenEmail verificata su in.tum.de
- Rick ColeLead Research Staff, TableauEmail verificata su tableau.com
- Philipp UnterbrunnerSnowflake ComputingEmail verificata su snowflakecomputing.com
- Musab A. AlturkiRuntime Verification Inc.Email verificata su runtimeverification.com
- Varun PandeyTechnical University of BerlinEmail verificata su tu-berlin.de
- Andrey GubichevGoogleEmail verificata su google.com