EDBT 2026 Demo / reviewers in the wild / expert
Gabriele Buriola
dblp:277/2528
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2024
0000-0002-1612-0985ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A General Constructive Form of Higman's Lemma
Stefano Berardi, Gabriele Buriola, Peter Schuster 0001 |
CSL | 2 |
| 2023 | A Constructive Picture of Noetherian Conditions and Well Quasi-orders
Gabriele Buriola, Peter Schuster 0001, Ingo Blechschmidt |
CiE | 1 |
| 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. | 1 |