Mijn eigen profiel maken
Openbare toegang
Alles bekijken11 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtGeverifieerd e-mailadres voor mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyGeverifieerd e-mailadres voor cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityGeverifieerd e-mailadres voor cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityGeverifieerd e-mailadres voor cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiGeverifieerd e-mailadres voor hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyGeverifieerd e-mailadres voor indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayGeverifieerd e-mailadres voor lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLGeverifieerd e-mailadres voor ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Geverifieerd e-mailadres voor uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- Roberto SegalaUniversità di VeronaGeverifieerd e-mailadres voor univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryGeverifieerd e-mailadres voor dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterGeverifieerd e-mailadres voor gc.cuny.edu