Liste des publications

2018

[BBL18] K. Barkaoui, H. Boucheneb, . Li. "Exploiting Local Persistency for Reduced State Space Generation", International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, October 2018, Vol. 11181, pp. pp 166-181, Series LNCS, Grenoble, France, (DOI: 10.1007/978-3-030-00359-3_11)

[Tra18a] N. Travers. "Manipulation de donnÃ©es : un curseur entre la modÃ©lisation et l'optimisation de requÃªtes", Soutenue le: 02 July 2018, pp. 68,

[TMD17] S. Traverso, Y. Medjahdi, J. DorÃ©, D. David , M. Ben Mabrouk, R. Zakaria. "New waveforms for C-MTC context", Date de dépot: 2017/07/21, Nb pages 42, (Tech. Rep.: CEDRIC-17-4102)

[CDC16a] R. Chauvat, J. Delmas, P. Chevalier. "Two and three-inputs widely linear FRESH receivers for cancellation of a quasi-rectilinear interference with frequency offset", European Signal Processing Conference (EUSIPCO), August 2016, pp.1-5, Budapest, Hungaria,
[CDC16] P. Chevalier, J. Delmas, R. Chauvat. "Reception Filter Impact on Widely Linear FRESH Receiver Performance for SAIC/MAIC with Frequency Offsets", IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), July 2016, pp.1-5, Rio, Brazil,

[TCR15] R. Thabet, C. Combastel, T. RaÃ¯ssi, A. Zolghadri. "Set-membership fault detection under noisy environment with application to the detection of abnormal aircraft control surface positions", International Journal of Control, vol. 88(9), pp. 1878-1894, 2015
[MTB15] D. Mattera, M. Tanda, M. Bellanger. "Performance analysis of some timing offset equalizers for FBMC/OQAM systems", Signal Processing, vol. 108(March), pp. 167-182, 2015, (doi:10.1016/j.sigpro2014.09.003)
[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

[CCD15b] R. Chauvat, P. Chevalier, J. Delmas. "Widely Linear FRESH Receiver for SAIC/MAIC with Frequency Offsets", International Symposium on Wireless Communication Systems (ISWCS), August 2015, pp.1-5, Brussels, Belgium,

[DC14] E. Di Bernardino, A. Cousin. " On multivariate extensions of Conditional-Tail-Expectation", Insurance: Mathematics and Economics, vol. 55, pp. 272â€“282, 2014
[GNT14] C. Gomes , H. Nocairi , M. Thomas , J. Collin, G. Saporta. "A simple and robust scoring technique for binary classification", Artificial Intelligence Research, vol. 3(1), pp. 52-58, 2014, (doi:10.5430/air.v3n1p52)

[PDC14] C. Picouleau, D. de Werra, M.-C. Costa. "Minimum size extensible graphs for (near) perfect matchings", International Conference on Graph Theory, April 2014, pp.juin 2014, Grenoble, France,

[DD14] D. Delahaye, C. Dubois. "Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014", June 2014, Informal proceedings,

[D 13] E. Di Bernardino, A. Cousin. "On Multivariate Extensions of Value-at-Risk", Journal of Multivariate Analysis, vol. 119, pp. 32-46, 2013, (doi:http://dx.doi.org/10.1016/j.jmva.2013.03.016)
[D 13a] E. Di Bernardino, . RulliÃ¨re. "Distortions of multivariate risk measures: a level-sets based approach", Insurance: Mathematics and Economics, vol. 53(1), pp. 190 - 205, 2013
[D M13] E. Di Bernardino, . LaloÃ«, V. Maume-Deschamps, C. Prieur. "Plug-in estimation of level sets in a non-compact setting with applications in multivariate risk theory", ESAIM: Probability and Statistics, vol. 17(-), pp. 236-256, 2013, (doi:DOI: http://dx.doi.org/10.1051/ps/2011161)

[ACE13] H. Abdi, W. Chin, V. Esposito Vinzi, G. Russolillo, L. Trinchera. " New Perspectives in Partial Least Squares and Related Methods", September 2013, Springer, pp. 344,

[FAH13] A. Feliachi, N. Abadie, F. Hamdi, G. Atemezing. "Interlinking and visualizing linked open data with geospatial reference data", The 8th International Workshop on Ontology Matching, collocated with the 12th International Semantic Web Conference ISWC 2013, October 2013, pp.2, Australia,

[JBD12] 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,

[CDPb11] M.-C. Costa, D. de Werra, C. Picouleau, B. Ries, C. Bentz. "Minimum d-Transversals of Maximum-Weight Stable Sets in Trees", European conference on combinatorics, graph theory and applications EuroComb'11, Electronics Notes in Discrete Mathematics, August 2011, Vol. 38, pp.129-134, Bupapest, Hongrie, (DOI: 10.1016/j.endm.2011.09.022)

[PIC11] C. Picouleau. "Minimum Transversals for the Maximum Stable Set Problem in Weighted Bipartite Graphs", DIMAP Workshop 2011, Warwick, England,

[WYS09] H. Wang , M. Ye, G. Saporta. "Classification for Multiple Linear Regression Methods", Journal of System Simulation, vol. 21(22), pp. 7048-7056, 2009

[YMP08] R. Yahia-Aissa, S. Merdassi, R. Pellerin, I. Astic, E. Gressier-Soudan. "Vers une integration du RFID et de la cartographie pour une visite autonome du Musee des Arts et Metier", 4th French-speaking Conference on Mobility and Ubiquity Computing (UbiMob '08), January 2008, pp.77-80, Series ACM 2008, ISBN 978-1-59593-980-7, Saint Malo, France, (DOI: 10.1145/1376971.1376987)