Luís Cruz-Filipe

Available identifiers

zbMath Open cruz-filipe.luisMaRDI QIDQ340573

List of research outcomes

Publication	Date of Publication	Type
Multiparty classical choreographies	2023-11-09	Paper
Functional choreographic programming	2023-07-28	Paper
Reconciling communication delays and negation	2023-07-28	Paper
A formal theory of choreographic programming	2023-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q6099602	2023-06-20	Paper
From infinity to choreographies. Extraction for unbounded systems	2023-06-02	Paper
Can you answer while you wait?	2022-12-09	Paper
Procedural Choreographic Programming	2022-06-15	Paper
Certifying choreography compilation	2022-03-31	Paper
MACHINE-ASSISTED PROOFS	2020-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5216414	2020-02-17	Paper
A core model for choreographic programming	2019-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5240214	2019-10-24	Paper
Formally verifying the solution to the Boolean Pythagorean triples problem	2019-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5224786	2019-07-24	Paper
Sorting networks: to the end and back again	2019-06-25	Paper
Formally Proving the Boolean Pythagorean Triples Conjecture	2019-01-10	Paper
Active integrity constraints for general-purpose knowledge bases	2018-09-21	Paper
Machine-Assisted Proofs (ICM 2018 Panel)	2018-09-21	Paper
Formally proving size optimality of sorting networks	2018-02-02	Paper
Fixpoint semantics for active integrity constraints	2018-01-31	Paper
How to get more out of your oracles	2018-01-04	Paper
Efficient certified RAT verification	2017-09-22	Paper
The Paths to Choreography Extraction	2017-05-19	Paper
From description-logic programs to multi-context systems	2017-03-20	Paper
Optimal-depth sorting networks	2016-11-14	Paper
The stream-based service-centred calculus: a foundation for service-oriented programming	2016-08-05	Paper
Integrity Constraints for General-Purpose Knowledge Bases	2016-05-19	Paper
Sorting Networks: The End Game	2016-04-08	Paper
Sorting nine inputs requires twenty-five comparisons	2015-12-30	Paper
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof	2015-11-20	Paper
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker	2015-09-14	Paper
The finitistic consistency of Heck's predicative Fregean system	2015-05-22	Paper
Optimizing Computation of Repairs from Active Integrity Constraints	2014-03-31	Paper
Description Logics, Rules and Multi-context Systems	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2852042	2013-10-07	Paper
Program Extraction from Large Proof Developments	2010-05-07	Paper
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification	2008-12-22	Paper
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems	2008-05-05	Paper
Reasoning about probabilistic sequential programs	2007-07-16	Paper
Mathematical Knowledge Management	2005-08-26	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4435465	2003-11-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luís Cruz-Filipe