Skapa en profil
Offentlig åtkomst
Visa alla15 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Josef WidderInformal SystemsVerifierad e-postadress på informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherVerifierad e-postadress på konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueVerifierad e-postadress på cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoVerifierad e-postadress på im.unam.mx
- Roderick BloemGraz University of TechnologyVerifierad e-postadress på iaik.tugraz.at
- Giuliano LosaUCLAVerifierad e-postadress på losa.fr
- Oded PadonVMware ResearchVerifierad e-postadress på vmware.com
- Sharon ShohamTel Aviv UniversityVerifierad e-postadress på tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaVerifierad e-postadress på algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadVerifierad e-postadress på dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerifierad e-postadress på inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadVerifierad e-postadress på dmi.uns.ac.rs