Crea el meu perfil
Accés públic
Mostra-ho tot20 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyCorreu electrònic verificat a uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyCorreu electrònic verificat a informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyCorreu electrònic verificat a tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceCorreu electrònic verificat a cs.cmu.edu
- Tillmann RendelSAPCorreu electrònic verificat a sap.com
- Markus Völterindependent consultant / itemisCorreu electrònic verificat a acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Correu electrònic verificat a cwi.nl
- Gabriël KonatDelft University of TechnologyCorreu electrònic verificat a tudelft.nl
- Tamás SzabóGitHubCorreu electrònic verificat a github.com
- Guido WachsmuthOracle LabsCorreu electrònic verificat a oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenCorreu electrònic verificat a csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyCorreu electrònic verificat a tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinCorreu electrònic verificat a cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläCorreu electrònic verificat a metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Correu electrònic verificat a tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisCorreu electrònic verificat a galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumCorreu electrònic verificat a rub.de
- Sylvia GreweTU DarmstadtCorreu electrònic verificat a st.informatik.tu-darmstadt.de
- André PacakPhD Student (Computer Science) JGU MainzCorreu electrònic verificat a uni-mainz.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemCorreu electrònic verificat a mit.bme.hu
Segueix
Sebastian Erdweg
Professor of Computer Science, JGU Mainz
Correu electrònic verificat a uni-mainz.de - Pàgina d'inici