"Some trends in lattice-ordered groups and rings" (1995)
"Rates of convergence for splitting algorithms" (2025)
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
"Analysing proofs in analysis" (1996)
- in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011)
- in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008)
"Simple Monadic Theories" (2008)
"The groupoid interpretation of type theory" (1998)
- in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Quantitative asymptotic regularity for the composition of two mappings" (2017) - in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Otto M.
"Ptime canonization for two variables with counting" (1995)
- in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) - 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: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) - 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: Pinto P.
"A rate of metastability for the Halpern type Proximal Point Algorithm" (2021) - in: Streicher T.
"Semantics of Type Theory" (1991)
- in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) - in: Streicher T.
"Universes in Toposes" (2005) - in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994) - 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: 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)
