Search the dblp DataBase
George J. Milne: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- George J. Milne
Description and Analysis Using Circal. [Citation Graph (0, 0)][DBLP]
The Analysis of Concurrent Systems, 1983, pp:293-313 [Conf] - Antonio Cerone, David A. Kearney, George J. Milne
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
ACSD, 1998, pp:109-119 [Conf] - Antonio Cerone, Alex J. Cowie, George J. Milne
The Circal System. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:563-564 [Conf] - Antonio Cerone, George J. Milne
Specification of Timing Constraints within the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:108-122 [Conf] - Wenbo Mao, George J. Milne
An Automated Proof Technique for Finite-State Machine Equivalence. [Citation Graph (0, 0)][DBLP]
CAV, 1991, pp:233-243 [Conf] - Graham Budd, George J. Milne
ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications. [Citation Graph (0, 0)][DBLP]
COMPCON, 1996, pp:182-187 [Conf] - George J. Milne
A Model for Dynamic Adaptation in Reconfigurable Hardware Systems. [Citation Graph (0, 0)][DBLP]
Evolvable Hardware, 1999, pp:161-169 [Conf] - Antonio Cerone, George J. Milne
A Methodology for the Formal Analysis of Asynchronous Micropipelines. [Citation Graph (0, 0)][DBLP]
FMCAD, 2000, pp:246-262 [Conf] - Paul Shaw, George J. Milne
A Highly Parallel FPL-Based Machine and Its Formal Verification. [Citation Graph (0, 0)][DBLP]
FPL, 1992, pp:162-173 [Conf] - Oliver Diessel, George J. Milne
Behavioural Language Compilation with Virtual Hardware Management. [Citation Graph (0, 0)][DBLP]
FPL, 2000, pp:707-717 [Conf] - Jihan Zhu, George J. Milne
Implementing Kak Neural Networks on a Reconfigurable Computing Platform. [Citation Graph (0, 0)][DBLP]
FPL, 2000, pp:260-269 [Conf] - Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
Modelling a Time-Dependent Protocol Using the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
HART, 1997, pp:124-138 [Conf] - George J. Milne
Abstraction and Nondeterminism in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
ICDCS, 1982, pp:358-364 [Conf] - Oliver Diessel, George J. Milne
Compiling Process Algebraic Descriptions into Reconfigurable Logic. [Citation Graph (0, 0)][DBLP]
IPDPS Workshops, 2000, pp:916-923 [Conf] - George J. Milne
Design for Verifiability. [Citation Graph (0, 0)][DBLP]
Hardware Specification, Verification and Synthesis, 1989, pp:1-13 [Conf] - George J. Milne
Modelling Dynamically Changing Hardware Structure. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:249-254 [Journal] - Andrew M. Bailey, George A. McCaskill, George J. Milne
An Exercise in the Automatic Verification of Asynchronous Designs. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1994, v:4, n:3, pp:213-242 [Journal] - George J. Milne
The Formal Description and Verification of Hardware Timing. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1991, v:40, n:7, pp:811-826 [Journal] - George J. Milne
Circal and the Representation of Communication, Concurrency, and Time. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:270-298 [Journal]
Search in 0.002secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002