Crea il mio profilo
Accesso pubblico
Visualizza tutto18 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Patricia JohannAppalachian State UniversityEmail verificata su appstate.edu
- Kazutaka MatsudaTohoku UniversityEmail verificata su ecei.tohoku.ac.jp
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityEmail verificata su pku.edu.cn
- Meng WangReader in Computer Science, University of BristolEmail verificata su bristol.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaEmail verificata su fmf.uni-lj.si
- Nate FosterProfessor of Computer Science, Cornell UniversityEmail verificata su cs.cornell.edu
- Jeremy GibbonsProfessor of Computing, University of OxfordEmail verificata su cs.ox.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenEmail verificata su cs.kuleuven.be
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityEmail verificata su informatik.rwth-aachen.de
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECEmail verificata su di.uminho.pt
- João Paulo FernandesVisiting Associate Professor, NYUADEmail verificata su fe.up.pt
- John P GallagherRoskilde UniversityEmail verificata su ruc.dk
- Lutz StraßburgerInriaEmail verificata su lix.polytechnique.fr
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoEmail verificata su inesctec.pt
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TECEmail verificata su inesctec.pt
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoEmail verificata su di.uminho.pt
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternEmail verificata su cs.uni-kl.de
- Andres LöhHaskell Consultant, Well-Typed LLPEmail verificata su well-typed.com
- Frank HermannData Scientist; CARIAD
Segui
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
Email verificata su uni-due.de - Home page