Linda Ness
Rutgers, The State University of New Jersey(US)Center for Discrete Mathematics and Theoretical Computer Science(US)
Publications by Year
Research Areas
Formal Methods in Verification, Topological and Geometric Data Analysis, Distributed systems and fault tolerance, Embedded Systems Design Techniques, Data Management and Algorithms
Most-Cited Works
- → The length of vectors in representation spaces(1979)270 cited
- → A Stratification of the Null Cone Via the Moment Map(1984)207 cited
- → Verification of the Futurebus+ cache coherence protocol(1995)169 cited
- → Transgenic Studies on the Involvement of Cytokinin and Gibberellin in Male Development(2003)133 cited
- → Verification of the Futurebus+ Cache Coherence Protocol**This research was sponsored in part by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force, Wright-Patterson AFB, Ohio 45433-6543 under Contract F33615-90-C-1465, ARPA Order No. 7597 and in part by the National Science Foundation under Grant no. CCR-9005992 and in part by the Semiconductor Research Corporation under Contract 92-DJ-294 and in part by the U.S.-Israeli Binational Science Foundation and in part by a Japan-U.S. cooperative research grant from the Japanese Society for the Promotion of Scientific Research and in part by U.S.-Japan cooperative research grant number INT-90-16694 from the National Science Foundation.The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. government.(1993)