Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen18 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
Patricia JohannAppalachian State UniversityBestätigte E-Mail-Adresse bei appstate.edu
Kazutaka MatsudaTohoku UniversityBestätigte E-Mail-Adresse bei ecei.tohoku.ac.jp
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityBestätigte E-Mail-Adresse bei pku.edu.cn
Meng WangReader in Computer Science, University of BristolBestätigte E-Mail-Adresse bei bristol.ac.uk
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaBestätigte E-Mail-Adresse bei fmf.uni-lj.si
Nate FosterProfessor of Computer Science, Cornell UniversityBestätigte E-Mail-Adresse bei cs.cornell.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityBestätigte E-Mail-Adresse bei informatik.rwth-aachen.de
Jeremy GibbonsProfessor of Computing, University of OxfordBestätigte E-Mail-Adresse bei cs.ox.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenBestätigte E-Mail-Adresse bei cs.kuleuven.be
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECBestätigte E-Mail-Adresse bei di.uminho.pt
João Paulo FernandesVisiting Associate Professor, NYUADBestätigte E-Mail-Adresse bei fe.up.pt
John P GallagherRoskilde UniversityBestätigte E-Mail-Adresse bei ruc.dk
Lutz StraßburgerInriaBestätigte E-Mail-Adresse bei lix.polytechnique.fr
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoBestätigte E-Mail-Adresse bei inesctec.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECBestätigte E-Mail-Adresse bei inesctec.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoBestätigte E-Mail-Adresse bei di.uminho.pt
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternBestätigte E-Mail-Adresse bei cs.uni-kl.de
Andres LöhHaskell Consultant, Well-Typed LLPBestätigte E-Mail-Adresse bei well-typed.com
Frank HermannProduct Owner; CARIADBestätigte E-Mail-Adresse bei frank-hermann.de
Folgen![Janis Voigtländer](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=YLsrQCYAAAAJ&citpid=2)
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Bestätigte E-Mail-Adresse bei uni-due.de - Startseite