"The logic of explicitly representation-invariant circuits" (1997)
- in: Freund A.
"Well ordering principles and Pi-statements: a pilot study" (2021)
- in: Freund A.
"Pi-Comprehension as a Well-Ordering Principle" (2019) - in: Kohlenbach U.
"A note on the -induction rule" (1995) - in: Otto M.
"Note on the number of monadic quantifiers in monadic " (1995)
"A note on ordinal exponentiation and derivatives of normal functions" (2020)
- in: Otto M.
"Expressive completeness through logically tractable models" (2013) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996)
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
- in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
- in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005)
"A note on Spector's quantifier-free rule of extensionality" (2001)
- in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT-spaces" (2017) - in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012)
"Herbrand's theorem and extractive proof theory" (2008)
"On Korpelevich's Extragradient Algorithm" (2023)
