Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2774 | 1262 |
h-index | 24 | 19 |
i10-index | 44 | 28 |
Acces public
Afișați-le pe toate20 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyAdresă de e-mail confirmată pe uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyAdresă de e-mail confirmată pe informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyAdresă de e-mail confirmată pe tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceAdresă de e-mail confirmată pe cs.cmu.edu
- Tillmann RendelSAPAdresă de e-mail confirmată pe sap.com
- Markus Völterindependent consultant / itemisAdresă de e-mail confirmată pe acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Adresă de e-mail confirmată pe cwi.nl
- Gabriël KonatDelft University of TechnologyAdresă de e-mail confirmată pe tudelft.nl
- Tamás SzabóGitHubAdresă de e-mail confirmată pe github.com
- Guido WachsmuthOracle LabsAdresă de e-mail confirmată pe oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenAdresă de e-mail confirmată pe csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyAdresă de e-mail confirmată pe tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinAdresă de e-mail confirmată pe cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläAdresă de e-mail confirmată pe metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresă de e-mail confirmată pe tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisAdresă de e-mail confirmată pe galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumAdresă de e-mail confirmată pe rub.de
- Sylvia GreweTU DarmstadtAdresă de e-mail confirmată pe st.informatik.tu-darmstadt.de
- André PacakPhD Student (Computer Science) JGU MainzAdresă de e-mail confirmată pe uni-mainz.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemAdresă de e-mail confirmată pe mit.bme.hu
Urmăriți
Sebastian Erdweg
Professor of Computer Science, JGU Mainz
Adresă de e-mail confirmată pe uni-mainz.de - Pagina de pornire