Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 53 | 52 |
indice h | 4 | 4 |
indice i10 | 2 | 2 |
Accès public
Tout afficher6 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Patrick EugsterProf. Università della Svizzera italiana (USI), Adjunct Prof. Purdue UniversityAdresse e-mail validée de usi.ch
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandAdresse e-mail validée de usi.ch
- Antti E. J. HyvärinenSenior Research Scientist, CertoraAdresse e-mail validée de certora.com
- Matteo MarescottiMeta, LondonAdresse e-mail validée de meta.com
- Martin BlichaPostdoc at Università della Svizzera italiana, Lugano, SwitzerlandAdresse e-mail validée de usi.ch
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoAdresse e-mail validée de cin.ufpe.br
- Ana CavalcantiUniversity of YorkAdresse e-mail validée de cs.york.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherAdresse e-mail validée de konnov.phd
- Pavel ChuprikovUniversità della Svizzera italianaAdresse e-mail validée de usi.ch
- Robert RandAssistant Professor of Computer Science, University of ChicagoAdresse e-mail validée de uchicago.edu
- Robert SouléAssociate Professor of Computer Science, Yale UniversityAdresse e-mail validée de yale.edu