The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luís Cruz-Filipe" ( http://dblp.L3S.de/Authors/Luís_Cruz-Filipe )

  Author page on DBLP  Author page in RDF  Community of Luís Cruz-Filipe in ASPL-2

Publication years (Num. hits)
2002-2014 (21) 2015-2016 (28) 2017 (15) 2018 (8)
Publication types (Num. hits)
article(37) inproceedings(35)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 73 publication records. Showing 72 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bart Bogaerts 0001, Luís Cruz-Filipe Fixpoint semantics for active integrity constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska Multiparty Classical Choreographies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi Connectors meet Choreographies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe Machine-Assisted Proofs (ICM 2018 Panel). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp Active integrity constraints for general-purpose knowledge bases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrian Rebola-Pardo, Luís Cruz-Filipe Complete and Efficient DRAT Proof Checking. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti Communications in choreographies, revisited. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska Multiparty Classical Choreographies. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný Optimal-depth sorting networks. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti Communications in Choreographies, Revisited. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi That's Enough: Asynchrony with Standard Choreography Primitives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi On Asynchrony and Choreographies. Search on Bibsonomy ICE@DisCoTec The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp Formally Proving Size Optimality of Sorting Networks. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes From description-logic programs to multi-context systems. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Optimizing sorting algorithms by using sorting networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Procedural Choreographic Programming. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi The Paths to Choreography Extraction. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp Efficient Certified Resolution Proof Checking. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Formally Proving the Boolean Pythagorean Triples Conjecture. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Encoding asynchrony in choreographies. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp How to Get More Out of Your Oracles. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp Efficient Certified RAT Verification. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Luís Cruz-Filipe Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Sorting nine inputs requires twenty-five comparisons. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp Efficient Certified Resolution Proof Checking. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp Active Integrity Constraints for Multi-Context Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi The Paths to Choreography Extraction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Choreographies, Divided and Conquered. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp Integrity Constraints for General-Purpose Knowledge Bases. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Choreographies in Practice. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp Efficient Certified RAT Verification. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Choreographies in Practice. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi A Core Model for Choreographic Programming. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp Active Integrity Constraints for Multi-context Systems. Search on Bibsonomy EKAW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp Integrity Constraints for General-Purpose Knowledge Bases. Search on Bibsonomy FoIKS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fernando Ferreira The Finitistic Consistency of Heck's Predicative Fregean System. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp When Six Gates are Not Enough. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp Sorting Networks: to the End and Back Again. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Luí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. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Choreographies, Computationally. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Applying Sorting Networks to Synthesize Optimized Sorting Libraries. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp Active Integrity Constraints: From Theory to Implementation. Search on Bibsonomy IC3K The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp repAIrC: A Tool for Ensuring Data Consistency. Search on Bibsonomy KMIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp Sorting Networks: The End Game. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Applying Sorting Networks to Synthesize Optimized Sorting Libraries. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. Search on Bibsonomy ITP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný Optimal-Depth Sorting Networks. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp Sorting Networks: the End Game. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Luí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. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. Search on Bibsonomy SYNASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes Information Flow within Relational Multi-context Systems. Search on Bibsonomy EKAW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe Optimizing Computation of Repairs from Active Integrity Constraints. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar Patterns for Interfacing between Logic Programs and Multiple Ontologies. Search on Bibsonomy KEOD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Rita Henriques, Isabel Nunes Description Logics, Rules and Multi-context Systems. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes Computing Repairs from Active Integrity Constraints. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas Reasoning about probabilistic sequential programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Pierre Letouzey A Large-Scale Experiment in Executing Extracted Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk C-CoRN, the Constructive Coq Repository at Nijmegen. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Freek Wiedijk Hierarchical Reflection. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Bas Spitters Program Extraction from Large Proof Developments. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe A Constructive Formalization of the Fundamental Theorem of Calculus. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #72 of 72 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license