Stephen D. Brookes
Affiliations: Carnegie Mellon University, Pittsburgh, PA, USA
According to our database^{1},
Stephen D. Brookes
authored at least 50 papers
between 1981 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on id.loc.gov

on cs.cmu.edu

on isni.org

on andrej.com

on dl.acm.org
On csauthors.net:
Bibliography
2022
IEEE J. Solid State Circuits, 2022
2021
Experimental Verification of Wandering Spur Suppression Technique in a 4.9 GHz FractionalN Frequency Synthesizer.
Proceedings of the 47th ESSCIRC 2021, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
2019
4.48GHz 0.18μm SiGe BiCMOS ExactFrequency FractionalN Frequency Synthesizer with SpuriousTone Suppression Yielding a 80dBc InBand Fractional Spur.
Proceedings of the IEEE International Solid State Circuits Conference, 2019
2018
Proceedings of the ThirtyFourth Conference on the Mathematical Foundations of Programming Semantics, 2018
CoRR, 2018
2016
ACM SIGLOG News, 2016
2014
Formal Aspects Comput., 2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
2013
Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, 2013
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
2011
Proceedings of the Twentyseventh Conference on the Mathematical Foundations of Programming Semantics, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
2007
Theor. Comput. Sci., 2007
2006
Electron. Notes Theor. Comput. Sci., 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
2004
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004
2002
Theor. Comput. Sci., 2002
Theor. Comput. Sci., 2002
Inf. Comput., 2002
Proceedings of the CONCUR 2002, 2002
2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
1996
Inf. Comput., 1996
1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1995
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995
1993
Theor. Comput. Sci., 1993
Formal Methods Syst. Des., 1993
Sequential Functions on Indexed Domains and Full Abstraction for a SubLanguage of PCF.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Theor. Comput. Sci., 1992
1991
Distributed Comput., 1991
Proceedings of the Mathematical Foundations of Programming Semantics, 1991
1987
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987
1986
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
1985
A Fully Abstract Semantics and a Proof System for an ALGOLLike Language with Sharing.
Proceedings of the Mathematical Foundations of Programming Semantics, 1985
Proceedings of the Logics of Programs, 1985
1984
J. ACM, 1984
Proceedings of the Seminar on Concurrency, 1984
Proceedings of the Seminar on Concurrency, 1984
1983
Proceedings of the Logics of Programs, 1983
Proceedings of the Automata, 1983
Proceedings of the Automata, 1983
1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981