Anja Remshagen

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Security Policies

Top Venues

ACM Southeast Regional Conference

Publications

Anja Remshagen, Li Yang
Consistency checking in access control. CODASPY (2014)
Anja Remshagen, Christine Rolka
Contextualized learning tools: animations and robots. ACM Southeast Regional Conference (2014)
Anja Remshagen
Consistency checking in privacy-aware access control. ACM Southeast Regional Conference (2013)
Hans Kleine Büning, Anja Remshagen
An upper bound for the circuit complexity of existentially quantified Boolean formulas. Theor. Comput. Sci. 411 (31-33) (2010)
Anja Remshagen
Making discrete mathematics relevant. ACM Southeast Regional Conference (2010)
Anja Remshagen, Klaus Truemper
An Alternative Representation for QBF. IC-AI (2009)
Anja Remshagen, Klaus Truemper
The Complexity of Futile Questioning. FCS (2007)
Ben Browning, Anja Remshagen
A SAT-based solver for Q-ALL SAT. ACM Southeast Regional Conference (2006)
N. Hristov, Anja Remshagen
Local search for quantified Boolean formulas. ACM Southeast Regional Conference (1) (2005)
Anja Remshagen, Klaus Truemper
An Effective Algorithm for the Futile Questioning Problem. J. Autom. Reason. 34 (1) (2005)
Charles Otwell, Anja Remshagen, Klaus Truemper
An Effective QBF Solver for Planning Problems. MSV/AMCS (2004)
Volker Kaibel, Anja Remshagen
On the Graph-Density of Random 0/1-Polytopes. RANDOM-APPROX (2003)
Anja Remshagen, Klaus Truemper
Learning in a Compiler for MINSAT Algorithms CoRR (2003)
Anja Remshagen, Klaus Truemper
Learning in a Compiler for MINSAT Algorithms. Theory Pract. Log. Program. 3 (3) (2003)