Gabriele Buriola

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Theoretical Foundation

Transitive Closure

Geometric Constraints

Top Venues

Dagstuhl Reports

Publications

Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola
Simulating the Law in a Multi-Agent System. WOA (2024)
Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). Dagstuhl Reports 14 (1) (2024)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
Some Decidability Issues Concerning C^n Real Functions. CILC (2024)
Stefano Berardi, Gabriele Buriola, Peter Schuster
A General Constructive Form of Higman's Lemma. CSL (2024)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A decidable theory involving addition of differentiable real functions. Theor. Comput. Sci. 940 (Part) (2023)
Gabriele Buriola, Peter Schuster, Ingo Blechschmidt
A Constructive Picture of Noetherian Conditions and Well Quasi-orders. CiE (2023)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A Decidable Theory Treating Addition of Differentiable Real Functions. ICTCS (2021)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals. CILC (2020)