Založit si vlastní profil
Veřejný přístup
Zobrazit všechny29 č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
- Grigory FedyukovichFlorida State UniversityE-mailová adresa ověřena na: cs.fsu.edu
- Matteo MarescottiMeta, LondonE-mailová adresa ověřena na: meta.com
- 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
- Karine Even-MendozaKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Simone Fulvio RolliniUniversity of LuganoE-mailová adresa ověřena na: usi.ch
- Leonardo MarianiUniversity of Milano - BicoccaE-mailová adresa ověřena na: unimib.it
- Fabrizio PastoreResearch Scientist, University of LuxembourgE-mailová adresa ověřena na: uni.lu
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai
- Arie GurfinkelUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
Sledovat
Antti E. J. Hyvärinen
Senior Research Scientist, Certora
E-mailová adresa ověřena na: certora.com - Domovská stránka