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

Linda A. Ness

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

1996
9EEEllen A. White, H. Theodore Stump, Linda A. Ness, Derek W. Schultz: Project Aurora: Dawn of a New Way. ICRE 1996: 165-172
1995
8 Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design 6(2): 217-232 (1995)
1993
7 Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30
1991
6 E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi: The L.0 Language and Environment for Protocol Simulation and Prototyping. IEEE Trans. Computers 40(4): 562-571 (1991)
1990
5 Linda A. Ness: Issues Arising in the Analysis of L.0. CAV 1990: 106-115
4 E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi: L.0: A Language for Modeling and Prototyping Communications Software. FORTE 1990: 223-238
3 David M. Cohen, Timothy M. Guinther, Linda A. Ness: Rapid Prototyping of Communications Protocol Using a New Parallel Language. ICSI 1990: 196-204
1988
2EEE. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro: The IC* Model of Parallel Computation and Programming Environment. IEEE Trans. Software Eng. 14(3): 317-326 (1988)
1986
1 Linda A. Ness: Reducing Linear Recursive Relations to Transitive Closure. XP7.52 Workshop on Database Theory 1986

Coauthor Index

1E. Jane Cameron [2] [4] [6]
2Edmund M. Clarke [7] [8]
3David M. Cohen [2] [3] [4] [6]
4B. Gopinath [2]
5Orna Grumberg [7] [8]
6Timothy M. Guinther [3] [4] [6]
7Hiromi Hiraishi [7] [8]
8Somesh Jha [7] [8]
9William M. Keese II [2] [4] [6]
10David E. Long [7] [8]
11Kenneth L. McMillan [7] [8]
12Cynthia Norman [4] [6]
13Derek W. Schultz [9]
14Hassan N. Srinidhi [4] [6]
15H. Theodore Stump [9]
16Prem Uppaluru [2]
17John R. Vollaro [2]
18Ellen A. White [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)