Search the dblp DataBase
Linda A. Ness :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Computers, 1991, v:40, n:4, pp:562-571 [Journal ] Linda A. Ness Issues Arising in the Analysis of L.0. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:106-115 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CHDL, 1993, pp:15-30 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:223-238 [Conf ] Ellen A. White , H. Theodore Stump , Linda A. Ness , Derek W. Schultz Project Aurora: Dawn of a New Way. [Citation Graph (0, 0)][DBLP ] ICRE, 1996, pp:165-172 [Conf ] David M. Cohen , Timothy M. Guinther , Linda A. Ness Rapid Prototyping of Communications Protocol Using a New Parallel Language. [Citation Graph (0, 0)][DBLP ] ICSI, 1990, pp:196-204 [Conf ] Linda A. Ness Reducing Linear Recursive Relations to Transitive Closure. [Citation Graph (0, 0)][DBLP ] XP7.52 Workshop on Database Theory, 1986, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1995, v:6, n:2, pp:217-232 [Journal ] E. 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:3, pp:317-326 [Journal ] Search in 0.001secs, Finished in 0.002secs