Axiomatization of a Functional Logic Language. - François Bronsard; Uday S. Reddy (ALP, 1990)

Conditional Rewriting in Focus. - François Bronsard; Uday S. Francois (CTRS, 1990)

Reduction Techniques for First-Order Reasoning. - François Bronsard; Uday S. Reddy (CTRS, 1992)

A Framework of Directionality for Proving Termination of Logic Programs. - François Bronsard; T. K. Lakshman; Uday S. Reddy (JICSLP, 1992)

Induction using Term Orderings. - François Bronsard; Uday S. Reddy; Robert W. Hasker (CADE, 1994)

Induction Using Term Orders. - François Bronsard; Uday S. Reddy; Robert W. Hasker (J. Autom. Reason., 1996)

Toward Software Plug-and-Play. - François Bronsard; Douglas Bryan; Wojtek Kozaczynski; Edy S. Liongosari; Jim Q. Ning; Ásgeir Ólafsson; John W. Wetterstrand (SSR, 1997)

Practical framework constraints. - François Bronsard (ESEC/SIGSOFT FSE, 2009)

Improving Global Development Using Agile. - Alberto Avritzer; François Bronsard; Gilberto Matos (Agility Across Time and Space, 2010)

Experiences documenting and preserving software constraints using aspects. - Roberto Silveira Silva Filho; François Bronsard; William M. Hasling (AOSD (Companion), 2011)