Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2021 | 741 |
h-index | 24 | 16 |
i10-index | 45 | 26 |
Acces public
Afișați-le pe toate39 de articole
3 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresă de e-mail confirmată pe ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenAdresă de e-mail confirmată pe di.ku.dk
- Johannes HölzlAdresă de e-mail confirmată pe in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresă de e-mail confirmată pe in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteAdresă de e-mail confirmată pe gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignAdresă de e-mail confirmată pe illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignAdresă de e-mail confirmată pe illinois.edu
- Nicholas SmallboneChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityAdresă de e-mail confirmată pe imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestAdresă de e-mail confirmată pe unibuc.ro
- Ioana LeusteanProfessor, University of BucharestAdresă de e-mail confirmată pe fmi.unibuc.ro
- Markus N RabeAugmentAdresă de e-mail confirmată pe augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityAdresă de e-mail confirmată pe cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceAdresă de e-mail confirmată pe dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenAdresă de e-mail confirmată pe in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauAdresă de e-mail confirmată pe uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresă de e-mail confirmată pe kerguelen.org