You are not logged in |
Back to the list of the institutes
Publications
Vincent Michielini
Number of publications: 42024
- 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
