Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 291 | 256 |
Índice h | 11 | 11 |
Índice i10 | 12 | 12 |
Acesso público
Ver tudo15 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Josef WidderInformal SystemsEmail confirmado em informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherEmail confirmado em konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail confirmado em forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueEmail confirmado em cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoEmail confirmado em im.unam.mx
- Roderick BloemGraz University of TechnologyEmail confirmado em iaik.tugraz.at
- Giuliano LosaUCLAEmail confirmado em losa.fr
- Oded PadonVMware ResearchEmail confirmado em vmware.com
- Sharon ShohamTel Aviv UniversityEmail confirmado em tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaEmail confirmado em algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadEmail confirmado em dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAEmail confirmado em inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadEmail confirmado em dmi.uns.ac.rs