Cornelia Tadros

12 papers B 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2017 J jnl
Confidentiality enforcement by hybrid control of information flows.
CoRR
Joachim Biskup, Cornelia Tadros, Jaouad Zarouali
2016 — conf
On the Simulation Assumption for Controlled Interaction Processing.
Computational Models of Rationality
Joachim Biskup, Cornelia Tadros
2015 B conf
Constructing Inference-Proof Belief Mediators.
DBSec
Joachim Biskup, Cornelia Tadros
2015 J jnl
Preserving confidentiality while reacting on iterated queries and belief revisions.
Ann. Math. Artif. Intell.
Joachim Biskup, Cornelia Tadros
2014 — —
Belief change operations under confidentiality requirements in multiagent systems.
Cornelia Tadros
2014 — conf
Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services.
ESSoS
Joachim Biskup, Cornelia Tadros
2014 — conf
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.
FoIKS
Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros
2012 — conf
Revising Belief without Revealing Secrets.
FoIKS
Joachim Biskup, Cornelia Tadros
2011 — conf
Inference-Proof View Update Transactions with Minimal Refusals.
DPM/SETOP
Joachim Biskup, Cornelia Tadros
2010 — conf
Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation.
IWSEC (Short Papers)
Joachim Biskup, Cornelia Tadros
2010 — conf
Towards Controlled Query Evaluation for Incomplete First-Order Databases.
FoIKS
Joachim Biskup, Cornelia Tadros, Lena Wiese
2009 — conf
Using SAT-Solvers to Compute Inference-Proof Database Instances.
DPM/SETOP
Cornelia Tadros, Lena Wiese