François Bronsard

	2011
9		Roberto Silveira Silva Filho, François Bronsard, William M. Hasling: Experiences documenting and preserving software constraints using aspects. AOSD (Companion) 2011: 7-18
	2009
8		François Bronsard: Practical framework constraints. ESEC/SIGSOFT FSE 2009: 273-276
	1997
7		François Bronsard, Douglas Bryan, Wojtek Kozaczynski, Edy S. Liongosari, Jim Q. Ning, Ásgeir Ólafsson, John W. Wetterstrand: Toward Software Plug-and-Play. SSR 1997: 19-29
	1996
6		François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction Using Term Orders. J. Autom. Reasoning 16(1-2): 3-37 (1996)
	1994
5		François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction using Term Orderings. CADE 1994: 102-117
	1992
4		François Bronsard, Uday S. Reddy: Reduction Techniques for First-Order Reasoning. CTRS 1992: 242-256
3		François Bronsard, T. K. Lakshman, Uday S. Reddy: A Framework of Directionality for Proving Termination of Logic Programs. JICSLP 1992: 321-335
	1990
2		François Bronsard, Uday S. Reddy: Axiomatization of a Functional Logic Language. ALP 1990: 101-116
1		François Bronsard, Uday S. Francois: Conditional Rewriting in Focus. CTRS 1990: 2-13

Coauthor Index

1	Douglas Bryan	[7]
2	Roberto Silveira Silva Filho	[9]
3	Uday S. Francois	[1]
4	Robert W. Hasker	[5] [6]
5	William M. Hasling	[9]
6	Wojtek Kozaczynski	[7]
7	T. K. Lakshman	[3]
8	Edy S. Liongosari	[7]
9	Jim Q. Ning	[7]
10	Ásgeir Ólafsson	[7]
11	Uday S. Reddy	[2] [3] [4] [5] [6]
12	John W. Wetterstrand	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page