Nondeterministic Light Logics and NP-Time. - François Maurel (TLCA, 2003)

Un cadre quantitatif pour la Ludique. (A quantitative Ludics framework). - François Maurel (2004)

Ludics Nets, a game Model of Concurrent Interaction. - Claudia Faggian; François Maurel (LICS, 2005)

Concurrent nets: A study of prefixing in process calculi. - Emmanuel Beffara; François Maurel (Theor. Comput. Sci., 2006)

2D and 3D QSAR studies of diarylpyrimidine HIV-1 reverse transcriptase inhibitors. - Joseph Rebehmed; Florent Barbault; Cátia Teixeira; François Maurel (J. Comput. Aided Mol. Des., 2008)

Is inhibition process better described with MD(QM/MM) simulations? The case of urokinase type plasminogen activator inhibitors. - Florent Barbault; François Maurel (J. Comput. Chem., 2012)

Computing cavities, channels, pores and pockets in proteins from non-spherical ligands models. - Lydia Benkaidali; François André; Boubekeur Maouche; Pridi Siregar; Mohamed Benyettou; François Maurel; Michel Petitjean (Bioinform., 2014)

SCC-DFTB parameters for simulating hybrid gold-thiolates compounds. - Arnaud Fihey; Christian Hettich; Jérémy Touzeau; François Maurel; Aurélie Perrier; Christof Köhler; Bálint Aradi; Thomas Frauenheim (J. Comput. Chem., 2015)

DockSurf: A Molecular Modeling Software for the Prediction of Protein/Surface Adhesion. - Florent Barbault; Éric Brémond; Julien Rey; Pierre Tufféry; François Maurel (J. Chem. Inf. Model., 2023)