Linda A. Ness

According to our database1, Linda A. Ness authored at least 12 papers between 1986 and 1999.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Enterprise Data Quality: A Pragmatic Approach.
Inf. Syst. Frontiers, 1999

1996
Project Aurora: Dawn of a New Way.
Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995
Verification of the Futurebus+ Cache Coherence Protocol.
Formal Methods Syst. Des., 1995

1993
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.
IEEE Trans. Software Eng., 1993

Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

1992
Using Flexible Transactions to Support Multi-System Telecommunication Applications.
Proceedings of the 18th International Conference on Very Large Data Bases, 1992

1991
The L.0 Language and Environment for Protocol Simulation and Prototyping.
IEEE Trans. Computers, 1991

1990
Rapid Prototyping of Communications Protocol Using a New Parallel Language.
Proceedings of the First International Conference on Systems Integration, 1990

L.0: A Language for Modeling and Prototyping Communications Software.
Proceedings of the Formal Description Techniques, 1990

Issues Arising in the Analysis of L.0.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988
The IC* Model of Parallel Computation and Programming Environment.
IEEE Trans. Software Eng., 1988

1986
Reducing Linear Recursive Relations to Transitive Closure.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986


  Loading...