Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 6490 | 1286 |
indice h | 22 | 12 |
indice i10 | 46 | 12 |
Accès public
Tout afficher11 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtAdresse e-mail validée de mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyAdresse e-mail validée de cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiAdresse e-mail validée de hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyAdresse e-mail validée de indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayAdresse e-mail validée de lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyAdresse e-mail validée de surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLAdresse e-mail validée de ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Adresse e-mail validée de uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonAdresse e-mail validée de imperial.ac.uk
- Roberto SegalaUniversità di VeronaAdresse e-mail validée de univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryAdresse e-mail validée de nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryAdresse e-mail validée de dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterAdresse e-mail validée de gc.cuny.edu