Christine Gaßner

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Pattern Recognition Tasks

Blind Signal Separation

Benchmark Datasets

Algebraic Structures

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Christine Gaßner, Arno Pauly, Florian Steinberg
Computing Measure as a Primitive Operation in Real Number Computation. CSL (2021)
Christine Gaßner
Computation over algebraic structures and a classification of undecidable problems. Math. Struct. Comput. Sci. 27 (8) (2017)
Christine Gaßner
Strong Turing Degrees for Additive BSS RAM's. Log. Methods Comput. Sci. 9 (4) (2013)
Christine Gaßner
The Separation of Relativized Versions of P and DNP for the Ring of the Reals. J. Univers. Comput. Sci. 16 (18) (2010)
Christine Gaßner
Oracles and Relativizations of the P =? NP Question for Several Structures. J. Univers. Comput. Sci. 15 (6) (2009)
Christine Gaßner
Relativizations of the P =? DNP Question for the BSS Model. CCA (2009)
Christine Gaßner
On Relativizations of the P =? NP Question for Several Structures. Electron. Notes Theor. Comput. Sci. 221 (2008)
Christine Gaßner
A Hierarchy below the Halting Problem for Additive Machines. Theory Comput. Syst. 43 (3-4) (2008)
Christine Gaßner
The P-DNP Problem for Infinite Abelian Groups. J. Complex. 17 (3) (2001)
Christine Gaßner
On NP-Completeness for Linear Machines. J. Complex. 13 (2) (1997)
Christine Gaßner
The Axiom of Choice in Second-Order Predicate Logic. Math. Log. Q. 40 (1994)