Crea il mio profilo
Accesso pubblico
Visualizza tutto37 articoli
3 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaEmail verificata su inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa BarbaraEmail verificata su cs.ucsb.edu
- Isil DilligUT AustinEmail verificata su cs.utexas.edu
- Saurabh JoshiSupraOraclesEmail verificata su cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystemsEmail verificata su outsystems.com
- Osbert BastaniUniversity of PennsylvaniaEmail verificata su seas.upenn.edu
- Daniel KroeningAmazonEmail verificata su amazon.com
- Martin BrainCity, University of LondonEmail verificata su city.ac.uk
- Saswat AnandGoogleEmail verificata su cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinEmail verificata su cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinEmail verificata su cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGEmail verificata su btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail verificata su diffblue.com
- Christoph M. WintersteigerImandraEmail verificata su imandra.ai
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail verificata su gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringEmail verificata su gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of WaterlooEmail verificata su gsd.uwaterloo.ca
- Mikoláš JanotaCTU PragueEmail verificata su cvut.cz
- Liana HadareanAmazon Web ServicesEmail verificata su amazon.com