Publications

Vincent Michielini

2024

• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation of Regular Relations in First-Order Logic with Two Variables, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 July 2024 - 11 July 2024, 8 2024, p. 1-13. See in PBN

2020

• Vincent Michielini , Michał Skrzypczak , Regular Choice Functions and Uniformisations For countable Domains, 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechia, 24 August 2020 - 28 August 2020, 170 2020, p. 69:1--69:13. See in PBN

2019

• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation Gives the Full Strength of Regular Languages, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, 26 August 2019 - 30 August 2019, 138 2019, p. 61:1--61:13. See in PBN

2018

• Vincent Michielini , Uniformization Problem for Variants of First Order Logic over Finite Words, 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Tokio, Japan, 10 September 2018 - 14 September 2018. See in PBN