ML is not finitely axiomatizable over Cheq. - Gaëlle Fontaine (Advances in Modal Logic, 2006)

Continuous Fragment of the mu-Calculus. - Gaëlle Fontaine (CSL, 2008)

An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. - Balder ten Cate; Gaëlle Fontaine (FICS, 2009)

An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. - Balder ten Cate; Gaëlle Fontaine (FoSSaCS, 2010)

Automata for Coalgebras: An Approach Using Predicate Liftings. - Gaëlle Fontaine; Raul Andres Leal; Yde Venema (ICALP (2), 2010)

Frame Definability for Classes of Trees in the µ-calculus. - Gaëlle Fontaine; Thomas Place (MFCS, 2010)

Some modal aspects of XPath. - Balder ten Cate; Gaëlle Fontaine; Tadeusz Litak (J. Appl. Non Class. Logics, 2010)

Vietoris Bisimulations. - Nick Bezhanishvili; Gaëlle Fontaine; Yde Venema (J. Log. Comput., 2010)

Expressive Path Queries on Graphs with Data. - Pablo Barceló; Gaëlle Fontaine; Anthony Widjaja Lin (LPAR, 2013)

Querying Incomplete Graphs with Data. - Amélie Gheerbrant; Gaëlle Fontaine (AMW, 2014)

Expressive Path Queries on Graph with Data. - Pablo Barceló; Gaëlle Fontaine; Anthony Widjaja Lin (Log. Methods Comput. Sci., 2015)

On the Data Complexity of Consistent Query Answering. - Balder ten Cate; Gaëlle Fontaine; Phokion G. Kolaitis (Theory Comput. Syst., 2015)

Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering? - Gaëlle Fontaine (ACM Trans. Comput. Log., 2015)

Cycle Detection in Computation Tree Logic. - Gaëlle Fontaine; Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Loredana Sorrentino (GandALF, 2016)

On the data complexity of consistent query answering over graph databases. - Pablo Barceló; Gaëlle Fontaine (J. Comput. Syst. Sci., 2017)

Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. - Gaëlle Fontaine; Yde Venema (Log. Methods Comput. Sci., 2018)

Corrections to "On the data complexity of consistent query answering over graph databases [Journal of Computer and System Sciences 88 (2017) 164-194]". - Pablo Barceló; Gaëlle Fontaine; Sylvain Salvati; Sophie Tison (J. Comput. Syst. Sci., 2026)