VLDB 2026 Research / reviewers in the wild / expert
Declan Thompson
dblp:166/1588
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0002-7887-8011ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Execution trace sets for real computation
Declan Thompson |
Theor. Comput. Sci. | 1 |
| 2021 | Computable Execution Traces
Declan Thompson |
WoLLIC | 1 |
| 2016 | Incompleteness, Undecidability and Automated Proofs - (Invited Talk)
Cristian S. Calude, Declan Thompson |
CASC | 2 |