Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Julian GutierrezMonash University Senior LecturerGeverifieerd e-mailadres voor monash.edu
- Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Giuseppe PerelliAssistant Professor at Sapienza University of RomeGeverifieerd e-mailadres voor di.uniroma1.it
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsGeverifieerd e-mailadres voor cs.uni-kl.de
- Thomas SteeplesDPhil student, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Lewis HammondUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Paul HarrensteinPost-doctoral researcher, University of OxfordGeverifieerd e-mailadres voor in.tum.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKGeverifieerd e-mailadres voor cs.ox.ac.uk
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
- Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanGeverifieerd e-mailadres voor nccu.edu.tw
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityGeverifieerd e-mailadres voor tu-dortmund.de
- Parosh AbdullaProfessor of Computer Science, Uppsala UniversityGeverifieerd e-mailadres voor it.uu.se
- Daniel STANEPITA LREGeverifieerd e-mailadres voor epita.fr