내 프로필 만들기
공개 액세스
모두 보기자료 22개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joao LeiteUniversidade Nova de Lisboafct.unl.pt의 이메일 확인됨
- Matthias KnorrAssistant Professor of Computer Science, NOVA LINCS, Universidade Nova de Lisboafct.unl.pt의 이메일 확인됨
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboamath.ist.utl.pt의 이메일 확인됨
- Jose Julio AlferesProfessor of Computer Science, Universidade Nova de Lisboafct.unl.pt의 이메일 확인됨
- Martin SlotaPostdoctoral researcher, Universidade Nova de Lisboafct.unl.pt의 이메일 확인됨
- Tomi JanhunenTampere University, Finlandtuni.fi의 이메일 확인됨
- Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di Ferraraunife.it의 이메일 확인됨
- Ana Sofia GomesCENTRIA, Departamento de Informática, Universidade Nova de Lisboacampus.fct.unl.pt의 이메일 확인됨
- Gerhard BrewkaProfessor of Computer Science, Leipzig Universityinformatik.uni-leipzig.de의 이메일 확인됨
- Stefan EllmauthalerTU Dresdentu-dresden.de의 이메일 확인됨
- Manuel A. MartinsDepartamento de Matemática, Universidade de Aveiroua.pt의 이메일 확인됨
- Alfredo GabaldonGE Researchge.com의 이메일 확인됨
- Jesse HeyninckOpen Universiteit, the Netherlandstu-dortmund.de의 이메일 확인됨