Založit si vlastní profil
Veřejný přístup
Zobrazit všechny57 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Tom SchrijversProfessor of Computer Science, KU LeuvenE-mailová adresa ověřena na: cs.kuleuven.be
- Jeremy GibbonsProfessor of Computing, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternE-mailová adresa ověřena na: cs.uni-kl.de
- Ningning XieUniversity of Toronto / Google DeepMindE-mailová adresa ověřena na: google.com
- Xuan BiThe University of Hong KongE-mailová adresa ověřena na: cs.hku.hk
- Andres LöhHaskell Consultant, Well-Typed LLPE-mailová adresa ověřena na: well-typed.com
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Weixin ZhangUniversity of BristolE-mailová adresa ověřena na: cs.hku.hk
- Meng WangReader in Computer Science, University of BristolE-mailová adresa ověřena na: bristol.ac.uk
- Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityE-mailová adresa ověřena na: ropas.snu.ac.kr
- Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeE-mailová adresa ověřena na: comp.nus.edu.sg
- Marcel BöhmeMax Planck Institute for Security & PrivacyE-mailová adresa ověřena na: mpi-sp.org
- Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyE-mailová adresa ověřena na: chalmers.se
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityE-mailová adresa ověřena na: uu.nl
- Alex GerdesSenior Lecturer, Gothenburg University / ChalmersE-mailová adresa ověřena na: chalmers.se
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mailová adresa ověřena na: inf.ed.ac.uk
- Benjamin DelawareAssistant Professor, Purdue UniversityE-mailová adresa ověřena na: purdue.edu
- Yanlin WangSun Yat-sen UniversityE-mailová adresa ověřena na: mail.sysu.edu.cn
- Haoyuan ZhangThe University of Hong KongE-mailová adresa ověřena na: cs.hku.hk
- Martin OderskyEPFLE-mailová adresa ověřena na: epfl.ch
Sledovat
Bruno C. d. S. Oliveira
Associate Professor, The University of Hong Kong
E-mailová adresa ověřena na: cs.hku.hk - Domovská stránka