Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2401 | 1808 |
Índice h | 25 | 21 |
Índice i10 | 43 | 34 |
Acesso público
Ver todos37 artigos
3 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaE-mail confirmado em inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaE-mail confirmado em tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa BarbaraE-mail confirmado em cs.ucsb.edu
- Isil DilligUT AustinE-mail confirmado em cs.utexas.edu
- Saurabh JoshiSupraOraclesE-mail confirmado em cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystemsE-mail confirmado em outsystems.com
- Osbert BastaniUniversity of PennsylvaniaE-mail confirmado em seas.upenn.edu
- Daniel KroeningAmazonE-mail confirmado em amazon.com
- Martin BrainCity, University of LondonE-mail confirmado em city.ac.uk
- Saswat AnandGoogleE-mail confirmado em cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinE-mail confirmado em cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinE-mail confirmado em cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGE-mail confirmado em btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail confirmado em diffblue.com
- Christoph M. WintersteigerImandraE-mail confirmado em imandra.ai
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAE-mail confirmado em gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringE-mail confirmado em gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of WaterlooE-mail confirmado em gsd.uwaterloo.ca
- Mikoláš JanotaCTU PragueE-mail confirmado em cvut.cz
- Liana HadareanAmazon Web ServicesE-mail confirmado em amazon.com