- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| j4 |      | Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois: Design Verification of the S3.mp Cache-Coherent Shared-Memory System. IEEE Trans. Computers 47(1): 135-140 (1998) |
| 1995 | ||
| c8 | | Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin: Exploiting Parallelism in Cache Coherency Protocol Engines. Euro-Par 1995: 269-286 |
| c7 |  | Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin: The S3.mp Scalable Shared Memory Multiprocessor. ICPP (1) 1995: 1-10 |
| c6 | | Andreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin: S-Connect: From Networks of Workstations to Supercomputer Performance. ISCA 1995: 71-82 |
| 1994 | ||
| c5 | | Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, David Lee, Michael Parkin: The S3mp Scalable Shared Memory Multiprocessor. HICSS (1) 1994: 144-153 |
| 1993 | ||
| c4 | | Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee: The S3.mp Architecture: A Local Area Multiprocessor. SPAA 1993: 140-141 |
| 1989 | ||
| j3 | | Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Reasoning about Networks with Many Identical Finite State Processes. Inf. Comput. 81(1): 13-31 (1989) |
| 1988 | ||
| j2 | | Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theor. Comput. Sci. 59: 115-131 (1988) |
| 1987 | ||
| c3 | | Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Kripke Structures in Temporal Logic. TAPSOFT, Vol.1 1987: 256-270 |
| 1986 | ||
| j1 | | Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra: Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Trans. Computers 35(12): 1035-1044 (1986) |
| c2 | | Michael C. Browne: An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. LICS 1986: 260-266 |
| c1 | | Edmund M. Clarke, Orna Grumberg, Michael C. Browne: Reasoning About Networks With Many Identical Finite-State Processes. PODC 1986: 240-248 |
Colors in the list of coauthors
Last update Thu May 23 21:48:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page