Mijn eigen profiel maken
Openbare toegang
Alles bekijken18 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Patricia JohannAppalachian State UniversityGeverifieerd e-mailadres voor appstate.edu
- Kazutaka MatsudaTohoku UniversityGeverifieerd e-mailadres voor ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityGeverifieerd e-mailadres voor pku.edu.cn
- Meng WangReader in Computer Science, University of BristolGeverifieerd e-mailadres voor bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaGeverifieerd e-mailadres voor fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityGeverifieerd e-mailadres voor cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenGeverifieerd e-mailadres voor cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityGeverifieerd e-mailadres voor informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECGeverifieerd e-mailadres voor di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADGeverifieerd e-mailadres voor fe.up.pt
- John P GallagherRoskilde UniversityGeverifieerd e-mailadres voor ruc.dk
- Lutz StraßburgerInriaGeverifieerd e-mailadres voor lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoGeverifieerd e-mailadres voor inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECGeverifieerd e-mailadres voor inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoGeverifieerd e-mailadres voor di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternGeverifieerd e-mailadres voor cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPGeverifieerd e-mailadres voor well-typed.com
- Frank HermannProduct Owner; CARIADGeverifieerd e-mailadres voor frank-hermann.de
Volgen
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Geverifieerd e-mailadres voor uni-due.de - Homepage