Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 293 | 258 |
Índice h | 11 | 11 |
Índice i10 | 12 | 12 |
Acceso público
Ver todo15 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Josef WidderInformal SystemsDirección de correo verificada de informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherDirección de correo verificada de konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienDirección de correo verificada de forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueDirección de correo verificada de cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoDirección de correo verificada de im.unam.mx
- Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
- Giuliano LosaUCLADirección de correo verificada de losa.fr
- Oded PadonVMware ResearchDirección de correo verificada de vmware.com
- Sharon ShohamTel Aviv UniversityDirección de correo verificada de tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaDirección de correo verificada de algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadDirección de correo verificada de dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISADirección de correo verificada de inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadDirección de correo verificada de dmi.uns.ac.rs
Seguir