Douglas Cenzer

54 papers C 15Misc 3Journal 30Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Extraction rates of algorithmically random continuous functionals. Nat. Comput. Douglas Cenzer, Cameron Fraize, Christopher P. Porter
2025	J	`jnl`	Generically computable linear orderings. Ann. Pure Appl. Log. Wesley Calvert, Douglas Cenzer, David Gonzalez, Valentina S. Harizanov
2023	—	`conf`	Extraction Rates of Random Continuous Functionals. UCNC Douglas Cenzer, Cameron Fraize, Christopher P. Porter
2023	—	`conf`	Generically Computable Abelian Groups. UCNC Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2023	J	`jnl`	Randomness extraction in computability theory. Comput. Douglas Cenzer, Christopher P. Porter
2022	J	`jnl`	Complexity of injection structures induced by finite state transducers. J. Log. Comput. Richard Krogman, Douglas Cenzer
2022	J	`jnl`	Densely computable structures. J. Log. Comput. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022	J	`jnl`	Generically and coarsely computable isomorphisms. Comput. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022	Misc	`conf`	The Isomorphism Problem for FST Injection Structures. LFCS Douglas Cenzer, Richard Krogman
2021	C	`conf`	Complexity and Categoricity of Injection Structures Induced by Finite State Transducers. CiE Richard Krogman, Douglas Cenzer
2020	J	`jnl`	Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures. Theory Comput. Syst. Jacob Carson, Douglas Cenzer, Jeffrey B. Remmel
2020	J	`jnl`	On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
2018	C	`conf`	Online Computability and Differentiation in the Cantor Space. CiE Douglas Cenzer, Diego A. Rojas
2018	J	`jnl`	The Random Members of a Π Theory Comput. Syst. Douglas Cenzer, Christopher P. Porter
2017	J	`jnl`	Computability and categoricity of weakly ultrahomogeneous structures. Comput. Francis Adams, Douglas Cenzer
2017	—	`conf`	Injection Structures Specified by Finite State Transducers. Computability and Complexity Sam Buss, Douglas Cenzer, Mia Minnes, Jeffrey B. Remmel
2017	J	`jnl`	Random numbers as probabilities of machine behavior. Theor. Comput. Sci. George Barmpalias, Douglas Cenzer, Christopher P. Porter
2017	J	`jnl`	The Probability of a Computable Output from a Random Oracle. ACM Trans. Comput. Log. George Barmpalias, Douglas Cenzer, Christopher P. Porter
2016	J	`jnl`	The probability of a computable output from a random oracle. CoRR George Barmpalias, Douglas Cenzer, Christopher P. Porter
2015	C	`conf`	Algorithmically Random Functions and Effective Capacities. TAMC Douglas Cenzer, Christopher P. Porter
2014	C	`conf`	Computability and Categoricity of Ultrahomogeneous Structures. CiE Francis Adams, Douglas Cenzer
2014	J	`jnl`	Sub-computable Boundedness Randomness. Log. Methods Comput. Sci. Sam Buss, Douglas Cenzer, Jeffrey B. Remmel
2013	J	`jnl`	Effective Randomness of Unions and Intersections. Theory Comput. Syst. Douglas Cenzer, Rebecca Weber
2013	J	`jnl`	Index sets for Finite Normal Predicate Logic Programs CoRR Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
2013	Misc	`conf`	Sub-computable Bounded Pseudorandomness. LFCS Douglas Cenzer, Jeffrey B. Remmel
2013	J	`jnl`	Two-to-one structures. J. Log. Comput. Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2012	J	`jnl`	A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs. Ann. Math. Artif. Intell. Douglas Cenzer, Jeffrey B. Remmel
2012	J	`jnl`	Computability of Countable Subshifts in One Dimension. Theory Comput. Syst. Douglas Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman
2011	J	`jnl`	A superhigh diamond in the c.e. Arch. Math. Log. Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
2011	J	`jnl`	Algorithmic Randomness and Capacity of Closed Sets Log. Methods Comput. Sci. Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman
2011	C	`conf`	Effective Categoricity of Injection Structures. CiE Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2011	J	`jnl`	Σ Ann. Pure Appl. Log. Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2010	C	`conf`	Effective Capacity and Randomness of Closed Sets CCA Douglas Cenzer, Paul Brodhead
2009	C	`conf`	Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. TAMC Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
2009	J	`jnl`	Equivalence structures and isomorphisms in the difference hierarchy. J. Symb. Log. Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel
2009	C	`conf`	Immunity for Closed Sets. CiE Douglas Cenzer, Rebecca Weber, Guohua Wu
2009	J	`jnl`	Space complexity of Abelian groups. Arch. Math. Log. Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin
2008	Misc	`conf`	A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. ISAIM Douglas Cenzer, Jeffrey B. Remmel
2008	J	`jnl`	Computable symbolic dynamics. Math. Log. Q. Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King
2007	J	`jnl`	Algorithmic Randomness of Closed Sets. J. Log. Comput. George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber
2007	C	`conf`	Effective Symbolic Dynamics. CCA Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King
2007	C	`ed.`	Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA CCA Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch
2006	J	`jnl`	Effective categoricity of equivalence structures. Ann. Pure Appl. Log. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2006	C	`conf`	Logspace Complexity of Functions and Structures. CiE Douglas Cenzer, Zia Uddin
2006	C	`conf`	Medvedev Degrees of Generalized R.E. separating Classes. CCA Douglas Cenzer, Peter G. Hinman
2006	C	`conf`	Preface. CCA Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch
2006	C	`conf`	Random Closed Sets. CiE Paul Brodhead, Douglas Cenzer, Seyyed Dashti
2006	C	`conf`	Random Continuous Functions. CCA Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel
2005	J	`jnl`	Minimal extensions of Pi Math. Log. Q. Douglas Cenzer, Farzan Riazati
2004	J	`jnl`	Index sets for computable differential equations. Math. Log. Q. Douglas Cenzer, Jeffrey B. Remmel
2004	—	`conf`	Using Logic Programs to Reason about Infinite Sets. AI&M Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
2002	—	`conf`	Common Derivations in Locally Determined Logic Programs. AI&M Douglas Cenzer, Amy Vanderbilt
1999	—	`ch.`	∏10 Classes in Computability Theory. Handbook of Computability Theory Douglas Cenzer
1978	J	`jnl`	On vertex k-partitions of certain infinite graphs. Discret. Math. Douglas Cenzer, Edward Howorka