Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 6493 | 1288 |
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