Založit si vlastní profil
Veřejný přístup
Zobrazit všechny15 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Josef WidderInformal SystemsE-mailová adresa ověřena na: informal.systems
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Eric GoubaultEcole PolytechniqueE-mailová adresa ověřena na: cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoE-mailová adresa ověřena na: im.unam.mx
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Giuliano LosaUCLAE-mailová adresa ověřena na: losa.fr
- Oded PadonVMware ResearchE-mailová adresa ověřena na: vmware.com
- Sharon ShohamTel Aviv UniversityE-mailová adresa ověřena na: tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, AustriaE-mailová adresa ověřena na: algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi SadE-mailová adresa ověřena na: dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAE-mailová adresa ověřena na: inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi SadE-mailová adresa ověřena na: dmi.uns.ac.rs