Concepedia

Linda Ness

LN

15

Publications

794

Citations

12

H-Index

1977

Active since

Affiliations

University of Houston(Current)

AT&T (United States)

The University of Texas at Austin

Linda Ness is an author at University of Houston specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareSystems EngineeringComputer EngineeringComputer ArchitectureCloud ComputingData ManagementParallel Computing

Publications per year

1977–2021

15

Publications

15

A Stratification of the Null Cone Via the Moment Map

Linda Ness, David Mumford · American Journal of Mathematics · 1984 · 206 citations

Integral Geometry, Schubert Calculus, Moment Map

Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke, Orna Grümberg, Hiromi Hiraishi et al. · Formal Methods in System Design · 1995 · 169 citations

Time-sensitive Networking, Engineering, Network Communication Protocol +7

Transgenic Studies on the Involvement of Cytokinin and Gibberellin in Male Development

Shihshieh Huang, R. Eric Cerny, Youlin Qi et al. · PLANT PHYSIOLOGY · 2003 · 133 citations · Full text

Spermatogenesis, Engineering, Genetics +17

A study of transitive closure as a recursion mechanism

H. V. Jagadish, Rakesh Agrawal, Linda Ness · 1987 · 93 citations

Relational Database, Engineering, Semantics +16

Using Flexible Transactions to Support Multi-System Telecommunication Applications

Mansoor Ansari, Linda Ness, Marek Rusinkiewicz et al. · Journal of Bioresource Management · 1992 · 49 citations · Full text

Engineering, Transactional Application, Service Order +14

Rows per page

1–5 of 15