dblp.uni-trier.dewww.uni-trier.de

Jeremy E. Dawson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
16EEJeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009)
2007
15EEJeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. CATS 2007: 35-43
14EEJeremy E. Dawson: Compound monads in specification languages. PLPV 2007: 3-10
13EEJeremy E. Dawson: Formalising Generalised Substitutions. TPHOLs 2007: 54-69
2004
12EEJeremy E. Dawson, Rajeev Goré: A General Theorem on Termination of Rewriting. CSL 2004: 100-114
11EEJeremy E. Dawson: Formalising General Correctness. Electr. Notes Theor. Comput. Sci. 91: 21-42 (2004)
2003
10EEJeremy E. Dawson, Rajeev Goré: A New Machine-checked Proof of Strong Normalisation for Display Logic. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
9EEJeremy E. Dawson, Rajeev Goré: Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106
8EEJeremy E. Dawson, Rajeev Goré: Formalised Cut Admissibility for Display Logic. TPHOLs 2002: 131-147
2001
7EEJeremy E. Dawson, Rajeev Goré: Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. Electr. Notes Theor. Comput. Sci. 42: (2001)
1999
6EEJeremy E. Dawson, Peter E. Strazdins: Optimizing User-Level Communication Patterns on the Fujitsu AP3000. IWCC 1999: 105-111
1998
5 Jeremy E. Dawson, Rajeev Goré: A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence 1998: 107-118
4EEJeremy E. Dawson, Rajeev Goré: A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278
1994
3 Warwick de Launey, Jeremy E. Dawson: An Asymptotic Result on the Existence of Generalised Hadamard Matrices. J. Comb. Theory, Ser. A 65(1): 158-163 (1994)
1985
2 Jeremy E. Dawson: Decomposition of binary matroids. Combinatorica 5(1): 1-9 (1985)
1984
1 Jeremy E. Dawson, Jennifer Seberry, David B. Skillicorn: The directed packing numbers DD (t, v, v), t>=;4. Combinatorica 4(2): 121-130 (1984)

Coauthor Index

1Rajeev Goré [4] [5] [7] [8] [9] [10] [12] [15] [16]
2Warwick de Launey [3]
3Jennifer Seberry (Jennifer Seberry Wallis) [1]
4David B. Skillicorn [1]
5Peter E. Strazdins [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)