The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeremy E. Dawson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Jeremy E. Dawson, Rajeev Goré
    A General Theorem on Termination of Rewriting. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:100-114 [Conf]
  4. 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]
  5. 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]
  6. Jeremy E. Dawson, Rajeev Goré
    Formalised Cut Admissibility for Display Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:131-147 [Conf]
  7. Jeremy E. Dawson
    Decomposition of binary matroids. [Citation Graph (0, 0)][DBLP]
    Combinatorica, 1985, v:5, n:1, pp:1-9 [Journal]
  8. 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]
  9. Jeremy E. Dawson
    Formalising General Correctness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:21-42 [Journal]
  10. 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]
  11. 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]
  12. 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]
  13. Jeremy E. Dawson
    Formalising Generalised Substitutions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:54-69 [Conf]
  14. Jeremy E. Dawson
    Compound monads in specification languages. [Citation Graph (0, 0)][DBLP]
    PLPV, 2007, pp:3-10 [Conf]

  15. Termination of Abstract Reduction Systems. [Citation Graph (, )][DBLP]


  16. Automating Open Bisimulation Checking for the Spi Calculus. [Citation Graph (, )][DBLP]


  17. Formalising Observer Theory for Environment-Sensitive Bisimulation. [Citation Graph (, )][DBLP]


  18. A Proof Theoretic Analysis of Intruder Theories [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002