Michel Boyer

	2011
19		Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer: Undesirable Aspect Interactions: A Prevention Policy. TASE 2011: 225-228
18		Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer: A Categorical Modeling Approach of Aspect-Oriented Systems. TASE 2011: 85-92
	2010
17		Alidou Ouedraogo, Michel Boyer: The impact of IT on the growth and development of insular firms. J. Systems and IT 12(4): 289-304 (2010)
	2009
16		Michel Boyer, Ran Gelles, Tal Mor: Security of the Bennett-Brassard Quantum Key Distribution Protocol against Collective Attacks. Algorithms 2(2): 790-807 (2009)
	2007
15		Michel Boyer, Dan Kenigsberg, Tal Mor: Quantum Key Distribution with Classical Bob. ICQNM 2007: 10
14		Michel Boyer, Dan Kenigsberg, Tal Mor: Quantum Key Distribution with Classical Bob CoRR abs/quant-ph/0703107: (2007)
	2006
13		Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury: A Proof of the Security of Quantum Key Distribution. J. Cryptology 19(4): 381-439 (2006)
	2005
12		Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury: A Proof of the Security of Quantum Key Distribution CoRR abs/quant-ph/0511175: (2005)
	2002
11		Eli Biham, Michel Boyer, Gilles Brassard, Jeroen van de Graaf, Tal Mor: Security of Quantum Key Distribution against All Collective Attacks. Algorithmica 34(4): 372-388 (2002)
	2001
10		François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer: Optimal design of synchronous circuits using software pipelining techniques. ACM Trans. Design Autom. Electr. Syst. 6(4): 516-532 (2001)
	2000
9		Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury: A proof of the security of quantum key distribution (extended abstract). STOC 2000: 715-724
	1999
8		Gilles Pesant, Michel Boyer: Reasoning about Solids Using Constraint Logic Programming. J. Autom. Reasoning 22(2): 241-262 (1999)
	1994
7		Gilles Pesant, Michel Boyer: QUAD-CLP(R): Adding the Power of Quadratic Constraints. PPCP 1994: 95-108
	1993
6		Gilles Pesant, Michel Boyer: Handling Quadratic Constraints through Geometry. ILPS 1993: 659
	1991
5		Paul Tarau, Michel Boyer: Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300
	1990
4		Paul Tarau, Michel Boyer: Elementary Logic Programs. PLILP 1990: 159-173
	1988
3		Paul Tarau, Michel Boyer: Prolog Meta-Programming with Soft Databases. META 1988: 365-381
	1987
2		Michel Boyer: Towards Functional Logic Grammars. Natural Language Understanding and Logic Programming Workshop 1987: 45-61
	1984
1		Michel Boyer, Guy Lapalme: Generating Sentences from Semantic Networks. Natural Language Understanding and Natural Language Understanding Workshop 1984: 181-189

Coauthor Index

1	El Mostapha Aboulhamid	[10]
2	Eli Biham	[9] [11] [12] [13]
3	François R. Boyer	[10]
4	P. Oscar Boykin	[9] [12] [13]
5	Gilles Brassard	[11]
6	Ran Gelles	[16]
7	Jeroen van de Graaf	[11]
8	Dan Kenigsberg	[14] [15]
9	Guy Lapalme	[1]
10	Tal Mor	[9] [11] [12] [13] [14] [15] [16]
11	Alidou Ouedraogo	[17]
12	Gilles Pesant	[6] [7] [8]
13	Vwani P. Roychowdhury	[9] [12] [13]
14	Arsène Sabas	[18] [19]
15	Yvon Savaria	[10]
16	Subash Shankar	[18] [19]
17	Paul Tarau	[3] [4] [5]
18	Virginie Wiels	[18] [19]

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