Declan Thompson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2021
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | WoLLIC | Computable Execution Traces. | Declan Thompson |
| 2016 | CASC | Incompleteness, Undecidability and Automated Proofs - (Invited Talk). | Cristian S. Calude, Declan Thompson |
| 2015 | UC | Formalisation vs. Understanding - A Case Study in Isabelle. | Declan Thompson |