自分のプロフィールを作成
オープン アクセス
すべて表示22 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Joao LeiteUniversidade Nova de Lisboa確認したメール アドレス: fct.unl.pt
- Matthias KnorrAssistant Professor of Computer Science, NOVA LINCS, Universidade Nova de Lisboa確認したメール アドレス: fct.unl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa確認したメール アドレス: math.ist.utl.pt
- Jose Julio AlferesProfessor of Computer Science, Universidade Nova de Lisboa確認したメール アドレス: fct.unl.pt
- Martin SlotaPostdoctoral researcher, Universidade Nova de Lisboa確認したメール アドレス: fct.unl.pt
- Tomi JanhunenTampere University, Finland確認したメール アドレス: tuni.fi
- Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di Ferrara確認したメール アドレス: unife.it
- Ana Sofia GomesCENTRIA, Departamento de Informática, Universidade Nova de Lisboa確認したメール アドレス: campus.fct.unl.pt
- Gerhard BrewkaProfessor of Computer Science, Leipzig University確認したメール アドレス: informatik.uni-leipzig.de
- Stefan EllmauthalerTU Dresden確認したメール アドレス: tu-dresden.de
- Manuel A. MartinsDepartamento de Matemática, Universidade de Aveiro確認したメール アドレス: ua.pt
- Alfredo GabaldonGE Research確認したメール アドレス: ge.com
- Jesse HeyninckOpen Universiteit, the Netherlands確認したメール アドレス: tu-dortmund.de