VLDB 2026 Research / reviewers in the wild / expert
Alessio Coltellacci
dblp:381/3384
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
0009-0005-3580-2075ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Reconstruction of SMT proofs with Lambdapi
Alessio Coltellacci, Bruno Andreotti, Haniel Barbosa, Gilles Dowek, Stephan Merz |
Acta Informatica | 1 |
| 2023 | Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi
Alessio Coltellacci |
ABZ | 1 |