Geoffrey M. Brown
According to our database1,
Geoffrey M. Brown
authored at least 16 papers
between 1986 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Formal Aspects Comput., 2011
2009
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009
2007
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
1993
1991
1990
1989
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989
Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1989
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989
Proceedings of the Hardware Specification, 1989
1986
Operating System Kernel for a Reconfigurable Multiprocessor System.
Proceedings of the International Conference on Parallel Processing, 1986