| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 8 |      | Lawrence Yang, David Gao, Jamshid Mostoufi, Raju Joshi, Paul Loewenstein: System Design Methodology of UltraSPARC-I. DAC 1995: 7-12 |
| 7 | | Paul Loewenstein: Formal Verification of Counterflow Pipeline Architecture. TPHOLs 1995: 261-276 |
| 1993 | ||
| 6 | | Paul Loewenstein: A Formal Theory of Simulations between Infinite Automata. Formal Methods in System Design 3(1/2): 117-149 (1993) |
| 1992 | ||
| 5 |  | Paul Loewenstein: A Formal Theory of Simulations Between Infinite Automata. TPHOLs 1992: 227-246 |
| 4 | | Paul Loewenstein: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. Formal Methods in System Design 1(4): 355-383 (1992) |
| 1991 | ||
| 3 | | Paul Loewenstein: Learning to use HOL. TPHOLs 1991: 67-74 |
| 1990 | ||
| 2 | | Paul Loewenstein, David L. Dill: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. CAV 1990: 302-311 |
| 1989 | ||
| 1 | | Paul Loewenstein: Reasoning about State Machines in Higher-Order Logic. Hardware Specification, Verification and Synthesis 1989: 67-89 |
| 1 | David L. Dill | [2] |
| 2 | David Gao | [8] |
| 3 | Raju Joshi | [8] |
| 4 | Jamshid Mostoufi | [8] |
| 5 | Lawrence Yang | [8] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page