The Axiom of Choice in Second-Order Predicate Logic. - Christine Gaßner (Math. Log. Q., 1994)

On NP-Completeness for Linear Machines. - Christine Gaßner (J. Complex., 1997)

The P-DNP Problem for Infinite Abelian Groups. - Christine Gaßner (J. Complex., 2001)

On Relativizations of the P =? NP Question for Several Structures. - Christine Gaßner (CCA, 2008)

A Hierarchy below the Halting Problem for Additive Machines. - Christine Gaßner (Theory Comput. Syst., 2008)

Relativizations of the P =? DNP Question for the BSS Model. - Christine Gaßner (CCA, 2009)

Oracles and Relativizations of the P =? NP Question for Several Structures. - Christine Gaßner (J. Univers. Comput. Sci., 2009)

The Separation of Relativized Versions of P and DNP for the Ring of the Reals. - Christine Gaßner (J. Univers. Comput. Sci., 2010)

Strong Turing Degrees for Additive BSS RAM's. - Christine Gaßner (Log. Methods Comput. Sci., 2013)

Computation over algebraic structures and a classification of undecidable problems. - Christine Gaßner (Math. Struct. Comput. Sci., 2017)

Computing Measure as a Primitive Operation in Real Number Computation. - Christine Gaßner; Arno Pauly; Florian Steinberg 001 (CSL, 2021)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs. - Christine Gaßner (CoRR, 2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms. - Christine Gaßner (CoRR, 2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms. - Christine Gaßner (CoRR, 2025)