Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Patricia JohannAppalachian State UniversityVerified email at appstate.edu- Kazutaka MatsudaTohoku UniversityVerified email at ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
- Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
- Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerified email at di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADVerified email at nyu.edu
- John P GallagherRoskilde UniversityVerified email at ruc.dk
- Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
- Frank HermannProduct Owner; CARIADVerified email at frank-hermann.de
Follow
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Verified email at uni-due.de - Homepage