"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
- in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
"Adding FOR-loops to first-order logic" (1999)
"Proof-theoretic methods in nonlinear analysis" (2019)
"From Calculus to Algorithms without Errors" (2014)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000) - 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: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994)
"Recent progress in proof mining in nonlinear analysis" (2017)
"On Intermediate Justification Logics" (2023)
- in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
"Quantitative image recovery theorems" (2014)
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
- in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) - in: Streicher T.
"Dependence and independence results for (impredicative) calculi of dependent types." (1992)
"Impredicativity entails untypedness" (2002)
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
"Semantics of Type Theory" (1991)
"Avoiding incidental homomorphisms into guarded covers" (2009)
- in: Streicher T.
"Dependence and independence results for (impredicative) calculi of dependent types." (1992) - in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992) - in: Streicher T.
"Independence results for calculi of dependent types." (1989)
"Modular functional modelling of Petri nets with individual tokens. " (1992)
