Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2790 | 1279 |
h-indeks | 25 | 19 |
i10-indeks | 44 | 28 |
Offentlig tilgang
Vis alle20 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifisert e-postadresse på uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerifisert e-postadresse på informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerifisert e-postadresse på tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerifisert e-postadresse på cs.cmu.edu
- Tillmann RendelSAPVerifisert e-postadresse på sap.com
- Markus Völterindependent consultant / itemisVerifisert e-postadresse på acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verifisert e-postadresse på cwi.nl
- Gabriël KonatDelft University of TechnologyVerifisert e-postadresse på tudelft.nl
- Tamás SzabóGitHubVerifisert e-postadresse på github.com
- Guido WachsmuthOracle LabsVerifisert e-postadresse på oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenVerifisert e-postadresse på csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyVerifisert e-postadresse på tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerifisert e-postadresse på cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerifisert e-postadresse på metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifisert e-postadresse på tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisVerifisert e-postadresse på galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerifisert e-postadresse på rub.de
- André PacakPhD Student (Computer Science) JGU MainzVerifisert e-postadresse på uni-mainz.de
- Sylvia GreweTU DarmstadtVerifisert e-postadresse på st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerifisert e-postadresse på mit.bme.hu