| 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 | 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 |
