Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 6484 | 1280 |
h-index | 22 | 12 |
i10-index | 46 | 12 |
Acces public
Afișați-le pe toate11 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtAdresă de e-mail confirmată pe mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyAdresă de e-mail confirmată pe cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityAdresă de e-mail confirmată pe cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityAdresă de e-mail confirmată pe cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiAdresă de e-mail confirmată pe hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyAdresă de e-mail confirmată pe indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayAdresă de e-mail confirmată pe lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyAdresă de e-mail confirmată pe surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLAdresă de e-mail confirmată pe ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Adresă de e-mail confirmată pe uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- Roberto SegalaUniversità di VeronaAdresă de e-mail confirmată pe univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryAdresă de e-mail confirmată pe nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryAdresă de e-mail confirmată pe dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterAdresă de e-mail confirmată pe gc.cuny.edu