George J. Milne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1982–2005
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FORTE | Properties as Processes: Their Specification and Verification. | Joel Kelso, George J. Milne |
| 2003 | FPL | Building Run-Time Reconfigurable Systems from Tiles. | Gareth Lee, George J. Milne |
| 2000 | FMCAD | A Methodology for the Formal Analysis of Asynchronous Micropipelines. | Antonio Cerone, George J. Milne |
| 2000 | FPL | Behavioural Language Compilation with Virtual Hardware Management. | Oliver Diessel, George J. Milne |
| 2000 | FPL | Implementing Kak Neural Networks on a Reconfigurable Computing Platform. | Jihan Zhu, George J. Milne |
| 1997 | HiPC | Reconfigurable custom computing as a supercomputer replacement. | George J. Milne |
| 1992 | FPGA | A Highly Parallel FPL-Based Machine and Its Formal Verification. | Paul Shaw, George J. Milne |
| 1991 | CAV | An Automated Proof Technique for Finite-State Machine Equivalence. | Wenbo Mao, George J. Milne |
| 1984 | DAC | A model for hardware description and verification. | George J. Milne |
| 1982 | ICDCS | Abstraction and Nondeterminism in Concurrent Systems. | George J. Milne |