2012

Revue Internationale avec comité de lecture

• [BCP12b

  @article {
  	BCP12b,
  	title	=	"{d-Transversals of Stable Sets and Vertex Covers in Weighted Bipartite Graphs}",
  	author	=	"C. Bentz and M.-C. Costa and C. Picouleau and B. Ries and D. de Werra",
  	journal	=	"Journal of Discrete Algorithms",
  	year	=	2012,
  	volume	=	17,
  	pages	=	"95-102",
  	doi	=	"10.1016/j.jda.2012.06.002",
  }

  ] C. Bentz , M.-C. Costa , C. Picouleau , B. Ries , D. de Werra - d-Transversals of Stable Sets and Vertex Covers in Weighted Bipartite Graphs, Journal of Discrete Algorithms, vol. 17, pp. 95-102, 2012, (doi:10.1016/j.jda.2012.06.002)
• [BTJ12

  @article {
  	BTJ12,
  	title	=	"{Reconstructing Convex Matrices by Integer Programming Approaches}",
  	author	=	"A. Billionnet and G. Tlig and F. Jarray and E. Zagrouba",
  	journal	=	"Journal of Mathematical Modelling and Algorithms",
  	year	=	2012,
  	pages	=	"to appear",
  	doi	=	"10.1007/s10852-012-9193-5",
  }

  ] A. Billionnet , G. Tlig , F. Jarray , E. Zagrouba - Reconstructing Convex Matrices by Integer Programming Approaches, Journal of Mathematical Modelling and Algorithms, pp. to appear, 2012, (doi:10.1007/s10852-012-9193-5)
• [EFR12b

  @article {
  	EFR12b,
  	title	=	"{Interval Estimation for LPV Systems Applying High Order Sliding Mode Techniques}",
  	author	=	"D. Efimov and L. Fridman and T. Raïssi and A. Zolghadri and R. Seydou",
  	journal	=	"Automatica",
  	year	=	2012,
  	volume	=	48,
  	number	=	9,
  	pages	=	".",
  }

  ] D. Efimov , L. Fridman , T. Raïssi , A. Zolghadri , R. Seydou - Interval Estimation for LPV Systems Applying High Order Sliding Mode Techniques, Automatica, vol. 48(9), pp. ., 2012
• [ERZ12

  @article {
  	ERZ12,
  	title	=	"{Stabilisation robuste d’une classe de systèmes non linéaires incertains}",
  	author	=	"D. Efimov and T. Raïssi and A. Zolghadri",
  	journal	=	"Journal Européen des Systèmes Automatisés",
  	year	=	2012,
  	volume	=	accepté,
  }

  ] D. Efimov , T. Raïssi , A. Zolghadri - Stabilisation robuste d’une classe de systèmes non linéaires incertains, Journal Européen des Systèmes Automatisés, vol. accepté, 2012
• [CYB12

  @article {
  	CYB12,
  	title	=	"{A semantic and QoS-aware broker for Web service discovery}",
  	author	=	"M. Charrad and N. Yaacoubi and M. Ben Ahmed",
  	journal	=	"Journal of Research and Practice in Information Technology",
  	year	=	2012,
  	volume	=	44,
  	number	=	No.4,
  	pages	=	"323-335",
  }

  ] M. Charrad , N. Yaacoubi , M. Ben Ahmed - A semantic and QoS-aware broker for Web service discovery, Journal of Research and Practice in Information Technology, vol. 44(No.4), pp. 323-335, 2012
• [BEL12e

  @article {
  	BEL12e,
  	title	=	"{A Branch and Bound algorithm for general mixed-integer quadratic programs based on quadratic convex relaxation}",
  	author	=	"A. Billionnet and S. Elloumi and A. Lambert",
  	journal	=	"Journal of Combinatorial Optimization",
  	year	=	2012,
  	pages	=	"to appear",
  	doi	=	"10.1007/s10878-012-9560-1",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - A Branch and Bound algorithm for general mixed-integer quadratic programs based on quadratic convex relaxation, Journal of Combinatorial Optimization, pp. to appear, 2012, (doi:10.1007/s10878-012-9560-1)
• [Rus12

  @article {
  	Rus12,
  	title	=	"{Non-Metric Partial Least Squares}",
  	author	=	"G. Russolillo",
  	journal	=	"Electronic Journal of Statistics",
  	year	=	2012,
  	volume	=	6,
  	pages	=	"1641-1669",
  	note	=	"{Available at http://projecteuclid.org/euclid.ejs/1348665231}",
  	doi	=	"10.1214/12-EJS724",
  }

  ] G. Russolillo - Non-Metric Partial Least Squares, Electronic Journal of Statistics, vol. 6, pp. 1641-1669, 2012, (doi:10.1214/12-EJS724)
• [HC12

  @article {
  	HC12,
  	title	=	"{Passive Optical Network design under Operations Administration and Maintenance considerations}",
  	author	=	"C. Hervet and M. Chardy",
  	journal	=	"Journal of Applied Operational Research",
  	year	=	2012,
  	volume	=	4,
  	number	=	3,
  	pages	=	"152-172",
  }

  ] C. Hervet , M. Chardy - Passive Optical Network design under Operations Administration and Maintenance considerations, Journal of Applied Operational Research, vol. 4(3), pp. 152-172, 2012
• [Ol12

  @article {
  	Ol12,
  	title	=	"{Feedback channel designs for fair scheduling in MISO-OFDMA systems}",
  	author	=	"B. Ozbek and D. le Ruyet",
  	journal	=	"EURASIP Journal on Advances in Signal Processing",
  	year	=	2012,
  	volume	=	2012,
  	number	=	2012,
  	pages	=	"2012-220",
  	doi	=	"doi:10.1186/1687-1499-2012-220",
  }

  ] B. Ozbek , D. le Ruyet - Feedback channel designs for fair scheduling in MISO-OFDMA systems, EURASIP Journal on Advances in Signal Processing, vol. 2012(2012), pp. 2012-220, 2012, (doi:doi:10.1186/1687-1499-2012-220)
• [GDD12

  @article {
  	GDD12,
  	title	=	"{Identification of microRNA-regulated gene networks by expression analysis of target genes.}",
  	author	=	"V. Gennarino and G. D'Angelo and G. Dharmalingam and S. Fernandez and G. Russolillo and R. Sanges and M. Mutarelli and V. Belcastro and A. Ballabio and P. Verde and M. Sardiello and S. Banfi",
  	journal	=	"Genome Research",
  	year	=	2012,
  	volume	=	22,
  	number	=	6,
  	pages	=	"1163-1172",
  	doi	=	"10.1101/gr.130435.111",
  }

  ] V. Gennarino , G. D'Angelo , G. Dharmalingam , S. Fernandez , G. Russolillo , R. Sanges , M. Mutarelli , V. Belcastro , A. Ballabio , P. Verde , M. Sardiello , S. Banfi - Identification of microRNA-regulated gene networks by expression analysis of target genes., Genome Research, vol. 22(6), pp. 1163-1172, 2012, (doi:10.1101/gr.130435.111)
• [CR12

  @article {
  	CR12,
  	title	=	"{Multi-user adaptive receivers for a Multiple-Access System based on Random Permutations on Time-Varying Frequency-Selective Channels with Unknown Delays and Coefficients}",
  	author	=	"M. Coulon and D. Roviras",
  	journal	=	"IET Communications ",
  	year	=	2012,
  }

  ] M. Coulon , D. Roviras - Multi-user adaptive receivers for a Multiple-Access System based on Random Permutations on Time-Varying Frequency-Selective Channels with Unknown Delays and Coefficients, IET Communications , 2012
• [PAC12

  @article {
  	PAC12,
  	title	=	"{An MDA approach to knowledge engineering}",
  	author	=	"N. Prat and J. Akoka and I. Comyn-Wattiau",
  	journal	=	"Expert Systems with Applications",
  	year	=	2012,
  	volume	=	39,
  	number	=	2,
  	pages	=	"10420-10437",
  	doi	=	"http://dx.doi.org/10.1016/j.eswa.2012.02.010",
  }

  ] N. Prat , J. Akoka , I. Comyn-Wattiau - An MDA approach to knowledge engineering, Expert Systems with Applications, vol. 39(2), pp. 10420-10437, 2012, (doi:http://dx.doi.org/10.1016/j.eswa.2012.02.010)
• [PMM12

  @article {
  	PMM12,
  	title	=	"{Testing independence between two sequential gap times in the presence of covariates}",
  	author	=	"J. Pénichoux and T. Moreau and L. Meyer and F. Bouffassa and C. Hubert and A. Latouche",
  	journal	=	"Biometrical Journal",
  	year	=	2012,
  	volume	=	(),
  	number	=	(),
  	pages	=	"In Press",
  }

  ] J. Pénichoux , T. Moreau , L. Meyer , F. Bouffassa , C. Hubert , A. Latouche - Testing independence between two sequential gap times in the presence of covariates, Biometrical Journal, vol. ()(()), pp. In Press, 2012
• [CCF12a

  @article {
  	CCF12a,
  	title	=	"{Optimizing splitter and fiber location in a multilevel optical FTTH network.}",
  	author	=	"M. Chardy and M.-C. Costa and A. Faye and M. Trampont",
  	journal	=	"European Journal of Operational Research ",
  	year	=	2012,
  	volume	=	222,
  	number	=	3,
  	pages	=	"430-440",
  	doi	=	"10.1016/j.ejor.2012.05.024",
  }

  ] M. Chardy , M.-C. Costa , A. Faye , M. Trampont - Optimizing splitter and fiber location in a multilevel optical FTTH network., European Journal of Operational Research , vol. 222(3), pp. 430-440, 2012, (doi:10.1016/j.ejor.2012.05.024)
• [Pra12

  @article {
  	Pra12,
  	title	=	"{Teaching Information Systems with Cases: An Exploratory Study}",
  	author	=	"N. Prat",
  	journal	=	"Journal of Computer Information Systems",
  	year	=	2012,
  	volume	=	52,
  	number	=	3,
  	pages	=	"71-81",
  }

  ] N. Prat - Teaching Information Systems with Cases: An Exploratory Study, Journal of Computer Information Systems, vol. 52(3), pp. 71-81, 2012
• [JP12

  @article {
  	JP12,
  	title	=	"{Minimum decomposition into convex binary matrices}",
  	author	=	"F. Jarray and C. Picouleau",
  	journal	=	"Discrete Applied Math. ",
  	year	=	2012,
  	volume	=	160,
  	pages	=	"1164-1175",
  	doi	=	"doi:10.1016/j.dam.2012.01.013",
  }

  ] F. Jarray , C. Picouleau - Minimum decomposition into convex binary matrices, Discrete Applied Math. , vol. 160, pp. 1164-1175, 2012, (doi:doi:10.1016/j.dam.2012.01.013)
• [Zl12

  @article {
  	Zl12,
  	title	=	"{A Novel Filter-Bank Multicarrier Scheme to Mitigate the Intrinsic Interference: Application to MIMO Systems}",
  	author	=	"R. Zakaria and D. le Ruyet",
  	journal	=	"IEEE Transactions on Wireless Communications",
  	year	=	2012,
  	volume	=	11,
  	number	=	3,
  	pages	=	"1112-1123",
  }

  ] R. Zakaria , D. le Ruyet - A Novel Filter-Bank Multicarrier Scheme to Mitigate the Intrinsic Interference: Application to MIMO Systems, IEEE Transactions on Wireless Communications, vol. 11(3), pp. 1112-1123, 2012
• [ELM12

  @article {
  	ELM12,
  	title	=	"{CITOM: An Incremental Construction of Multilingual Topic Maps}",
  	author	=	"N. Ellouze and N. Lammari and E. Metais",
  	journal	=	"Data & Knowledge Engineering",
  	year	=	2012,
  	volume	=	2012,
  	number	=	March,
  	pages	=	" 19",
  	doi	=	"10.1016/j.datak.2012.02.002",
  }

  ] N. Ellouze , N. Lammari , E. Metais - CITOM: An Incremental Construction of Multilingual Topic Maps, Data & Knowledge Engineering, vol. 2012(March), pp. 19, 2012, (doi:10.1016/j.datak.2012.02.002)
• [RAA12

  @article {
  	RAA12,
  	title	=	"{The Design and Implementation of NEUMA, a Collaborative Digital Score Library - Requirements, architecture, and models.}",
  	author	=	"P. Rigaux and L. Abrouk and H. Audéon and N. Cullot and C. Davy-Rigaux and Z. Faget and E. Gavinet and D. Gross-Amblard and A. Tacaille and V. Thion",
  	journal	=	"International Journal on Digital Libraries",
  	year	=	2012,
  	pages	=	"1-24",
  }

  ] P. Rigaux , L. Abrouk , H. Audéon , N. Cullot , C. Davy-Rigaux , Z. Faget , E. Gavinet , D. Gross-Amblard , A. Tacaille , V. Thion - The Design and Implementation of NEUMA, a Collaborative Digital Score Library - Requirements, architecture, and models., International Journal on Digital Libraries, pp. 1-24, 2012
• [LMM12

  @article {
  	LMM12,
  	title	=	"{On the NP-Completeness of the Perfect Matching Free Subgraph Problem}",
  	author	=	"M. Lacroix and R. Mahjoub and S. Martin and C. Picouleau",
  	journal	=	"Theoretical Computer Science",
  	year	=	2012,
  	volume	=	423,
  	pages	=	"25-29",
  	doi	=	"10.1016/j.tcs.2011.12.065",
  }

  ] M. Lacroix , R. Mahjoub , S. Martin , C. Picouleau - On the NP-Completeness of the Perfect Matching Free Subgraph Problem, Theoretical Computer Science, vol. 423, pp. 25-29, 2012, (doi:10.1016/j.tcs.2011.12.065)
• [YE12

  @article {
  	YE12,
  	title	=	"{Star p-hub Center Problem and Star p-hub Median Problem with Bounded Path Lengths}",
  	author	=	"H. Yaman and S. Elloumi",
  	journal	=	"Computers and Operations Research",
  	year	=	2012,
  	volume	=	39,
  	number	=	11,
  	pages	=	"2725-2732",
  	doi	=	"10.1016/j.cor.2012.02.005",
  }

  ] H. Yaman , S. Elloumi - Star p-hub Center Problem and Star p-hub Median Problem with Bounded Path Lengths, Computers and Operations Research, vol. 39(11), pp. 2725-2732, 2012, (doi:10.1016/j.cor.2012.02.005)
• [ZlR12

  @article {
  	ZlR12,
  	title	=	"{Non-Cooperative Multi-cell Resource Allocation of FBMC based Cognitive Radio Systems}",
  	author	=	"H. Zhang and D. le Ruyet and D. Roviras and h. sun",
  	journal	=	"IEEE Trans. on Vehicular Technology ",
  	year	=	2012,
  	volume	=	61,
  	number	=	2,
  	pages	=	"799 - 811 ",
  	doi	=	"10.1109/TVT.2011.2180743 ",
  }

  ] H. Zhang , D. le Ruyet , D. Roviras , h. sun - Non-Cooperative Multi-cell Resource Allocation of FBMC based Cognitive Radio Systems, IEEE Trans. on Vehicular Technology , vol. 61(2), pp. 799 - 811 , 2012, (doi:10.1109/TVT.2011.2180743 )
• [BEL12

  @article {
  	BEL12,
  	title	=	"{Extending the QCR method to the case of general mixed integer programs}",
  	author	=	"A. Billionnet and S. Elloumi and A. Lambert",
  	journal	=	"Mathematical Programming",
  	year	=	2012,
  	volume	=	131,
  	number	=	1,
  	pages	=	" 381-401",
  	doi	=	"10.1007/s10107-010-0381-7 ",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - Extending the QCR method to the case of general mixed integer programs, Mathematical Programming, vol. 131(1), pp. 381-401, 2012, (doi:10.1007/s10107-010-0381-7 )
• [BMP12

  @article {
  	BMP12,
  	title	=	"{Special Issue on Verification and Evaluation of Computer and Communication Systems – Part II }",
  	author	=	"K. Barkaoui and B. Monsuez and D. Poitrenaud",
  	journal	=	"International Journal of Critical Computer-Based Systems (IJCCBS)",
  	year	=	2012,
  	volume	=	3,
  	number	=	1/2 , 2012,
  	pages	=	"150p",
  	note	=	"{http://www.inderscience.com/browse/index.php?journalID=325&year=2012&vol=3&issue=1/2}",
  	doi	=	"1757-8779",
  }

  ] K. Barkaoui , B. Monsuez , D. Poitrenaud - Special Issue on Verification and Evaluation of Computer and Communication Systems – Part II , International Journal of Critical Computer-Based Systems (IJCCBS), vol. 3(1/2 , 2012), pp. 150p, 2012, (doi:1757-8779)
• [REZ12

  @article {
  	REZ12,
  	title	=	"{Interval state estimation for a class of nonlinear systems }",
  	author	=	"T. Raïssi and D. Efimov and A. Zolghadri",
  	journal	=	"IEEE Transactions on Automatic Control",
  	year	=	2012,
  	volume	=	57,
  	number	=	1,
  }

  ] T. Raïssi , D. Efimov , A. Zolghadri - Interval state estimation for a class of nonlinear systems , IEEE Transactions on Automatic Control, vol. 57(1), 2012
• [KMR12

  @article {
  	KMR12,
  	title	=	"{Robust estimation of fractional models in the frequency domain using set membership methods}",
  	author	=	"F. Khemane and R. Malti and T. Raïssi and X. Moreau",
  	journal	=	"Signal Processing",
  	year	=	2012,
  }

  ] F. Khemane , R. Malti , T. Raïssi , X. Moreau - Robust estimation of fractional models in the frequency domain using set membership methods, Signal Processing, 2012
• [Bil12

  @article {
  	Bil12,
  	title	=	"{Designing an optimal connected nature reserve}",
  	author	=	"A. Billionnet",
  	journal	=	"Applied Mathematical Modelling",
  	year	=	2012,
  	volume	=	36,
  	number	=	5,
  	pages	=	"2213-2223",
  	doi	=	"10.1016/j.apm.2011.08.002",
  }

  ] A. Billionnet - Designing an optimal connected nature reserve, Applied Mathematical Modelling, vol. 36(5), pp. 2213-2223, 2012, (doi:10.1016/j.apm.2011.08.002)

Revue Nationale sans comité de lecture

• [Sap12

  @article {
  	Sap12,
  	title	=	"{Il faut pouvoir répondre à l'invasion des données}",
  	author	=	"G. Saporta",
  	journal	=	"Sciences et Avenir",
  	year	=	2012,
  	number	=	782,
  	pages	=	"42-45",
  }

  ] G. Saporta - Il faut pouvoir répondre à l'invasion des données, Sciences et Avenir, pp. 42-45, April 2012

Revue Nationale avec comité de lecture

• [CAC12

  @article {
  	CAC12,
  	title	=	"{Optimisation de grandes collections de requêtes d'agrégation RSS}",
  	author	=	"J. Creus and B. Amann and V. Christophides and N. Travers and D. Vodislav",
  	journal	=	"Ingénierie des Systèmes d'information (ISI)",
  	year	=	2012,
  	pages	=	"1-28",
  }

  ] J. Creus , B. Amann , V. Christophides , N. Travers , D. Vodislav - Optimisation de grandes collections de requêtes d'agrégation RSS, Ingénierie des Systèmes d'information (ISI), pp. 1-28, 2012
• [NGV12

  @article {
  	NGV12,
  	title	=	"{Du jeu utile au jeu sérieux : un exemple le projet JEU SERAI}",
  	author	=	"S. Natkin and E. Guardiola and P. Vrignaud and D. Soriano and E. Loarer",
  	journal	=	"Hemes, La revue",
  	year	=	2012,
  	volume	=	62,
  	pages	=	"85-92",
  }

  ] S. Natkin , E. Guardiola , P. Vrignaud , D. Soriano , E. Loarer - Du jeu utile au jeu sérieux : un exemple le projet JEU SERAI, Hemes, La revue, vol. 62, pp. 85-92, 2012
• [LSL12

  @article {
  	LSL12,
  	title	=	"{Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S}",
  	author	=	"N. Levy and S. Stéphane JEAN and F. Losavio and A. Matteo",
  	journal	=	"Technique et Science Informatiques (TSI) ",
  	year	=	2012,
  	volume	=	31,
  	number	=	1,
  	pages	=	"39-69",
  }

  ] N. Levy , S. Stéphane JEAN , F. Losavio , A. Matteo - Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S, Technique et Science Informatiques (TSI) , vol. 31(1), pp. 39-69, 2012

Conférence Internationale avec comité de lecture

• [TDD12

  @inproceedings {
  	TDD12,
  	title	=	"{Producing Certified Functional Code from Inductive Specifications}",
  	author	=	" P. Tollitte and D. Delahaye and C. Dubois ",
  	booktitle	=	"{International Conference on Certified Programs and Proofs (CPP 2012)}",
  	year	=	2012,
  	edition	=	"Springer",
  	month	=	"December",
  	series	=	"LNCS",
  	pages	=	"à paraitre",
  	address	=	"Kyoto, Japan",
  }

  ] P. Tollitte , D. Delahaye , C. Dubois - Producing Certified Functional Code from Inductive Specifications, International Conference on Certified Programs and Proofs (CPP 2012), December 2012, pp.à paraitre, Series LNCS, Kyoto, Japan,
• [BBA12

  @inproceedings {
  	BBA12,
  	title	=	"{Performance Evaluation of a Massively Parallel ESB-Oriented Architecture}",
  	author	=	" K. Barkaoui and R. Benosman and Y. Albrieux ",
  	booktitle	=	"{IEEE International Conference on Service-Oriented Computing and Applications. SOCA 2013}",
  	year	=	2012,
  	month	=	"December",
  	pages	=	"1-7",
  }

  ] K. Barkaoui , R. Benosman , Y. Albrieux - Performance Evaluation of a Massively Parallel ESB-Oriented Architecture, IEEE International Conference on Service-Oriented Computing and Applications. SOCA 2013, December 2012, pp.1-7,
• [ERC12

  @inproceedings {
  	ERC12,
  	title	=	"{On Set-Membership Observer Design for a Class of Nonlinear Time-Varying Systems}",
  	author	=	" D. Efimov and T. Raïssi and S. Chebotarev and A. Zolghadri ",
  	booktitle	=	"{51st IEEE Conference on Decision and Control}",
  	year	=	2012,
  	month	=	"December",
  	pages	=	".",
  	address	=	"Maui, HI, USA",
  }

  ] D. Efimov , T. Raïssi , S. Chebotarev , A. Zolghadri - On Set-Membership Observer Design for a Class of Nonlinear Time-Varying Systems, 51st IEEE Conference on Decision and Control, December 2012, pp.., Maui, HI, USA,
• [ASC12

  @inproceedings {
  	ASC12,
  	title	=	"{Towards A Semantic Quality Based Approach for Business Process Models Improvement}",
  	author	=	" S. AYAD and S. Si-Said Cherfi and I. Comyn-Wattiau ",
  	booktitle	=	"{23rd Australasian Conference on Information Systems (ACIS'12)}",
  	year	=	2012,
  	edition	=	"Lamp, John ",
  	month	=	"December",
  	pages	=	"1-11",
  	address	=	"Geelong, Victoria, Australia",
  }

  ] S. AYAD , S. Si-Said Cherfi , I. Comyn-Wattiau - Towards A Semantic Quality Based Approach for Business Process Models Improvement, 23rd Australasian Conference on Information Systems (ACIS'12), December 2012, pp.1-11, Geelong, Victoria, Australia,
• [I W12

  @inproceedings {
  	I W12,
  	title	=	"{Interference Mitigation by Dynamic Self-Power Control in Femtocell Scenarios in LTE Networks}",
  	author	=	" M. Iturralde and T. Yahiya and A. Wei and A. Beylot ",
  	booktitle	=	"{IEEE Global Communications Conference 2012}",
  	year	=	2012,
  	month	=	"December",
  	pages	=	"à paraitre",
  }

  ] M. Iturralde , T. Yahiya , A. Wei , A. Beylot - Interference Mitigation by Dynamic Self-Power Control in Femtocell Scenarios in LTE Networks, IEEE Global Communications Conference 2012, December 2012, pp.à paraitre,
• [AS12a

  @inproceedings {
  	AS12a,
  	title	=	"{Domain Knowledge Based Quality for Business Process Models}",
  	author	=	" S. AYAD and S. Si-Said Cherfi ",
  	booktitle	=	"{The 17th International Conference on Information Quality (ICIQ'12)}",
  	year	=	2012,
  	month	=	"November",
  	pages	=	"70-84",
  }

  ] S. AYAD , S. Si-Said Cherfi - Domain Knowledge Based Quality for Business Process Models, The 17th International Conference on Information Quality (ICIQ'12), November 2012, pp.70-84,
• [KLA12

  @inproceedings {
  	KLA12,
  	title	=	"{Building Contextualized Topic Maps}",
  	author	=	" L. Khelifa and N. Lammari and J. Akoka and T. Bouabana-Tebibel ",
  	booktitle	=	"{19th IBIMA (International Business Information Management Association) Conference on Innovation Vision 2020. Barcelona, Spain 12-13 Nov. 2012 }",
  	year	=	2012,
  	month	=	"November",
  	pages	=	".",
  }

  ] L. Khelifa , N. Lammari , J. Akoka , T. Bouabana-Tebibel - Building Contextualized Topic Maps, 19th IBIMA (International Business Information Management Association) Conference on Innovation Vision 2020. Barcelona, Spain 12-13 Nov. 2012 , November 2012, pp..,
• [EBM12

  @inproceedings {
  	EBM12,
  	title	=	"{Service Composition Adaptation: an Overview }",
  	author	=	" M. Eslamichalandar and K. Barkaoui and H. Motahari-Nezhad ",
  	booktitle	=	"{2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12)}",
  	year	=	2012,
  	edition	=	"CPS",
  	month	=	"November",
  	pages	=	"1-8",
  	note	=	"{to be published by CPS (November 2012)}",
  }

  ] M. Eslamichalandar , K. Barkaoui , H. Motahari-Nezhad - Service Composition Adaptation: an Overview , 2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12), November 2012, pp.1-8,
• [DS12

  @inproceedings {
  	DS12,
  	title	=	"{Tailoring the Adaptive Augmented Reality (A2R) Museum Visit: Identifying Cultural Heritage Professionals’ Motivations and Needs}",
  	author	=	" A. Damala and N. Stojanovic ",
  	booktitle	=	"{ISMAR 2012 (International Symposium on Mixed and Augmented Reality)}",
  	year	=	2012,
  	month	=	"November",
  	pages	=	"(10 pages)",
  	address	=	"Atlanta, Georgia, USA",
  	doi	=	"10.1109/ISMAR-AMH.2012.6483992",
  }

  ] A. Damala , N. Stojanovic - Tailoring the Adaptive Augmented Reality (A2R) Museum Visit: Identifying Cultural Heritage Professionals’ Motivations and Needs, ISMAR 2012 (International Symposium on Mixed and Augmented Reality), November 2012, pp.(10 pages), Atlanta, Georgia, USA, (DOI: 10.1109/ISMAR-AMH.2012.6483992)
• [CNT12

  @inproceedings {
  	CNT12,
  	title	=	"{Extensible Sound Description in COLLADA: A Unique File for a Rich Sound Design}",
  	author	=	" S. Chan and S. Natkin and G. Tiger and A. Topol ",
  	booktitle	=	"{9th Advances in Computer Entertainment Technology Conference (ACE 2012)}",
  	year	=	2012,
  	edition	=	"Springer",
  	month	=	"November",
  	pages	=	"151-166",
  	address	=	"Kathmandu, Nepal",
  	doi	=	"10.1007/978-3-642-34292-9",
  }

  ] S. Chan , S. Natkin , G. Tiger , A. Topol - Extensible Sound Description in COLLADA: A Unique File for a Rich Sound Design, 9th Advances in Computer Entertainment Technology Conference (ACE 2012), November 2012, pp.151-166, Kathmandu, Nepal, (DOI: 10.1007/978-3-642-34292-9)
• [DSS12

  @inproceedings {
  	DSS12,
  	title	=	"{Adaptive Augmented Reality for Cultural Heritage, The ARtSENSE project. }",
  	author	=	" A. Damala and N. Stojanovic and T. Schuchert and J. Moragues and A. Cabrera and K. Gilleade ",
  	booktitle	=	"{Euromed 2012: International Conference on Cultural Heritage}",
  	year	=	2012,
  	edition	=	"M. Ioannides et al. ",
  	month	=	"October",
  	series	=	"Springer-Verlag, LNCS 7616",
  	pages	=	"746–755",
  	address	=	"Limassol, Cyprus",
  }

  ] A. Damala , N. Stojanovic , T. Schuchert , J. Moragues , A. Cabrera , K. Gilleade - Adaptive Augmented Reality for Cultural Heritage, The ARtSENSE project. , Euromed 2012: International Conference on Cultural Heritage, October 2012, pp.746–755, Series Springer-Verlag, LNCS 7616, Limassol, Cyprus,
• [IYW12

  @inproceedings {
  	IYW12,
  	title	=	"{A Real-Time Services Performance and Interference Mitigation for Femtocell Scenarios in LTE Networks}",
  	author	=	" M. Iturralde and T. Yahiya and A. Wei and A. Beylot ",
  	booktitle	=	"{IEEE Conference on Local Computer Networks 2012}",
  	year	=	2012,
  	month	=	"October",
  	pages	=	"à paraitre",
  }

  ] M. Iturralde , T. Yahiya , A. Wei , A. Beylot - A Real-Time Services Performance and Interference Mitigation for Femtocell Scenarios in LTE Networks, IEEE Conference on Local Computer Networks 2012, October 2012, pp.à paraitre,
• [ABD12

  @inproceedings {
  	ABD12,
  	title	=	"{ML Dependency Analysis for Assessors}",
  	author	=	" P. Ayrault and V. Benayoun and C. Dubois and F. Pessaux ",
  	booktitle	=	"{International Conference on Software Engineering and Formal Methods (SEFM'12)}",
  	year	=	2012,
  	edition	=	"Springer",
  	month	=	"October",
  	series	=	"LNCS",
  	volume	=	7504,
  	pages	=	"278-292",
  	address	=	"Thessaloniki, Greece",
  }

  ] P. Ayrault , V. Benayoun , C. Dubois , F. Pessaux - ML Dependency Analysis for Assessors, International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,
• [DB 12

  @inproceedings {
  	DB 12,
  	title	=	"{On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS}",
  	author	=	" L. Ding and K. Barkaoui and M. Zhou ",
  	booktitle	=	"{11th International Workshop on Discrete Event Systems - WODES 2012}",
  	year	=	2012,
  	edition	=	"IFAC",
  	month	=	"October",
  	series	=	"IFAC",
  	pages	=	"1-6",
  	note	=	"{to be published in IFAC-PapersOnLine}",
  }

  ] L. Ding , K. Barkaoui , M. Zhou - On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS, 11th International Workshop on Discrete Event Systems - WODES 2012, October 2012, pp.1-6, Series IFAC,
• [LNT12

  @inproceedings {
  	LNT12,
  	title	=	"{Out of Context Augmented Navfields: Designing Crowd Choreographies}",
  	author	=	" G. Levieux and S. Natkin and A. Topol ",
  	booktitle	=	"{Entertainment Computing - ICEC 2012}",
  	year	=	2012,
  	month	=	"September",
  	volume	=	7522,
  	pages	=	"326-332",
  	doi	=	"http://dx.doi.org/10.1007/978-3-642-33542-6_28",
  }

  ] G. Levieux , S. Natkin , A. Topol - Out of Context Augmented Navfields: Designing Crowd Choreographies, Entertainment Computing - ICEC 2012, September 2012, Vol. 7522, pp.326-332, (DOI: http://dx.doi.org/10.1007/978-3-642-33542-6_28)
• [DJG12

  @inproceedings {
  	DJG12,
  	title	=	"{Automatic segmentation of textures on a database of remote-sensing images and classification by neural network}",
  	author	=	" P. Durand and L. Jaupi and D. Ghorbanzadeh ",
  	booktitle	=	"{SPIE 2012, Image and Signal Processing for Remote Sensing XVIII}",
  	year	=	2012,
  	edition	=	"SPIE 2012, Lorenzo Bruzzone Editor",
  	month	=	"September",
  	series	=	"ISBN 9780819492777",
  	volume	=	Volume : 8537,
  	issue	=	8537-12,
  	pages	=	"Pages: 85370D 1-10",
  	address	=	"Edingburg, United Kindom",
  	note	=	"{.}",
  }

  ] P. Durand , L. Jaupi , D. Ghorbanzadeh - Automatic segmentation of textures on a database of remote-sensing images and classification by neural network, SPIE 2012, Image and Signal Processing for Remote Sensing XVIII, September 2012, Vol. Volume : 8537(8537-12), pp.Pages: 85370D 1-10, Series ISBN 9780819492777, Edingburg, United Kindom,
• [MNL12

  @inproceedings {
  	MNL12,
  	title	=	"{How to Analyse Therapeutic Games: The Player / Game / Therapy Model}",
  	author	=	" S. Mader and S. Natkin and G. Levieux ",
  	booktitle	=	"{Entertainment Computing - ICEC 2012}",
  	year	=	2012,
  	month	=	"September",
  	series	=	"Lecture Notes in Computer Science",
  	volume	=	7522,
  	pages	=	"193-206",
  	address	=	"Bremen, Germany",
  	note	=	"{Final publication: http://link.springer.com/chapter/10.1007/978-3-642-33542-6_17}",
  	doi	=	"10.1007/978-3-642-33542-6_17",
  }

  ] S. Mader , S. Natkin , G. Levieux - How to Analyse Therapeutic Games: The Player / Game / Therapy Model, Entertainment Computing - ICEC 2012, September 2012, Vol. 7522, pp.193-206, Series Lecture Notes in Computer Science, Bremen, Germany, (DOI: 10.1007/978-3-642-33542-6_17)
• [TBE12

  @inproceedings {
  	TBE12,
  	title	=	"{A robust-planning methodology for railway rolling-stock}",
  	author	=	" S. Tréfond and A. Billionnet and S. Elloumi and H. Djellab and E. Escobar ",
  	booktitle	=	"{COMPRAIL12}",
  	year	=	2012,
  	month	=	"September",
  	pages	=	"349 - 357",
  	address	=	"Lyndhurst, New Forest, UK",
  }

  ] S. Tréfond , A. Billionnet , S. Elloumi , H. Djellab , E. Escobar - A robust-planning methodology for railway rolling-stock, COMPRAIL12, September 2012, pp.349 - 357, Lyndhurst, New Forest, UK,
• [ZlM12

  @inproceedings {
  	ZlM12,
  	title	=	"{On ISI cancellation in MIMO-ML detection using FBMC/QAM modulation}",
  	author	=	" R. Zakaria and D. le Ruyet and Y. Medjahdi ",
  	booktitle	=	"{ISWCS}",
  	year	=	2012,
  	month	=	"September",
  	pages	=	"1-5",
  	address	=	"Paris, France",
  	note	=	"{Accepted in ISWCS 2012.}",
  }

  ] R. Zakaria , D. le Ruyet , Y. Medjahdi - On ISI cancellation in MIMO-ML detection using FBMC/QAM modulation, ISWCS, September 2012, pp.1-5, Paris, France,
• [KKV12

  @inproceedings {
  	KKV12,
  	title	=	"{Gain of Multi-Resource Block Allocation and Tuning in the Uplink of LTE Networks}",
  	author	=	" A. Kessab and F. Kaddour and E. Vivier and L. Mroueh and M. Pischella and P. Martins ",
  	booktitle	=	"{International Symposium on Wireless Communication Systems (ISWCS 2012)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"-",
  	address	=	"Paris, France",
  }

  ] A. Kessab , F. Kaddour , E. Vivier , L. Mroueh , M. Pischella , P. Martins - Gain of Multi-Resource Block Allocation and Tuning in the Uplink of LTE Networks, International Symposium on Wireless Communication Systems (ISWCS 2012), August 2012, pp.-, Paris, France,
• [MlR12

  @inproceedings {
  	MlR12,
  	title	=	"{On the Impact of the Prototype Filter on FBMC Sensitivity to Time Asynchronism}",
  	author	=	" Y. Medjahdi and D. le Ruyet and D. Roviras and H. Shaiek and R. Zakaria ",
  	booktitle	=	"{International Symposium on Wireless Communication Systems (ISWCS 2012)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-5",
  	address	=	"Paris, France",
  }

  ] Y. Medjahdi , D. le Ruyet , D. Roviras , H. Shaiek , R. Zakaria - On the Impact of the Prototype Filter on FBMC Sensitivity to Time Asynchronism, International Symposium on Wireless Communication Systems (ISWCS 2012), August 2012, pp.1-5, Paris, France,
• [EFR12a

  @inproceedings {
  	EFR12a,
  	title	=	"{Application of Interval Observers and HOSM Differentiators for Fault Detection}",
  	author	=	" D. Efimov and L. Fridman and T. Raïssi and A. Zolghadri and R. Seydou ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes }",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] D. Efimov , L. Fridman , T. Raïssi , A. Zolghadri , R. Seydou - Application of Interval Observers and HOSM Differentiators for Fault Detection, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
• [RED12a

  @inproceedings {
  	RED12a,
  	title	=	"{State Estimation and Fault Detection for Linear Switched Systems with Unstable Internal Dynamics}",
  	author	=	" H. Rios and D. Efimov and J. Davila and T. Raïssi and L. Fridman and A. Zolghadri ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes }",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] H. Rios , D. Efimov , J. Davila , T. Raïssi , L. Fridman , A. Zolghadri - State Estimation and Fault Detection for Linear Switched Systems with Unstable Internal Dynamics, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
• [SRZ12

  @inproceedings {
  	SRZ12,
  	title	=	"{Robust Fault Diagnosis with Interval Continuous-time Parity Equations}",
  	author	=	" R. Seydou and T. Raïssi and A. Zolghadri and D. Efimov ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes}",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] R. Seydou , T. Raïssi , A. Zolghadri , D. Efimov - Robust Fault Diagnosis with Interval Continuous-time Parity Equations, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes, August 2012, Mexico City, Mexico,
• [APl12

  @inproceedings {
  	APl12,
  	title	=	"{Enhanced Stream Selection for Sum-Rate Maximization on the Interference Channel}",
  	author	=	" M. Amara and M. Pischella and D. le Ruyet ",
  	booktitle	=	"{ International Symposium on Wireless Communication Systems (ISWCS 2012)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"-",
  	address	=	"Paris, France",
  }

  ] M. Amara , M. Pischella , D. le Ruyet - Enhanced Stream Selection for Sum-Rate Maximization on the Interference Channel, International Symposium on Wireless Communication Systems (ISWCS 2012), August 2012, pp.-, Paris, France,
• [GWV12

  @inproceedings {
  	GWV12,
  	title	=	"{A Range-Free Localization Protocol for Wireless Sensor Networks}",
  	author	=	" L. Gui and A. Wei and T. Val ",
  	booktitle	=	"{IEEE ISWCS2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"à paraitre",
  }

  ] L. Gui , A. Wei , T. Val - A Range-Free Localization Protocol for Wireless Sensor Networks, IEEE ISWCS2012, August 2012, pp.à paraitre,
• [BHB12

  @inproceedings {
  	BHB12,
  	title	=	"{Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study}",
  	author	=	" K. Barkaoui and A. Hicheur and A. Ben Dhieb ",
  	booktitle	=	"{Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-16",
  	note	=	"{formal proceedings to appear}",
  }

  ] K. Barkaoui , A. Hicheur , A. Ben Dhieb - Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study, Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, August 2012, pp.1-16,
• [CDG12a

  @inproceedings {
  	CDG12a,
  	title	=	"{A certified constraint solver over finite domains}",
  	author	=	" M. Carlier and C. Dubois and A. Gotlieb ",
  	booktitle	=	"{Formal Methods (FM 2012) (ex FME)}",
  	year	=	2012,
  	month	=	"August",
  	series	=	"LNCS",
  	volume	=	7436,
  	pages	=	"116-131",
  	address	=	"Paris, France",
  }

  ] M. Carlier , C. Dubois , A. Gotlieb - A certified constraint solver over finite domains, Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
• [CAM12

  @inproceedings {
  	CAM12,
  	title	=	"{Maximal and Compositional Pattern-Based Loop Invariants}",
  	author	=	" P. Courtieu and M. Aponte and Y. Moy and M. Sango ",
  	booktitle	=	"{Formal method 2012 (FME)}",
  	year	=	2012,
  	month	=	"August",
  	series	=	"LNCS",
  	volume	=	7436,
  	pages	=	"37-51",
  	address	=	"Paris, France",
  }

  ] P. Courtieu , M. Aponte , Y. Moy , M. Sango - Maximal and Compositional Pattern-Based Loop Invariants, Formal method 2012 (FME), August 2012, Vol. 7436, pp.37-51, Series LNCS, Paris, France,
• [EB12

  @inproceedings {
  	EB12,
  	title	=	"{Survivability Analysis of VMIMO link in Multi-hop Wireless Network}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-8",
  	note	=	"{Workshop affiliated to FM 2012 http://fm2012.cnam.fr/ }",
  }

  ] M. Escheikh , K. Barkaoui - Survivability Analysis of VMIMO link in Multi-hop Wireless Network, The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012, August 2012, pp.1-8,
• [JGD12

  @inproceedings {
  	JGD12,
  	title	=	"{Variable selection in the context of multivariate process monitoring}",
  	author	=	" L. Jaupi and D. Ghorbanzadeh and P. Durand and D. Herwindiati ",
  	booktitle	=	"{20th International Conference on COMPUTATIONAL STATISTICS (COMPSTAT 2012) short paper}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"22",
  	address	=	"Limassol, Cyprus",
  	note	=	"{The Book of Abstracts can be found at: http://www.compstat2012.org/ }",
  }

  ] L. Jaupi , D. Ghorbanzadeh , P. Durand , D. Herwindiati - Variable selection in the context of multivariate process monitoring, 20th International Conference on COMPUTATIONAL STATISTICS (COMPSTAT 2012) short paper, August 2012, pp.22, Limassol, Cyprus,
• [HDJ12

  @inproceedings {
  	HDJ12,
  	title	=	"{Robust Statistics for Classification of Remote Sensing Data}",
  	author	=	" D. Herwindiati and M. Djauhari and L. Jaupi ",
  	booktitle	=	"{20th International Conference on COMPUTATIONAL STATISTICS (COMPSTAT 2012)}",
  	year	=	2012,
  	edition	=	"International Statistical Institute",
  	month	=	"August",
  	series	=	"ISBN:978-90-73592-32-2",
  	pages	=	"317-328",
  	note	=	"{Proceedings of COMPSTAT 2012 ISBN:978-90-73592-32-2 p. 317-328}",
  }

  ] D. Herwindiati , M. Djauhari , L. Jaupi - Robust Statistics for Classification of Remote Sensing Data, 20th International Conference on COMPUTATIONAL STATISTICS (COMPSTAT 2012), August 2012, pp.317-328, Series ISBN:978-90-73592-32-2,
• [BEL12a

  @inproceedings {
  	BEL12a,
  	title	=	"{Convex reformulations of Integer Quadratically Constrained Problems}",
  	author	=	" A. Billionnet and S. Elloumi and A. Lambert ",
  	booktitle	=	"{ISMP (21th International Symposium of Mathematical programming)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1 page",
  	address	=	"Berlin, Germany",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - Convex reformulations of Integer Quadratically Constrained Problems, ISMP (21th International Symposium of Mathematical programming), August 2012, pp.1 page, Berlin, Germany,
• [Ell12

  @inproceedings {
  	Ell12,
  	title	=	"{A unified view of linear and quadratic convex reformulations for binary quadratic programming}",
  	author	=	" S. Elloumi ",
  	booktitle	=	"{ISMP}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1 page",
  	address	=	"Berlin, Allemagne",
  }

  ] S. Elloumi - A unified view of linear and quadratic convex reformulations for binary quadratic programming, ISMP, August 2012, pp.1 page, Berlin, Allemagne,
• [BGS12

  @inproceedings {
  	BGS12,
  	title	=	"{Sparse principal component analysis for multiblock data and its extension to sparse multiple correspondence analysis}",
  	author	=	" A. Bernard and C. Guinot and G. Saporta ",
  	booktitle	=	"{Compstat 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"99-106",
  	address	=	"Limassol, Chypre",
  }

  ] A. Bernard , C. Guinot , G. Saporta - Sparse principal component analysis for multiblock data and its extension to sparse multiple correspondence analysis, Compstat 2012, August 2012, pp.99-106, Limassol, Chypre,
• [GNT12

  @inproceedings {
  	GNT12,
  	title	=	"{Stacking prediction for a binary outcome}",
  	author	=	" C. Gomes and H. Nocairi and M. Thomas and F. Ibanez and J. Collin and G. Saporta ",
  	booktitle	=	"{Compstat 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"271-282",
  	address	=	"Limassol, Chypre",
  }

  ] C. Gomes , H. Nocairi , M. Thomas , F. Ibanez , J. Collin , G. Saporta - Stacking prediction for a binary outcome, Compstat 2012, August 2012, pp.271-282, Limassol, Chypre,
• [HCC12

  @inproceedings {
  	HCC12,
  	title	=	"{Robust optimization of optical fiber access networks deployments}",
  	author	=	" C. Hervet and M. Chardy and M.-C. Costa and A. Faye and S. Francfort ",
  	booktitle	=	"{International Symposium on Mathematical Programming (ISMP 2012) (and EURO 2012, Vilnius, Lithuania)}",
  	year	=	2012,
  	edition	=	"21",
  	month	=	"August",
  	pages	=	"1",
  	address	=	"Berlin, Germany",
  }

  ] C. Hervet , M. Chardy , M.-C. Costa , A. Faye , S. Francfort - Robust optimization of optical fiber access networks deployments, International Symposium on Mathematical Programming (ISMP 2012) (and EURO 2012, Vilnius, Lithuania), August 2012, pp.1, Berlin, Germany,
• [BCP12

  @inproceedings {
  	BCP12,
  	title	=	"{Robust optimal sizing of an hybrid energy stand-alone system }",
  	author	=	" A. Billionnet and M.-C. Costa and P. Poirion ",
  	booktitle	=	"{21st International Symposium on Mathematical Programming (ISMP 2012) and ROADEF 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"191",
  	address	=	"Berlin, Germany",
  }

  ] A. Billionnet , M.-C. Costa , P. Poirion - Robust optimal sizing of an hybrid energy stand-alone system , 21st International Symposium on Mathematical Programming (ISMP 2012) and ROADEF 2012, August 2012, pp.191, Berlin, Germany,
• [LCS12

  @inproceedings {
  	LCS12,
  	title	=	"{Kernel discrimination and explicative features: an operative approach}",
  	author	=	" C. Liberati and F. Camillo and G. Saporta ",
  	booktitle	=	"{Compstat 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"507-518",
  	address	=	"Limassol, Chypre",
  }

  ] C. Liberati , F. Camillo , G. Saporta - Kernel discrimination and explicative features: an operative approach, Compstat 2012, August 2012, pp.507-518, Limassol, Chypre,
• [CPG12

  @inproceedings {
  	CPG12,
  	title	=	"{Toward provably robust watermarking}",
  	author	=	" P. Courtieu and C. Paulin-Mohring and D. Gross-Amblard and D. Baelde ",
  	booktitle	=	"{Interactive theorem proving (TPHOLs)}",
  	year	=	2012,
  	month	=	"August",
  	series	=	"LNCS",
  	pages	=	"0-0",
  	note	=	"{To appear}",
  }

  ] P. Courtieu , C. Paulin-Mohring , D. Gross-Amblard , D. Baelde - Toward provably robust watermarking, Interactive theorem proving (TPHOLs), August 2012, pp.0-0, Series LNCS,
• [ASB12a

  @inproceedings {
  	ASB12a,
  	title	=	"{Log-based Intrusion Detection for MANET}",
  	author	=	" M. Alattar and F. Sailhan and J. Bourgeois ",
  	booktitle	=	"{8th IEEE Wireless Communications and Mobile Computing Conference (IWCMC)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-6",
  }

  ] M. Alattar , F. Sailhan , J. Bourgeois - Log-based Intrusion Detection for MANET, 8th IEEE Wireless Communications and Mobile Computing Conference (IWCMC), August 2012, pp.1-6,
• [LHM12

  @inproceedings {
  	LHM12,
  	title	=	"{Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Program}",
  	author	=	" G. Le Truong and O. Hermant and M. Manceny and R. Pawlak and R. Rioboo ",
  	booktitle	=	"{International Conference on Software Paradigm Trends}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"347-350",
  	address	=	"Rome, Italy",
  }

  ] G. Le Truong , O. Hermant , M. Manceny , R. Pawlak , R. Rioboo - Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Program, International Conference on Software Paradigm Trends, July 2012, pp.347-350, Rome, Italy,
• [BEL12c

  @inproceedings {
  	BEL12c,
  	title	=	"{A new Branch and Bound algorithm for MIQPs}",
  	author	=	" A. Billionnet and S. Elloumi and A. Lambert ",
  	booktitle	=	"{EURO 2012}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"57",
  	address	=	"Vilnius, Lithuania",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - A new Branch and Bound algorithm for MIQPs, EURO 2012, July 2012, pp.57, Vilnius, Lithuania,
• [CPS12

  @inproceedings {
  	CPS12,
  	title	=	"{Interaction Design Challenges and Solutions for ALMA Operations Monitoring and Control}",
  	author	=	" P. Cubaud and E. Pietriga and J. Schwartz ",
  	booktitle	=	"{SPIE Astronomical telescopes and instrumentation}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"10",
  	address	=	"Amsterdam, Netherlands",
  }

  ] P. Cubaud , E. Pietriga , J. Schwartz - Interaction Design Challenges and Solutions for ALMA Operations Monitoring and Control, SPIE Astronomical telescopes and instrumentation, July 2012, pp.10, Amsterdam, Netherlands,
• [BB12b

  @inproceedings {
  	BB12b,
  	title	=	"{Parametric Verification of TimeWorkflow Nets}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{The 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (to appear).}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"1-6",
  }

  ] H. Boucheneb , K. Barkaoui - Parametric Verification of TimeWorkflow Nets, The 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (to appear)., July 2012, pp.1-6,
• [BB12a

  @inproceedings {
  	BB12a,
  	title	=	"{Reachability Analysis of P-Time Petri Nets with Parametric Markings}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{12th International Conference on Application of Concurrency to System Design ACSD 2012 (to appear).}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-10",
  	address	=	"Hamburg, Germany",
  }

  ] H. Boucheneb , K. Barkaoui - Reachability Analysis of P-Time Petri Nets with Parametric Markings, 12th International Conference on Application of Concurrency to System Design ACSD 2012 (to appear)., June 2012, pp.1-10, Hamburg, Germany,
• [EFR12

  @inproceedings {
  	EFR12,
  	title	=	"{Set-Membership Estimation Improvement Applying HOSM Differentiators}",
  	author	=	" D. Efimov and L. Fridman and T. Raïssi and A. Zolghadri and R. Seydou ",
  	booktitle	=	"{American Control Conference}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Montréal, Canada",
  }

  ] D. Efimov , L. Fridman , T. Raïssi , A. Zolghadri , R. Seydou - Set-Membership Estimation Improvement Applying HOSM Differentiators, American Control Conference, June 2012, Montréal, Canada,
• [DdS12

  @inproceedings {
  	DdS12,
  	title	=	"{Efficient Filtering in Micro-blogging Systems: We Won't Get Flooded Again}",
  	author	=	" R. Dahimene and C. du Mouza and M. Scholl ",
  	booktitle	=	"{Intl. IEEE Conf. on Scientific and Statistical Databases (SSDBM'12)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-9",
  }

  ] R. Dahimene , C. du Mouza , M. Scholl - Efficient Filtering in Micro-blogging Systems: We Won't Get Flooded Again, Intl. IEEE Conf. on Scientific and Statistical Databases (SSDBM'12), June 2012, pp.1-9,
• [JBD12

  @inproceedings {
  	JBD12,
  	title	=	"{Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover}",
  	author	=	" M. Jacquel and K. Berkani and D. Delahaye and C. Dubois ",
  	booktitle	=	"{International Joint Conference on Automated Reasoning (IJCAR 2012)}",
  	year	=	2012,
  	month	=	"June",
  	series	=	"LNAI",
  	volume	=	7364,
  	pages	=	"332--338",
  	address	=	"Manchester, UK",
  }

  ] M. Jacquel , K. Berkani , D. Delahaye , C. Dubois - Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover, International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,
• [ Ba12

  @inproceedings {
  	Ba12,
  	title	=	"{Is Multicast useful in Health Care Monitoring Systems?}",
  	author	=	" J. Barros ",
  	booktitle	=	"{Wireless Advanced 2012 }",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"5",
  }

  ] J. Barros - Is Multicast useful in Health Care Monitoring Systems?, Wireless Advanced 2012 , June 2012, pp.5,
• [ WB12

  @inproceedings {
  	WB12,
  	title	=	"{Is Multicast useful in Health Care Monitoring Systems?}",
  	author	=	" J. Barros and A. Wei and A. Beylot ",
  	booktitle	=	"{Wireless Advanced 2012 }",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-5",
  }

  ] J. Barros , A. Wei , A. Beylot - Is Multicast useful in Health Care Monitoring Systems?, Wireless Advanced 2012 , June 2012, pp.1-5,
• [NBF12

  @inproceedings {
  	NBF12,
  	title	=	"{YAO: A Generator of Parallel Code for Variational Data Assimilation Applications}",
  	author	=	" L. Nardi and F. Badran and P. Fortin and S. Thiria ",
  	booktitle	=	"{ 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"224-232",
  }

  ] L. Nardi , F. Badran , P. Fortin , S. Thiria - YAO: A Generator of Parallel Code for Variational Data Assimilation Applications, 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC), June 2012, pp.224-232,
• [Pl12

  @inproceedings {
  	Pl12,
  	title	=	"{Power allocation for the multi-carrier two-user Gaussian Interference Channel}",
  	author	=	" M. Pischella and D. le Ruyet ",
  	booktitle	=	"{IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Cesme, Turkey",
  }

  ] M. Pischella , D. le Ruyet - Power allocation for the multi-carrier two-user Gaussian Interference Channel, IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012), June 2012, Cesme, Turkey,
• [AlP12

  @inproceedings {
  	AlP12,
  	title	=	"{Recursive Stream Selection for Sum-Rate Maximization on the Interference Channel}",
  	author	=	" M. Amara and D. le Ruyet and M. Pischella ",
  	booktitle	=	"{IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Cesme, Turkey",
  }

  ] M. Amara , D. le Ruyet , M. Pischella - Recursive Stream Selection for Sum-Rate Maximization on the Interference Channel, IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012), June 2012, Cesme, Turkey,
• [ENK12

  @inproceedings {
  	ENK12,
  	title	=	"{Survey of Synchronization Algorithms: Wireless Sensor Networks Case Study}",
  	author	=	" S. El Khediri and N. Nasri and A. Kachouri and A. Wei ",
  	booktitle	=	"{ICCIT2012}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-5",
  }

  ] S. El Khediri , N. Nasri , A. Kachouri , A. Wei - Survey of Synchronization Algorithms: Wireless Sensor Networks Case Study, ICCIT2012, June 2012, pp.1-5,
• [OlP12

  @inproceedings {
  	OlP12,
  	title	=	"{Reduced feedback links for power minimization in distributed multicell OFDMA networks}",
  	author	=	" B. Ozbek and D. le Ruyet and M. Pischella ",
  	booktitle	=	"{IEEE International Conference on Communications (ICC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Ottawa, Canada",
  }

  ] B. Ozbek , D. le Ruyet , M. Pischella - Reduced feedback links for power minimization in distributed multicell OFDMA networks, IEEE International Conference on Communications (ICC 2012), June 2012, Ottawa, Canada,
• [DJR12a

  @inproceedings {
  	DJR12a,
  	title	=	"{Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment}",
  	author	=	" D. Doligez and M. Jaume and R. Rioboo ",
  	booktitle	=	"{ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) }",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"A paraitre",
  }

  ] D. Doligez , M. Jaume , R. Rioboo - Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment, ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
• [RED12

  @inproceedings {
  	RED12,
  	title	=	"{State Estimation for Linear Switched Systems with Unknown Inputs}",
  	author	=	" H. Rios and D. Efimov and J. Davila and T. Raïssi and L. Fridman and A. Zolghadri ",
  	booktitle	=	"{4th IFAC Conference on Analysis and Design of Hybrid Systems}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Eindhoven, The Netherlands",
  }

  ] H. Rios , D. Efimov , J. Davila , T. Raïssi , L. Fridman , A. Zolghadri - State Estimation for Linear Switched Systems with Unknown Inputs, 4th IFAC Conference on Analysis and Design of Hybrid Systems, June 2012, Eindhoven, The Netherlands,
• [SSC12

  @inproceedings {
  	SSC12,
  	title	=	"{Ontologies for Security Requirements: A Literature Survey and Classification}",
  	author	=	" A. Souag and C. Salinesi and I. Comyn-Wattiau ",
  	booktitle	=	"{Second International Workshop on Information Systems Security Engineering (WISSE) - in conjunction with 24th International Conference on Advanced Information Systems Engineering (CAiSE12)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"61-69",
  }

  ] A. Souag , C. Salinesi , I. Comyn-Wattiau - Ontologies for Security Requirements: A Literature Survey and Classification, Second International Workshop on Information Systems Security Engineering (WISSE) - in conjunction with 24th International Conference on Advanced Information Systems Engineering (CAiSE12), June 2012, pp.61-69,
• [SAC12a

  @inproceedings {
  	SAC12a,
  	title	=	"{Aligning Business Process Models and Domain Knowledge: A Meta-Modeling Approach}",
  	author	=	" S. Si-Said Cherfi and S. AYAD and I. Comyn-Wattiau ",
  	booktitle	=	"{16th East-European Conference on Advances in Databases and Information Systems (ADBIS'12)}",
  	year	=	2012,
  	edition	=	"Springer",
  	month	=	"June",
  	series	=	"Advances in Intelligent Systems and Computing series",
  	volume	=	186,
  	pages	=	"45-56",
  	doi	=	"10.1007/978-3-642-32741-4_5",
  }

  ] S. Si-Said Cherfi , S. AYAD , I. Comyn-Wattiau - Aligning Business Process Models and Domain Knowledge: A Meta-Modeling Approach, 16th East-European Conference on Advances in Databases and Information Systems (ADBIS'12), June 2012, Vol. 186, pp.45-56, Series Advances in Intelligent Systems and Computing series, (DOI: 10.1007/978-3-642-32741-4_5)
• [CDG12

  @inproceedings {
  	CDG12,
  	title	=	"{A first step in the design of a formally verified constraint-based testing tool: FocalTest}",
  	author	=	" M. Carlier and C. Dubois and A. Gotlieb ",
  	booktitle	=	"{Tests and Proofs }",
  	year	=	2012,
  	month	=	"May",
  	series	=	"LNCS",
  	volume	=	7305,
  	pages	=	"35--50",
  	address	=	"Prague, République tchèque",
  }

  ] M. Carlier , C. Dubois , A. Gotlieb - A first step in the design of a formally verified constraint-based testing tool: FocalTest, Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, République tchèque,
• [CAP12

  @inproceedings {
  	CAP12,
  	title	=	"{Looking behind Bezels: French Windows for Wall Displays}",
  	author	=	" P. Cubaud and R. Almeida and C. Pillias and E. Pietriga ",
  	booktitle	=	"{ACM AVI '12: Proceedings of the 11th working conference on Advanced visual interfaces}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"8",
  	address	=	"Capri, Italy",
  }

  ] P. Cubaud , R. Almeida , C. Pillias , E. Pietriga - Looking behind Bezels: French Windows for Wall Displays, ACM AVI '12: Proceedings of the 11th working conference on Advanced visual interfaces, May 2012, pp.8, Capri, Italy,
• [PAC12a

  @inproceedings {
  	PAC12a,
  	title	=	"{Transforming multidimensional models into OWL-DL ontologies }",
  	author	=	" N. Prat and J. Akoka and I. Comyn-Wattiau ",
  	booktitle	=	"{IEEE Sixth International Conference on Research Challenges in Information Science (RCIS)}",
  	year	=	2012,
  	edition	=	"IEEE",
  	month	=	"May",
  	pages	=	"12 pages",
  	address	=	"Valencia, Espagne",
  }

  ] N. Prat , J. Akoka , I. Comyn-Wattiau - Transforming multidimensional models into OWL-DL ontologies , IEEE Sixth International Conference on Research Challenges in Information Science (RCIS), May 2012, pp.12 pages, Valencia, Espagne,
• [AYA12

  @inproceedings {
  	AYA12,
  	title	=	"{A Quality Based Approach for the Analysis and Design of Business Process Models}",
  	author	=	" S. AYAD ",
  	booktitle	=	"{IEEE Sixth International Conference on Research Challenges in Information Science (RCIS)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-5",
  }

  ] S. AYAD - A Quality Based Approach for the Analysis and Design of Business Process Models, IEEE Sixth International Conference on Research Challenges in Information Science (RCIS), May 2012, pp.1-5,
• [KVP12

  @inproceedings {
  	KVP12,
  	title	=	"{A New Method for Inter-Cell Interference Estimation in Uplink SC-FDMA Networks}",
  	author	=	" F. Kaddour and E. Vivier and M. Pischella and P. Martins ",
  	booktitle	=	"{IEEE Vehicular Technology Conference (VTC Spring 2012)}",
  	year	=	2012,
  	month	=	"May",
  	address	=	"Yokohama, Japan",
  }

  ] F. Kaddour , E. Vivier , M. Pischella , P. Martins - A New Method for Inter-Cell Interference Estimation in Uplink SC-FDMA Networks, IEEE Vehicular Technology Conference (VTC Spring 2012), May 2012, Yokohama, Japan,
• [Bel12d

  @inproceedings {
  	Bel12d,
  	title	=	"{FS-FBMC: an alternative scheme for filter bank based multicarrier transmission}",
  	author	=	" M. Bellanger ",
  	booktitle	=	"{ISCCSP}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"425-428",
  	address	=	"Rome, Italy",
  }

  ] M. Bellanger - FS-FBMC: an alternative scheme for filter bank based multicarrier transmission, ISCCSP, May 2012, pp.425-428, Rome, Italy,
• [BJT12

  @inproceedings {
  	BJT12,
  	title	=	"{Combining simulated annealing and linear programming approaches for reconstructing hv-convex colored images}",
  	author	=	" A. Billionnet and F. Jarray and G. Tlig and E. Zagrouba ",
  	booktitle	=	"{ISCO 2012 (2nd International Symposium on Combinatorial Optimization)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"4 pages",
  	address	=	"Athens, Greece",
  }

  ] A. Billionnet , F. Jarray , G. Tlig , E. Zagrouba - Combining simulated annealing and linear programming approaches for reconstructing hv-convex colored images, ISCO 2012 (2nd International Symposium on Combinatorial Optimization), April 2012, pp.4 pages, Athens, Greece,
• [ANP12

  @inproceedings {
  	ANP12,
  	title	=	"{Generalizations of Dobson approximation algorithm and cooperation with Column Generation for large-size Covering Integer Programs}",
  	author	=	" L. Alfandari and A. Nagih and A. Plateau and J. Sadki ",
  	booktitle	=	"{ISCO 2012, 2nd International Symposium on Combinatorial Optimization}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"1-4",
  	address	=	"Athens, greece",
  }

  ] L. Alfandari , A. Nagih , A. Plateau , J. Sadki - Generalizations of Dobson approximation algorithm and cooperation with Column Generation for large-size Covering Integer Programs, ISCO 2012, 2nd International Symposium on Combinatorial Optimization, April 2012, pp.1-4, Athens, greece,
• [THK12

  @inproceedings {
  	THK12,
  	title	=	"{A primer on the Petri Net Markup Language and ISO/IEC 15909-2}",
  	author	=	" N. Treves and L. Hillah and F. Kordon and L. Petrucci ",
  	booktitle	=	"{10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"19",
  }

  ] N. Treves , L. Hillah , F. Kordon , L. Petrucci - A primer on the Petri Net Markup Language and ISO/IEC 15909-2, 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09), April 2012, pp.19,
• [CB12

  @inproceedings {
  	CB12,
  	title	=	"{Social Mobility Models Realism versus Real Traces}",
  	author	=	" H. Costantini and S. Boumerdassi ",
  	booktitle	=	"{2012 IEEE Wireless Communications and Networking Conference: Mobile and Wireless Networks (IEEE WCNC 2012 Track 3 Mobile and Wireless)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"10-20",
  	address	=	"Paris, FRANCE",
  }

  ] H. Costantini , S. Boumerdassi - Social Mobility Models Realism versus Real Traces, 2012 IEEE Wireless Communications and Networking Conference: Mobile and Wireless Networks (IEEE WCNC 2012 Track 3 Mobile and Wireless), April 2012, pp.10-20, Paris, FRANCE,
• [sdl12

  @inproceedings {
  	sdl12,
  	title	=	"{On the Distribution of the SINR in Precoded Multicarrier Systems Using Linear MMSE Equalization}",
  	author	=	" b. sens chang and c. da rocha and D. le Ruyet and D. Roviras ",
  	booktitle	=	"{MELECON 2012, 16th IEEE Mediterranean Electrotechnical Conference}",
  	year	=	2012,
  	month	=	"March",
  	address	=	" Tunisia",
  }

  ] b. sens chang , c. da rocha , D. le Ruyet , D. Roviras - On the Distribution of the SINR in Precoded Multicarrier Systems Using Linear MMSE Equalization, MELECON 2012, 16th IEEE Mediterranean Electrotechnical Conference, March 2012, Tunisia,
• [HKC12

  @inproceedings {
  	HKC12,
  	title	=	"{Subscription Indexes for Web Syndication Systems }",
  	author	=	" Z. Hmedeh and H. Kourdounakis and V. Christophides and C. du Mouza and M. Scholl and N. Travers ",
  	booktitle	=	"{International Conference on Extending Database Technology (EDBT'12)}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"311-322",
  	address	=	"Berlin, Germany",
  }

  ] Z. Hmedeh , H. Kourdounakis , V. Christophides , C. du Mouza , M. Scholl , N. Travers - Subscription Indexes for Web Syndication Systems , International Conference on Extending Database Technology (EDBT'12), March 2012, pp.311-322, Berlin, Germany,
• [CdR12

  @inproceedings {
  	CdR12,
  	title	=	"{A Desktop Interface over Distributed Document Repositories}",
  	author	=	" C. Constantin and C. du Mouza and P. Rigaux and V. Thion and N. Travers ",
  	booktitle	=	"{International Conference on Extending Database Technology (EDBT'12)}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"104-107",
  	note	=	"{Demonstration}",
  }

  ] C. Constantin , C. du Mouza , P. Rigaux , V. Thion , N. Travers - A Desktop Interface over Distributed Document Repositories, International Conference on Extending Database Technology (EDBT'12), March 2012, pp.104-107,
• [EB12a

  @inproceedings {
  	EB12a,
  	title	=	"{Network Availability Modeling of VMIMO link in Multi-hop Wireless Network}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12) }",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"1-6",
  }

  ] M. Escheikh , K. Barkaoui - Network Availability Modeling of VMIMO link in Multi-hop Wireless Network, 4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12) , March 2012, pp.1-6,
• [PDT12

  @inproceedings {
  	PDT12,
  	title	=	"{Semantic Indexation of Web Services for Collaborative Expert Activities}",
  	author	=	" Y. Pollet and J. DANTAN and S. TAIBI ",
  	booktitle	=	"{IADIS International Conference on Information Systems 2012}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"57-64",
  }

  ] - Semantic Indexation of Web Services for Collaborative Expert Activities, IADIS International Conference on Information Systems 2012, March 2012, pp.57-64,
• [AS12

  @inproceedings {
  	AS12,
  	title	=	"{A Generic Service Model for QoS Management (Service Management in Next Generation Network) }",
  	author	=	" T. Abonnet and N. Simoni ",
  	booktitle	=	"{ICN'2012, International Conference on Networks, Saint-Gilles, Réunion}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"132-138",
  	doi	=	"ISBN : 978-1-61208-183-0",
  }

  ] T. Abonnet , N. Simoni - A Generic Service Model for QoS Management (Service Management in Next Generation Network) , ICN'2012, International Conference on Networks, Saint-Gilles, Réunion, March 2012, pp.132-138, (DOI: ISBN : 978-1-61208-183-0)
• [NSF12

  @inproceedings {
  	NSF12,
  	title	=	"{Contrôle non paramétrique de procédés par lots basé sur STATIS et la classification }",
  	author	=	" N. Niang Keita and G. Saporta and F. Fogliatto ",
  	booktitle	=	"{Agrostat2012, 12èmes journées Européennes Agro-Industrie et Méthodes Statistiques 28, 29 Février & 1-2 }",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"163-169",
  	address	=	"Paris, ",
  }

  ] N. Niang Keita , G. Saporta , F. Fogliatto - Contrôle non paramétrique de procédés par lots basé sur STATIS et la classification , Agrostat2012, 12èmes journées Européennes Agro-Industrie et Méthodes Statistiques 28, 29 Février & 1-2 , March 2012, pp.163-169, Paris,
• [ W 12

  @inproceedings {
  	W 12,
  	title	=	"{Resource Allocation for Real Time Services Using Cooperative Game Theory and a Virtual Token Mechanism in LTE Networks}",
  	author	=	" M. Iturralde and A. Wei and T. Yahiya and A. Beylot ",
  	booktitle	=	"{IEEE CCNC 2012}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"879-883",
  	address	=	" U.S.A",
  }

  ] M. Iturralde , A. Wei , T. Yahiya , A. Beylot - Resource Allocation for Real Time Services Using Cooperative Game Theory and a Virtual Token Mechanism in LTE Networks, IEEE CCNC 2012, January 2012, pp.879-883, U.S.A,

Conférence Nationale avec comité de lecture

• [ON12

  @inproceedings {
  	ON12,
  	title	=	"{Classification multi blocs pondérée basée sur les cartes topologiques auto-organisées (ConSOM)}",
  	author	=	" M. Ouattara and N. Niang Keita ",
  	booktitle	=	"{XIX conférence de la Société Française de classification SFC : 2012}",
  	year	=	2012,
  	month	=	"October",
  	pages	=	"x",
  	address	=	"Marseille, ",
  }

  ] M. Ouattara , N. Niang Keita - Classification multi blocs pondérée basée sur les cartes topologiques auto-organisées (ConSOM), XIX conférence de la Société Française de classification SFC : 2012, October 2012, pp.x, Marseille,
• [HKC12a

  @inproceedings {
  	HKC12a,
  	title	=	"{Indexes Analysis for Matching Subscriptions in RSS feeds}",
  	author	=	" Z. Hmedeh and H. Kourdounakis and V. Christophides and C. du Mouza and M. Scholl and N. Travers ",
  	booktitle	=	"{BDA'12, Bases de Données Avancées}",
  	year	=	2012,
  	month	=	"October",
  	pages	=	"1--20",
  	address	=	"Clermont-Ferrand, France",
  }

  ] Z. Hmedeh , H. Kourdounakis , V. Christophides , C. du Mouza , M. Scholl , N. Travers - Indexes Analysis for Matching Subscriptions in RSS feeds, BDA'12, Bases de Données Avancées, October 2012, pp.1--20, Clermont-Ferrand, France,
• [KSC12

  @inproceedings {
  	KSC12,
  	title	=	"{Application de la réalité augmentée sonore pour les visites de musées par les malvoyants}",
  	author	=	" F. Kaghat and F. Sailhan and P. Cubaud ",
  	booktitle	=	"{Handicap 2012, 7ème congrès sur les aides techniques pour les personnes handicapées.}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"50",
  	address	=	"Paris, France",
  }

  ] F. Kaghat , F. Sailhan , P. Cubaud - Application de la réalité augmentée sonore pour les visites de musées par les malvoyants, Handicap 2012, 7ème congrès sur les aides techniques pour les personnes handicapées., July 2012, pp.50, Paris, France,
• [MDG12

  @inproceedings {
  	MDG12,
  	title	=	"{Conception d'un serious game thérapeutique: l'expérience du Village}",
  	author	=	" S. Mader and J. Dupire and E. Guardiola and S. Natkin ",
  	booktitle	=	"{Handicap 2012}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"6",
  	address	=	"Paris, France",
  }

  ] S. Mader , J. Dupire , E. Guardiola , S. Natkin - Conception d'un serious game thérapeutique: l'expérience du Village, Handicap 2012, June 2012, pp.6, Paris, France,
• [MD12

  @inproceedings {
  	MD12,
  	title	=	"{Un forum de discussion en ligne accessible aux personnes sourdes signantes}",
  	author	=	" Z. Malla Osman and J. Dupire ",
  	booktitle	=	"{Handicap 2012}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"6",
  	address	=	"Paris, France",
  }

  ] Z. Malla Osman , J. Dupire - Un forum de discussion en ligne accessible aux personnes sourdes signantes, Handicap 2012, June 2012, pp.6, Paris, France,
• [MTD12

  @inproceedings {
  	MTD12,
  	title	=	"{Limites de l'évaluation d'un système d'information : une analyse fondée sur l'expérience pratique}",
  	author	=	" K. Marcal de Oliveira and V. Thion and S. Dupuy-Chessa and M. Gervais and S. Si-Said Cherfi and C. Kolski ",
  	booktitle	=	"{30ème Conférence INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"395-410",
  }

  ] K. Marcal de Oliveira , V. Thion , S. Dupuy-Chessa , M. Gervais , S. Si-Said Cherfi , C. Kolski - Limites de l'évaluation d'un système d'information : une analyse fondée sur l'expérience pratique, 30ème Conférence INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), June 2012, pp.395-410,
• [VLC12

  @inproceedings {
  	VLC12,
  	title	=	"{De l´analyse des risques à l´expression des exigences de sécurité des systèmes d’informations}",
  	author	=	" M. Vasquez and N. Lammari and I. Comyn-Wattiau and J. Akoka ",
  	booktitle	=	"{30ème conférence INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"337-362",
  	address	=	"Montpellier, France",
  }

  ] M. Vasquez , N. Lammari , I. Comyn-Wattiau , J. Akoka - De l´analyse des risques à l´expression des exigences de sécurité des systèmes d’informations, 30ème conférence INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision), May 2012, pp.337-362, Montpellier, France,
• [SOU12

  @inproceedings {
  	SOU12,
  	title	=	"{Vers une nouvelle génération de définition des exigences de sécurité fondée sur l'utilisation des ontologies}",
  	author	=	" A. SOUAG ",
  	booktitle	=	"{INFORSID }",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-8",
  	address	=	"Montpellier, France",
  }

  ] A. SOUAG - Vers une nouvelle génération de définition des exigences de sécurité fondée sur l'utilisation des ontologies, INFORSID , May 2012, pp.1-8, Montpellier, France,
• [AYA12a

  @inproceedings {
  	AYA12a,
  	title	=	"{Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil}",
  	author	=	" S. AYAD ",
  	booktitle	=	"{INFORSID}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"601-609",
  }

  ] S. AYAD - Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil, INFORSID, May 2012, pp.601-609,
• [CRV12

  @inproceedings {
  	CRV12,
  	title	=	"{Le premier algorithme stabilisant de construction d'arbre totalement polynomial}",
  	author	=	" A. Cournier and S. Rovedakis and V. Villain ",
  	booktitle	=	"{14ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-4",
  }

  ] A. Cournier , S. Rovedakis , V. Villain - Le premier algorithme stabilisant de construction d'arbre totalement polynomial, 14ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, pp.1-4,
• [AQG12

  @inproceedings {
  	AQG12,
  	title	=	"{Évaluation d’un système d’information et de connaissance - De l’importance de la prise en compte de la connaissance}",
  	author	=	" P. Arduin and D. Quang-Minh and D. Grigori and M. Grim-Yefsah and M. Grundstein and E. Negre and C. Rosenthal-Sabroux and V. Thion ",
  	booktitle	=	"{InFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"371-378",
  }

  ] P. Arduin , D. Quang-Minh , D. Grigori , M. Grim-Yefsah , M. Grundstein , E. Negre , C. Rosenthal-Sabroux , V. Thion - Évaluation d’un système d’information et de connaissance - De l’importance de la prise en compte de la connaissance, InFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), May 2012, pp.371-378,
• [DJD12

  @inproceedings {
  	DJD12,
  	title	=	"{Modélisation d'un code numérique par un processus gaussien – Application au calcul d'une courbe de probabilité de dépasser un seuil}",
  	author	=	" S. Demeyer and F. Jenson and N. Dominguez ",
  	booktitle	=	"{44e Journées de Statistiques de la SFdS, Bruxelles}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-8",
  }

  ] S. Demeyer , F. Jenson , N. Dominguez - Modélisation d'un code numérique par un processus gaussien – Application au calcul d'une courbe de probabilité de dépasser un seuil, 44e Journées de Statistiques de la SFdS, Bruxelles, May 2012, pp.1-8,
• [BSG12

  @inproceedings {
  	BSG12,
  	title	=	"{Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané }",
  	author	=	" A. Bernard and G. Saporta and C. Guinot and A. Tenenhaus and J. Zagury ",
  	booktitle	=	"{JDS'2012, 44e Journées de Statistique}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"xx",
  	address	=	"Bruxelles, Belgique",
  }

  ] A. Bernard , G. Saporta , C. Guinot , A. Tenenhaus , J. Zagury - Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané , JDS'2012, 44e Journées de Statistique, May 2012, pp.xx, Bruxelles, Belgique,
• [BJT12a

  @inproceedings {
  	BJT12a,
  	title	=	"{Programmation discrète pour la reconstruction de matrices convexes}",
  	author	=	" A. Billionnet and F. Jarray and G. Tlig and E. Zagrouba ",
  	booktitle	=	"{ROADEF 2012, 13ème Congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"2 pages",
  	address	=	"Angers, France",
  }

  ] A. Billionnet , F. Jarray , G. Tlig , E. Zagrouba - Programmation discrète pour la reconstruction de matrices convexes, ROADEF 2012, 13ème Congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, April 2012, pp.2 pages, Angers, France,
• [TDB12

  @inproceedings {
  	TDB12,
  	title	=	"{Planification robuste du matériel roulant ferroviaire}",
  	author	=	" S. Tréfond and H. Djellab and A. Billionnet and S. Elloumi ",
  	booktitle	=	"{ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision }",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"544--545",
  	address	=	"Angers, France",
  }

  ] S. Tréfond , H. Djellab , A. Billionnet , S. Elloumi - Planification robuste du matériel roulant ferroviaire, ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision , April 2012, pp.544--545, Angers, France,
• [JR12

  @inproceedings {
  	JR12,
  	title	=	"{Développement de systèmes sécurisés avec l'atelier Focalize,}",
  	author	=	" M. Jaume and R. Rioboo ",
  	booktitle	=	"{ 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012)}",
  	year	=	2012,
  	month	=	"February",
  	pages	=	"104--118",
  	address	=	"Carnac, France",
  }

  ] M. Jaume , R. Rioboo - Développement de systèmes sécurisés avec l'atelier Focalize,, 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,
• [SDG12

  @inproceedings {
  	SDG12,
  	title	=	"{Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. }",
  	author	=	" D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau ",
  	booktitle	=	"{congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) }",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"8 pages",
  	address	=	"Lyon, ",
  	note	=	"{http://hal.archives-ouvertes.fr/RFIA2012}",
  }

  ] D. Sadoun , C. Dubois , Y. Ghamri-Doudane , B. Grau - Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. , congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
• [BDD12

  @inproceedings {
  	BDD12,
  	title	=	"{BCARe : un environnement pour la vérification de règles de l’Atelier B }",
  	author	=	" K. Berkani and D. Delahaye and C. Dubois and M. Jacquel and M. Keogh and E. Le Lay ",
  	booktitle	=	"{Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012)}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"46-49",
  	address	=	"Grenoble, France",
  }

  ] K. Berkani , D. Delahaye , C. Dubois , M. Jacquel , M. Keogh , E. Le Lay - BCARe : un environnement pour la vérification de règles de l’Atelier B , Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,

Conférences invitées

• [Nat12

  @inproceedings {
  	Nat12,
  	title	=	"{Le Complexe de Frankenstein Revisité}",
  	author	=	" S. Natkin ",
  	booktitle	=	"{Vers un Musée de l’Informatique et de la Société Numérique en France}",
  	year	=	2012,
  	month	=	"November",
  	pages	=	"1-7",
  	note	=	"{Accessible à http://www.musee-informatique-numerique.fr/}",
  }

  ] S. Natkin - Le Complexe de Frankenstein Revisité, Vers un Musée de l’Informatique et de la Société Numérique en France, November 2012, pp.1-7,
• [Lat12

  @inproceedings {
  	Lat12,
  	title	=	"{Emerging Statistical Issues in Clinical Trials}",
  	author	=	" A. Latouche ",
  	booktitle	=	"{10th Annual ASA CT Chapter Mini-Conference}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"-",
  	address	=	"Yale University, ",
  	note	=	"{http://www.amstat.org/chapters/Connecticut/home/MiniConference/miniconf_index.htm}",
  }

  ] A. Latouche - Emerging Statistical Issues in Clinical Trials, 10th Annual ASA CT Chapter Mini-Conference, March 2012, pp.-, Yale University,
• [ML12

  @inproceedings {
  	ML12,
  	title	=	"{Regression modeling of the cumulative incidence function with missing causes of failure using pseudo-observations }",
  	author	=	" M. Moreno-Betancur and A. Latouche ",
  	booktitle	=	"{58. Biometrisches Kolloquium}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"xx",
  	address	=	"Berlin, ",
  	note	=	"{http://www.biometrisches-kolloquium.de/}",
  }

  ] M. Moreno-Betancur , A. Latouche - Regression modeling of the cumulative incidence function with missing causes of failure using pseudo-observations , 58. Biometrisches Kolloquium, March 2012, pp.xx, Berlin,

Conférences Internationales sans actes

• [SBG12

  @conference {
  	SBG12,
  	title	=	"{A generalisation of sparse PCA to multiple correspondence analysis}",
  	author	=	" G. Saporta and A. Bernard and C. Guinot ",
  	year	=	2012,
  }

  ] G. Saporta , A. Bernard , C. Guinot - A generalisation of sparse PCA to multiple correspondence analysis, ERCIM 2012, Oviedo, Spain,
• [Alb12

  @conference {
  	Alb12,
  	title	=	"{A two-mode interference measurement for absolute distance measurements with nanometer accuracy}",
  	author	=	" C. Alexandre and m. lintz and a. brillet and ha phung ",
  	year	=	2012,
  }

  ] C. Alexandre , m. lintz , a. brillet , ha phung - A two-mode interference measurement for absolute distance measurements with nanometer accuracy, ICSO , ajaccio, france,
• [BHP12

  @conference {
  	BHP12,
  	title	=	"{An OSGi Based Service Architecture in The Context of Tag-to-MobiCloud Computing}",
  	author	=	" S. Bouzefrane and F. Houacine and P. Paradinas ",
  	year	=	2012,
  }

  ] S. Bouzefrane , F. Houacine , P. Paradinas - An OSGi Based Service Architecture in The Context of Tag-to-MobiCloud Computing, Chip-to-Cloud Security Forum, Nice, France,
• [ATM12

  @conference {
  	ATM12,
  	title	=	"{Self-Adjustment Channel Rank Based on Reordered Cholesky Factorization}",
  	author	=	" C. Alexandre and M. Terre and R. MAOUDJ ",
  	year	=	2012,
  	note	=	"{http://www.wocn2012.org/}",
  }

  ] C. Alexandre , M. Terre , R. MAOUDJ - Self-Adjustment Channel Rank Based on Reordered Cholesky Factorization, wocn2012, indore, india,
• [AMT12

  @conference {
  	AMT12,
  	title	=	"{DSP Implementation of Interference Cancellation Algorithm for a SIMO System}",
  	author	=	" C. Alexandre and R. MAOUDJ and M. Terre and d. popielski ",
  	year	=	2012,
  }

  ] C. Alexandre , R. MAOUDJ , M. Terre , d. popielski - DSP Implementation of Interference Cancellation Algorithm for a SIMO System, iswcs, paris, france,
• [BB12

  @conference {
  	BB12,
  	title	=	"{CoqInE : Translating the calculus of inductive constructions into the λΠ-calculus modulo.}",
  	author	=	" M. Boespflug and G. Burel ",
  	year	=	2012,
  }

  ] M. Boespflug , G. Burel - CoqInE : Translating the calculus of inductive constructions into the λΠ-calculus modulo., Second International Workshop on Proof Exchange for Theorem Proving (PXTP 2012), Manchester, United Kingdom,
• [CGB12a

  @conference {
  	CGB12a,
  	title	=	"{NbClust package: finding the relevant number of clusters in a dataset}",
  	author	=	" M. Charrad and N. Ghazzali and V. Boiteau and A. Niknafs ",
  	year	=	2012,
  }

  ] M. Charrad , N. Ghazzali , V. Boiteau , A. Niknafs - NbClust package: finding the relevant number of clusters in a dataset, UseR! 2012, Nashville, USA,

Conférences Nationales sans actes

• [Alp12a

  @conference {
  	Alp12a,
  	title	=	"{TELEMETRIE LASER DE HAUTE EXACTITUDE ET HAUTE RESOLUTION PAR MODULATION DE PORTEUSE A 20 GHZ}",
  	author	=	" C. Alexandre and m. lintz and ha phung and a. brillet ",
  	year	=	2012,
  }

  ] C. Alexandre , m. lintz , ha phung , a. brillet - TELEMETRIE LASER DE HAUTE EXACTITUDE ET HAUTE RESOLUTION PAR MODULATION DE PORTEUSE A 20 GHZ, journée du club optique et microondes, lille, france,
• [Alp12b

  @conference {
  	Alp12b,
  	title	=	"{Couplage amplitude-phase dans les photodiodes à grande bande passante: caractérisation statique et dynamique de photodiodes PIN InGaAs à 20GHz; transitoires d'échauffement de la jonction}",
  	author	=	" C. Alexandre and m. lintz and ha phung and M. MERZOUGUI ",
  	year	=	2012,
  }

  ] C. Alexandre , m. lintz , ha phung , M. MERZOUGUI - Couplage amplitude-phase dans les photodiodes à grande bande passante: caractérisation statique et dynamique de photodiodes PIN InGaAs à 20GHz; transitoires d'échauffement de la jonction, journée du club optique et microondes, lille, france,

Livre

• [TPV12

  @book {
  	TPV12,
  	title	=	"{Systèmes sans fil: Problèmes résolus}",
  	author	=	"M. Terre and M. Pischella and E. Vivier",
  	year	=	2012,
  	publisher	=	"Hermes science publications",
  	pages	=	"224",
  	isbn	=	"978-2-7462-3906-7 ",
  }

  ] M. Terre , M. Pischella , E. Vivier - Systèmes sans fil: Problèmes résolus, September 2012, Hermes science publications, pp. 224, (isbn: 978-2-7462-3906-7 )
• [Del12

  @book {
  	Del12,
  	title	=	"{Linux : programmation système et réseau, 4eme édition}",
  	author	=	"J. Delacroix",
  	year	=	2012,
  	publisher	=	"Sciences Sup, Dunod",
  	pages	=	"384",
  	isbn	=	"9782100576371 ",
  }

  ] J. Delacroix - Linux : programmation système et réseau, 4eme édition, April 2012, Sciences Sup, Dunod, pp. 384, (isbn: 9782100576371 )
• [BFD12a

  @book {
  	BFD12a,
  	title	=	"{BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II}",
  	author	=	"K. Barkaoui and D. Florian and S. Dustdar",
  	year	=	2012,
  	publisher	=	"Springer-Verlag",
  	pages	=	"480p",
  	note	=	"{http://www.informatik.uni-trier.de/~ley/db/conf/bpm/bpmw2011-2.html }",
  	isbn	=	"ISBN 978-3-642-28114-3",
  }

  ] K. Barkaoui , D. Florian , S. Dustdar - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, February 2012, Springer-Verlag, pp. 480p, (isbn: ISBN 978-3-642-28114-3)
• [RAR12

  @book {
  	RAR12,
  	title	=	"{Web Data Management}",
  	author	=	"P. Rigaux and S. Abiteboul and M. Rousset and P. Senellart and I. Manolescu",
  	year	=	2012,
  	publisher	=	"Cambrdige University Press",
  	pages	=	"456",
  	isbn	=	"9781107012431",
  }

  ] P. Rigaux , S. Abiteboul , M. Rousset , P. Senellart , I. Manolescu - Web Data Management, February 2012, Cambrdige University Press, pp. 456, (isbn: 9781107012431)

Directions d'ouvrages scientifiques

• [MBI12

  @book {
  	MBI12,
  	title	=	"{Natural Language Processing and Information Systems - 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012.}",
  	author	=	"E. Metais and G. Bouma and A. Itoo and H. Wortmann",
  	year	=	2012,
  	publisher	=	"Springer Lecture Notes in Computer Science ",
  	pages	=	"1,300",
  }

  ] E. Metais , G. Bouma , A. Itoo , H. Wortmann - Natural Language Processing and Information Systems - 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012., June 2012, Springer Lecture Notes in Computer Science , pp. 1,300,
• [LRM12

  @book {
  	LRM12,
  	title	=	"{Proc. and Preface of WISSE’12 (Second International Workshop on Information Systems Security Engineering) qui a eu lieu en conjonction avec CAISE'2012 à Gdansk. }",
  	author	=	"N. Lammari and D. Rosado and H. Mouratidis",
  	year	=	2012,
  	publisher	=	"WISSE’12",
  }

  ] N. Lammari , D. Rosado , H. Mouratidis - Proc. and Preface of WISSE’12 (Second International Workshop on Information Systems Security Engineering) qui a eu lieu en conjonction avec CAISE'2012 à Gdansk. , June 2012, WISSE’12,
• [DLT12

  @book {
  	DLT12,
  	title	=	"{L'interdisciplinarité au service de la personne en quête d'autonomie}",
  	author	=	"J. Dupire and J. Lopez Krahe and G. Tiger",
  	year	=	2012,
  	publisher	=	"IFRATH",
  	pages	=	"240",
  }

  ] J. Dupire , J. Lopez Krahe , G. Tiger - L'interdisciplinarité au service de la personne en quête d'autonomie, June 2012, IFRATH, pp. 240,

Chapitres de Livre

• [TS12

  @inbook {
  	TS12,
  	title	=	"{La qualité et la gouvernance des données au service de la performance des entreprises}",
  	chapter	=	"{Évaluation de la qualité d’un processus métier - Enjeux, cas d'étude et bonnes pratiques}",
  	author	=	"V. Thion and S. Si-Said Cherfi",
  	year	=	2012,
  	pages	=	"215-240",
  	isbn	=	"978 2 7462 2510 7",
  }

  ] V. Thion , S. Si-Said Cherfi - Évaluation de la qualité d’un processus métier - Enjeux, cas d'étude et bonnes pratiques, Titre du livre: "La qualité et la gouvernance des données au service de la performance des entreprises", September 2012, pp. 215-240, (isbn: 978 2 7462 2510 7)
• [SAC12

  @inbook {
  	SAC12,
  	title	=	"{La qualité et la gouvernance des données au service de la performance des entreprises}",
  	chapter	=	"{Qualité des modèles de données}",
  	author	=	"S. Si-Said Cherfi and J. Akoka and I. Comyn-Wattiau",
  	year	=	2012,
  	pages	=	"16 pages",
  	isbn	=	"978 2 7462 2510 7",
  }

  ] S. Si-Said Cherfi , J. Akoka , I. Comyn-Wattiau - Qualité des modèles de données, Titre du livre: "La qualité et la gouvernance des données au service de la performance des entreprises", September 2012, pp. 16 pages, (isbn: 978 2 7462 2510 7)
• [BJL12

  @inbook {
  	BJL12,
  	title	=	"{Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)}",
  	chapter	=	"{BCARe : Contrôle automatique des règles ajoutées à SIEMENS}",
  	author	=	"K. Berkani and M. Jacquel and E. Le Lay",
  	year	=	2012,
  	publisher	=	"Hermes / Lavoisier",
  	pages	=	"-",
  }

  ] K. Berkani , M. Jacquel , E. Le Lay - BCARe : Contrôle automatique des règles ajoutées à SIEMENS, Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,
• [DGT12

  @inbook {
  	DGT12,
  	title	=	"{Informatique et intelligence ambiante : des capteurs aux applications}",
  	chapter	=	"{Informatique et intelligence ambiante : des capteurs aux applications}",
  	author	=	"J. Dupire and V. Gal and A. Topol",
  	year	=	2012,
  	publisher	=	"Lavoisier",
  	pages	=	"366",
  }

  ] J. Dupire , V. Gal , A. Topol - Informatique et intelligence ambiante : des capteurs aux applications, Titre du livre: "Informatique et intelligence ambiante : des capteurs aux applications", July 2012, Lavoisier, pp. 366,
• [CL12

  @inbook {
  	CL12,
  	title	=	"{Perspectives in Ontology Learning}",
  	chapter	=	"{Ontology Learning from Databases: Some Efficient Methods to Discover Semantic Patterns in Data}",
  	author	=	"F. Cerbah and N. Lammari",
  	year	=	2012,
  	publisher	=	"AKA / IOS Press. Serie ",
  	pages	=	"1-30",
  	note	=	"{A paraitre en 2012}",
  }

  ] F. Cerbah , N. Lammari - Ontology Learning from Databases: Some Efficient Methods to Discover Semantic Patterns in Data, Titre du livre: "Perspectives in Ontology Learning", June 2012, AKA / IOS Press. Serie , pp. 1-30,
• [Tra12

  @inbook {
  	Tra12,
  	title	=	"{Web Data Management}",
  	chapter	=	"{Putting into Practice: Full-Text Indexing with LUCENE}",
  	author	=	"N. Travers",
  	year	=	2012,
  	publisher	=	"Cambridge University Press",
  	pages	=	"355--363",
  	note	=	"{Web Data Management Serge Abiteboul - INRIA Saclay – Île-de- France Ioana Manolescu - INRIA Saclay – Île-de- France Philippe Rigaux - Conservatoire Nationale des Arts et Metiers, Paris Marie-Christine Rousset - Université de Grenoble, France Pierre Senellart - Télécom ParisTech, France http://www.cambridge.org/aus/catalogue/catalogue.asp?isbn=9781107012431}",
  	isbn	=	"9781107012431",
  }

  ] N. Travers - Putting into Practice: Full-Text Indexing with LUCENE, Titre du livre: "Web Data Management", February 2012, Cambridge University Press, pp. 355--363, (isbn: 9781107012431)
• [Cru12

  @inbook {
  	Cru12,
  	title	=	"{J. Benois-Pineau, F. Precioso, M. Cord (eds) Visual indexing and retrieval: from features to decision schemes.}",
  	chapter	=	"{Scalability issues in visual information retrieval}",
  	author	=	"M. Crucianu",
  	year	=	2012,
  	publisher	=	" Springer Verlag",
  	pages	=	"65-81",
  	isbn	=	"978-1-4614-3587-7",
  }

  ] M. Crucianu - Scalability issues in visual information retrieval, Titre du livre: "J. Benois-Pineau, F. Precioso, M. Cord (eds) Visual indexing and retrieval: from features to decision schemes.", January 2012, Springer Verlag, pp. 65-81, (isbn: 978-1-4614-3587-7)
• [D F12

  @inbook {
  	D F12,
  	title	=	"{Statistical learning and data science}",
  	chapter	=	"{Bayesian analysis of structural equation models using parameter expansion}",
  	author	=	"S. Demeyer and J. Foulley and N. Fischer and G. Saporta",
  	year	=	2012,
  	publisher	=	"Chapman & Hall/CRC",
  	pages	=	"135-145",
  	isbn	=	"978-1-4398-6763-1",
  }

  ] S. Demeyer , J. Foulley , N. Fischer , G. Saporta - Bayesian analysis of structural equation models using parameter expansion, Titre du livre: "Statistical learning and data science", January 2012, Chapman & Hall/CRC, pp. 135-145, (isbn: 978-1-4398-6763-1)

Atelier, Poster ou Démonstration dans une Conférence Internationale

• [ASB12

  @inproceedings {
  	ASB12,
  	title	=	"{Trust Enabled Link Spoofing Setection in MANET}",
  	author	=	" M. Alattar and F. Sailhan and J. Bourgeois ",
  	booktitle	=	"{The Ninth Workshop on Wireless Ad hoc and Sensor Networks in cunjunction with Conference on Distributed Computing Systems (ICDCS)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-6",
  }

  ] M. Alattar , F. Sailhan , J. Bourgeois - Trust Enabled Link Spoofing Setection in MANET, The Ninth Workshop on Wireless Ad hoc and Sensor Networks in cunjunction with Conference on Distributed Computing Systems (ICDCS), June 2012, pp.1-6,
• [SMR12

  @inproceedings {
  	SMR12,
  	title	=	"{Application de la génération de requêtes de médiation au dossier médical personnel}",
  	author	=	" A. Soukane and E. Metais and f. Ravaut ",
  	booktitle	=	"{Colloque sur l'Optimisation et les Systèmes d'Information COSI'12 }",
  	year	=	2012,
  	month	=	"May",
  	address	=	"Tlemcen, Algérie",
  }

  ] A. Soukane , E. Metais , f. Ravaut - Application de la génération de requêtes de médiation au dossier médical personnel, Colloque sur l'Optimisation et les Systèmes d'Information COSI'12 , May 2012, Tlemcen, Algérie,
• [Sap12a

  @inproceedings {
  	Sap12a,
  	title	=	"{Mining Official Data: What’s New?}",
  	author	=	" G. Saporta ",
  	booktitle	=	"{2012 SIAM International Conference on Data Mining, Anaheim, California}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	" 17",
  	note	=	"{Invited paper, Data Mining in Official Statistics Workshop, April 28}",
  }

  ] G. Saporta - Mining Official Data: What’s New?, 2012 SIAM International Conference on Data Mining, Anaheim, California, April 2012, pp. 17,
• [PDT12a

  @inproceedings {
  	PDT12a,
  	title	=	"{A KDD Process to retrieve and aggregate data from relational databases}",
  	author	=	" Y. Pollet and J. Dantan and S. Taibi ",
  	booktitle	=	"{IADIS International Conference on Information Systems (IS 2012)}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"443-445",
  }

  ] - A KDD Process to retrieve and aggregate data from relational databases, IADIS International Conference on Information Systems (IS 2012), March 2012, pp.443-445,

Atelier, Poster ou Démonstration dans une Conférence Nationale

• [CdR12a

  @inproceedings {
  	CdR12a,
  	title	=	"{Browse Your Content-Based Distributed Repository!}",
  	author	=	" C. Constantin and C. du Mouza and P. Rigaux and V. Thion and N. Travers ",
  	booktitle	=	"{BDA'12, Bases de Données Avancées}",
  	year	=	2012,
  	month	=	"October",
  	pages	=	"1--5",
  	address	=	"Clermont-Ferrand, France",
  }

  ] C. Constantin , C. du Mouza , P. Rigaux , V. Thion , N. Travers - Browse Your Content-Based Distributed Repository!, BDA'12, Bases de Données Avancées, October 2012, pp.1--5, Clermont-Ferrand, France,
• [ABS12a

  @inproceedings {
  	ABS12a,
  	title	=	"{Modeling and detecting intrusions in ad hoc network routing protocols}",
  	author	=	" M. Alattar and J. Bourgeois and F. Sailhan ",
  	booktitle	=	"{Workshop on Security of Systems and Software resiLiency (3SL)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"1-2",
  	address	=	" France",
  }

  ] M. Alattar , J. Bourgeois , F. Sailhan - Modeling and detecting intrusions in ad hoc network routing protocols, Workshop on Security of Systems and Software resiLiency (3SL), April 2012, pp.1-2, France,
• [BTZ12

  @inproceedings {
  	BTZ12,
  	title	=	"{Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané chez 502 femmes caucasiennes adultes}",
  	author	=	" A. Bernard and A. Tenenhaus and J. Zagury and G. Saporta and C. Guinot ",
  	booktitle	=	"{EGC '2012}",
  	year	=	2012,
  	month	=	"February",
  	volume	=	RNTI,
  	issue	=	E.23,
  	pages	=	"555-556",
  	address	=	"Bordeaux, France",
  }

  ] A. Bernard , A. Tenenhaus , J. Zagury , G. Saporta , C. Guinot - Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané chez 502 femmes caucasiennes adultes, EGC '2012, February 2012, Vol. RNTI(E.23), pp.555-556, Bordeaux, France,
• [NOB12

  @inproceedings {
  	NOB12,
  	title	=	"{Weighted Hierarchical Mixed Topological Map: une méthode de classification hiérarchique à deux niveaux}",
  	author	=	" N. Niang Keita and M. Ouattara and F. Badran and S. Thiria and C. Mandin ",
  	booktitle	=	"{EGC '2012}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"xx",
  }

  ] N. Niang Keita , M. Ouattara , F. Badran , S. Thiria , C. Mandin - Weighted Hierarchical Mixed Topological Map: une méthode de classification hiérarchique à deux niveaux, EGC '2012, January 2012, pp.xx,

Mémoire de Thèse

• [Dem12

  @phdthesis {
  	Dem12,
  	title	=	"{Vers un calcul des constructions pédagogique}",
  	author	=	"V. Demange",
  	year	=	2012,
  	pages	=	"139",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur: Patrick Cégielski Rapporteur 1: Gilles Dowek Rapporteur 2: Tristan Crolard Membre du jury: Jean-Yves Marion Membre du jury: Loïc Colson Membre du jury: Sorin Stratulat}",
  }

  ] V. Demange - Vers un calcul des constructions pédagogique, Soutenue le: 07 December 2012, pp. 139,
• [Zak12

  @phdthesis {
  	Zak12,
  	title	=	"{Transmitter and receiver design for inherent interference cancellation in MIMO filter-bank based multicarrier systems}",
  	author	=	"R. Zakaria",
  	year	=	2012,
  	pages	=	"159",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur: Prof. Didier LE RUYET Rapporteur 1: Prof. Jérôme Louveaux Rapporteur 2: Prof. Antoine Berthet Membre du jury: Prof. Jean-François Hélard Membre du jury: Prof. Inbar Fijalkow Membre du jury: Mr. Philippe Mège}",
  }

  ] R. Zakaria - Transmitter and receiver design for inherent interference cancellation in MIMO filter-bank based multicarrier systems, Soutenue le: 07 November 2012, pp. 159,
• [Sim12

  @phdthesis {
  	Sim12,
  	title	=	"{Contributions au rendement des protocoles de diffusion à ordre total et aux réseaux tolérants aux délais à base de RFID}",
  	author	=	"M. Simatic",
  	year	=	2012,
  	pages	=	"240",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur: M. GRESSIER-SOUDAN Éric, Professeur des Universités, CNAM Rapporteur 1: M. DONSEZ Didier, Professeur, Université Grenoble 1 Rapporteur 2: M. QUÉMA Vivien, Professeur, Grenoble INP / ENSIMAG Membre du jury: Mme DEMEURE Isabelle, Professeur, Télécom ParisTech (Présidente) Membre du jury: M. BIRMAN Kenneth P., Professeur, Cornell University, USA Membre du jury: M. FLORIN Gérard, Professeur des Universités, CNAM (Invité) Membre du jury: M. NATKIN Stéphane, Professeur, CNAM}",
  }

  ] M. Simatic - Contributions au rendement des protocoles de diffusion à ordre total et aux réseaux tolérants aux délais à base de RFID, Soutenue le: 04 October 2012, pp. 240,
• [Med12

  @phdthesis {
  	Med12,
  	title	=	"{Interference Modeling and Performance Analysis of Asynchronous OFDM and FBMC Wireless Communication Systems}",
  	author	=	"Y. Medjahdi",
  	year	=	2012,
  	pages	=	"140",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur:Michel Terré, Didier Le Ruyet, Daniel Roviras Rapporteur 1: Carlos Bader Rapporteur 2: Luc Deneire Membre du jury: Philippe Ciblat Membre du jury: Pierre Siohan Membre du jury: Jean-Baptiste Doré}",
  }

  ] Y. Medjahdi - Interference Modeling and Performance Analysis of Asynchronous OFDM and FBMC Wireless Communication Systems, Soutenue le: 11 July 2012, pp. 140,
• [Sé12

  @phdthesis {
  	Sé12,
  	title	=	"{Fouille de données textuelles et systèmes de recommandation appliqués aux offres d'emploi diffusées sur le web}",
  	author	=	"J. Séguéla",
  	year	=	2012,
  	pages	=	"202",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur: Gilbert Saporta Rapporteur 1: Ludovic Lebart Rapporteur 2: Emmanuel Viennet Examinateur 1: Yves Lechevallier Examinateur 2: Thierry Artieres Examinateur 3: Michel Crucianu Examinateur 4: Yannick Fondeur Examinateur 5: Stéphane Le Viet }",
  }

  ] J. Séguéla - Fouille de données textuelles et systèmes de recommandation appliqués aux offres d'emploi diffusées sur le web, Soutenue le: 03 May 2012, pp. 202,

Mémoire de HDR

• [Ra�12a

  @misc {
  	Ra�12a,
  	title	=	"{Techniques robustes pour l'observation - Application au diagnostic et à la stabilisation}",
  	author	=	"T. Raïssi",
  	year	=	2012,
  	pages	=	"130",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{Post-Doctoral Degree (Phd students supervisor) Rapporteur 1 : José Ragot Rapporteur 2 : Louise Travé-Massuyès Rapporteur 3 : Eric Walter Membre du jury : Leonid Fridman Membre du jury : Alain Oustaloup Membre du jury : Daniel Roviras Membre du jury : Ali Zolghadri}",
  }

  ] T. Raïssi - Techniques robustes pour l'observation - Application au diagnostic et à la stabilisation, Soutenue le: 03 July 2012, pp. 130,

Rapport Scientifique

• [CB12c

  @techreport {
  	CB12c,
  	title	=	"{Social Semi-Flooding Location Service}",
  	author	=	"H. Costantini and S. Boumerdassi",
  	number	=	"{CEDRIC-12-2690}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{20-12-2012},
  	pages	=	"10",
  }

  ] H. Costantini , S. Boumerdassi - Social Semi-Flooding Location Service, Date de dépot: 2012/12/20, Nb pages 10, (Tech. Rep.: CEDRIC-12-2690)
• [CB12d

  @techreport {
  	CB12d,
  	title	=	"{OLSR community sensing}",
  	author	=	"H. Costantini and S. Boumerdassi",
  	number	=	"{CEDRIC-12-2691}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{20-12-2012},
  	pages	=	"8",
  }

  ] H. Costantini , S. Boumerdassi - OLSR community sensing, Date de dépot: 2012/12/20, Nb pages 8, (Tech. Rep.: CEDRIC-12-2691)
• [CB12e

  @techreport {
  	CB12e,
  	title	=	"{Addition of ACS to Social Mobility Models and Implementation in Normal and Dense Networks}",
  	author	=	"H. Costantini and S. Boumerdassi",
  	number	=	"{CEDRIC-12-2692}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{20-12-2012},
  	pages	=	"7",
  }

  ] H. Costantini , S. Boumerdassi - Addition of ACS to Social Mobility Models and Implementation in Normal and Dense Networks, Date de dépot: 2012/12/20, Nb pages 7, (Tech. Rep.: CEDRIC-12-2692)
• [CB12a

  @techreport {
  	CB12a,
  	title	=	"{Opnet Modeler - Création de composants graphiques}",
  	author	=	"H. Costantini and S. Boumerdassi",
  	number	=	"{CEDRIC-12-2688}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{18-12-2012},
  	pages	=	"23",
  }

  ] H. Costantini , S. Boumerdassi - Opnet Modeler - Création de composants graphiques, Date de dépot: 2012/12/18, Nb pages 23, (Tech. Rep.: CEDRIC-12-2688)
• [CB12b

  @techreport {
  	CB12b,
  	title	=	"{Fondements du Network-coding}",
  	author	=	"H. Costantini and S. Boumerdassi",
  	number	=	"{CEDRIC-12-2689}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{18-12-2012},
  	pages	=	"15",
  }

  ] H. Costantini , S. Boumerdassi - Fondements du Network-coding, Date de dépot: 2012/12/18, Nb pages 15, (Tech. Rep.: CEDRIC-12-2689)
• [BCP12a

  @techreport {
  	BCP12a,
  	title	=	"{2-Stage Robust MILP with continuous recourse variables}",
  	author	=	"A. Billionnet and M.-C. Costa and P. Poirion",
  	number	=	"{CEDRIC-12-2683}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{02-09-2012},
  	pages	=	"13",
  }

  ] A. Billionnet , M.-C. Costa , P. Poirion - 2-Stage Robust MILP with continuous recourse variables, Date de dépot: 2012/09/02, Nb pages 13, (Tech. Rep.: CEDRIC-12-2683)
• [SS12

  @techreport {
  	SS12,
  	title	=	"{Folding and Unfolding Bloom Filters - an Off-line Planing and on Line-Optimisation}",
  	author	=	"F. Sailhan and M. Stehr",
  	number	=	"{CEDRIC-12-2629}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{27-08-2012},
  	pages	=	"8",
  }

  ] F. Sailhan , M. Stehr - Folding and Unfolding Bloom Filters - an Off-line Planing and on Line-Optimisation, Date de dépot: 2012/08/27, Nb pages 8, (Tech. Rep.: CEDRIC-12-2629)
• [CAS12

  @techreport {
  	CAS12,
  	title	=	"{Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs}",
  	author	=	"P. Courtieu and M. Aponte and M. Sango and Y. Moy",
  	number	=	"{CEDRIC-12-2555}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{24-05-2012},
  	pages	=	"14",
  }

  ] P. Courtieu , M. Aponte , M. Sango , Y. Moy - Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs, Date de dépot: 2012/05/24, Nb pages 14, (Tech. Rep.: CEDRIC-12-2555)
• [HGR12

  @techreport {
  	HGR12,
  	title	=	"{A representation of contextual relationships knowledge in images, LAMSADE Research Report no 320}",
  	author	=	"N. Hoang and V. Gouet-Brunet and M. Rukoz",
  	number	=	"{CEDRIC-12-2539}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{11-05-2012},
  	pages	=	"54",
  }

  ] N. Hoang , V. Gouet-Brunet , M. Rukoz - A representation of contextual relationships knowledge in images, LAMSADE Research Report no 320, Date de dépot: 2012/05/11, Nb pages 54, (Tech. Rep.: CEDRIC-12-2539)
• [Rob12

  @techreport {
  	Rob12,
  	title	=	"{Foundations of a Formally Verified Graph Library for Coq: the Example of Dijkstra’s Shortest Path Algorithm }",
  	author	=	"B. Robillard",
  	number	=	"{CEDRIC-12-2432}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{10-02-2012},
  }

  ] B. Robillard - Foundations of a Formally Verified Graph Library for Coq: the Example of Dijkstra’s Shortest Path Algorithm , Date de dépot: 2012/02/10, (Tech. Rep.: CEDRIC-12-2432)

Rapport du Laboratoire

• [ABS12

  @techreport {
  	ABS12,
  	title	=	"{Log based link spoofing detection in manet}",
  	author	=	"M. Alattar and J. Bourgeois and F. Sailhan",
  	number	=	"{}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{29-02-2012},
  	pages	=	"6",
  }

  ] M. Alattar , J. Bourgeois , F. Sailhan - Log based link spoofing detection in manet, Date de dépot: 2012/02/29, Nb pages 6,
• [RBD12

  @techreport {
  	RBD12,
  	title	=	"{Similarity Search in a Very Large Scale Using Hadoop and HBase}",
  	author	=	"P. Rigaux and S. Barton and V. Dohnal",
  	number	=	"{}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{10-01-2012},
  	pages	=	"13",
  }

  ] P. Rigaux , S. Barton , V. Dohnal - Similarity Search in a Very Large Scale Using Hadoop and HBase, Date de dépot: 2012/01/10, Nb pages 13,

Autres

• [CGB12

  @misc {
  	CGB12,
  	title	=	"{An examination of indices for determining the number of clusters : NbClust Package (Available at http://cran.r-project.org/)}",
  	author	=	"M. Charrad and N. Ghazzali and V. Boiteau and A. Niknafs",
  	year	=	2012,
  	note	=	"{Available at http://cran.r-project.org/}",
  }

  ] M. Charrad , N. Ghazzali , V. Boiteau , A. Niknafs - An examination of indices for determining the number of clusters : NbClust Package (Available at http://cran.r-project.org/),

  datepub: May 2012,
• [CCF12

  @misc {
  	CCF12,
  	title	=	"{GPON Optimizer. Gagnant dans la catégorie "Réseaux" des "Orange Labs Award 2012" }",
  	author	=	"M. Chardy and M.-C. Costa and A. Faye and S. Francfort and C. Hervet and M. Trampont",
  	year	=	2012,
  }

  ] M. Chardy , M.-C. Costa , A. Faye , S. Francfort , C. Hervet , M. Trampont - GPON Optimizer. Gagnant dans la catégorie "Réseaux" des "Orange Labs Award 2012" ,

  datepub: January 2012,