Cornelia Tadros

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 4

Top Topics

Information Flows

Belief Revision

Probabilistic Reasoning

Top Venues

Ann. Math. Artif. Intell.

Computational Models of Rationality

Technical University Dortmund, Germany (PHD)

Education History

Technical University Dortmund, Germany

PHD

Publications

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