Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 933 | 192 |
Índice h | 17 | 7 |
Índice i10 | 24 | 5 |
Acceso público
Ver todo18 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Patricia JohannAppalachian State UniversityDirección de correo verificada de appstate.edu
- Kazutaka MatsudaTohoku UniversityDirección de correo verificada de ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityDirección de correo verificada de pku.edu.cn
- Meng WangReader in Computer Science, University of BristolDirección de correo verificada de bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaDirección de correo verificada de fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordDirección de correo verificada de cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenDirección de correo verificada de cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityDirección de correo verificada de informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECDirección de correo verificada de di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADDirección de correo verificada de fe.up.pt
- John P GallagherRoskilde UniversityDirección de correo verificada de ruc.dk
- Lutz StraßburgerInriaDirección de correo verificada de lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoDirección de correo verificada de inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECDirección de correo verificada de inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoDirección de correo verificada de di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternDirección de correo verificada de cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPDirección de correo verificada de well-typed.com
- Frank HermannProduct Owner; CARIADDirección de correo verificada de frank-hermann.de
Seguir
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Dirección de correo verificada de uni-due.de - Página principal