Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 1375 | 407 |
h-index | 14 | 9 |
i10-index | 16 | 9 |
Acces public
Afișați-le pe toate5 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
- Sebastian ErdwegProfessor of Computer Science, JGU MainzAdresă de e-mail confirmată pe uni-mainz.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceAdresă de e-mail confirmată pe cs.cmu.edu
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresă de e-mail confirmată pe tudelft.nl
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumAdresă de e-mail confirmată pe rub.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyAdresă de e-mail confirmată pe tudelft.nl
- Eric WalkingshawElemental CognitionAdresă de e-mail confirmată pe ec.ai