- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
"Specification and design of shared resource arbitration." (1991)
"A note on Spector's quantifier-free rule of extensionality" (2001)
"The prime and maximal spectra and the reticulation of BL-algebras" (2003)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
"The Michael completion of a topos spread" (2002)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995) - in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) - in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002) - in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Broy M. and Streicher T.
"Views of distributed systems." (1987) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014) - in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) - in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013) - in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) - in: Streicher T.
"Independence results for calculi of dependent types." (1989)
- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) - in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999) - in: Otto M.
"Eliminating recursion in the mu-calculus" (1999) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997)
"Arithmetizing proofs in analysis" (1998)
"Canonization for two variables and puzzles on the square" (1997)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017)
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Otto M.
"Eliminating recursion in the mu-calculus" (1999)
- in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - 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: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
