The following pages link to Luís Cruz-Filipe (Q340573):
Displaying 40 items.
- Optimal-depth sorting networks (Q340576) (← links)
- From description-logic programs to multi-context systems (Q516031) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Sorting nine inputs requires twenty-five comparisons (Q899586) (← links)
- How to get more out of your oracles (Q1687729) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Formally proving size optimality of sorting networks (Q1694569) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Can you answer while you wait? (Q2103911) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Formally verifying the solution to the Boolean Pythagorean triples problem (Q2323449) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Efficient certified RAT verification (Q2405252) (← links)
- Sorting networks: to the end and back again (Q2424684) (← links)
- Sorting Networks: The End Game (Q2799216) (← links)
- Integrity Constraints for General-Purpose Knowledge Bases (Q2807083) (← links)
- (Q2852042) (← links)
- Description Logics, Rules and Multi-context Systems (Q2870132) (← links)
- Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker (Q2945629) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof (Q3453106) (← links)
- Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification (Q3549314) (← links)
- Program Extraction from Large Proof Developments (Q3559767) (← links)
- (Q4435465) (← links)
- Formally Proving the Boolean Pythagorean Triples Conjecture (Q4645756) (← links)
- Procedural Choreographic Programming (Q5082192) (← links)
- MACHINE-ASSISTED PROOFS (Q5122009) (← links)
- (Q5216414) (← links)
- (Q5224786) (← links)
- (Q5240214) (← links)
- Mathematical Knowledge Management (Q5313080) (← links)
- Optimizing Computation of Repairs from Active Integrity Constraints (Q5404965) (← links)
- Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (Q5460205) (← links)
- Theorem Proving in Higher Order Logics (Q5464663) (← links)
- (Q6099602) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Certified compilation of choreographies with \textsf{hacc} (Q6535459) (← links)
- Now it compiles! Certified automatic repair of uncompilable protocols (Q6642986) (← links)