Luís Cruz-Filipe
发表
Ivan Lanese,
Luís Cruz-Filipe,
Francisco Martins,
2008,
FMOODS.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
SAC.
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2017,
J. Log. Algebraic Methods Program..
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2016,
Formal Aspects of Computing.
Luís Cruz-Filipe,
Rita Henriques,
Isabel Nunes,
2013
.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
ArXiv.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Isabel Nunes,
2018,
Annals of Mathematics and Artificial Intelligence.
James H. Davenport,
Luís Cruz-Filipe,
Bjorn Poonen,
2019
.
Cristina Sernadas,
Amílcar Sernadas,
Luís Cruz-Filipe,
2008,
Log. J. IGPL.
Luís Cruz-Filipe,
Pierre Letouzey,
L. Cruz-Filipe,
2006,
Calculemus.
Bas Spitters,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2003,
TPHOLs.
Kim S. Larsen,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2017,
Journal of Automated Reasoning.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2020,
AAAI.
Kim S. Larsen,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2017,
ITP.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2020,
Microservices.
Cristina Sernadas,
João Rasga,
Amílcar Sernadas,
2008,
J. Log. Comput..
Luís Cruz-Filipe,
Fabrizio Montesi,
2020,
Theor. Comput. Sci..
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2013,
IC3K.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Graça Gaspar,
2016,
EKAW.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2018,
SAC.
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2018,
Journal of Automated Reasoning.
Michael Frank,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Jacopo Mauro,
Luís Cruz-Filipe,
Elisabetta Di Nitto,
2019,
SAC 2019.
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2017,
IJCAI.
Luís Cruz-Filipe,
Bjorn Poonen,
Harald Helfgott,
2018,
ArXiv.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2015,
FACS.
Luís Cruz-Filipe,
2014,
FoIKS.
Luís Cruz-Filipe,
Rita Henriques,
Isabel Nunes,
2013,
LPAR.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2015,
ITP.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2014,
LATA.
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2018,
Artif. Intell..
Luís Cruz-Filipe,
Fabrizio Montesi,
2017,
ICE@DisCoTec.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Marijn Heule,
2017,
CADE.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2017,
FORTE.
Michael Franz,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2015,
ArXiv.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2013,
KEOD.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2017,
ICLP 2017.
Daniel Bundala,
Jakub Závodný,
Peter Schneider-Kamp,
2014,
J. Comput. Syst. Sci..
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2015,
ArXiv.
Michael Frank,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2016,
J. Comput. Syst. Sci..
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2016,
TACAS.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2014,
EKAW.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Freek Wiedijk,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2004,
TPHOLs.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Carbone,
2018,
LOPSTR.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2015,
LOPSTR.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2015,
CICM.
Kim S. Larsen,
Luís Cruz-Filipe,
Fabrizio Montesi,
2017,
FoSSaCS.
Herman Geuvers,
Freek Wiedijk,
Luís Cruz-Filipe,
2004,
MKM.
Luís Cruz-Filipe,
Fabrizio Montesi,
L. Cruz-Filipe,
2016,
ArXiv.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Isabel Nunes,
2016,
FoIKS.
Luís Cruz-Filipe,
Graça Gaspar,
Isabel Nunes,
2012
.
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Rohit Chadha,
Amílcar Sernadas,
Luís Cruz-Filipe,
2007,
Theor. Comput. Sci..
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Franz,
2015,
KMIS.
Luís Cruz-Filipe,
Isabel Nunes,
Graça Gaspar,
2012
.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Codish,
2015,
J. Comput. Syst. Sci..
Ivan Lanese,
Luís Cruz-Filipe,
Francisco Martins,
2013,
Formal Aspects of Computing.
Fernando Ferreira,
Luís Cruz-Filipe,
2015,
Notre Dame J. Formal Log..
Peter Schneider-Kamp,
Luís Cruz-Filipe,
L. Cruz-Filipe,
2017,
LPAR.
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,
2004
.
Luís Cruz-Filipe,
Fabrizio Montesi,
2016,
FORTE.
Massimo Bartoletti,
Gwen Salaün,
Luís Cruz-Filipe,
2018
.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Michael Franz,
2015,
IC3K.
Michael Frank,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2015,
ArXiv.
Luís Cruz-Filipe,
L. Cruz-Filipe,
2016,
ICLP.
Farhad Arbab,
Sung-Shik Jongmans,
Luís Cruz-Filipe,
2018,
ArXiv.
Luís Cruz-Filipe,
L. Cruz-Filipe,
2002,
TYPES.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2021
.
Luís Cruz-Filipe,
Bart Bogaerts,
L. Cruz-Filipe,
2021,
ACM Trans. Comput. Log..