내 프로필 만들기
공개 액세스
모두 보기자료 58개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joao Marques-SilvaResearch Professor, ICREA, University of Lleidaicrea.cat의 이메일 확인됨
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboainesc-id.pt의 이메일 확인됨
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- William KlieberCarnegie Melloncs.cmu.edu의 이메일 확인됨
- Radu GrigoreFacebookfb.com의 이메일 확인됨
- Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and Lerolero.ie의 이메일 확인됨
- Anton BelovSynopsys Inc.belov-mcdowell.com의 이메일 확인됨
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, Germanyuni-jena.de의 이메일 확인됨
- António MorgadoARSR, Inesc-ID; IST, Universidade de Lisboaarsr.inesc-id.pt의 이메일 확인됨
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Jelle PiepenbrockRadboud University, Czech Technical University Pragueru.nl의 이메일 확인됨
- Alexey IgnatievFaculty of Information Technology, Monash Universitymonash.edu의 이메일 확인됨
- Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fairacm.org의 이메일 확인됨
- Nikolaj BjornerMicrosoft Researchcs.stanford.edu의 이메일 확인됨
- Pedro OrvalhoINESC-ID, Instituto Superior Técnico, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Alessandro PrevitiEricsson Researchericsson.com의 이메일 확인됨
- Federico HerasUniversitat Pompeu Fabraupf.edu의 이메일 확인됨
- Josef UrbanDistinguished Researcher at Czech Technical University in Praguecvut.cz의 이메일 확인됨
- Jan HůlaUniversity of Ostravaosu.cz의 이메일 확인됨
- Florian Lonsingflorianlonsing.com의 이메일 확인됨