1996

Revue Internationale avec comité de lecture

• [BC96

  @article {
  	BC96,
  	title	=	"{Linear programming for the 0-1 quadratic knapsack problem}",
  	author	=	"A. Billionnet and F. Calmels",
  	journal	=	"European J. of Operational Research",
  	year	=	1996,
  	volume	=	92,
  	number	=	2,
  	pages	=	"310-325",
  }

  ] A. Billionnet , F. Calmels - Linear programming for the 0-1 quadratic knapsack problem, European J. of Operational Research, vol. 92(2), pp. 310-325, 1996
• [CCS96

  @article {
  	CCS96,
  	title	=	"{Solving the dynamic facility location problem. Application to telecommunication networks}",
  	author	=	"P. Chardaire and M.-C. Costa and A. Sutter",
  	journal	=	"Networks",
  	year	=	1996,
  	volume	=	28,
  	number	=	2,
  	pages	=	"117-124",
  }

  ] P. Chardaire , M.-C. Costa , A. Sutter - Solving the dynamic facility location problem. Application to telecommunication networks, Networks, vol. 28(2), pp. 117-124, 1996
• [BBC96

  @article {
  	BBC96,
  	title	=	"{On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency}",
  	author	=	"K. Barkaoui and M. Bettaz and A. Chaoui",
  	journal	=	"J. of Computing and Information",
  	year	=	1996,
  	volume	=	2,
  	number	=	1,
  	pages	=	"470-481",
  }

  ] K. Barkaoui , M. Bettaz , A. Chaoui - On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency, J. of Computing and Information, vol. 2(1), pp. 470-481, 1996

Conférence Internationale avec comité de lecture

• [BF96

  @inproceedings {
  	BF96,
  	title	=	"{Interprocedural analysis for program comprehension by specialization}",
  	author	=	" S. Blazy and P. Facon ",
  	booktitle	=	"{4th IEEE Workshop on Program Comprehension, Berlin}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"133-141",
  }

  ] S. Blazy , P. Facon - Interprocedural analysis for program comprehension by specialization, 4th IEEE Workshop on Program Comprehension, Berlin, January 1996, pp.133-141,
• [BF96a

  @inproceedings {
  	BF96a,
  	title	=	"{An automatic interprocedural analysis for the understanding of scientific application programs}",
  	author	=	" S. Blazy and P. Facon ",
  	booktitle	=	"{Seminar on partial evaluation, Dagsthul castle}",
  	year	=	1996,
  	month	=	"January",
  	series	=	"LNCS 1110",
  	pages	=	"1-16",
  }

  ] S. Blazy , P. Facon - An automatic interprocedural analysis for the understanding of scientific application programs, Seminar on partial evaluation, Dagsthul castle, January 1996, pp.1-16, Series LNCS 1110,
• [BP96

  @inproceedings {
  	BP96,
  	title	=	"{On Liveness and Controlled Siphons in Petri Nets}",
  	author	=	" K. Barkaoui and J. Pradat-Peyre ",
  	year	=	1996,
  	month	=	"January",
  	volume	=	1091,
  	note	=	"{ Osaka, Japan, pages 57-72}",
  }

  ] K. Barkaoui , J. Pradat-Peyre - On Liveness and Controlled Siphons in Petri Nets, January 1996, Vol. 1091,
• [LLJ96

  @inproceedings {
  	LLJ96,
  	title	=	"{Deriving Normalized Is_A Hierarchies by Using Applicability Constraints}",
  	author	=	" N. Lammari and R. Laleau and M. Jouve and X. Castellani ",
  	booktitle	=	"{CAISE'96 (Conference on Advanced Information Systems Engineering), Créte, Gréce}",
  	year	=	1996,
  	month	=	"January",
  }

  ] N. Lammari , R. Laleau , M. Jouve , X. Castellani - Deriving Normalized Is_A Hierarchies by Using Applicability Constraints, CAISE'96 (Conference on Advanced Information Systems Engineering), Créte, Gréce, January 1996,
• [AD96

  @inproceedings {
  	AD96,
  	title	=	"{Type isomorphisms for module signatures}",
  	author	=	" M. Aponte and R. Dicosmo ",
  	booktitle	=	"{Symposium on Programming Language Implementation and Logic Programming (PLILP)}",
  	year	=	1996,
  	month	=	"January",
  	series	=	"LNCS",
  	pages	=	"334-346",
  	note	=	"{note}",
  }

  ] M. Aponte , R. Dicosmo - Type isomorphisms for module signatures, Symposium on Programming Language Implementation and Logic Programming (PLILP), January 1996, pp.334-346, Series LNCS,
• [BB96

  @inproceedings {
  	BB96,
  	title	=	"{Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets}",
  	author	=	" K. Barkaoui and I. Ben Abdallah ",
  	booktitle	=	"{1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"1–15",
  	note	=	"{note}",
  }

  ] K. Barkaoui , I. Ben Abdallah - Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets, 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, January 1996, pp.1–15,
• [BMB96

  @inproceedings {
  	BMB96,
  	title	=	"{Formal Specification of Communication Protocols with Object-Based ECATNets}",
  	author	=	" M. Bettaz and M Maouche and K. Barkaoui ",
  	booktitle	=	"{22nd EUROMICRO Conference}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"492 - 499",
  }

  ] M. Bettaz , M Maouche , K. Barkaoui - Formal Specification of Communication Protocols with Object-Based ECATNets, 22nd EUROMICRO Conference, January 1996, pp.492 - 499,
• [BM96

  @inproceedings {
  	BM96,
  	title	=	"{Optimizing Query Evaluation in Deductive Databases Using Reductions}",
  	author	=	" K. Barkaoui and Y. Ma�zi ",
  	booktitle	=	"{7th Int. Workshop on Database and Expert Syst. Applications}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"30-39",
  }

  ] K. Barkaoui , Y. Ma�zi - Optimizing Query Evaluation in Deductive Databases Using Reductions, 7th Int. Workshop on Database and Expert Syst. Applications, January 1996, pp.30-39,
• [BBR96

  @inproceedings {
  	BBR96,
  	title	=	"{Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems}",
  	author	=	" K. Barkaoui and R. Benamara and G. Rival ",
  	booktitle	=	"{Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"322-327",
  }

  ] K. Barkaoui , R. Benamara , G. Rival - Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems, Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, January 1996, pp.322-327,
• [BB96a

  @inproceedings {
  	BB96a,
  	title	=	"{Structural liveness analysis of S[3]PR nets}",
  	author	=	" K. Barkaoui and I. Ben Abdallah ",
  	booktitle	=	"{Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference}",
  	year	=	1996,
  	month	=	"January",
  	pages	=	"438-443",
  }

  ] K. Barkaoui , I. Ben Abdallah - Structural liveness analysis of S[3]PR nets, Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, January 1996, pp.438-443,

Conférence Nationale avec comité de lecture

• [LLJ96a

  @inproceedings {
  	LLJ96a,
  	title	=	"{Normalizing Classes by Splitting them into Inheritances Hierarchies}",
  	author	=	" N. Lammari and R. Laleau and M. Jouve and X. Castellani ",
  	booktitle	=	"{Fourth Maghrebian Conference on Software Engineering and Artificial Intelligence (4th MCSEAI), organ}",
  	year	=	1996,
  	month	=	"January",
  	note	=	"{note}",
  }

  ] N. Lammari , R. Laleau , M. Jouve , X. Castellani - Normalizing Classes by Splitting them into Inheritances Hierarchies, Fourth Maghrebian Conference on Software Engineering and Artificial Intelligence (4th MCSEAI), organ, January 1996,
• [AC96

  @inproceedings {
  	AC96,
  	title	=	"{Programmation modulaire avec surcharge et liaison tardive}",
  	author	=	" M. Aponte and G. Castagna ",
  	booktitle	=	"{Journées Francophones des Langages Applicatifs.}",
  	year	=	1996,
  	month	=	"January",
  	note	=	"{note}",
  }

  ] M. Aponte , G. Castagna - Programmation modulaire avec surcharge et liaison tardive, Journées Francophones des Langages Applicatifs., January 1996,

Livre

• [SVP96

  @book {
  	SVP96,
  	title	=	"{SGBD Géographiques}",
  	author	=	"M. Scholl and A. Voisard and J. Peloux and L. Raynal and P. Rigaux",
  	year	=	1996,
  	publisher	=	"Intl. Thompson Publishing",
  }

  ] M. Scholl , A. Voisard , J. Peloux , L. Raynal , P. Rigaux - SGBD Géographiques, January 1996, Intl. Thompson Publishing,

Mémoire de Thèse

• [ROU96

  @phdthesis {
  	ROU96,
  	title	=	"{Approximation de programmes quadratiques en 0-1 soumis à des contraintes linéaires. Application aux problèmes de placement et de partition de graphes.}",
  	author	=	"F. Roupin",
  	year	=	1996,
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  }

  ] F. Roupin - Approximation de programmes quadratiques en 0-1 soumis à des contraintes linéaires. Application aux problèmes de placement et de partition de graphes., Soutenue le: 01 January 1996,