"The use of a logical principle of uniform boundedness in analysis" (1999)
- in: Blumensath A.
"Structures of Bounded Partition Width" (2003)
- in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) - in: Blumensath A.
"Automatic Structures" (1999)
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
"Projective topology on bifinite domains and applications" (2006)
"About Hoare logics for higher-order store" (2005)
- in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - 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: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - 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., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
"Full abstraction and universality via realisability" (1999)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
- 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.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Pinto P. and Pischke N.
"On computational properties of Cauchy problems generated by accretive operators" (2023) - in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)
"Ackermann and Goodstein go functorial" (2021)
- in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012)
"Order environments of topological spaces" (2004)
- in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - 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)
"Acyclicity in finite groups and groupoids" (2018)
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
"On the Halpern method with adaptive anchoring parameters" (2024)
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) - in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
"Distribution algebras and duality" (2000)
"Certifying Kalman Filters" (2003)
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Freund A.
"Pi-Comprehension as a Well-Ordering Principle" (2019) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
"Shoenfield is Goedel after Krivine" (2007)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Ackermann and Goodstein go functorial" (2021)
"Certifying optimality of state estimation programs" (2003)
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- 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: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009) - in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
- in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000) - in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) - in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) - 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.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Leuştean L.
"Representations of many-valued algebras" (2004)
- in: Dinis B. and Pinto P.
"Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021) - in: Dinis B. and Pinto P.
"Metastability of the proximal point algorithm with multi-parameters" (2020) - 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.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - 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: Leuştean L. and Pinto P.
"Quantitative results on a Halpern-type proximal point algorithm" (2021) - in: Leuştean L., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pinto P. and Pischke N.
"On Dykstra's algorithm with Bregman projections" (2024) - in: Pinto P.
"Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024) - in: Pinto P.
"A rate of metastability for the Halpern type Proximal Point Algorithm" (2021) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- in: Dinis B. and Pinto P.
"On the convergence of algorithms with Tikhonov regularization terms" (2021) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023) - in: Pischke N. and Kohlenbach U.
"Quantitative analysis of a subgradient-type method for equilibrium problems" (2022) - in: Treusch J. and Kohlenbach U.
"Rates of convergence for splitting algorithms" (2025)
"In domain realizability, not all functionals on are continuous." (2002)
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) - in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995)
"The Role of Quantifier Alternations in Cut Elimination" (2005)
"Valuations and measures on stably compact spaces" (2004)
"Amalgamation and symmetry: from local to global consistency in the finite" (2017)
"Real Benefit of Promises and Advice" (2013)
- in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Pinto P.
"Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
"Certifying Kalman Filters" (2003)
