L'Axiome de Normalité pour les Espaces Totalement Ordonnés. - Labib Haddad; Marianne Morillon (J. Symb. Log., 1990)

Extreme Choices on Complete Lexicographic Orders. - Marianne Morillon (Math. Log. Q., 1991)

Automatic Generation of Valid Linear Measures for CLP(Q) Programs. - Frédéric Mesnard; Marianne Morillon (WSA, 1992)

The Hahn-Banach Property and the Axiom of Choice. - J. Dodu; Marianne Morillon (Math. Log. Q., 1999)

Dependent Choices and Weak Compactness. - Christian Delhommé; Marianne Morillon (Notre Dame J. Formal Log., 1999)

Three generators for minimal writing-space computations. - Serge Burckel; Marianne Morillon (RAIRO Theor. Informatics Appl., 2000)

Quadratic Sequential Computations of Boolean Mappings. - Serge Burckel; Marianne Morillon (Theory Comput. Syst., 2004)

Sequential computation of linear Boolean mappings. - Serge Burckel; Marianne Morillon (Theor. Comput. Sci., 2004)

James sequences and Dependent Choices. - Marianne Morillon (Math. Log. Q., 2005)

Spanning Graphs and the Axiom of Choice. - Christian Delhommé; Marianne Morillon (Reports Math. Log., 2006)

Notions of compactness for special subsets of RI and some weak forms of the axiom of choice. - Marianne Morillon (J. Symb. Log., 2010)

Some consequences of Rado's selection lemma. - Marianne Morillon (Arch. Math. Log., 2012)

Nash equilibria and values through modular partitions in infinite games. - Marianne Morillon; Patricia Spinelli (Discret. Math., 2012)

Helly Spaces and Radon Measures on Complete Lines. - Marianne Morillon (Order, 2012)

Three-space type Hahn-Banach properties. - Marianne Morillon (Math. Log. Q., 2017)

Multiple Choices Imply the Ingleton and Krein-Milman Axioms. - Marianne Morillon (J. Symb. Log., 2020)