pith. sign in

Lu\'is Cruz-Filipe

Identifiers

  • name variant Lu\'is Cruz-Filipe 0.60 · backfill

Papers (22)

  1. Machine-Assisted Proofs (ICM 2018 Panel) math.HO · 2018 · author #6
  2. Connectors meet Choreographies cs.PL · 2018 · author #2
  3. Communications in Choreographies, Revisited cs.PL · 2017 · author #1
  4. That's Enough: Asynchrony with Standard Choreography Primitives cs.PL · 2017 · author #1
  5. Efficient Certified RAT Verification cs.LO · 2016 · author #1
  6. The Paths to Choreography Extraction cs.PL · 2016 · author #1
  7. Efficient Certified Resolution Proof Checking cs.LO · 2016 · author #1
  8. Active Integrity Constraints for Multi-Context Systems cs.DB · 2016 · author #1
  9. Grounded Fixpoints and Active Integrity Constraints cs.DB · 2016 · author #1
  10. Choreographies in Practice cs.PL · 2016 · author #1
  11. A Language for the Declarative Composition of Concurrent Protocols cs.PL · 2016 · author #1
  12. Integrity Constraints for General-Purpose Knowledge Bases cs.DB · 2016 · author #1
  13. repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints cs.DB · 2015 · author #1
  14. A Core Model for Choreographic Programming cs.PL · 2015 · author #1
  15. When Six Gates are Not Enough cs.CC · 2015 · author #2
  16. Sorting Networks: to the End and Back Again cs.DS · 2015 · author #2
  17. Applying Sorting Networks to Synthesize Optimized Sorting Libraries cs.DS · 2015 · author #2
  18. Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof cs.LO · 2015 · author #1
  19. Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker cs.LO · 2015 · author #1
  20. Optimal-Depth Sorting Networks cs.DS · 2014 · author #3
  21. Sorting Networks: the End Game cs.DS · 2014 · author #2
  22. Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten) cs.DM · 2014 · author #2

Mentions

  • 1510.03989 #1 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1510.03271 #1 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1508.05737 #2 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1507.01428 #2 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1505.01962 #2 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1502.08008 #1 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1502.05209 #1 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1412.5302 #3 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1411.6408 #2 · backfill · confidence 0.70 Lu\'is Cruz-Filipe
  • 1405.5754 #2 · backfill · confidence 0.70 Lu\'is Cruz-Filipe

Frequent Coauthors