The SCEAS System
| |||||||

## Search the dblp DataBase
Jeremy E. Dawson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Jeremy E. Dawson, Rajeev Goré
**Machine-Checking the Timed Interval Calculus.**[Citation Graph (0, 0)][DBLP] Australian Joint Conference on Artificial Intelligence, 2002, pp:95-106 [Conf] - Jeremy E. Dawson, Rajeev Goré
**A Mechanisation of Classical Modal Tense Logics Using Isabelle.**[Citation Graph (0, 0)][DBLP] Australian Joint Conference on Artificial Intelligence, 1998, pp:107-118 [Conf] - Jeremy E. Dawson, Rajeev Goré
**A General Theorem on Termination of Rewriting.**[Citation Graph (0, 0)][DBLP] CSL, 2004, pp:100-114 [Conf] - Jeremy E. Dawson, Peter E. Strazdins
**Optimizing User-Level Communication Patterns on the Fujitsu AP3000.**[Citation Graph (0, 0)][DBLP] IWCC, 1999, pp:105-111 [Conf] - Jeremy E. Dawson, Rajeev Goré
**A Mechanised Proof System for Relation Algebra using Display Logic.**[Citation Graph (0, 0)][DBLP] JELIA, 1998, pp:264-278 [Conf] - Jeremy E. Dawson, Rajeev Goré
**Formalised Cut Admissibility for Display Logic.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:131-147 [Conf] - Jeremy E. Dawson
**Decomposition of binary matroids.**[Citation Graph (0, 0)][DBLP] Combinatorica, 1985, v:5, n:1, pp:1-9 [Journal] - Jeremy E. Dawson, Jennifer Seberry, David B. Skillicorn
**The directed packing numbers DD (t, v, v), t>=;4.**[Citation Graph (0, 0)][DBLP] Combinatorica, 1984, v:4, n:2, pp:121-130 [Journal] - Jeremy E. Dawson
**Formalising General Correctness.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:21-42 [Journal] - Jeremy E. Dawson, Rajeev Goré
**A New Machine-checked Proof of Strong Normalisation for Display Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal] - Warwick de Launey, Jeremy E. Dawson
**An Asymptotic Result on the Existence of Generalised Hadamard Matrices.**[Citation Graph (0, 0)][DBLP] J. Comb. Theory, Ser. A, 1994, v:65, n:1, pp:158-163 [Journal] - Jeremy E. Dawson, Rajeev Goré
**Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal] - Jeremy E. Dawson
**Formalising Generalised Substitutions.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:54-69 [Conf] - Jeremy E. Dawson
**Compound monads in specification languages.**[Citation Graph (0, 0)][DBLP] PLPV, 2007, pp:3-10 [Conf] **Termination of Abstract Reduction Systems.**[Citation Graph (, )][DBLP]**Automating Open Bisimulation Checking for the Spi Calculus.**[Citation Graph (, )][DBLP]**Formalising Observer Theory for Environment-Sensitive Bisimulation.**[Citation Graph (, )][DBLP]**A Proof Theoretic Analysis of Intruder Theories**[Citation Graph (, )][DBLP]
Search in 0.034secs, Finished in 0.035secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |