- in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009)
"Applied foundations: proof mining in analysis" (2002)
- in: Blumensath A.
"Simple Monadic Theories" (2008) - in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
"Queries with guarded negation" (2012)
"First-order queries on databases embedded in an infinite structure" (1996)
- 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: 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: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - 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)
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
"Beth definability for the guarded fragment" (1999)
"Definable Completeness" (2004)
"Real Analytic Machines and Degrees" (2011)
"Galois Connections for Partial Algebras" (2004)
"Denotational completness revisited" (1999)
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
"Dependence and independence results for (impredicative) calculi of dependent types." (1992)
- in: Streicher T.
"Dependence and independence results for (impredicative) calculi of dependent types." (1992) - in: Streicher T.
"Independence results for calculi of dependent types." (1989)
- 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)
- in: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Freund A.
"A note on ordinal exponentiation and derivatives of normal functions" (2020)
"Herbrand's theorem and extractive proof theory" (2008)
- in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
"Specification and design of shared resource arbitration." (1991)
"Herbrand analyses in geometry: a case study" (2025)
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- 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)
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- in: Dinis B. and Pinto P.
"Effective metastability for a method of alternating resolvents" (2024) - 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: 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: Di Nola A. and Leuştean L.
"Compact representations of BL-algebras" (2003) - in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000)
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
"Real Computation with Least Discrete Advice" (2012)
"On the disjunctive Markov principle" (2015)
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005)
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)
"Views of distributed systems." (1987)
"Distribution algebras and duality" (2000)
"The logic of explicitly representation-invariant circuits" (1997)
"On computational properties of Cauchy problems generated by accretive operators" (2023)
- in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
"Domain-theoretic Foundations of Functional Programming" (2006)
"Things that can and things that can't be done in PRA" (2000)
"Interrelation between weak fragments of double negation shift and related principles" (2018)
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009) - in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)
- in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) - in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
"Pebble games and linear equations" (2012)
- 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: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
"The freedoms of (guarded) bisimulation" (2014)
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
