1994

Revue Internationale avec comité de lecture

• [BF94a

  @article {
  	BF94a,
  	title	=	"{Partial evaluation for the understanding of Fortran programs}",
  	author	=	"S. Blazy and P. Facon",
  	journal	=	"IJSEKE, Int. J. of Software Engineering and Knowledge Engineering",
  	year	=	1994,
  	volume	=	4,
  	number	=	4,
  	pages	=	"535-559",
  	note	=	"{December 1994, International Journal of Software Engineering and Knowledge Engineering}",
  }

  ] S. Blazy , P. Facon - Partial evaluation for the understanding of Fortran programs, IJSEKE, Int. J. of Software Engineering and Knowledge Engineering, vol. 4(4), pp. 535-559, 1994
• [BS94

  @article {
  	BS94,
  	title	=	"{Minimization of a quadratic pseudo-Boolean function}",
  	author	=	"A. Billionnet and A. Sutter",
  	journal	=	"European J. of Operational Research",
  	year	=	1994,
  	volume	=	78,
  	number	=	1,
  	pages	=	"106-115",
  }

  ] A. Billionnet , A. Sutter - Minimization of a quadratic pseudo-Boolean function, European J. of Operational Research, vol. 78(1), pp. 106-115, 1994
• [BE94

  @article {
  	BE94,
  	title	=	"{Placement des tâches d'un programme à structure arborescente sur un réseau de processeurs: synthèse de résultats récents}",
  	author	=	"A. Billionnet and S. Elloumi",
  	journal	=	"Information Systems and Operational Research",
  	year	=	1994,
  	volume	=	32,
  	number	=	2,
  	pages	=	"65-86",
  }

  ] A. Billionnet , S. Elloumi - Placement des tâches d'un programme à structure arborescente sur un réseau de processeurs: synthèse de résultats récents, Information Systems and Operational Research, vol. 32(2), pp. 65-86, 1994
• [BC94

  @article {
  	BC94,
  	title	=	"{Solving the uncapacited plant location problem on trees}",
  	author	=	"A. Billionnet and M.-C. Costa",
  	journal	=	"Discrete Applied Mathematics",
  	year	=	1994,
  	volume	=	49,
  	number	=	1,
  	pages	=	"51-59",
  }

  ] A. Billionnet , M.-C. Costa - Solving the uncapacited plant location problem on trees, Discrete Applied Mathematics, vol. 49(1), pp. 51-59, 1994
• [BIL94

  @article {
  	BIL94,
  	title	=	"{Allocating tree structured programs in a distributed system with uniform communication costs}",
  	author	=	"A. Billionnet",
  	journal	=	"IEEE Trans. Parallel and Distributed Sys",
  	year	=	1994,
  	volume	=	5,
  	number	=	4,
  	pages	=	"445-448",
  }

  ] A. Billionnet - Allocating tree structured programs in a distributed system with uniform communication costs, IEEE Trans. Parallel and Distributed Sys, vol. 5(4), pp. 445-448, 1994
• [COS94a

  @article {
  	COS94a,
  	title	=	"{Persistency in Maximum cardinality bipartite matching}",
  	author	=	"M.-C. Costa",
  	journal	=	"Operations Research Letters",
  	year	=	1994,
  	volume	=	15,
  	number	=	3,
  	pages	=	"143-149",
  }

  ] M.-C. Costa - Persistency in Maximum cardinality bipartite matching, Operations Research Letters, vol. 15(3), pp. 143-149, 1994
• [MS94

  @article {
  	MS94,
  	title	=	"{ Automatizing termination proofs of recursively defined functions}",
  	author	=	"P. Manoury and M. Simonot",
  	journal	=	"Theoretical Computer Science",
  	year	=	1994,
  	volume	=	135,
  }

  ] P. Manoury , M. Simonot - Automatizing termination proofs of recursively defined functions, Theoretical Computer Science, vol. 135, 1994

Revue Nationale avec comité de lecture

• [CAS94

  @article {
  	CAS94,
  	title	=	"{Les administrateurs des classes d'objets}",
  	author	=	"X. Castellani",
  	journal	=	"ISI, Ingénierie des Systèmes d'Information",
  	year	=	1994,
  	volume	=	2,
  	number	=	5,
  	note	=	"{note}",
  }

  ] X. Castellani - Les administrateurs des classes d'objets, ISI, Ingénierie des Systèmes d'Information, vol. 2(5), 1994

Conférence Internationale avec comité de lecture

• [BF94

  @inproceedings {
  	BF94,
  	title	=	"{SFAC: a tool for program comprehension by specialization}",
  	author	=	" S. Blazy and P. Facon ",
  	booktitle	=	"{3rd IEEE Workshop on Program Comprehension, Washington D.C., 14-15 December}",
  	year	=	1994,
  	month	=	"December",
  	pages	=	"162-167",
  }

  ] S. Blazy , P. Facon - SFAC: a tool for program comprehension by specialization, 3rd IEEE Workshop on Program Comprehension, Washington D.C., 14-15 December, December 1994, pp.162-167,
• [ARS94

  @inproceedings {
  	ARS94,
  	title	=	"{Querying Typed Hypertexts in Multicard/O2}",
  	author	=	" B. Amann and A. Rizk and M. Scholl ",
  	booktitle	=	"{ACM ECHT}",
  	year	=	1994,
  	month	=	"January",
  	note	=	"{Edinburgh, Scotland}",
  }

  ] B. Amann , A. Rizk , M. Scholl - Querying Typed Hypertexts in Multicard/O2, ACM ECHT, January 1994,
• [BP94

  @inproceedings {
  	BP94,
  	title	=	"{Combining Linear Programming and Graph Analysis for Petri Nets Validation}",
  	author	=	" K. Barkaoui and J. Peyre ",
  	booktitle	=	"{7th SIAM Conference on Discrete Mathematics}",
  	year	=	1994,
  	month	=	"January",
  }

  ] K. Barkaoui , J. Peyre - Combining Linear Programming and Graph Analysis for Petri Nets Validation, 7th SIAM Conference on Discrete Mathematics, January 1994,
• [LJL94

  @inproceedings {
  	LJL94,
  	title	=	"{An Algorithm for IS_A Hierarchy Derivation}",
  	author	=	" N. Lammari and M. Jouve and R. Laleau and X. Castellani ",
  	booktitle	=	"{OOIS'94 (Int. Conf. on Object-Oriented Information systems), Londres, Angleterre}",
  	year	=	1994,
  	month	=	"January",
  	pages	=	"469 à 479",
  	note	=	"{note}",
  }

  ] N. Lammari , M. Jouve , R. Laleau , X. Castellani - An Algorithm for IS_A Hierarchy Derivation, OOIS'94 (Int. Conf. on Object-Oriented Information systems), Londres, Angleterre, January 1994, pp.469 à 479,
• [LLJ94

  @inproceedings {
  	LLJ94,
  	title	=	"{An Automated Process Based on Existence Dependencies for Determining Class Substructures}",
  	author	=	" N. Lammari and R. Laleau and M. Jouve and X. Castellani ",
  	booktitle	=	"{Int. Conf. on Information Systems and Management of Data (CISMOD'94), Madras, Inde}",
  	year	=	1994,
  	month	=	"January",
  	pages	=	"54-65",
  	note	=	"{note}",
  }

  ] N. Lammari , R. Laleau , M. Jouve , X. Castellani - An Automated Process Based on Existence Dependencies for Determining Class Substructures, Int. Conf. on Information Systems and Management of Data (CISMOD'94), Madras, Inde, January 1994, pp.54-65,
• [AL94

  @inproceedings {
  	AL94,
  	title	=	"{Llamado de procedimientos a distancia y abstraccion de tipos}",
  	author	=	" M. Aponte and X. Leroy ",
  	booktitle	=	"{Actes du 20e congres latino-americain d'informatique CLEI-PANEL}",
  	year	=	1994,
  	month	=	"January",
  }

  ] M. Aponte , X. Leroy - Llamado de procedimientos a distancia y abstraccion de tipos, Actes du 20e congres latino-americain d'informatique CLEI-PANEL, January 1994,
• [BB94

  @inproceedings {
  	BB94,
  	title	=	"{An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets}",
  	author	=	" K. Barkaoui and I. Ben Abdallah ",
  	booktitle	=	"{IEEE Int. Conf. on Systems, Man and Cybernetics SMC’94}",
  	year	=	1994,
  	month	=	"January",
  	pages	=	"525-530",
  	note	=	"{note}",
  }

  ] K. Barkaoui , I. Ben Abdallah - An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets, IEEE Int. Conf. on Systems, Man and Cybernetics SMC’94, January 1994, pp.525-530,

Mémoire de HDR

• [COS94

  @misc {
  	COS94,
  	title	=	"{Contribution à la résolution de problèmes d'optimisation en variables bivalentes. Application au placement dans les systèmes distribués et à la localisation dans les réseaux de télécommunications}",
  	author	=	"M.-C. Costa",
  	year	=	1994,
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{Post-Doctoral Degree (Phd students supervisor) Mémoire d'Habilitation à diriger des recherches Paris XIII-Villetaneuse Jury: Rapporteurs: P. Hansen, M. Minoux et G. Plateau; Président: G. Florin; P.Chretienne, J.C. König, C. Lavault. }",
  }

  ] M.-C. Costa - Contribution à la résolution de problèmes d'optimisation en variables bivalentes. Application au placement dans les systèmes distribués et à la localisation dans les réseaux de télécommunications, Soutenue le: 01 January 1994,

Rapport Scientifique

• [LLJ94a

  @techreport {
  	LLJ94a,
  	title	=	"{Dépendances d'existence: définitions formelles et utilisation pour déterminer des liens d'héritages entre classes.}",
  	author	=	"N. Lammari and R. Laleau and M. Jouve and X. Castellani",
  	number	=	"{CEDRIC-94-575}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-1994},
  	note	=	"{note}",
  }

  ] N. Lammari , R. Laleau , M. Jouve , X. Castellani - Dépendances d'existence: définitions formelles et utilisation pour déterminer des liens d'héritages entre classes., Date de dépot: 1994/01/01, (Tech. Rep.: CEDRIC-94-575)