Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 6480 | 1276 |
h-індекс | 22 | 12 |
i10-індекс | 46 | 12 |
Доступні для всіх
Переглянути всі11 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtПідтверджена електронна адреса в mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyПідтверджена електронна адреса в cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityПідтверджена електронна адреса в cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПідтверджена електронна адреса в mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityПідтверджена електронна адреса в cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiПідтверджена електронна адреса в hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyПідтверджена електронна адреса в indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayПідтверджена електронна адреса в lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyПідтверджена електронна адреса в surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLПідтверджена електронна адреса в ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Підтверджена електронна адреса в uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonПідтверджена електронна адреса в imperial.ac.uk
- Roberto SegalaUniversità di VeronaПідтверджена електронна адреса в univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryПідтверджена електронна адреса в nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryПідтверджена електронна адреса в dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterПідтверджена електронна адреса в gc.cuny.edu