Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2790 | 1279 |
h-index | 25 | 19 |
i10-indeks | 44 | 28 |
Offentlig adgang
Se alle20 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerificeret mail på uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerificeret mail på informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerificeret mail på tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerificeret mail på cs.cmu.edu
- Tillmann RendelSAPVerificeret mail på sap.com
- Markus Völterindependent consultant / itemisVerificeret mail på acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verificeret mail på cwi.nl
- Gabriël KonatDelft University of TechnologyVerificeret mail på tudelft.nl
- Tamás SzabóGitHubVerificeret mail på github.com
- Guido WachsmuthOracle LabsVerificeret mail på oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenVerificeret mail på csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyVerificeret mail på tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerificeret mail på cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerificeret mail på metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verificeret mail på tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisVerificeret mail på galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerificeret mail på rub.de
- André PacakPhD Student (Computer Science) JGU MainzVerificeret mail på uni-mainz.de
- Sylvia GreweTU DarmstadtVerificeret mail på st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerificeret mail på mit.bme.hu