Ingo Battenfeld

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Explanation Based Generalization

Polar Coordinates

Top Venues

J. Log. Algebraic Methods Program.

Log. Methods Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Ingo Battenfeld, Matthias Schröder
Observationally-induced lower and upper powerspace constructions. J. Log. Algebraic Methods Program. 84 (5) (2015)
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
Observationally-induced algebras in Domain Theory. Log. Methods Comput. Sci. 10 (3) (2014)
Ingo Battenfeld
Comparing approaches to free dcpo-algebra constructions. J. Log. Algebraic Methods Program. 82 (1) (2013)
Ingo Battenfeld
Observationally-induced Algebras in Domain Theory. ISDT (2013)
Ingo Battenfeld
Observationally-induced Effects in Cartesian Closed Categories. MFPS (2012)
Ingo Battenfeld, Matthias Schröder
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. MFPS (2011)
Ingo Battenfeld
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract) CCA (2010)
Ingo Battenfeld
Comparing free algebras in Topological and Classical Domain Theory. Theor. Comput. Sci. 411 (19) (2010)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A Convenient Category of Domains. Electron. Notes Theor. Comput. Sci. 172 (2007)
Ingo Battenfeld
Computational Effects in Topological Domain Theory. MFPS (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
Compactly generated domain theory. Math. Struct. Comput. Sci. 16 (2) (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A convenient category of domains. Computational Structures for Modelling Space, Time and Causality (2006)