Crea il mio profilo
Accesso pubblico
Visualizza tutto44 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Daniel KroeningAmazonEmail verificata su amazon.com
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail verificata su certora.com
- Grigory FedyukovichFlorida State UniversityEmail verificata su cs.fsu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Aliaksei TsitovichCarityEmail verificata su carity.care
- Francesco AlbertiEolo SpAEmail verificata su eolo.it
- Roberto BruttomessoExpert Researcher and Software EngineerEmail verificata su atrenta.com
- silvio ghilardiUniversità degli Studi di MilanoEmail verificata su unimi.it
- Matteo MarescottiMeta, LondonEmail verificata su meta.com
- Ondrej SeryAssitent professor, Charles University in PragueEmail verificata su usi.ch
- Nishant SinhaFounder, Chief Scientist, OffNote LabsEmail verificata su in.ibm.com
- Simone Fulvio RolliniUniversity of LuganoEmail verificata su usi.ch
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandEmail verificata su usi.ch
- Stefano TonettaFondazione Bruno KesslerEmail verificata su fbk.eu
- Christoph M. WintersteigerImandraEmail verificata su imandra.ai
- Arie GurfinkelUniversity of WaterlooEmail verificata su uwaterloo.ca
- Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk
- Hana ChocklerKing's College LondonEmail verificata su kcl.ac.uk
- Silvio RaniseFBKEmail verificata su fbk.eu
Segui
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Email verificata su usi.ch - Home page