The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Loewenstein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul Loewenstein, David L. Dill
    Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:302-311 [Conf]
  2. Lawrence Yang, David Gao, Jamshid Mostoufi, Raju Joshi, Paul Loewenstein
    System Design Methodology of UltraSPARC-I. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:7-12 [Conf]
  3. Paul Loewenstein
    Reasoning about State Machines in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:67-89 [Conf]
  4. Paul Loewenstein
    Learning to use HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:67-74 [Conf]
  5. Paul Loewenstein
    A Formal Theory of Simulations Between Infinite Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:227-246 [Conf]
  6. Paul Loewenstein
    Formal Verification of Counterflow Pipeline Architecture. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:261-276 [Conf]
  7. Paul Loewenstein
    Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1992, v:1, n:4, pp:355-383 [Journal]
  8. Paul Loewenstein
    A Formal Theory of Simulations between Infinite Automata. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:1/2, pp:117-149 [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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002