Graham M. Birtwistle

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Topics

Relational Databases

Visual Patterns

Data Mining Techniques

Top Venues

Publications

Graham M. Birtwistle, Kenneth S. Stevens
Modelling Mixed 4phase Pipelines: Structures and Patterns. ASYNC (2014)
Santosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle
Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. ASYNC (2010)
Graham M. Birtwistle, Kenneth S. Stevens
The Family of 4-phase Latch Protocols. ASYNC (2008)
Graham M. Birtwistle, Chris M. N. Tofts
Getting Demos models right. (I). Practice. Simul. Pract. Theory 8 (6-7) (2001)
Graham M. Birtwistle, Chris M. N. Tofts
Getting Demos models right. (II) ... and theory. Simul. Pract. Theory 8 (6-7) (2001)
Chris M. N. Tofts, Graham M. Birtwistle
A Denotational Semantics for a Process-Based Simulation Language. ACM Trans. Model. Comput. Simul. 8 (3) (1998)
Graham M. Birtwistle
A Subjective Look at Objects. ESM (1998)
Graham M. Birtwistle, Chris M. N. Tofts
Relating operational and denotational descriptions of [pi]Demos. Simul. Pract. Theory 5 (1) (1997)
Todd Simpson, Graham M. Birtwistle, Brian T. Graham
Towards a verified MiniSML/SECD system. Softw. Eng. J. 8 (3) (1993)
Shiu-Kai Chin, Graham M. Birtwistle
Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. TPHOLs (1991)
Brian T. Graham, Graham M. Birtwistle
Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis (1989)
Graham M. Birtwistle, Kenneth D. Loose
A model for procedures passed as parameters. ACM SIGPLAN Notices 23 (2) (1988)
John G. Cleary, Brian Wyvill, Graham M. Birtwistle, Reddy Vatti
Multiprocessor Ray Tracing. Comput. Graph. Forum 5 (1) (1986)
Graham M. Birtwistle
The coroutines of Hanoi. ACM SIGPLAN Notices 20 (1) (1985)
Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian W. Unger, Brian Wyvill
Jade: A Distributed Software Prototyping Environment. ACM SIGOPS Oper. Syst. Rev. 17 (3) (1983)
Graham M. Birtwistle, Paul Luker
Discrete event simulation with Demos. WSC (1982)
Ken Barker, Graham M. Birtwistle
A computer systems simulator. WSC (1982)
Graham M. Birtwistle
Advanced use of Simula. WSC (1981)
Graham M. Birtwistle
A portable random number generator with built-in well-spread seeds. WSC (1981)
Graham M. Birtwistle
Introduction to Demos. WSC (1981)