Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 6481 | 1277 |
h-index | 22 | 12 |
i10-index | 46 | 12 |
Nyilvános hozzáférés
Összes megtekintése11 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtE-mail megerősítve itt: mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyE-mail megerősítve itt: cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityE-mail megerősítve itt: cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityE-mail megerősítve itt: cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiE-mail megerősítve itt: hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyE-mail megerősítve itt: indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayE-mail megerősítve itt: lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyE-mail megerősítve itt: surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLE-mail megerősítve itt: ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)E-mail megerősítve itt: uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonE-mail megerősítve itt: imperial.ac.uk
- Roberto SegalaUniversità di VeronaE-mail megerősítve itt: univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryE-mail megerősítve itt: nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryE-mail megerősítve itt: dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterE-mail megerősítve itt: gc.cuny.edu