Critical Points of Pairs of Varieties of Algebras. - Pierre Gillibert (Int. J. Algebra Comput., 2009)

An infinite combinatorial statement with a poset parameter. - Pierre Gillibert; Friedrich Wehrung (Comb., 2011)

Congruence FD-Maximal Varieties of Algebras. - Pierre Gillibert; Miroslav Ploscica (Int. J. Algebra Comput., 2012)

The Finiteness Problem for Automaton Semigroups is Undecidable. - Pierre Gillibert (Int. J. Algebra Comput., 2014)

Pseudo-loop conditions. - Pierre Gillibert; Julius Jonusas; Michael Pinsker (CoRR, 2018)

Hrushovski's Encoding and ω-Categorical CSP Monsters. - Pierre Gillibert; Julius Jonusas; Michael Kompatscher; Antoine Mottet; Michael Pinsker (ICALP, 2020)

The VC-dimension of axis-parallel boxes on the Torus. - Pierre Gillibert; Thomas Lachmann; Clemens Müllner (J. Complex., 2022)

When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems. - Pierre Gillibert; Julius Jonusas; Michael Kompatscher; Antoine Mottet; Michael Pinsker (SIAM J. Comput., 2022)