Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 293 | 258 |
indice h | 11 | 11 |
indice i10 | 12 | 12 |
Accès public
Tout afficher15 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Josef WidderInformal SystemsAdresse e-mail validée de informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherAdresse e-mail validée de konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienAdresse e-mail validée de forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueAdresse e-mail validée de cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoAdresse e-mail validée de im.unam.mx
- Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
- Giuliano LosaUCLAAdresse e-mail validée de losa.fr
- Oded PadonVMware ResearchAdresse e-mail validée de vmware.com
- Sharon ShohamTel Aviv UniversityAdresse e-mail validée de tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaAdresse e-mail validée de algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadAdresse e-mail validée de dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAAdresse e-mail validée de inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadAdresse e-mail validée de dmi.uns.ac.rs