L
Luís Cruz-Filipe
Researcher at University of Southern Denmark
Publications - 95
Citations - 998
Luís Cruz-Filipe is an academic researcher from University of Southern Denmark. The author has contributed to research in topics: Choreography & Data integrity. The author has an hindex of 16, co-authored 86 publications receiving 800 citations. Previous affiliations of Luís Cruz-Filipe include Radboud University Nijmegen.
Papers
More filters
Book ChapterDOI
C-CoRN, the Constructive Coq Repository at Nijmegen
TL;DR: C-CoRN, the Constructive Coq Repository at Nijmegen is presented, which consists of a mathematical library of constructive algebra and analysis formalized in the theorem prover Coq.
Book ChapterDOI
Efficient Certified RAT Verification
TL;DR: A new format is presented, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm, and checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers.
Proceedings ArticleDOI
Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten)
TL;DR: A computer-assisted non-existence proof of 9-input sorting networks consisting of 24 comparators is described, hence showing that the 25-comparator sorting network found by Floyd in 1964 is optimal, and it is obtained that the 29-com Comparison Network found by Waksman in 1969 is optimal when sorting 10 inputs.
Journal ArticleDOI
Reasoning about probabilistic sequential programs
TL;DR: A complete and decidable Hoare-style calculus for iteration-free probabilistic sequential programs is presented using a state logic with truth-functional propositional (not arithmetical) connectives.
Book ChapterDOI
Efficient Certified Resolution Proof Checking
TL;DR: A novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking, and formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture.