Douglas Cenzer

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 17

Top Topics

Finite State Transducers

Top Venues

J. Log. Comput.

Theory Comput. Syst.

Publications

Douglas Cenzer, Cameron Fraize, Christopher P. Porter
Extraction Rates of Random Continuous Functionals. UCNC (2023)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Generically Computable Abelian Groups. UCNC (2023)
Douglas Cenzer, Christopher P. Porter
Randomness extraction in computability theory. Comput. 12 (1) (2023)
Richard Krogman, Douglas Cenzer
Complexity of injection structures induced by finite state transducers. J. Log. Comput. 32 (8) (2022)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Generically and coarsely computable isomorphisms. Comput. 11 (3-4) (2022)
Douglas Cenzer, Richard Krogman
The Isomorphism Problem for FST Injection Structures. LFCS (2022)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Densely computable structures. J. Log. Comput. 32 (3) (2022)
Richard Krogman, Douglas Cenzer
Complexity and Categoricity of Injection Structures Induced by Finite State Transducers. CiE (2021)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. 30 (1) (2020)
Jacob Carson, Douglas Cenzer, Jeffrey B. Remmel
Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures. Theory Comput. Syst. 64 (6) (2020)
Douglas Cenzer, Christopher P. Porter
Class. Theory Comput. Syst. 62 (7) (2018)
Douglas Cenzer, Diego A. Rojas
Online Computability and Differentiation in the Cantor Space. CiE (2018)
George Barmpalias, Douglas Cenzer, Christopher P. Porter
The Probability of a Computable Output from a Random Oracle. ACM Trans. Comput. Log. 18 (3) (2017)
Sam Buss, Douglas Cenzer, Mia Minnes, Jeffrey B. Remmel
Injection Structures Specified by Finite State Transducers. Computability and Complexity (2017)
Francis Adams, Douglas Cenzer
Computability and categoricity of weakly ultrahomogeneous structures. Comput. 6 (4) (2017)
George Barmpalias, Douglas Cenzer, Christopher P. Porter
Random numbers as probabilities of machine behavior. Theor. Comput. Sci. 673 (2017)
George Barmpalias, Douglas Cenzer, Christopher P. Porter
The probability of a computable output from a random oracle. CoRR (2016)
Douglas Cenzer, Christopher P. Porter
Algorithmically Random Functions and Effective Capacities. TAMC (2015)
Francis Adams, Douglas Cenzer
Computability and Categoricity of Ultrahomogeneous Structures. CiE (2014)
Sam Buss, Douglas Cenzer, Jeffrey B. Remmel
Sub-computable Boundedness Randomness. Log. Methods Comput. Sci. 10 (4) (2014)
Douglas Cenzer, Rebecca Weber
Effective Randomness of Unions and Intersections. Theory Comput. Syst. 52 (1) (2013)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index sets for Finite Normal Predicate Logic Programs CoRR (2013)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Two-to-one structures. J. Log. Comput. 23 (6) (2013)
Douglas Cenzer, Jeffrey B. Remmel
Sub-computable Bounded Pseudorandomness. LFCS (2013)
Douglas Cenzer, Jeffrey B. Remmel
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs. Ann. Math. Artif. Intell. 65 (1) (2012)
Douglas Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman
Computability of Countable Subshifts in One Dimension. Theory Comput. Syst. 51 (3) (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, Valentina S. Harizanov, Jeffrey B. Remmel
equivalence structures. Ann. Pure Appl. Log. 162 (7) (2011)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Effective Categoricity of Injection Structures. CiE (2011)
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
-degrees. Arch. Math. Log. 50 (1-2) (2011)
Douglas Cenzer, Paul Brodhead
Effective Capacity and Randomness of Closed Sets CCA (2010)
Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin
Space complexity of Abelian groups. Arch. Math. Log. 48 (1) (2009)
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. TAMC (2009)
Douglas Cenzer, Rebecca Weber, Guohua Wu
Immunity for Closed Sets. CiE (2009)
Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel
Equivalence structures and isomorphisms in the difference hierarchy. J. Symb. Log. 74 (2) (2009)
Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King
Effective Symbolic Dynamics. Electron. Notes Theor. Comput. Sci. 202 (2008)
Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King
Computable symbolic dynamics. Math. Log. Q. 54 (5) (2008)
Douglas Cenzer, Jeffrey B. Remmel
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. ISAIM (2008)
Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel
Random Continuous Functions. Electron. Notes Theor. Comput. Sci. 167 (2007)
Douglas Cenzer, Peter G. Hinman
Medvedev Degrees of Generalized R.E. separating Classes. Electron. Notes Theor. Comput. Sci. 167 (2007)
Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch
Preface. 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)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of equivalence structures. Ann. Pure Appl. Log. 141 (1-2) (2006)
Douglas Cenzer, Zia Uddin
Logspace Complexity of Functions and Structures. CiE (2006)
Douglas Cenzer, Farzan Riazati
classes. Math. Log. Q. 51 (2) (2005)
Douglas Cenzer, Jeffrey B. Remmel
Index sets for computable differential equations. Math. Log. Q. 50 (4-5) (2004)
Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
Using Logic Programs to Reason about Infinite Sets. AI&M (2004)
Douglas Cenzer, Amy Vanderbilt
Common Derivations in Locally Determined Logic Programs. AI&M (2002)
Douglas Cenzer, Edward Howorka
On vertex k-partitions of certain infinite graphs. Discret. Math. 23 (2) (1978)