The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Geoffrey M. Brown: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Geoffrey M. Brown
    Verification of a Data Synchronization Circuit For All Time. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:217-228 [Conf]
  2. Geoffrey M. Brown, Chuan-lin Wu
    Operating System Kernel for a Reconfigurable Multiprocessor System. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:234-241 [Conf]
  3. Geoffrey M. Brown, Miriam Leeser
    From Programs to Transistors: Verifying Hardware Synthesis Tools. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:129-151 [Conf]
  4. Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
    Block Acknowledgement: Redesigning the Window Protocol. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1989, pp:128-135 [Conf]
  5. Yehuda Afek, Geoffrey M. Brown, Michael Merritt
    A Lazy Cache Algorithm. [Citation Graph (0, 0)][DBLP]
    SPAA, 1989, pp:209-222 [Conf]
  6. Yehuda Afek, Geoffrey M. Brown
    Self-Stabilization of the Alternating-Bit Protocol. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1989, pp:80-83 [Conf]
  7. Geoffrey M. Brown, Lee Pike
    Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:58-72 [Conf]
  8. Yehuda Afek, Geoffrey M. Brown
    Self-Stabilization Over Unreliable Communication Media. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:7, n:1, pp:27-34 [Journal]
  9. Geoffrey M. Brown
    Asynchronous Multicaches. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1990, v:4, n:, pp:31-36 [Journal]
  10. Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu
    Token Systems that Self-Stabilize. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1989, v:38, n:6, pp:845-852 [Journal]
  11. Yehuda Afek, Geoffrey M. Brown, Michael Merritt
    Lazy Caching. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:182-205 [Journal]
  12. Geoffrey M. Brown, Lee Pike
    Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2007, pp:171-180 [Conf]

  13. Roll your own test bed for embedded real-time protocols: a haskell experience. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002