Concepedia

Graham Birtwistle

GB

Statistics

Publications

7

Citations

198

H-Index

7

Active since

1968

Affiliations

University of Leeds(Current)

Graham Birtwistle is an author at University of Leeds specializing in computing, computer science, and formal methods.

Publications per year

1968–2008

7

Publications

7

Multiprocessor Ray Tracing

John G. Cleary, Brian Wyvill, Graham Birtwistle et al. · Computer Graphics Forum · 1986 · 80 citations

Computing, Computer Engineering, Computer Science +11

PROVING A COMPUTER CORRECT IN HIGHER ORDER LOGIC

Jeff Joyce, Graham Birtwistle · PRISM (University of Calgary) · 1985 · 38 citations · Full text

Computing, Computer Science, Mathematics +10

The Family of 4-phase Latch Protocols

Graham Birtwistle, Kenneth S. Stevens · 2008 · 20 citations

Computing, Computer Engineering, Computer Science +15

The explicit solution of the equation of heat conduction

Graham Birtwistle · The Computer Journal · 1968 · 18 citations · Full text

Engineering, Computational Engineering, Mathematics +17

A denotational semantics for a process-based simulation language

Chris Tofts, Graham Birtwistle · ACM Transactions on Modeling and Computer Simulation · 1998 · 17 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 7