Jeremy E. Dawson

Publication Activity (10 Years)

Years Active: 1977-2021
Publications (10 Years): 4

Top Topics

Sequent Calculi

Proof Theoretic

Top Venues

Publications

Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX (2021)
Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré
Well-Founded Unions. IJCAR (2018)
Jeremy E. Dawson, Rajeev Goré
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. TABLEAUX (2017)
Jeremy E. Dawson, James Brotherston, Rajeev Goré
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR (2016)
Jeremy E. Dawson, Rajeev Goré, Thomas Meumann
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID (2015)
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS (2014)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL (2013)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR (2013)
Jeremy E. Dawson, Rajeev Goré
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) (2010)
Alwen Tiu, Jeremy E. Dawson
Automating Open Bisimulation Checking for the Spi Calculus. CSF (2010)
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
A Proof Theoretic Analysis of Intruder Theories Log. Methods Comput. Sci. 6 (3) (2010)
Jeremy E. Dawson, Alwen Tiu
Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs (2009)
Jeremy E. Dawson, Rajeev Goré
Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20 (1) (2009)
Jeremy E. Dawson
Isabelle Theories for Machine Words. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Jeremy E. Dawson, Rajeev Goré
Termination of Abstract Reduction Systems. CATS (2007)
Jeremy E. Dawson
Compound monads in specification languages. PLPV (2007)
Jeremy E. Dawson
Formalising Generalised Substitutions. TPHOLs (2007)
Jeremy E. Dawson
Formalising General Correctness. Electron. Notes Theor. Comput. Sci. 91 (2004)
Jeremy E. Dawson, Rajeev Goré
A General Theorem on Termination of Rewriting. CSL (2004)
Jeremy E. Dawson, Rajeev Goré
A New Machine-checked Proof of Strong Normalisation for Display Logic. Electron. Notes Theor. Comput. Sci. 78 (2003)
Jeremy E. Dawson, Rajeev Goré
Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence (2002)
Jeremy E. Dawson, Rajeev Goré
Formalised Cut Admissibility for Display Logic. TPHOLs (2002)
Jeremy E. Dawson, Rajeev Goré
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. Electron. Notes Theor. Comput. Sci. 42 (2001)
William G. Spohn Jr., Jeremy E. Dawson
Neighborly Pythagorean Triples: 10704. Am. Math. Mon. 107 (9) (2000)
Harm Derksen, Jeremy E. Dawson
A Characterization of Min or Max: 10677. Am. Math. Mon. 107 (7) (2000)
James C. Owings Jr., Jeremy E. Dawson, Robin J. Chapman, Darryl K. Nester, Robert A. Agnew, John Beebee, David Callan, R. Garcia-Pelayo, V. Hernandez, J. Martin, J. Hickman, D. Jones, S. S. Kim, Olaf Krafft, Martin Schaefer, G. Letac, John H. Lindsey II, O. P. Lossers, K. Poelladennou, K. Schilling, M. Shemesh
A Sum of Chebyshev Inequalities: 10687. Am. Math. Mon. 107 (3) (2000)
Jeremy E. Dawson, Peter E. Strazdins
Optimizing User-Level Communication Patterns on the Fujitsu AP3000. IWCC (1999)
Jeremy E. Dawson, Rajeev Goré
A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence (1998)
Jeremy E. Dawson, Rajeev Goré
A Mechanised Proof System for Relation Algebra using Display Logic. JELIA (1998)
Warwick de Launey, Jeremy E. Dawson
An Asymptotic Result on the Existence of Generalised Hadamard Matrices. J. Comb. Theory, Ser. A 65 (1) (1994)
Warwick de Launey, Jeremy E. Dawson
A note on the construction of GH(4tq, EA(q)) for t=1, 2. Australas. J Comb. 6 (1992)
Jeremy E. Dawson
Independence Structures on the Submodules of a Module. Eur. J. Comb. 6 (1) (1985)
Jeremy E. Dawson
Independence Spaces and Uniform Modules. Eur. J. Comb. 6 (1) (1985)
Jeremy E. Dawson
Decomposition of binary matroids. Comb. 5 (1) (1985)
Jeremy E. Dawson, Jennifer Seberry, David B. Skillicorn
The directed packing numbers DD (t, v, v), t>=;4. Comb. 4 (2) (1984)
Jeremy E. Dawson
Balanced sets and circuits in a transversal space. J. Comb. Theory, Ser. B 23 (1) (1977)