Vincent Michielini

According to our database, Vincent Michielini authored at least 9 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Reachability in VASS Extended with Integer Counters.

Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

CoRR, March, 2026

Revisiting Conjunctive Query Entailment for S.

Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Two-Variable Logic for Hierarchically Partitioned and Ordered Data.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

Uniformisation of Regular Relations in First-Order Logic with Two Variables.

Nathan Lhote, Vincent Michielini, Michal Skrzypczak

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

On the complexity of Maslov's class K.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

On the Complexity of Maslov's Class K (Extended Abstract).

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2020

Regular Choice Functions and Uniformisations For countable Domains.

Vincent Michielini, Michal Skrzypczak

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019

Uniformisation Gives the Full Strength of Regular Languages.

Nathan Lhote, Vincent Michielini, Michal Skrzypczak

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Uniformization Problem for Variants of First Order Logic over Finite Words.

Vincent Michielini

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018