Cecylia Rauszer

12 papers B 1C 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
1993 C conf
Approximation Methods for Knowledge Representation Systems.
ISMIS
Cecylia Rauszer
1993 J jnl
Dependencies in Relaional Databases Algebraic and Logical Approch.
Fundam. Informaticae
Cecylia Rauszer
1992 J jnl
Algebraic considerations of autoepistemic logic.
Fundam. Informaticae
Cecylia Rauszer
1992 J jnl
Logic for information systems.
Fundam. Informaticae
Cecylia Rauszer
1992 — conf
Rough Logic for Multi-Agent Systems.
Logic at Work
Cecylia Rauszer
1992 — ch.
The Discernibility Matrices and Functions in Information Systems.
Intelligent Decision Support
Andrzej Skowron, Cecylia Rauszer
1991 J jnl
Algebraic considerations of autoepistemic logic.
Fundam. Informaticae
Cecylia Rauszer
1991 J jnl
Reducts in information systems.
Fundam. Informaticae
Cecylia Rauszer
1990 B conf
Expansions and Models of Autoepistemic Theories.
CSL
Cecylia Rauszer
1988 C conf
On Stable Autoepistemic Theories.
ISMIS
Cecylia Rauszer
1984 — conf
An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic.
Symposium on Computation Theory
Cecylia Rauszer
1983 J jnl
Logical Foundation Approach to Users' Domain Restriction in Data Bases.
Theor. Comput. Sci.
Andrzej Jankowski, Cecylia Rauszer
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling