Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2429 | 1837 |
h-index | 25 | 21 |
i10-indeks | 44 | 35 |
Offentlig adgang
Se alle37 artikler
3 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerificeret mail på inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerificeret mail på tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa BarbaraVerificeret mail på cs.ucsb.edu
- Isil DilligUT AustinVerificeret mail på cs.utexas.edu
- Saurabh JoshiSupraOraclesVerificeret mail på cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystemsVerificeret mail på outsystems.com
- Osbert BastaniUniversity of PennsylvaniaVerificeret mail på seas.upenn.edu
- Daniel KroeningAmazonVerificeret mail på amazon.com
- Martin BrainCity, University of LondonVerificeret mail på city.ac.uk
- Saswat AnandGoogleVerificeret mail på cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerificeret mail på cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerificeret mail på cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerificeret mail på btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerificeret mail på diffblue.com
- Christoph M. WintersteigerImandraVerificeret mail på imandra.ai
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerificeret mail på gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerificeret mail på gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of WaterlooVerificeret mail på gsd.uwaterloo.ca
- Mikoláš JanotaCTU PragueVerificeret mail på cvut.cz
- Liana HadareanAmazon Web ServicesVerificeret mail på amazon.com