VLDB 2026 Research / reviewers in the wild / expert
Horatiu Cheval
dblp:337/0088
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | $\mathbb {K}$ Definitions as Matching Logic Theories, Formally
Xiaohong Chen 0002, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
FoSSaCS | 2 |
| 2026 | A matching logic theory of multi-hole contexts
Xiaohong Chen 0002, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
J. Log. Algebraic Methods Program. | 2 |
| 2024 | Formal definitions and proofs for partial (co)recursive functions
Horatiu Cheval, David Nowak, Vlad Rusu |
J. Log. Algebraic Methods Program. | 1 |