- in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017)
- in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999)
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) - in: Kohlenbach U.
"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kreuzer A.P.
"On the strength of weak compactness." (2012) - in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013)
- in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008)
- in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025) - in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Escardó M., Hofmann M. and Streicher T.
"On the non-sequential nature of the interval-domain model of real-number computation" (2004) - in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001) - in: Pischke N.
"On Infinitary Gödel Logics" (2023) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- in: Freund A.
"A mathematical commitment without computational strength" (2022) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) - in: Kohlenbach U.
"Proof Interpretations and the Computational Content of Proofs" (2005) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Leuştean L. and Pinto P.
"Quantitative results on a Halpern-type proximal point algorithm" (2021) - in: Pinto P. and Pischke N.
"On computational properties of Cauchy problems generated by accretive operators" (2023) - in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010)
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) - in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Bae S.W., Baffier J.F., Chun J., Eades P., Eickmeyer K., Grilli L., Hong S.H., Korman M., Montecchiani F., Rutter I. and Tóth C.D.
"Gap-planar graphs" (2018) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011) - in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000) - in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009) - in: Keimel K. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Keimel K.
"Bi-continuous valuations" (1998) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) - in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) - in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) - in: Streicher T.
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017) - in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020)
"Effective bounds from proofs in abstract functional analysis" (2008)
"From Kruskal's theorem to Friedman's gap condition" (2020)
- in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) - in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992)
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) - in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
- in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
- in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) - in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
- in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Freund A.
"A Note on Iterated Consistency and Infinite Proofs" (2019) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017)
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
"A tiny constraint functional logic language and its continuation semantics." (1994)
- in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019) - in: Streicher T.
"Inductive construction of repletion" (1999)
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
"Relative constructivity" (1998)
- in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023) - in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021) - in: Kohlenbach U., Leuştean L. and Nicolae A.
"Quantitative results on Fejér monotone sequences " (2018) - in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
- in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) - in: Kohlenbach U.
"Proof Interpretations and the Computational Content of Proofs" (2005) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025) - in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010)
- in: Hofmann M. and Streicher T.
"Completeness of continuation models for -calculus" (2002) - in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998)
- in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013)
- in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002) - in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007) - in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) - in: Briseid E.M.
"Some Results on Kirk's Asymptotic Contractions" (2007) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012)
"Fixed Points of Generalized Contractive Mappings" (2008)
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001) - in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
- in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007) - in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023) - in: Dinis B. and Pinto P.
"On the convergence of algorithms with Tikhonov regularization terms" (2021) - in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024) - in: Treusch J. and Kohlenbach U.
"Rates of convergence for splitting algorithms" (2025)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - in: Dinis B. and Pinto P.
"Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021) - in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) - in: Keimel K. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U. and Pinto P.
"Fejér monotone sequences revisited" (2025) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Pinto P.
"Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
"The extended probabilistic power domain monad over stably compact spaces" (2006)
"Effective bounds from proofs in abstract functional analysis" (2008)
"Proof mining in functional analysis (abstract)" (2005)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
"Constructive toposes with countable sums as models of constructive set theory." (2012)
"Quotients of countably based spaces are not closed under sobrification." (2006)
"Recognizability, Hypergraph Operations, and Logical Types" (2006)
- in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
- in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"Universes in Toposes" (2005)
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
- in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) - in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995) - in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997) - in: Streicher T.
"Independence results for calculi of dependent types." (1989)
"Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)
- in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008)
- in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
"On the finitary content of Dykstra's cyclic projections algorithm" (2025)
