Skapa en profil
Offentlig åtkomst
Visa alla37 artiklar
3 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerifierad e-postadress på inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa BarbaraVerifierad e-postadress på cs.ucsb.edu
- Isil DilligUT AustinVerifierad e-postadress på cs.utexas.edu
- Saurabh JoshiSupraOraclesVerifierad e-postadress på cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystemsVerifierad e-postadress på outsystems.com
- Osbert BastaniUniversity of PennsylvaniaVerifierad e-postadress på seas.upenn.edu
- Daniel KroeningAmazonVerifierad e-postadress på amazon.com
- Martin BrainCity, University of LondonVerifierad e-postadress på city.ac.uk
- Saswat AnandGoogleVerifierad e-postadress på cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerifierad e-postadress på cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerifierad e-postadress på cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerifierad e-postadress på btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifierad e-postadress på diffblue.com
- Christoph M. WintersteigerImandraVerifierad e-postadress på imandra.ai
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerifierad e-postadress på gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerifierad e-postadress på gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of WaterlooVerifierad e-postadress på gsd.uwaterloo.ca
- Mikoláš JanotaCTU PragueVerifierad e-postadress på cvut.cz
- Liana HadareanAmazon Web ServicesVerifierad e-postadress på amazon.com