- in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Kohlenbach U.
"A note on the -induction rule" (1995)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"Higher order reverse mathematics" (2005)
- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
- in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
- in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006)
"Boundedness of monadic FO over acyclic structures" (2007)
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
"Relative completeness for logics of functional programs." (2011)
- in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
- in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013)
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016)
- in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Ciardelli I. and Otto M.
"Bisimulation in inquisitive modal logic" (2017)
"Proof-theoretic methods in nonlinear analysis" (2019)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)
"The boundedness problem for monadic universal first-order logic" (2006)
"Axiomatising Tree-Interpretable Structures" (2003)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
"Boundedness of monadic second-order formulae over finite words" (2009)
"Computational Complexity of Quantum Satisfiability" (2011)
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
"The use of a logical principle of uniform boundedness in analysis" (1999)
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
