Geoffrey M. Brown
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1986–2009
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | HASKELL | Roll your own test bed for embedded real-time protocols: a haskell experience. | Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
| 2007 | MEMOCODE | Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. | Geoffrey M. Brown, Lee Pike |
| 2006 | TACAS | Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. | Geoffrey M. Brown, Lee Pike |
| 1989 | SIGCOMM | Block Acknowledgement: Redesigning the Window Protocol. | Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller |
| 1989 | SPAA | A Lazy Cache Algorithm. | Yehuda Afek, Geoffrey M. Brown, Michael Merritt |
| 1989 | SRDS | Self-Stabilization of the Alternating-Bit Protocol. | Yehuda Afek, Geoffrey M. Brown |
| 1986 | ICPP | Operating System Kernel for a Reconfigurable Multiprocessor System. | Geoffrey M. Brown, Chuan-lin Wu |