Založit si vlastní profil
Veřejný přístup
Zobrazit všechny44 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mailová adresa ověřena na: certora.com
- Grigory FedyukovichFlorida State UniversityE-mailová adresa ověřena na: cs.fsu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Aliaksei TsitovichCarityE-mailová adresa ověřena na: carity.care
- Francesco AlbertiEolo SpAE-mailová adresa ověřena na: eolo.it
- Roberto BruttomessoExpert Researcher and Software EngineerE-mailová adresa ověřena na: atrenta.com
- silvio ghilardiUniversità degli Studi di MilanoE-mailová adresa ověřena na: unimi.it
- Matteo MarescottiMeta, LondonE-mailová adresa ověřena na: meta.com
- Ondrej SeryAssitent professor, Charles University in PragueE-mailová adresa ověřena na: usi.ch
- Nishant SinhaFounder, Chief Scientist, OffNote LabsE-mailová adresa ověřena na: in.ibm.com
- Simone Fulvio RolliniUniversity of LuganoE-mailová adresa ověřena na: usi.ch
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Stefano TonettaFondazione Bruno KesslerE-mailová adresa ověřena na: fbk.eu
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai
- Arie GurfinkelUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Byron CookProfessor of Computer Science, UCL, AmazonE-mailová adresa ověřena na: cs.ucl.ac.uk
- Hana ChocklerKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Silvio RaniseFBKE-mailová adresa ověřena na: fbk.eu
Sledovat
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
E-mailová adresa ověřena na: usi.ch - Domovská stránka