Michael C. Browne

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
11		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
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
9	EE	Andreas 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
7	EE	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
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
4		Michael 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

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

Colors in the list of coauthors