"Semantics and logic of object calculi" (2004)
"Observationally-induced algebras in Domain Theory" (2014)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"On the asymptotic behavior of odd operators" (2011)
"Bicontinuous domains and some old problems in domain theory" (2009)
- in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
- in: Kohlenbach U. and Oliva P.
"Proof mining in L-approximation" (2003) - in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
"Well-foundedness in realizability" (2006)
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - 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)
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025)
- 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 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: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) - 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. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
"Certifying optimality of state estimation programs" (2003)
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- 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: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022) - in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) - in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Quantitative asymptotic regularity for the composition of two mappings" (2017) - in: Kohlenbach U.
"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) - in: Leuştean L. and Pinto P.
"Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024) - 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: Pinto P.
"A rate of metastability for the Halpern type Proximal Point Algorithm" (2021) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025)
- in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) - in: Kohlenbach U.
"Higher order reverse mathematics" (2005) - in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (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.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
- 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.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
"A note on ordinal exponentiation and derivatives of normal functions" (2020)
- 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: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Ciardelli I. and Otto M.
"Inquisitive bisimulation" (2018) - in: Ciardelli I. and Otto M.
"Bisimulation in inquisitive modal logic" (2017) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) - in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - 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: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999) - in: Otto M.
"Acyclicity in finite groups and groupoids" (2018) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017) - 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: Otto M.
"Expressive completeness through logically tractable models" (2013) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"On groupoids and hypergraphs" (2012) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) - in: Otto M.
"Bisimulation invariance and finite models" (2006) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"An interpolation theorem" (2000) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) - in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) - in: Otto M.
"Eliminating recursion in the mu-calculus" (1999) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) - in: Otto M.
"Note on the number of monadic quantifiers in monadic " (1995) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994) - in: Otto M.
"Automorphism properties of stationary logic" (1992) - in: Otto M.
"EM functors for a class of generalized quantifiers" (1992) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - 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: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Streicher T.
"Universes in Toposes" (2005)
