The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George J. Milne: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George J. Milne
    Description and Analysis Using Circal. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:293-313 [Conf]
  2. 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]
  3. Antonio Cerone, Alex J. Cowie, George J. Milne
    The Circal System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:563-564 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. George J. Milne
    A Model for Dynamic Adaptation in Reconfigurable Hardware Systems. [Citation Graph (0, 0)][DBLP]
    Evolvable Hardware, 1999, pp:161-169 [Conf]
  8. 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]
  9. 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]
  10. Oliver Diessel, George J. Milne
    Behavioural Language Compilation with Virtual Hardware Management. [Citation Graph (0, 0)][DBLP]
    FPL, 2000, pp:707-717 [Conf]
  11. 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]
  12. 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]
  13. George J. Milne
    Abstraction and Nondeterminism in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:358-364 [Conf]
  14. Oliver Diessel, George J. Milne
    Compiling Process Algebraic Descriptions into Reconfigurable Logic. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:916-923 [Conf]
  15. George J. Milne
    Design for Verifiability. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:1-13 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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.025secs, Finished in 0.027secs
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