Skapa en profil
Offentlig åtkomst
Visa alla18 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Patricia JohannAppalachian State UniversityVerifierad e-postadress på appstate.edu
- Kazutaka MatsudaTohoku UniversityVerifierad e-postadress på ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerifierad e-postadress på pku.edu.cn
- Meng WangReader in Computer Science, University of BristolVerifierad e-postadress på bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerifierad e-postadress på fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenVerifierad e-postadress på cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerifierad e-postadress på informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerifierad e-postadress på di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADVerifierad e-postadress på fe.up.pt
- John P GallagherRoskilde UniversityVerifierad e-postadress på ruc.dk
- Lutz StraßburgerInriaVerifierad e-postadress på lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerifierad e-postadress på inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerifierad e-postadress på inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerifierad e-postadress på di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerifierad e-postadress på cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPVerifierad e-postadress på well-typed.com
- Frank HermannProduct Owner; CARIADVerifierad e-postadress på frank-hermann.de
Följ
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Verifierad e-postadress på uni-due.de - Startsida