Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 6503 | 1295 |
indeks h | 22 | 12 |
indeks i10 | 46 | 12 |
Javni dostop
Prikaži vse11 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtPreverjeni e-poštni naslov na mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyPreverjeni e-poštni naslov na cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityPreverjeni e-poštni naslov na cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPreverjeni e-poštni naslov na mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityPreverjeni e-poštni naslov na cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiPreverjeni e-poštni naslov na hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyPreverjeni e-poštni naslov na indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayPreverjeni e-poštni naslov na lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyPreverjeni e-poštni naslov na surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLPreverjeni e-poštni naslov na ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Preverjeni e-poštni naslov na uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonPreverjeni e-poštni naslov na imperial.ac.uk
- Roberto SegalaUniversità di VeronaPreverjeni e-poštni naslov na univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryPreverjeni e-poštni naslov na nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryPreverjeni e-poštni naslov na dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterPreverjeni e-poštni naslov na gc.cuny.edu