The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Butler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Scott W. Brown, Mark A. Boyer, Hayley J. Mayall, Paula R. Johnson, Lin Meng, Michael Butler, Kimberley Weir, Natalie Florea, Sally Reis
    Global Education via the Web: The GloablEd Project. [Citation Graph (0, 0)][DBLP]
    ICCE, 2002, pp:367-368 [Conf]
  2. Michael Butler, Yale N. Patt
    An Area-Efficient Register Alias Table for Implementing HPS. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1990, pp:611-612 [Conf]
  3. Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow
    Single Instruction Stream Parallelism is Greater Than Two. [Citation Graph (0, 0)][DBLP]
    ISCA, 1991, pp:276-286 [Conf]
  4. Michael Butler, Yale N. Patt
    The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    MICRO, 1991, pp:34-41 [Conf]
  5. Michael Butler, Yale N. Patt
    An investigation of the performance of various dynamic scheduling techniques. [Citation Graph (0, 0)][DBLP]
    MICRO, 1992, pp:1-9 [Conf]
  6. Michael Butler, Yale N. Patt
    A comparative performance evaluation of various state maintenance mechanisms. [Citation Graph (0, 0)][DBLP]
    MICRO, 1993, pp:70-79 [Conf]
  7. Divakar Yadav, Michael Butler
    Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:343-363 [Conf]
  8. Eerke A. Boiten, Michael Butler
    Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:263- [Journal]
  9. Paul Huck, Michael Butler, Amar Gupta, Michael Feng
    A self-configuring and self-administering name system with dynamic address assignment. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Internet Techn., 2002, v:2, n:1, pp:14-46 [Journal]
  10. Colin Snook, Michael Butler
    UML-B: Formal modeling and design aided by UML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:1, pp:92-122 [Journal]

  11. Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. [Citation Graph (, )][DBLP]


  12. On an Extensible Rule-Based Prover for Event-B. [Citation Graph (, )][DBLP]


  13. A Basis for Feature-Oriented Modelling in Event-B. [Citation Graph (, )][DBLP]


  14. Supporting Reuse of Event-B Developments through Generic Instantiation. [Citation Graph (, )][DBLP]


  15. Decomposition Structures for Event-B. [Citation Graph (, )][DBLP]


  16. Verification of Liveness Properties in Distributed Systems. [Citation Graph (, )][DBLP]


  17. Linking Event-B and Concurrent Object-Oriented Programs. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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