Paul Brodhead

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 2

Top Topics

Asymptotically Optimal

Concurrent Processes

Service Composition

Top Venues

Computation, Physics and Beyond

Publications

Garrett Hope, Paul Brodhead, Seung-yun Kim
Implementing Timed Petri net for Modeling and Simulation in Card Gameplay. CATA (2020)
Paul Brodhead, Garrett Hope, Seung-yun Kim
Soccer Playing Robot Goal Scoring Algorithm Using Fuzzy Petri nets. CATA (2020)
Paul Brodhead, Rod Downey, Keng Meng Ng
Bounded Randomness. Computation, Physics and Beyond (2012)
Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman
Algorithmic Randomness and Capacity of Closed Sets Log. Methods Comput. Sci. 7 (3) (2011)
Douglas Cenzer, Paul Brodhead
Effective Capacity and Randomness of Closed Sets CCA (2010)
Paul Brodhead, Bjørn Kjos-Hanssen
The Strength of the Grätzer-Schmidt Theorem. CiE (2009)
Paul Brodhead, Bjørn Kjos-Hanssen
Numberings and Randomness. CiE (2009)
Paul Brodhead, Angsheng Li, Weilin Li
. Ann. Pure Appl. Log. 155 (1) (2008)
George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
Algorithmic randomness of continuous functions. Arch. Math. Log. 46 (7-8) (2008)
Paul Brodhead, Douglas A. Cenzer
Effectively closed sets and enumerations. Arch. Math. Log. 46 (7-8) (2008)
Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel
Random Continuous Functions. Electron. Notes Theor. Comput. Sci. 167 (2007)
Paul Brodhead
Classes: Acceptability and Decidable Classes. Electron. Notes Theor. Comput. Sci. 167 (2007)
George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber
Algorithmic Randomness of Closed Sets. J. Log. Comput. 17 (6) (2007)
Paul Brodhead, Douglas Cenzer, Seyyed Dashti
Random Closed Sets. CiE (2006)