Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 954 | 183 |
h-index | 14 | 7 |
i10-index | 18 | 5 |
Acces public
Afișați-le pe toate2 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Roderick BloemGraz University of TechnologyAdresă de e-mail confirmată pe iaik.tugraz.at
- Barbara JobstmannScientist at EPFLAdresă de e-mail confirmată pe epfl.ch
- Alessio R LomuscioImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- axel legayUCLouvainAdresă de e-mail confirmată pe uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonAdresă de e-mail confirmată pe cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleAdresă de e-mail confirmată pe imag.fr
- Charles MorissetReader in Security, Newcastle UniversityAdresă de e-mail confirmată pe ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityAdresă de e-mail confirmată pe cs.biu.ac.il
Urmăriți