Založit si vlastní profil
Veřejný přístup
Zobrazit všechny37 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaE-mailová adresa ověřena na: inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa BarbaraE-mailová adresa ověřena na: cs.ucsb.edu
- Isil DilligUT AustinE-mailová adresa ověřena na: cs.utexas.edu
- Saurabh JoshiSupraOraclesE-mailová adresa ověřena na: cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystemsE-mailová adresa ověřena na: outsystems.com
- Osbert BastaniUniversity of PennsylvaniaE-mailová adresa ověřena na: seas.upenn.edu
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Martin BrainCity, University of LondonE-mailová adresa ověřena na: city.ac.uk
- Saswat AnandGoogleE-mailová adresa ověřena na: cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinE-mailová adresa ověřena na: cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGE-mailová adresa ověřena na: btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mailová adresa ověřena na: diffblue.com
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAE-mailová adresa ověřena na: gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringE-mailová adresa ověřena na: gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of WaterlooE-mailová adresa ověřena na: gsd.uwaterloo.ca
- Mikoláš JanotaCTU PragueE-mailová adresa ověřena na: cvut.cz
- Liana HadareanAmazon Web ServicesE-mailová adresa ověřena na: amazon.com