Založit si vlastní profil
Veřejný přístup
Zobrazit všechny6 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Patrick EugsterProf. Università della Svizzera italiana (USI), Adjunct Prof. Purdue UniversityE-mailová adresa ověřena na: usi.ch
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mailová adresa ověřena na: certora.com
- Matteo MarescottiMeta, LondonE-mailová adresa ověřena na: meta.com
- Martin BlichaPostdoc at Università della Svizzera italiana, Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoE-mailová adresa ověřena na: cin.ufpe.br
- Ana CavalcantiUniversity of YorkE-mailová adresa ověřena na: cs.york.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Pavel ChuprikovUniversità della Svizzera italianaE-mailová adresa ověřena na: usi.ch
- Robert RandAssistant Professor of Computer Science, University of ChicagoE-mailová adresa ověřena na: uchicago.edu
- Robert SouléAssociate Professor of Computer Science, Yale UniversityE-mailová adresa ověřena na: yale.edu