Vincent Michielini

12 papers A* 4B 2C 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reachability in VASS Extended with Integer Counters.
CoRR
Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks
2026 A* conf
Revisiting Conjunctive Query Entailment for S.
AAAI
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 J jnl
Revisiting Conjunctive Query Entailment for 𝒮.
CoRR
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 A* conf
Two-Variable Logic for Hierarchically Partitioned and Ordered Data.
KR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2025 J jnl
Two-Variable Logic for Hierarchically Partitioned and Ordered Data.
CoRR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 — conf
On the Complexity of Maslov's Class K (Extended Abstract).
Description Logics
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 A* conf
On the complexity of Maslov's class K.
LICS
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 J jnl
On the complexity of Maslov's class K.
CoRR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 A* conf
Uniformisation of Regular Relations in First-Order Logic with Two Variables.
LICS
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
2020 B conf
Regular Choice Functions and Uniformisations For countable Domains.
MFCS
Vincent Michielini, Michal Skrzypczak
2019 B conf
Uniformisation Gives the Full Strength of Regular Languages.
MFCS
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
2018 C conf
Uniformization Problem for Variants of First Order Logic over Finite Words.
DLT
Vincent Michielini
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