Založit si vlastní profil
Veřejný přístup
Zobrazit všechny18 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Patricia JohannAppalachian State UniversityE-mailová adresa ověřena na: appstate.edu
- Kazutaka MatsudaTohoku UniversityE-mailová adresa ověřena na: ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityE-mailová adresa ověřena na: pku.edu.cn
- Meng WangReader in Computer Science, University of BristolE-mailová adresa ověřena na: bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaE-mailová adresa ověřena na: fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityE-mailová adresa ověřena na: cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenE-mailová adresa ověřena na: cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityE-mailová adresa ověřena na: informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECE-mailová adresa ověřena na: di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADE-mailová adresa ověřena na: fe.up.pt
- John P GallagherRoskilde UniversityE-mailová adresa ověřena na: ruc.dk
- Lutz StraßburgerInriaE-mailová adresa ověřena na: lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoE-mailová adresa ověřena na: inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECE-mailová adresa ověřena na: inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoE-mailová adresa ověřena na: di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternE-mailová adresa ověřena na: cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPE-mailová adresa ověřena na: well-typed.com
- Frank HermannProduct Owner; CARIADE-mailová adresa ověřena na: frank-hermann.de
Sledovat
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
E-mailová adresa ověřena na: uni-due.de - Domovská stránka