- in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002)
- 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. and Oliva P.
"Proof mining in L-approximation" (2003) - in: Otto M.
"Note on the number of monadic quantifiers in monadic " (1995)
"Ptime canonization for two variables with counting" (1995)
"Relative completeness for logics of functional programs." (2011)
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
"Bounded Arithmetic and Descriptive Complexity" (2000)
- in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000) - in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"Bounded Arithmetic and Descriptive Complexity" (2000)
"Modular functional modelling of Petri nets with individual tokens. " (1992)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003)
