Concepedia

Ronald Watro

RW

Statistics

Publications

8

Citations

779

H-Index

8

Active since

1987

Affiliations

Mitre (United States)(Current)

RTX (United States)

Ronald Watro is an author at Mitre (United States) specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsComputer EngineeringInformation SecurityGraph TheoryVerificationData SecurityFormal Verification

Publications per year

1987–2015

8

Publications

8

TinyPK

Ronald Watro, Derrick Kong, Sue-fen Cuti et al. · 2004 · 637 citations

Lightweight Authentication Mechanism, Engineering, Uc Berkeley Mica2 +11

REDEX CAPTURING IN TERM GRAPH REWRITING

William M. Farmer, Ronald Watro · International Journal of Foundations of Computer Science · 1990 · 31 citations

Engineering, Graph Theory, Graph Query Language +15

Fault-tolerant decision making in totally asynchronous distributed systems

Michael F. Bridgland, Ronald Watro · 1987 · 31 citations · Full text

Fault-tolerant Network, Engineering, Fault-tolerant Decision Making +13

Mathematical foundations for time warp systems

Jonathan I. Leivent, Ronald Watro · ACM Transactions on Programming Languages and Systems · 1993 · 22 citations · Full text

Engineering, Verification, Fault-tolerant Messaging +16

Lessons Learned in Game Development for Crowdsourced Software Formal Verification

Drew Dean, Sean Gaurino, Leonard Eusebi et al. · 2015 · 18 citations

1–5 of 8