내 프로필 만들기
공개 액세스
모두 보기자료 17개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Mahesh ViswanathanUniversity of Illinois, Urbana-Champaignillinois.edu의 이메일 확인됨
- Aravinda Prasad SistlaProfessor of Computer Science, University of Illinois at Chicagouic.edu의 이메일 확인됨
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugalmath.ist.utl.pt의 이메일 확인됨
- Steve KremerInriainria.fr의 이메일 확인됨
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Matthew S. BauerUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Stefan CiobacaAlexandru Ioan Cuza Universityinfo.uaic.ro의 이메일 확인됨
- Vladimiro SassoneUniversity of Southamptonecs.soton.ac.uk의 이메일 확인됨
- Vincent ChevalUniversity of Oxford, United Kingdomcs.ox.ac.uk의 이메일 확인됨
- Umang MathurPresidential Young Professor at National University of Singaporecomp.nus.edu.sg의 이메일 확인됨
- John C MitchellProfessor of Computer Science, Stanford UniversityStanford.edu의 이메일 확인됨
- Pedro BaltazarInstituto de Telecomunicações, Technical University of Lisbonist.utl.pt의 이메일 확인됨
- Luís Cruz-FilipeUniversity of Southern Denmarkimada.sdu.dk의 이메일 확인됨
- Gergei BanaUniversity of MIssourimath.upenn.edu의 이메일 확인됨
- Ajay Kumar EerallaDepartment of Computer Science, University of Missourimail.missouri.edu의 이메일 확인됨
- Stéphanie DelauneUniv Rennes, CNRS, IRISAirisa.fr의 이메일 확인됨
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Dileep KiniUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugaltecnico.ulisboa.pt의 이메일 확인됨