Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 4046 | 1026 |
h-rodyklė | 33 | 18 |
i10-rodyklė | 80 | 42 |
Viešas pasiekiamumas
Peržiūrėti viską44 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Daniel KroeningAmazonPatvirtintas el. paštas amazon.com
- Antti E. J. HyvärinenSenior Research Scientist, CertoraPatvirtintas el. paštas certora.com
- Grigory FedyukovichFlorida State UniversityPatvirtintas el. paštas cs.fsu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
- Aliaksei TsitovichCarityPatvirtintas el. paštas carity.care
- Francesco AlbertiEolo SpAPatvirtintas el. paštas eolo.it
- Roberto BruttomessoExpert Researcher and Software EngineerPatvirtintas el. paštas atrenta.com
- silvio ghilardiUniversità degli Studi di MilanoPatvirtintas el. paštas unimi.it
- Matteo MarescottiMeta, LondonPatvirtintas el. paštas meta.com
- Ondrej SeryAssitent professor, Charles University in PraguePatvirtintas el. paštas usi.ch
- Nishant SinhaFounder, Chief Scientist, OffNote LabsPatvirtintas el. paštas in.ibm.com
- Simone Fulvio RolliniUniversity of LuganoPatvirtintas el. paštas usi.ch
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPatvirtintas el. paštas mpi-sws.org
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandPatvirtintas el. paštas usi.ch
- Christoph M. WintersteigerImandraPatvirtintas el. paštas imandra.ai
- Stefano TonettaFondazione Bruno KesslerPatvirtintas el. paštas fbk.eu
- Arie GurfinkelUniversity of WaterlooPatvirtintas el. paštas uwaterloo.ca
- Byron CookProfessor of Computer Science, UCL, AmazonPatvirtintas el. paštas cs.ucl.ac.uk
- Hana ChocklerKing's College LondonPatvirtintas el. paštas kcl.ac.uk
- Silvio RaniseFBKPatvirtintas el. paštas fbk.eu
Stebėti
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Patvirtintas el. paštas usi.ch - Pagrindinis puslapis