Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 933 | 192 |
Índice h | 17 | 7 |
Índice i10 | 24 | 5 |
Acesso público
Ver tudo18 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Patricia JohannAppalachian State UniversityEmail confirmado em appstate.edu
- Kazutaka MatsudaTohoku UniversityEmail confirmado em ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityEmail confirmado em pku.edu.cn
- Meng WangReader in Computer Science, University of BristolEmail confirmado em bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaEmail confirmado em fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityEmail confirmado em cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordEmail confirmado em cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenEmail confirmado em cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityEmail confirmado em informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECEmail confirmado em di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADEmail confirmado em fe.up.pt
- John P GallagherRoskilde UniversityEmail confirmado em ruc.dk
- Lutz StraßburgerInriaEmail confirmado em lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoEmail confirmado em inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECEmail confirmado em inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoEmail confirmado em di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternEmail confirmado em cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPEmail confirmado em well-typed.com
- Frank HermannProduct Owner; CARIADEmail confirmado em frank-hermann.de
Seguir
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Email confirmado em uni-due.de - Página inicial