내 프로필 만들기
공개 액세스
모두 보기자료 11개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadtmathematik.tu-darmstadt.de의 이메일 확인됨
- Dana ScottVisiting Scholar, UC Berkeleycs.cmu.edu의 이메일 확인됨
- James WorrellProfessor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- dusko pavlovicProfessor at University of Hawaiihawaii.edu의 이메일 확인됨
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophyindiana.edu의 이메일 확인됨
- Paul GastinProfessor, LMF, ENS Paris-Saclaylmf.cnrs.fr의 이메일 확인됨
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surreysurrey.ac.uk의 이메일 확인됨
- Samson AbramskyProfessor of Computer Science, UCLucl.ac.uk의 이메일 확인됨
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)uottawa.ca의 이메일 확인됨
- Michael HuthProfessor of Computer Science, Computing, Imperial College Londonimperial.ac.uk의 이메일 확인됨
- Roberto SegalaUniversità di Veronaunivr.it의 이메일 확인됨
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Aaron D. JaggardU.S. Naval Research Laboratorydimacs.rutgers.edu의 이메일 확인됨
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate Centergc.cuny.edu의 이메일 확인됨