Tax compliance with uncertain income: a stochastic control model. - Gaetano T. Spartà; Gabriele Stabile (Ann. Oper. Res., 2018)

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

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)