Založit si vlastní profil
Veřejný přístup
Zobrazit všechny26 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- 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
- Arie GurfinkelUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Rastislav BodikUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Hana ChocklerKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Michael W WhalenAmazon, Inc. and the University of MinnesotaE-mailová adresa ověřena na: cs.umn.edu
- Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterE-mailová adresa ověřena na: nasa.gov
- Karine Even-MendozaKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Leonardo MarianiUniversity of Milano - BicoccaE-mailová adresa ověřena na: unimib.it
- Simone Fulvio RolliniUniversity of LuganoE-mailová adresa ověřena na: usi.ch
- Fabrizio PastoreResearch Scientist, University of LuxembourgE-mailová adresa ověřena na: uni.lu
- Ajitha RajanUniversity of EdinburghE-mailová adresa ověřena na: staffmail.ed.ac.uk
- Manuel OriolConstructor Institute SchaffhausenE-mailová adresa ověřena na: constructor.org
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Giovanni DenaroUniversity of Milano-BicoccaE-mailová adresa ověřena na: disco.unimib.it