VLDB 2026 Research / reviewers in the wild / expert
Kasper Hagens
dblp:381/3885
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
0009-0005-2382-0559ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Rewriting Induction for Higher-Order Constrained Term Rewriting Systems
Kasper Hagens, Cynthia Kop |
LOPSTR | 1 |
| 2024 | Higher-Order Constrained Dependency Pairs for (Universal) Computability
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale |
MFCS | 2 |