Gabriele Buriola

11 papers B 1C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
An Experimental Analysis of the Legal Coding Process.
RuleML+RR (Companion)
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2025 J jnl
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals.
CoRR
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2025 J jnl
Explainability by design: an experimental analysis of the legal coding process.
CoRR
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2024 B conf
A General Constructive Form of Higman's Lemma.
CSL
Stefano Berardi, Gabriele Buriola, Peter Schuster
2024 J jnl
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).
Dagstuhl Reports
Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola
2024 — conf
Simulating the Law in a Multi-Agent System.
WOA
Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola
2024 — conf
Some Decidability Issues Concerning C^n Real Functions.
CILC
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2023 C conf
A Constructive Picture of Noetherian Conditions and Well Quasi-orders.
CiE
Gabriele Buriola, Peter Schuster, Ingo Blechschmidt
2023 J jnl
A decidable theory involving addition of differentiable real functions.
Theor. Comput. Sci.
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2021 — conf
A Decidable Theory Treating Addition of Differentiable Real Functions.
ICTCS
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2020 — conf
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.
CILC
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà