Jeremy E. Dawson

36 papers A 3B 5Journal 13Unranked 15

Year	Rank	Type	Title / Venue / Authors
2021	B	`conf`	A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré
2018	A	`conf`	Well-Founded Unions. IJCAR Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré
2017	B	`conf`	Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. TABLEAUX Jeremy E. Dawson, Rajeev Goré
2016	A	`conf`	Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR Jeremy E. Dawson, James Brotherston, Rajeev Goré
2015	—	`conf`	Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID Jeremy E. Dawson, Rajeev Goré, Thomas Meumann
2014	—	`conf`	From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
2013	J	`jnl`	Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
2013	B	`conf`	Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
2010	J	`jnl`	A Proof Theoretic Analysis of Intruder Theories Log. Methods Comput. Sci. Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
2010	A	`conf`	Automating Open Bisimulation Checking for the Spi Calculus. CSF Alwen Tiu, Jeremy E. Dawson
2010	—	`conf`	Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) Jeremy E. Dawson, Rajeev Goré
2009	—	`conf`	Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs Jeremy E. Dawson, Alwen Tiu
2009	J	`jnl`	Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. Jeremy E. Dawson, Rajeev Goré
2007	—	`conf`	Compound monads in specification languages. PLPV Jeremy E. Dawson
2007	—	`conf`	Formalising Generalised Substitutions. TPHOLs Jeremy E. Dawson
2007	—	`conf`	Isabelle Theories for Machine Words. AVoCS Jeremy E. Dawson
2007	—	`conf`	Termination of Abstract Reduction Systems. CATS Jeremy E. Dawson, Rajeev Goré
2004	B	`conf`	A General Theorem on Termination of Rewriting. CSL Jeremy E. Dawson, Rajeev Goré
2004	—	`conf`	Formalising General Correctness. CATS Jeremy E. Dawson
2003	—	`conf`	A New Machine-checked Proof of Strong Normalisation for Display Logic. CATS Jeremy E. Dawson, Rajeev Goré
2002	—	`conf`	Formalised Cut Admissibility for Display Logic. TPHOLs Jeremy E. Dawson, Rajeev Goré
2002	—	`conf`	Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence Jeremy E. Dawson, Rajeev Goré
2001	—	`conf`	Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. CATS Jeremy E. Dawson, Rajeev Goré
2000	J	`jnl`	A Characterization of Min or Max: 10677. Am. Math. Mon. Harm Derksen, Jeremy E. Dawson
2000	J	`jnl`	A Sum of Chebyshev Inequalities: 10687. Am. Math. Mon. 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
2000	J	`jnl`	Neighborly Pythagorean Triples: 10704. Am. Math. Mon. William G. Spohn Jr., Jeremy E. Dawson
1999	—	`conf`	Optimizing User-Level Communication Patterns on the Fujitsu AP3000. IWCC Jeremy E. Dawson, Peter E. Strazdins
1998	—	`conf`	A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence Jeremy E. Dawson, Rajeev Goré
1998	B	`conf`	A Mechanised Proof System for Relation Algebra using Display Logic. JELIA Jeremy E. Dawson, Rajeev Goré
1994	J	`jnl`	An Asymptotic Result on the Existence of Generalised Hadamard Matrices. J. Comb. Theory A Warwick de Launey, Jeremy E. Dawson
1992	J	`jnl`	A note on the construction of GH(4tq, EA(q)) for t=1, 2. Australas. J Comb. Warwick de Launey, Jeremy E. Dawson
1985	J	`jnl`	Decomposition of binary matroids. Comb. Jeremy E. Dawson
1985	J	`jnl`	Independence Spaces and Uniform Modules. Eur. J. Comb. Jeremy E. Dawson
1985	J	`jnl`	Independence Structures on the Submodules of a Module. Eur. J. Comb. Jeremy E. Dawson
1984	J	`jnl`	The directed packing numbers DD (t, v, v), t>=;4. Comb. Jeremy E. Dawson, Jennifer Seberry, David B. Skillicorn
1977	J	`jnl`	Balanced sets and circuits in a transversal space. J. Comb. Theory B Jeremy E. Dawson