Luís Cruz-Filipe

111 papers A* 2A 2B 14C 15Misc 4Journal 55Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Can't you answer while you wait? Ann. Math. Artif. Intell. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2025	B	`conf`	færdXel: An Expert System for Danish Traffic Law. ICLP Luís Cruz-Filipe, Jonas Vistrup
2024	—	`conf`	Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. Logics and Type Systems in Theory and Practice Bart Bogaerts, Luís Cruz-Filipe
2024	J	`jnl`	Hypothetical Answers to Continuous Queries Over Data Streams. ACM Trans. Comput. Log. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2024	B	`conf`	Minimizing Sorting Networks at the Sub-Comparator Level. LPAR Luís Cruz-Filipe, Peter Schneider-Kamp
2024	J	`jnl`	μXL: explainable lead generation with microservices and hypothetical answers. Computing Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
2023	J	`jnl`	A Formal Theory of Choreographic Programming. J. Autom. Reason. Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2023	C	`conf`	Certified Compilation of Choreographies with hacc. FORTE Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
2023	J	`jnl`	Certified Compilation of Choreographies with hacc. CoRR Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
2023	B	`conf`	Keep me out of the loop: a more flexible choreographic projection. LPAR Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
2023	A	`conf`	Modular Compilation for Higher-Order Functional Choreographies. ECOOP Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2023	B	`conf`	Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP Luís Cruz-Filipe, Fabrizio Montesi
2023	J	`jnl`	Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2023	C	`conf`	Reasoning About Choreographic Programs. COORDINATION Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023	J	`jnl`	Reasoning about Choreographic Programs. CoRR Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023	—	`conf`	μXL: Explainable Lead Generation with Microservices and Hypothetical Answers. ESOCC Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
2022	J	`jnl`	A Formal Theory of Choreographic Programming. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2022	—	`conf`	Can You Answer While You Wait? FoIKS Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2022	C	`conf`	From Infinity to Choreographies - Extraction for Unbounded Systems. LOPSTR Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
2022	J	`jnl`	From Infinity to Choreographies: Extraction for Unbounded Systems. CoRR Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
2022	C	`conf`	Functional Choreographic Programming. ICTAC Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2022	J	`jnl`	Implementing Choreography Extraction. CoRR Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
2022	—	`conf`	Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
2022	C	`conf`	Reconciling Communication Delays and Negation. ICTAC Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2021	C	`conf`	Certifying Choreography Compilation. ICTAC Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Certifying Choreography Compilation. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Choreographies as Functions. CoRR Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2021	B	`conf`	Formalising a Turing-Complete Choreographic Language in Coq. ITP Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Formalising a Turing-Complete Choreographic Language in Coq. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ACM Trans. Comput. Log. Bart Bogaerts, Luís Cruz-Filipe
2020	J	`jnl`	A core model for choreographic programming. Theor. Comput. Sci. Luís Cruz-Filipe, Fabrizio Montesi
2020	A*	`conf`	Hypothetical Answers to Continuous Queries over Data Streams. AAAI Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
2020	—	`ed.`	Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019 Microservices Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2019	J	`jnl`	Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. J. Autom. Reason. Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2019	J	`jnl`	Hypothetical answers to continuous queries over data streams. CoRR Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2019	J	`jnl`	Implementing choreography extraction. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
2019	J	`jnl`	Sorting networks: To the end and back again. J. Comput. Syst. Sci. Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
2018	J	`jnl`	Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2018	Misc	`conf`	Communications in choreographies, revisited. SAC Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2018	B	`conf`	Complete and Efficient DRAT Proof Checking. FMCAD Adrian Rebola-Pardo, Luís Cruz-Filipe
2018	J	`jnl`	Connectors meet Choreographies. CoRR Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
2018	J	`jnl`	Fixpoint semantics for active integrity constraints. Artif. Intell. Bart Bogaerts, Luís Cruz-Filipe
2018	J	`jnl`	Machine-Assisted Proofs (ICM 2018 Panel). CoRR James H. Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe
2018	C	`conf`	Multiparty Classical Choreographies. LOPSTR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2018	J	`jnl`	Multiparty Classical Choreographies. CoRR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2017	J	`jnl`	Communications in Choreographies, Revisited. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2017	A	`conf`	Efficient Certified RAT Verification. CADE Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
2017	—	`conf`	Efficient Certified Resolution Proof Checking. TACAS (1) Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2017	Misc	`conf`	Encoding asynchrony in choreographies. SAC Luís Cruz-Filipe, Fabrizio Montesi
2017	J	`jnl`	Formally Proving Size Optimality of Sorting Networks. J. Autom. Reason. Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
2017	B	`conf`	Formally Proving the Boolean Pythagorean Triples Conjecture. LPAR Luís Cruz-Filipe, Peter Schneider-Kamp
2017	J	`jnl`	From description-logic programs to multi-context systems. J. Log. Algebraic Methods Program. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2017	B	`conf`	How to Get More Out of Your Oracles. ITP Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
2017	—	`conf`	On Asynchrony and Choreographies. ICE@DisCoTec Luís Cruz-Filipe, Fabrizio Montesi
2017	J	`jnl`	Optimal-depth sorting networks. J. Comput. Syst. Sci. Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
2017	J	`jnl`	Optimizing sorting algorithms by using sorting networks. Formal Aspects Comput. Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2017	C	`conf`	Procedural Choreographic Programming. FORTE Luís Cruz-Filipe, Fabrizio Montesi
2017	A*	`conf`	Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. IJCAI Bart Bogaerts, Luís Cruz-Filipe
2017	J	`jnl`	That's Enough: Asynchrony with Standard Choreography Primitives. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2017	B	`conf`	The Paths to Choreography Extraction. FoSSaCS Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
2016	—	`conf`	A Core Model for Choreographic Programming. FACS Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Active Integrity Constraints for Multi-Context Systems. CoRR Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016	B	`conf`	Active Integrity Constraints for Multi-context Systems. EKAW Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016	C	`conf`	Choreographies in Practice. FORTE Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Choreographies in Practice. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Choreographies, Divided and Conquered. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Efficient Certified RAT Verification. CoRR Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
2016	J	`jnl`	Efficient Certified Resolution Proof Checking. CoRR Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2016	—	`conf`	Grounded Fixpoints and Active Integrity Constraints. ICLP (Technical Communications) Luís Cruz-Filipe
2016	J	`jnl`	Grounded Fixpoints and Active Integrity Constraints. CoRR Luís Cruz-Filipe
2016	—	`conf`	Integrity Constraints for General-Purpose Knowledge Bases. FoIKS Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016	J	`jnl`	Integrity Constraints for General-Purpose Knowledge Bases. CoRR Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016	J	`jnl`	Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci. Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2016	J	`jnl`	The Paths to Choreography Extraction. CoRR Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
2015	C	`conf`	Active Integrity Constraints: From Theory to Implementation. IC3K Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	C	`conf`	Applying Sorting Networks to Synthesize Optimized Sorting Libraries. LOPSTR Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2015	J	`jnl`	Applying Sorting Networks to Synthesize Optimized Sorting Libraries. CoRR Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2015	J	`jnl`	Choreographies, Computationally. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2015	B	`conf`	Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. ITP Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. CoRR Luís Cruz-Filipe, Peter Schneider-Kamp
2015	C	`conf`	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CICM Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CoRR Luís Cruz-Filipe, Peter Schneider-Kamp
2015	C	`conf`	Sorting Networks: The End Game. LATA Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Sorting Networks: to the End and Back Again. CoRR Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
2015	J	`jnl`	The Finitistic Consistency of Heck's Predicative Fregean System. Notre Dame J. Formal Log. Luís Cruz-Filipe, Fernando Ferreira
2015	J	`jnl`	When Six Gates are Not Enough. CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2015	J	`jnl`	repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	—	`conf`	repAIrC: A Tool for Ensuring Data Consistency. KMIS Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2014	B	`conf`	Information Flow within Relational Multi-context Systems. EKAW Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2014	J	`jnl`	Optimal-Depth Sorting Networks. CoRR Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
2014	—	`conf`	Optimizing Computation of Repairs from Active Integrity Constraints. FoIKS Luís Cruz-Filipe
2014	J	`jnl`	Sorting Networks: the End Game. CoRR Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	Misc	`conf`	The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. SYNASC Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	J	`jnl`	The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. CoRR Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	J	`jnl`	The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2014	B	`conf`	Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). ICTAI Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2014	J	`jnl`	Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2013	Misc	`conf`	Computing Repairs from Active Integrity Constraints. TASE Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes
2013	B	`conf`	Description Logics, Rules and Multi-context Systems. LPAR Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
2013	C	`conf`	Design Patterns for Description-Logic Programs. IC3K Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2013	C	`conf`	Patterns for Interfacing between Logic Programs and Multiple Ontologies. KEOD Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
2008	—	`conf`	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2008	J	`jnl`	Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
2008	J	`jnl`	Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
2007	J	`jnl`	Reasoning about probabilistic sequential programs. Theor. Comput. Sci. Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
2005	—	`conf`	A Large-Scale Experiment in Executing Extracted Programs. Calculemus Luís Cruz-Filipe, Pierre Letouzey
2004	—	`conf`	C-CoRN, the Constructive Coq Repository at Nijmegen. MKM Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
2004	—	`—`	Constructive Real Analysis: A Type-Theoretical Formalization and Applications. Luís Cruz-Filipe
2004	—	`conf`	Hierarchical Reflection. TPHOLs Luís Cruz-Filipe, Freek Wiedijk
2003	—	`conf`	Program Extraction from Large Proof Developments. TPHOLs Luís Cruz-Filipe, Bas Spitters
2002	—	`conf`	A Constructive Formalization of the Fundamental Theorem of Calculus. TYPES Luís Cruz-Filipe