dblp.uni-trier.dewww.uni-trier.de

Michael C. Browne Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
12 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
11EEAndreas 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
10 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
9EEAndreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin: S-Connect: From Networks of Workstations to Supercomputer Performance. ISCA 1995: 71-82
1994
8 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
7EEAndreas 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
6 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
5 Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theor. Comput. Sci. 59: 115-131 (1988)
1987
4EEMichael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Kripke Structures in Temporal Logic. TAPSOFT, Vol.1 1987: 256-270
1986
3 Michael C. Browne: An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic LICS 1986: 260-266
2 Edmund M. Clarke, Orna Grumberg, Michael C. Browne: Reasoning About Networks With Many Identical Finite-State Processes. PODC 1986: 240-248
1 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)

Coauthor Index

1Gunes Aybay [7] [8] [10] [11] [12]
2Edmund M. Clarke [1] [2] [4] [5] [6]
3David L. Dill [1]
4Michel Dubois [12]
5Orna Grumberg [2] [4] [5] [6]
6Edmund J. Kelly [7] [8] [9] [10] [11]
7David Lee [7] [8]
8Bud Mishra (Bhubaneswar Mishra) [1]
9M. Monger [7]
10Andreas Nowatzyk [7] [8] [9] [10] [11] [12]
11Michael Parkin [7] [8] [9] [10] [11]
12Fong Pong [12]
13Bill Radke [10] [11]
14Sanjay Vishin [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)