Computational Effects in Topological Domain Theory. - Ingo Battenfeld (MFPS, 2006)

Compactly generated domain theory. - Ingo Battenfeld; Matthias Schröder 001; Alex Simpson (Math. Struct. Comput. Sci., 2006)

A Convenient Category of Domains. - Ingo Battenfeld; Matthias Schröder 001; Alex Simpson (Computation, Meaning, and Logic, 2007)

Topological domain theory. - Ingo Battenfeld (2008)

A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract) - Ingo Battenfeld (CCA, 2010)

Comparing free algebras in Topological and Classical Domain Theory. - Ingo Battenfeld (Theor. Comput. Sci., 2010)

Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. - Ingo Battenfeld; Matthias Schröder 001 (MFPS, 2011)

Observationally-induced Effects in Cartesian Closed Categories. - Ingo Battenfeld (MFPS, 2012)

Observationally-induced Algebras in Domain Theory. - Ingo Battenfeld (ISDT, 2013)

Comparing approaches to free dcpo-algebra constructions. - Ingo Battenfeld (J. Log. Algebraic Methods Program., 2013)

Observationally-induced algebras in Domain Theory. - Ingo Battenfeld; Klaus Keimel; Thomas Streicher (Log. Methods Comput. Sci., 2014)

Observationally-induced lower and upper powerspace constructions. - Ingo Battenfeld; Matthias Schröder 001 (J. Log. Algebraic Methods Program., 2015)