2004 |
8 | EE | Ronald J. Watro,
Derrick Kong,
Sue-fen Cuti,
Charles Gardiner,
Charles Lynn,
Peter Kruus:
TinyPK: securing sensor networks with public key technology.
SASN 2004: 59-64 |
2003 |
7 | EE | David Carman,
Daniel Coffin,
Bruno Dutertre,
Vipin Swarup,
Ronald J. Watro:
Forum Session: Security for Wireless Sensor Networks.
ACSAC 2003: 106-109 |
1993 |
6 | EE | Jonathan I. Leivent,
Ronald J. Watro:
Mathematical Foundations of Time Warp Systems.
ACM Trans. Program. Lang. Syst. 15(5): 771-794 (1993) |
1991 |
5 | | William M. Farmer,
Ronald J. Watro:
Redex Capturing in Term Graph Rewriting (Concise Version).
RTA 1991: 13-24 |
1990 |
4 | EE | William M. Farmer,
John D. Ramsdell,
Ronald J. Watro:
A Correctness Proof for Combinator Reduction with Cycles.
ACM Trans. Program. Lang. Syst. 12(1): 123-134 (1990) |
3 | | William M. Farmer,
Ronald J. Watro:
Redex Capturing in Term Graph Rewriting.
Int. J. Found. Comput. Sci. 1(4): 369-386 (1990) |
1987 |
2 | | Michael F. Bridgland,
Ronald J. Watro:
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version).
PODC 1987: 52-63 |
1984 |
1 | | Ronald J. Watro:
On Partitioning the Infinite Subsets of Large Cardinals.
J. Symb. Log. 49(2): 539-541 (1984) |