Crea el meu perfil
Accés públic
Mostra-ho tot11 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtCorreu electrònic verificat a mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyCorreu electrònic verificat a cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityCorreu electrònic verificat a cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityCorreu electrònic verificat a cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiCorreu electrònic verificat a hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyCorreu electrònic verificat a indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayCorreu electrònic verificat a lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyCorreu electrònic verificat a surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLCorreu electrònic verificat a ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Correu electrònic verificat a uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Roberto SegalaUniversità di VeronaCorreu electrònic verificat a univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryCorreu electrònic verificat a nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryCorreu electrònic verificat a dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterCorreu electrònic verificat a gc.cuny.edu