The SCEAS System
Navigation Menu

Search the dblp DataBase


Ronald J. Watro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  9. An architecture for scalable network defense. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002