Gabriele Buriola

Orcid: 0000-0002-1612-0985

According to our database¹, Gabriele Buriola authored at least 10 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals.

[BibT_eX]

[DOI]

CoRR, July, 2025

Explainability by design: an experimental analysis of the legal coding process.

[BibT_eX]

[DOI]

CoRR, May, 2025

2024

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2024

Simulating the Law in a Multi-Agent System.

[BibT_eX]

[DOI]

Proceedings of the 25th Workshop "From Objects to Agents", 2024

A General Constructive Form of Higman's Lemma.

[BibT_eX]

[DOI]

Stefano Berardi

Gabriele Buriola

Peter Schuster

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Some Decidability Issues Concerning C^n Real Functions.

[BibT_eX]

[DOI]

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023

A decidable theory involving addition of differentiable real functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

[BibT_eX]

[DOI]

Gabriele Buriola

Peter Schuster

Ingo Blechschmidt

Proceedings of the Unity of Logic and Computation, 2023

2021

A Decidable Theory Treating Addition of Differentiable Real Functions.

[BibT_eX]

[DOI]

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Gabriele Buriola

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...