Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 6480 | 1276 |
h-indeks | 22 | 12 |
i10-indeks | 46 | 12 |
Dostęp publiczny
Wyświetl wszystko11 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtZweryfikowany adres z mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyZweryfikowany adres z cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityZweryfikowany adres z cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityZweryfikowany adres z cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiZweryfikowany adres z hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyZweryfikowany adres z indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayZweryfikowany adres z lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyZweryfikowany adres z surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLZweryfikowany adres z ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Zweryfikowany adres z uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonZweryfikowany adres z imperial.ac.uk
- Roberto SegalaUniversità di VeronaZweryfikowany adres z univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryZweryfikowany adres z dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterZweryfikowany adres z gc.cuny.edu