Luís Cruz Filipe

Luís Cruz Filipe

University of Southern Denmark - Tianjin / Denmark
History, Philosophy, Theology / Philosophy
AD Scientific Index ID: 1533763
Syddansk Universitet
person_outline Luís Cruz Filipe's MOST POPULAR ARTICLES
1-) C-CoRN, the constructive Coq repository at NijmegenL Cruz-Filipe, H Geuvers, F WiedijkMathematical Knowledge Management: Third International Conference, MKM 2004 …, 20041332004
2-) Efficient certified RAT verificationL Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-KampAutomated Deduction–CADE 26: 26th International Conference on Automated …, 20171322017
3-) A core model for choreographic programmingL Cruz-Filipe, F MontesiTheoretical Computer Science 802, 38-66, 2020542020
4-) Efficient certified resolution proof checkingL Cruz-Filipe, J Marques-Silva, P Schneider-KampInternational Conference on Tools and Algorithms for the Construction and …, 2017672017
5-) Reasoning about probabilistic sequential programsR Chadha, L Cruz-Filipe, P Mateus, A SernadasTheoretical Computer Science 379 (1-2), 142-165, 2007562007