Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 932 | 191 |
indice h | 17 | 7 |
indice i10 | 24 | 5 |
Accès public
Tout afficher18 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Patricia JohannAppalachian State UniversityAdresse e-mail validée de appstate.edu
- Kazutaka MatsudaTohoku UniversityAdresse e-mail validée de ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityAdresse e-mail validée de pku.edu.cn
- Meng WangReader in Computer Science, University of BristolAdresse e-mail validée de bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaAdresse e-mail validée de fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenAdresse e-mail validée de cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityAdresse e-mail validée de informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECAdresse e-mail validée de di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADAdresse e-mail validée de fe.up.pt
- John P GallagherRoskilde UniversityAdresse e-mail validée de ruc.dk
- Lutz StraßburgerInriaAdresse e-mail validée de lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoAdresse e-mail validée de inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECAdresse e-mail validée de inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoAdresse e-mail validée de di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternAdresse e-mail validée de cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPAdresse e-mail validée de well-typed.com
- Frank HermannData Scientist; CARIAD
Suivre
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Adresse e-mail validée de uni-due.de - Page d'accueil