Crea il mio profilo
Accesso pubblico
Visualizza tutto15 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Josef WidderInformal SystemsEmail verificata su informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherEmail verificata su konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail verificata su forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueEmail verificata su cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoEmail verificata su im.unam.mx
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
- Giuliano LosaUCLAEmail verificata su losa.fr
- Oded PadonVMware ResearchEmail verificata su vmware.com
- Sharon ShohamTel Aviv UniversityEmail verificata su tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaEmail verificata su algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadEmail verificata su dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAEmail verificata su inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadEmail verificata su dmi.uns.ac.rs