| Publication | Date of Publication | Type |
|---|
| Logic vs topology on regular \(\omega \)-languages | 2024-01-12 | Paper |
| Extending Wagner's hierarchy to deterministic visibly pushdown automata | 2024-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6070608 | 2023-11-23 | Paper |
| Primitive recursive ordered fields and some applications | 2023-03-09 | Paper |
| Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces | 2023-02-01 | Paper |
| Ideal presentations and numberings of some classes of effective quasi-Polish spaces | 2023-01-20 | Paper |
| Non-collapse of the effective Wadge hierarchy | 2023-01-12 | Paper |
| Degrees of non-computability of homeomorphism types of Polish spaces | 2022-12-16 | Paper |
| Enumerating classes of effective quasi-Polish spaces | 2022-12-07 | Paper |
| Boole vs Wadge: comparing two basic tools of descriptive set theory | 2022-12-07 | Paper |
| Complexity issues for the iterated \(h\)-preorders | 2022-11-09 | Paper |
| Fine hierarchy of regular ω-languages | 2022-08-18 | Paper |
| Wadge-like degrees of Borel bqo-valued functions | 2022-07-08 | Paper |
| A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES | 2022-06-15 | Paper |
| Fields of algebraic numbers computable in polynomial time. II | 2022-06-15 | Paper |
| Primitive recursive ordered fields and some applications | 2022-03-24 | Paper |
| Searching for applicable versions of computable structures | 2022-03-22 | Paper |
| Non-collapse of the effective wadge hierarchy | 2022-03-22 | Paper |
| Input-driven pushdown automata on well-nested infinite strings | 2022-03-21 | Paper |
| Classifying \(\omega\)-regular aperiodic \(k\)-partitions | 2021-07-14 | Paper |
| Precomplete numberings | 2021-06-29 | Paper |
| Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision | 2021-06-25 | Paper |
| Non-Collapse of the Effective Wadge Hierarchy | 2021-05-07 | Paper |
| Effective wadge hierarchy in computable quasi-Polish spaces | 2021-04-15 | Paper |
| Q-Wadge degrees as free structures | 2020-11-09 | Paper |
| On degree spectra of topological spaces | 2020-10-27 | Paper |
| Fields of algebraic numbers computable in polynomial time. I | 2020-08-03 | Paper |
| Well-Quasi Orders and Hierarchy Theory | 2020-07-08 | Paper |
| Turing reducibility in the fine hierarchy | 2020-06-02 | Paper |
| Computability on quasi-Polish spaces | 2020-05-12 | Paper |
| On classes of regular languages related to monotone WQOs | 2020-05-12 | Paper |
| A Q-Wadge Hierarchy in Quasi-Polish Spaces | 2019-11-07 | Paper |
| Turing degrees in refinements of the arithmetical hierarchy | 2019-01-15 | Paper |
| Polynomial computability of fields of algebraic numbers | 2018-11-01 | Paper |
| Extending Cooper’s theorem to Δ 3 0 Turing degrees | 2018-09-20 | Paper |
| Polynomial-time presentations of algebraic number fields | 2018-09-06 | Paper |
| Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract) | 2018-09-06 | Paper |
| Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision | 2018-07-01 | Paper |
| On constructive number fields and computability of solutions of PDEs | 2018-03-28 | Paper |
| Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs | 2017-12-11 | Paper |
| Towards a descriptive theory of cb0-spaces | 2017-11-22 | Paper |
| First Order Theories of Some Lattices of Open Sets | 2017-10-12 | Paper |
| Extending Wadge theory to \(k\)-partitions | 2017-08-04 | Paper |
| Efficient algorithms for membership in Boolean hierarchies of regular languages | 2016-08-31 | Paper |
| The Boolean Algebra of Piecewise Testable Languages | 2016-08-17 | Paper |
| On the Lattices of Effectively Open Sets | 2016-08-17 | Paper |
| Wadge-like reducibilities on arbitrary quasi-Polish spaces | 2016-07-27 | Paper |
| Some hierarchies of QCB0-spaces | 2016-07-27 | Paper |
| Base-complexity classifications of qcb0-spaces1 | 2016-04-13 | Paper |
| Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces | 2015-10-20 | Paper |
| Towards the Effective Descriptive Set Theory | 2015-10-20 | Paper |
| Hyperprojective hierarchy of qcb0-spaces | 2015-07-01 | Paper |
| Boolean algebras of regular languages | 2015-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982348 | 2015-04-09 | Paper |
| Hyperprojective Hierarchy of qcb0-Spaces | 2015-02-25 | Paper |
| Total Representations | 2013-06-20 | Paper |
| Computing Solutions of Symmetric Hyperbolic Systems of PDE's | 2013-05-03 | Paper |
| On the Difference Hierarchy in Countably Based T0-Spaces | 2013-05-03 | Paper |
| On the Wadge Reducibility of k-Partitions | 2013-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910731 | 2013-03-19 | Paper |
| Boolean Algebras of Regular ω-Languages | 2013-03-18 | Paper |
| Fine hierarchies via Priestley duality | 2012-06-01 | Paper |
| Complexity Issues for Preorders on Finite Labeled Forests | 2011-09-09 | Paper |
| A Fine Hierarchy of ω-Regular k-Partitions | 2011-09-09 | Paper |
| Boolean Algebras of Regular Languages | 2011-07-29 | Paper |
| The shrinking property for NP and coNP | 2011-02-21 | Paper |
| Definability of closure operations in the \(h\)-quasiorder of labeled forests | 2011-01-24 | Paper |
| Definability in the structure of words with the inclusion relation | 2010-11-15 | Paper |
| Definability in the Subword Order | 2010-07-29 | Paper |
| Undecidability in Weihrauch Degrees | 2010-07-29 | Paper |
| A Gandy Theorem for Abstract Structures and Applications to First-Order Definability | 2010-07-28 | Paper |
| On the Wadge reducibility of \(k\)-partitions | 2009-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639068 | 2009-10-28 | Paper |
| Definability in the Infix Order on Words | 2009-07-07 | Paper |
| Definability in the \(h\)-quasiorder of labeled forests | 2009-06-11 | Paper |
| Undecidability in Some Structures Related to Computation Theory | 2009-03-02 | Paper |
| Wadge reducibility and infinite computations | 2009-02-17 | Paper |
| Hierarchies and reducibilities on regular languages related to modulo counting | 2008-12-22 | Paper |
| The quotient algebra of labeled forests modulo h-equivalence | 2008-12-18 | Paper |
| FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES | 2008-11-24 | Paper |
| Complexity of Topological Properties of Regular ω-Languages | 2008-10-30 | Paper |
| Fine hierarchies and m-reducibilities in theoretical computer science | 2008-10-21 | Paper |
| The Shrinking Property for NP and coNP | 2008-06-19 | Paper |
| Complexity of Aperiodicity for Topological Properties of Regular ω-Languages | 2008-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505897 | 2008-06-11 | Paper |
| Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests | 2008-02-07 | Paper |
| Fine Hierarchy of Regular Aperiodic ω-Languages | 2007-11-28 | Paper |
| Definability in the Homomorphic Quasiorder of Finite Labeled Forests | 2007-11-13 | Paper |
| A Useful Undecidable Theory | 2007-11-13 | Paper |
| Hierarchies of Δ02‐measurable k ‐partitions | 2007-09-17 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Towards a descriptive set theory for domain-like structures | 2006-12-07 | Paper |
| Classifying countable Boolean terms | 2006-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476786 | 2006-07-18 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| A reducibility for the dot-depth hierarchy | 2005-12-06 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664632 | 2005-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664635 | 2005-04-08 | Paper |
| Hierarchies in?-spaces and applications | 2005-02-16 | Paper |
| Wadge Degrees ofω-Languages of Deterministic Turing Machines | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418640 | 2003-08-11 | Paper |
| Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4406623 | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782720 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762531 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942622 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936674 | 2000-01-31 | Paper |
| Fine hierarchy of regular \(\omega\)-languages | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837740 | 1997-02-24 | Paper |
| On recursively enumerable structures | 1997-02-11 | Paper |
| Fine hierarchies and Boolean terms | 1995-10-31 | Paper |
| Recursiveness of ω‐Operations | 1994-09-08 | Paper |
| Jumps of certain classes of \(\Delta_ 2^ 0\)-sets | 1993-12-06 | Paper |
| Refined hierarchy of formulas | 1993-06-29 | Paper |
| Fine hierarchy and definable index sets | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026934 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005036 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986256 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712236 | 1992-06-25 | Paper |
| Index sets of classes of hyper-hypersimple sets | 1992-06-25 | Paper |
| Application of precomplete enumerations to tabular-type degrees and index sets | 1989-01-01 | Paper |
| Arithmetic hierarchy and ideals of enumerated Boolean algebras | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205433 | 1989-01-01 | Paper |
| Ershov hierarchy and the T-jump | 1988-01-01 | Paper |
| Algorithmic complexity of algebraic systems | 1988-01-01 | Paper |
| Index sets of quotient objects of the Post numeration | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815291 | 1988-01-01 | Paper |
| Automorphism groups of numbered sets | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791143 | 1987-01-01 | Paper |
| Ershov hierarchy | 1985-01-01 | Paper |
| Index sets in the hyperarithmetical hierarchy | 1984-01-01 | Paper |
| Hierarchy of limiting computations | 1984-01-01 | Paper |
| Hierarchies of hyperarithmetical sets and functions | 1983-01-01 | Paper |
| Structure of degrees of generalized index sets | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320353 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734385 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331213 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671954 | 1982-01-01 | Paper |
| Structures of the degrees of unsolvability of index sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880827 | 1979-01-01 | Paper |
| Enumerations of canonically calculable families of finite sets | 1978-01-01 | Paper |
| Some remarks about classes of recursively enumerable sets | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168913 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198492 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198743 | 1978-01-01 | Paper |
| Enumerations of families of general recursive functions | 1977-01-01 | Paper |
| Two theorems on computable numberings | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163201 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4117826 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133621 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182730 | 1976-01-01 | Paper |
