Crea el meu perfil
Accés públic
Mostra-ho tot5 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Dirk PattinsonAustralian National UniversityCorreu electrònic verificat a anu.edu.au
- Balder ten CateAssociate ProfessorCorreu electrònic verificat a uva.nl
- Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergCorreu electrònic verificat a cs.fau.de
- Katsuhiko SanoProfessor, Faculty of Humanities and Human Sciences, Hokkaido UniversityCorreu electrònic verificat a let.hokudai.ac.jp
- Wesley H. HollidayProfessor of Philosophy, Group in Logic and the Methodology of Science, UC BerkeleyCorreu electrònic verificat a berkeley.edu
- Jan HiddersBirkbeck College, University of LondonCorreu electrònic verificat a dcs.bbk.ac.uk
- Stefan MiliusFAU Erlangen-NürnbergCorreu electrònic verificat a stefan-milius.eu
- maarten marxAssistant Professor of Computer Science, University of AmsterdamCorreu electrònic verificat a uva.nl
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Correu electrònic verificat a mpi-sws.org
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Michael SammlerMPI-SWSCorreu electrònic verificat a mpi-sws.org
- Jim de GrootThe Australian National UniversityCorreu electrònic verificat a anu.edu.au
- Frank WolterDepartment of Computer Science, University of LiverpoolCorreu electrònic verificat a liverpool.ac.uk
- Tomasz Stanisław KowalskiJagiellonian UniversityCorreu electrònic verificat a uj.edu.pl
- Peter JipsenProfessor of Mathematics, Chapman UniversityCorreu electrònic verificat a chapman.edu
- Szabolcs MikulasSenior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of LondonCorreu electrònic verificat a dcs.bbk.ac.uk
- Daniel HausmannGothenburg University, Chalmers Technical University, Gothenburg, SwedenCorreu electrònic verificat a chalmers.se
- Sven HelmerSenior Research Associate, University of ZurichCorreu electrònic verificat a ifi.uzh.ch
Segueix
tadeusz litak
FAU Erlangen-Nürnberg, Informatik 8
Correu electrònic verificat a cs.fau.de - Pàgina d'inici