Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 933 | 192 |
h-indeks | 17 | 7 |
i10-indeks | 24 | 5 |
Offentlig tilgang
Vis alle18 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Patricia JohannAppalachian State UniversityVerifisert e-postadresse på appstate.edu
- Kazutaka MatsudaTohoku UniversityVerifisert e-postadresse på ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerifisert e-postadresse på pku.edu.cn
- Meng WangReader in Computer Science, University of BristolVerifisert e-postadresse på bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerifisert e-postadresse på fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityVerifisert e-postadresse på cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenVerifisert e-postadresse på cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerifisert e-postadresse på informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerifisert e-postadresse på di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADVerifisert e-postadresse på fe.up.pt
- John P GallagherRoskilde UniversityVerifisert e-postadresse på ruc.dk
- Lutz StraßburgerInriaVerifisert e-postadresse på lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerifisert e-postadresse på inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerifisert e-postadresse på inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerifisert e-postadresse på di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerifisert e-postadresse på cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPVerifisert e-postadresse på well-typed.com
- Frank HermannProduct Owner; CARIADVerifisert e-postadresse på frank-hermann.de
Følg
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Verifisert e-postadresse på uni-due.de - Startside