Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 6495 | 1290 |
h-index | 22 | 12 |
i10-indeks | 46 | 12 |
Offentlig adgang
Se alle11 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerificeret mail på mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyVerificeret mail på cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerificeret mail på cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerificeret mail på mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerificeret mail på cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiVerificeret mail på hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerificeret mail på indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayVerificeret mail på lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerificeret mail på surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLVerificeret mail på ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Verificeret mail på uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerificeret mail på imperial.ac.uk
- Roberto SegalaUniversità di VeronaVerificeret mail på univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerificeret mail på nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryVerificeret mail på dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerificeret mail på gc.cuny.edu