Mijn eigen profiel maken
Openbare toegang
Alles bekijken15 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Josef WidderInformal SystemsGeverifieerd e-mailadres voor informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherGeverifieerd e-mailadres voor konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienGeverifieerd e-mailadres voor forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueGeverifieerd e-mailadres voor cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoGeverifieerd e-mailadres voor im.unam.mx
- Roderick BloemGraz University of TechnologyGeverifieerd e-mailadres voor iaik.tugraz.at
- Giuliano LosaUCLAGeverifieerd e-mailadres voor losa.fr
- Oded PadonVMware ResearchGeverifieerd e-mailadres voor vmware.com
- Sharon ShohamTel Aviv UniversityGeverifieerd e-mailadres voor tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaGeverifieerd e-mailadres voor algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadGeverifieerd e-mailadres voor dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAGeverifieerd e-mailadres voor inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadGeverifieerd e-mailadres voor dmi.uns.ac.rs