A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (CILC, 2020)

A Decidable Theory Treating Addition of Differentiable Real Functions. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (ICTCS, 2021)

A Constructive Picture of Noetherian Conditions and Well Quasi-orders. - Gabriele Buriola; Peter Schuster 001; Ingo Blechschmidt (CiE, 2023)

A decidable theory involving addition of differentiable real functions. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (Theor. Comput. Sci., 2023)

Some Decidability Issues Concerning C^n Real Functions. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (CILC, 2024)

A General Constructive Form of Higman's Lemma. - Stefano Berardi; Gabriele Buriola; Peter Schuster 001 (CSL, 2024)

Simulating the Law in a Multi-Agent System. - Matteo Cristani; Francesco Olivieri; Guido Governatori; Gabriele Buriola (WOA, 2024)

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). - Ingo Blechschmidt; Hajime Ishihara; Peter M. Schuster; Gabriele Buriola (Dagstuhl Reports, 2024)

Explainability by design: an experimental analysis of the legal coding process. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Monica Palmirani; Gabriele Buriola (CoRR, 2025)

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals. - Gabriele Buriola; Domenico Cantone; Gianluca Cincotti; Eugenio G. Omodeo; Gaetano T. Spartà (CoRR, 2025)