Luís Cruz-Filipe

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 69

Top Venues

CoRR

ITP

J. Comput. Syst. Sci.

ICTAC

Publications

Luís Cruz-Filipe, Peter Schneider-Kamp
Minimizing Sorting Networks at the Sub-Comparator Level. LPAR (2024)
Bart Bogaerts, Luís Cruz-Filipe
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. Logics and Type Systems in Theory and Practice (2024)
Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
μXL: Explainable Lead Generation with Microservices and Hypothetical Answers. ESOCC (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning about Choreographic Programs. CoRR (2023)
Luís Cruz-Filipe, Fabrizio Montesi
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. CoRR (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
Keep me out of the loop: a more flexible choreographic projection. LPAR (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Modular Compilation for Higher-Order Functional Choreographies. ECOOP (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. FORTE (2023)
Luís Cruz-Filipe, Fabrizio Montesi
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning About Choreographic Programs. COORDINATION (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. J. Autom. Reason. 67 (2) (2023)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
Implementing Choreography Extraction. CoRR (2022)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Reconciling Communication Delays and Negation. ICTAC (2022)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. CoRR (2022)
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
From Infinity to Choreographies: Extraction for Unbounded Systems. CoRR (2022)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Functional Choreographic Programming. ICTAC (2022)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Can You Answer While You Wait? FoIKS (2022)
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
From Infinity to Choreographies - Extraction for Unbounded Systems. LOPSTR (2022)
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices (2022)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. ICTAC (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. CoRR (2021)
Bart Bogaerts, Luís Cruz-Filipe
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ACM Trans. Comput. Log. 22 (1) (2021)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Choreographies as Functions. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. ITP (2021)
Luís Cruz-Filipe, Fabrizio Montesi
A core model for choreographic programming. Theor. Comput. Sci. 802 (2020)
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
Hypothetical Answers to Continuous Queries over Data Streams. AAAI (2020)
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
Implementing choreography extraction. CoRR (2019)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Hypothetical answers to continuous queries over data streams. CoRR (2019)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting networks: To the end and back again. J. Comput. Syst. Sci. 104 (2019)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. J. Autom. Reason. 63 (3) (2019)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. CoRR (2018)
Adrian Rebola-Pardo, Luís Cruz-Filipe
Complete and Efficient DRAT Proof Checking. FMCAD (2018)
James H. Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe
Machine-Assisted Proofs (ICM 2018 Panel). CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. LOPSTR (2018)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Bart Bogaerts, Luís Cruz-Filipe
Fixpoint semantics for active integrity constraints. Artif. Intell. 255 (2018)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in choreographies, revisited. SAC (2018)
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
Connectors meet Choreographies. CoRR (2018)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Optimizing sorting algorithms by using sorting networks. Formal Aspects Comput. 29 (3) (2017)
Luís Cruz-Filipe, Fabrizio Montesi
That's Enough: Asynchrony with Standard Choreography Primitives. CoRR (2017)
Luís Cruz-Filipe, Fabrizio Montesi
Encoding asynchrony in choreographies. SAC (2017)
Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
How to Get More Out of Your Oracles. ITP (2017)
Bart Bogaerts, Luís Cruz-Filipe
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. IJCAI (2017)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-depth sorting networks. J. Comput. Syst. Sci. 84 (2017)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formally Proving the Boolean Pythagorean Triples Conjecture. LPAR (2017)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
From description-logic programs to multi-context systems. J. Log. Algebraic Methods Program. 88 (2017)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in Choreographies, Revisited. CoRR (2017)
Luís Cruz-Filipe, Fabrizio Montesi
Procedural Choreographic Programming. FORTE (2017)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
The Paths to Choreography Extraction. FoSSaCS (2017)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Efficient Certified Resolution Proof Checking. TACAS (1) (2017)
Luís Cruz-Filipe, Fabrizio Montesi
On Asynchrony and Choreographies. ICE@DisCoTec (2017)
Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
Efficient Certified RAT Verification. CADE (2017)
Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
Formally Proving Size Optimality of Sorting Networks. J. Autom. Reason. 59 (4) (2017)
Luís Cruz-Filipe
Grounded Fixpoints and Active Integrity Constraints. ICLP (Technical Communications) (2016)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci. 82 (3) (2016)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-Context Systems. CoRR (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. CoRR (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies, Divided and Conquered. CoRR (2016)
Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
Efficient Certified RAT Verification. CoRR (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies in Practice. FORTE (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies in Practice. CoRR (2016)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
The Paths to Choreography Extraction. CoRR (2016)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-context Systems. EKAW (2016)
Luís Cruz-Filipe, Fabrizio Montesi
A Core Model for Choreographic Programming. FACS (2016)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Efficient Certified Resolution Proof Checking. CoRR (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. FoIKS (2016)
Luís Cruz-Filipe
Grounded Fixpoints and Active Integrity Constraints. CoRR (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies, Computationally. CoRR (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CICM (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
When Six Gates are Not Enough. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
Sorting Networks: The End Game. LATA (2015)
Luís Cruz-Filipe, Fernando Ferreira
The Finitistic Consistency of Heck's Predicative Fregean System. Notre Dame J. Formal Log. 56 (1) (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency. KMIS (2015)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting Networks: to the End and Back Again. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints: From Theory to Implementation. IC3K (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. ITP (2015)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. LOPSTR (2015)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). CoRR (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. SYNASC (2014)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). ICTAI (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
Sorting Networks: the End Game. CoRR (2014)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-Depth Sorting Networks. CoRR (2014)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Information Flow within Relational Multi-context Systems. EKAW (2014)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26 (5) (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. CoRR (2014)
Luís Cruz-Filipe
Optimizing Computation of Repairs from Active Integrity Constraints. FoIKS (2014)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Design Patterns for Description-Logic Programs. IC3K (2013)
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
Patterns for Interfacing between Logic Programs and Multiple Ontologies. KEOD (2013)
Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
Description Logics, Rules and Multi-context Systems. LPAR (2013)
Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes
Computing Repairs from Active Integrity Constraints. TASE (2013)
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)
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL 16 (2) (2008)
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) (2008)
Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379 (1-2) (2007)

Luís Cruz-Filipe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luís Cruz-Filipe