The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Graham M. Birtwistle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Graham M. Birtwistle
    A Subjective Look at Objects. [Citation Graph (0, 0)][DBLP]
    ESM, 1998, pp:3-8 [Conf]
  2. Brian T. Graham, Graham M. Birtwistle
    Formalising the Design of an SECD chip. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:40-66 [Conf]
  3. Shiu-Kai Chin, Graham M. Birtwistle
    Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:121-129 [Conf]
  4. Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian Unger, Brian Wyvill
    Jade: A Distributed Software Prototyping Environment. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1983, v:17, n:3, pp:10-23 [Journal]
  5. Graham M. Birtwistle, Kenneth D. Loose
    A model for procedures passed as parameters. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:2, pp:36-43 [Journal]
  6. Graham M. Birtwistle, Chris M. N. Tofts
    Getting Demos models right. (I). Practice. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 2001, v:8, n:6-7, pp:377-393 [Journal]
  7. Graham M. Birtwistle, Chris M. N. Tofts
    Getting Demos models right. (II) ... and theory. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 2001, v:8, n:6-7, pp:395-414 [Journal]
  8. Graham M. Birtwistle, Chris M. N. Tofts
    Relating operational and denotational descriptions of [pi]Demos. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 1997, v:5, n:1, pp:1-33 [Journal]
  9. Chris M. N. Tofts, Graham M. Birtwistle
    A Denotational Semantics for a Process-Based Simulation Language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 1998, v:8, n:3, pp:281-305 [Journal]

Search in 0.043secs, Finished in 0.044secs
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