VLDB 2026 Research / reviewers in the wild / expert
Diana-Elena Gratie
dblp:130/7515
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0003-8938-4396ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study
Stefan Ciobaca, Diana-Elena Gratie |
IFM | 2 |