Založit si vlastní profil
Veřejný přístup
Zobrazit všechny11 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtE-mailová adresa ověřena na: mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyE-mailová adresa ověřena na: cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityE-mailová adresa ověřena na: cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityE-mailová adresa ověřena na: cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiE-mailová adresa ověřena na: hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyE-mailová adresa ověřena na: indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayE-mailová adresa ověřena na: lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyE-mailová adresa ověřena na: surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLE-mailová adresa ověřena na: ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)E-mailová adresa ověřena na: uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Roberto SegalaUniversità di VeronaE-mailová adresa ověřena na: univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryE-mailová adresa ověřena na: nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryE-mailová adresa ověřena na: dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterE-mailová adresa ověřena na: gc.cuny.edu