Get my own profile
Public access
View all27 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterVerified email at nasa.gov
Karine Even-MendozaKing's College LondonVerified email at kcl.ac.uk
Leonardo MarianiUniversity of Milano - BicoccaVerified email at unimib.it
Simone Fulvio RolliniUniversity of LuganoVerified email at usi.ch
Fabrizio PastoreResearch Scientist, University of LuxembourgVerified email at uni.lu
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
Manuel OriolConstructor Institute SchaffhausenVerified email at constructor.org
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Giovanni DenaroUniversity of Milano-BicoccaVerified email at disco.unimib.it