L. Cruz-Filipe
发表
L. Cruz-Filipe,
H. Geuvers,
F. Wiedijk,
2004
.
Cristina Sernadas,
João Rasga,
Amílcar Sernadas,
2008,
J. Log. Comput..
L. Cruz-Filipe,
F. Montesi,
2016
.
L. Cruz-Filipe,
C. Sernadas,
2005
.
L. Cruz-Filipe,
F. Wiedijk,
2004
.
L. Cruz-Filipe,
F. Montesi,
Eva Graversen,
2021,
ArXiv.
L. Cruz-Filipe,
F. Montesi,
Eva Graversen,
2021,
ICTAC.
L. Cruz-Filipe,
Joao Marques-Silva,
Peter Schneider-Kamp,
2018,
Journal of Automated Reasoning.
Rohit Chadha,
Amílcar Sernadas,
Luís Cruz-Filipe,
2007,
Theor. Comput. Sci..
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
FORTE.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2015,
J. Comput. Syst. Sci..
Kim S. Larsen,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2017,
Journal of Automated Reasoning.
Daniel Bundala,
Jakub Závodný,
Peter Schneider-Kamp,
2014,
J. Comput. Syst. Sci..
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2016,
Formal Aspects of Computing.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2015,
LOPSTR.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2015,
CICM.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2015,
ITP.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2014,
LATA.
Michael Frank,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2014,
EKAW.
L. Cruz-Filipe,
F. Montesi,
Robert R. Rasmussen,
2023,
EPiC Series in Computing.
Herman Geuvers,
Freek Wiedijk,
Luís Cruz-Filipe,
2004,
MKM.
Luís Cruz-Filipe,
Bjorn Poonen,
Harald Helfgott,
2018,
ArXiv.
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2016,
TACAS.
Farhad Arbab,
Sung-Shik Jongmans,
Luís Cruz-Filipe,
2018,
ArXiv.
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2018,
Journal of Automated Reasoning.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2015,
FACS.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2015,
ArXiv.
L. Cruz-Filipe,
Peter Schneider-Kamp,
G. Gaspar,
2018,
Annals of Mathematics and Artificial Intelligence.
Fabrizio Montesi,
Lu'is Cruz-Filipe,
L. Cruz-Filipe,
2016,
FORTE.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2016,
ArXiv.
L. Cruz-Filipe,
F. Montesi,
2015,
ArXiv.
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2021,
ACM Trans. Comput. Log..
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2018,
Artif. Intell..
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2017,
IJCAI.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Graça Gaspar,
2016,
EKAW.
Luís Cruz-Filipe,
L. Cruz-Filipe,
2016,
ICLP.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Franz,
2015,
IC3K.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Franz,
2015,
KMIS.
L. Cruz-Filipe,
2014,
FoIKS.
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2017,
LPAR.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2017,
ICLP 2017.
Luís Cruz-Filipe,
Pierre Letouzey,
L. Cruz-Filipe,
2006,
Calculemus.
Bas Spitters,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2003,
TPHOLs.
Luís Cruz-Filipe,
L. Cruz-Filipe,
2004
.
Marijn J. H. Heule,
W. Hunt,
L. Cruz-Filipe,
2016,
CADE.
Luís Cruz-Filipe,
Adrian Rebola-Pardo,
L. Cruz-Filipe,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Luís Cruz-Filipe,
L. Cruz-Filipe,
2002,
TYPES.
Freek Wiedijk,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2004,
TPHOLs.
L. Cruz-Filipe,
Lúıs Cruz-Filipe,
2002
.
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2013,
IC3K.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2012
.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
ArXiv.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
SAC.