Uniformization Problem for Variants of First Order Logic over Finite Words. - Vincent Michielini (DLT, 2018)

Uniformisation Gives the Full Strength of Regular Languages. - Nathan Lhote; Vincent Michielini; Michal Skrzypczak (MFCS, 2019)

Regular Choice Functions and Uniformisations For countable Domains. - Vincent Michielini; Michal Skrzypczak (MFCS, 2020)

On the Complexity of Maslov's Class K (Extended Abstract). - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (Description Logics, 2024)

On the complexity of Maslov's class K. - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (LICS, 2024)

Uniformisation of Regular Relations in First-Order Logic with Two Variables. - Nathan Lhote; Vincent Michielini; Michal Skrzypczak (LICS, 2024)