Ingo Battenfeld

13 papers B 3C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2015 J jnl
Observationally-induced lower and upper powerspace constructions.
J. Log. Algebraic Methods Program.
Ingo Battenfeld, Matthias Schröder
2014 J jnl
Observationally-induced algebras in Domain Theory.
Log. Methods Comput. Sci.
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
2013 J jnl
Comparing approaches to free dcpo-algebra constructions.
J. Log. Algebraic Methods Program.
Ingo Battenfeld
2013 — conf
Observationally-induced Algebras in Domain Theory.
ISDT
Ingo Battenfeld
2012 B conf
Observationally-induced Effects in Cartesian Closed Categories.
MFPS
Ingo Battenfeld
2011 B conf
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions.
MFPS
Ingo Battenfeld, Matthias Schröder
2010 C conf
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
CCA
Ingo Battenfeld
2010 J jnl
Comparing free algebras in Topological and Classical Domain Theory.
Theor. Comput. Sci.
Ingo Battenfeld
2008 — —
Topological domain theory.
Ingo Battenfeld
2007 — conf
A Convenient Category of Domains.
Computation, Meaning, and Logic
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2006 — conf
A convenient category of domains.
Computational Structures for Modelling Space, Time and Causality
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2006 J jnl
Compactly generated domain theory.
Math. Struct. Comput. Sci.
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2006 B conf
Computational Effects in Topological Domain Theory.
MFPS
Ingo Battenfeld
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling