Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 6495 | 1289 |
h-indeks | 22 | 12 |
i10-indeks | 46 | 12 |
Offentlig tilgang
Vis alle11 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerifisert e-postadresse på mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyVerifisert e-postadresse på cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerifisert e-postadresse på cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifisert e-postadresse på mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerifisert e-postadresse på cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiVerifisert e-postadresse på hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerifisert e-postadresse på indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayVerifisert e-postadresse på lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerifisert e-postadresse på surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLVerifisert e-postadresse på ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Verifisert e-postadresse på uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerifisert e-postadresse på imperial.ac.uk
- Roberto SegalaUniversità di VeronaVerifisert e-postadresse på univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerifisert e-postadresse på nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryVerifisert e-postadresse på dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerifisert e-postadresse på gc.cuny.edu