 | 2008 |
|---|
| 9 |       | Luís Cruz-Filipe,
Ivan Lanese,
Francisco Martins,
António Ravara,
Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
FMOODS 2008: 59-77 |
| 8 | | Luís Cruz-Filipe,
João Rasga,
Amílcar Sernadas,
Cristina Sernadas:
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.
J. Log. Comput. 18(6): 885-911 (2008) |
| 7 | | Luís Cruz-Filipe,
Amílcar Sernadas,
Cristina Sernadas:
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.
Logic Journal of the IGPL 16(2): 121-153 (2008) |
| 2007 |
|---|
| 6 | | Rohit Chadha,
Luís Cruz-Filipe,
Paulo Mateus,
Amílcar Sernadas:
Reasoning about probabilistic sequential programs.
Theor. Comput. Sci. 379(1-2): 142-165 (2007) |
| 2006 |
|---|
| 5 | | Luís Cruz-Filipe,
Pierre Letouzey:
A Large-Scale Experiment in Executing Extracted Programs.
Electr. Notes Theor. Comput. Sci. 151(1): 75-91 (2006) |
| 2004 |
|---|
| 4 | | Luís Cruz-Filipe,
Herman Geuvers,
Freek Wiedijk:
C-CoRN, the Constructive Coq Repository at Nijmegen.
MKM 2004: 88-103 |
| 3 | | Luís Cruz-Filipe,
Freek Wiedijk:
Hierarchical Reflection.
TPHOLs 2004: 66-81 |
| 2003 |
|---|
| 2 | | Luís Cruz-Filipe,
Bas Spitters:
Program Extraction from Large Proof Developments.
TPHOLs 2003: 205-220 |
| 2002 |
|---|
| 1 | | Luís Cruz-Filipe:
A Constructive Formalization of the Fundamental Theorem of Calculus.
TYPES 2002: 108-126 |
