| Publication | Date of Publication | Type |
|---|
Now it compiles! Certified automatic repair of uncompilable protocols
| 2024-11-26 | Paper |
Certified compilation of choreographies with \textsf{hacc}
| 2024-01-11 | Paper |
Multiparty classical choreographies
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Functional choreographic programming
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Reconciling communication delays and negation
Lecture Notes in Computer Science | 2023-07-28 | Paper |
A formal theory of choreographic programming
Journal of Automated Reasoning | 2023-06-27 | Paper |
scientific article; zbMATH DE number 7699432 (Why is no real title available?)
| 2023-06-20 | Paper |
From infinity to choreographies. Extraction for unbounded systems
Logic-Based Program Synthesis and Transformation | 2023-06-02 | Paper |
Can you answer while you wait?
| 2022-12-09 | Paper |
Procedural Choreographic Programming
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
Certifying choreography compilation
| 2022-03-31 | Paper |
Machine-assisted proofs
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
On asynchrony and choreographies
| 2020-02-17 | Paper |
A core model for choreographic programming
Theoretical Computer Science | 2019-11-22 | Paper |
Grounded fixpoints and active integrity constraints
| 2019-10-24 | Paper |
Formally verifying the solution to the Boolean Pythagorean triples problem
Journal of Automated Reasoning | 2019-09-02 | Paper |
scientific article; zbMATH DE number 7085032 (Why is no real title available?)
| 2019-07-24 | Paper |
Sorting networks: to the end and back again
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Formally proving the Boolean Pythagorean triples conjecture
EPiC Series in Computing | 2019-01-10 | Paper |
Active integrity constraints for general-purpose knowledge bases
Annals of Mathematics and Artificial Intelligence | 2018-09-21 | Paper |
Machine-Assisted Proofs (ICM 2018 Panel)
| 2018-09-21 | Paper |
Formally proving size optimality of sorting networks
Journal of Automated Reasoning | 2018-02-02 | Paper |
Fixpoint semantics for active integrity constraints
Artificial Intelligence | 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
Lecture Notes in Computer Science | 2017-05-19 | Paper |
From description-logic programs to multi-context systems
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Optimal-depth sorting networks
Journal of Computer and System Sciences | 2016-11-14 | Paper |
The stream-based service-centred calculus: a foundation for service-oriented programming
Formal Aspects of Computing | 2016-08-05 | Paper |
Integrity constraints for general-purpose knowledge bases
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Sorting networks: the end game
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Sorting nine inputs requires twenty-five comparisons
Journal of Computer and System Sciences | 2015-12-30 | Paper |
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Formalizing size-optimal sorting networks: extracting a certified proof checker
Interactive Theorem Proving | 2015-09-14 | Paper |
The finitistic consistency of Heck's predicative Fregean system
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Optimizing computation of repairs from active integrity constraints
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Description logics, rules and multi-context systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A large-scale experiment in executing extracted programs
| 2013-10-07 | Paper |
Program extraction from large proof developments
Lecture Notes in Computer Science | 2010-05-07 | Paper |
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Journal Of Logic And Computation | 2008-12-22 | Paper |
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Logic Journal of the IGPL | 2008-05-05 | Paper |
Reasoning about probabilistic sequential programs
Theoretical Computer Science | 2007-07-16 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
scientific article; zbMATH DE number 2003153 (Why is no real title available?)
| 2003-11-12 | Paper |
