Rafal Gruszczynski

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Conditional algebras.
Ann. Pure Appl. Log.
Sergio A. Celani, Rafal Gruszczynski, Paula Menchón
2025 J jnl
Hybrid Logic of Strict Betweenness.
J. Philos. Log.
Rafal Gruszczynski, Zhiguang Zhao
2025 J jnl
The Sum Relation as a Primitive Concept of Mereology.
Stud Logica
Rafal Gruszczynski, Dazhu Li
2024 J jnl
Grzegorczyk and Whitehead Points: The Story Continues.
J. Philos. Log.
Rafal Gruszczynski, Santiago Jockwich Martinez
2023 J jnl
From Contact Relations to Modal Operators, and Back.
Stud Logica
Rafal Gruszczynski, Paula Menchón
2023 J jnl
Grzegorczyk Points and filters in Boolean contact Algebras.
Rev. Symb. Log.
Rafal Gruszczynski, Andrzej Pietruszczak
2019 J jnl
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.
Stud Logica
Rafal Gruszczynski, Andrzej Pietruszczak
2018 J jnl
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.
Stud Logica
Rafal Gruszczynski, Andrzej Pietruszczak
2017 J jnl
Point-Free Geometry, ovals, and half-planes.
Rev. Symb. Log.
Giangiacomo Gerla, Rafal Gruszczynski
2008 J jnl
Full Development of Tarski's Geometry of Solids.
Bull. Symb. Log.
Rafal Gruszczynski, Andrzej Pietruszczak
2007 J jnl
Pieri's Structures.
Fundam. Informaticae
Rafal Gruszczynski, Andrzej Pietruszczak
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