1999-2001, Doctorat en Informatique, Spécialité Calcul Intensif, Université de Rennes 1, Université Saint-Joseph de Beyrouth
1997-1998, DEA en Ingénierie du Logiciel Scientifique, USJ, UL, Université de Rennes 1, Ecole Polytechnique Fédérale de Lausane, Université de Reims
1987-1992, Diplôme d'Ingénieur en Génie Electrique, Section Informatique
Domaine d’expertise
• Ingénierie et technologie; Sciences
Thématiques de recherche
Calcul Intensif (High Performance Computing and Networking)
Mathématiques Appliquées
Problèmes d'optimisation
Mots clés
+ Publications et communications
El Bakouny, Y., & Mezher, D. The scallina grammar: Towards a scala extraction for coq. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11254 LNCS, 90–108, 2018.
Bakouny, Y. E., Crolard, T., & Mezher, D. 2017, A coq-based synthesis of scala programs which are correct-by-construction. Paper presented at Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017.
Yassin, M., Lahoud, S., Ibrahim, M., Khawam, K., Mezher, D., & Cousin, B. Cooperative resource management and power allocation for multiuser ofdma networks. IET Communications, 11(16), 2552–2559, 2017.
Yassin, M., Aboulhassan, M. A., Lahoud, S., Ibrahim, M., Mezher, D., & Cousin, B., et al. Survey of icic techniques in lte networks under various mobile environment parameters. Wireless Networks, 23(2), 403–418, 2017.
Yassin, M., Lahoud, S., Khawam, K., Ibrahim, M., Mezher, D., & Cousin, B. Centralized versus decentralized multi-cell resource and power allocation for multiuser ofdma networks. Computer Communications, 107, 112–124, 2017.
El Helou, M., Lahoud, S., Ibrahim, M., Khawam, K., Cousin, B., & Mezher, D. A hybrid approach for radio access technology selection in heterogeneous wireless networks. Wireless Personal Communications, 86(2), 789–834, 2016.
Yassin, M., Lahoud, S., Ibrahim, M., Khawam, K., Mezher, D., & Cousin, B. 2016, Centralized multi-cell resource and power allocation for multiuser ofdma networks. Paper presented at 2016 IFIP Networking Conference (IFIP Networking) and Workshops, IFIP Networking 2016.
Aboulhassan, M. A., Yassin, M., Lahoud, S., Ibrahim, M., Mezher, D., & Cousin, B., et al. 2015, Classification and comparative analysis of inter-cell interference coordination techniques in lte networks.Proceedings of NTMS 2015 Conference and Workshops, 2015.
El Helou, M., Ibrahim, M., Lahoud, S., Khawam, K., Mezher, D., & Cousin, B. A network-assisted approach for rat selection in heterogeneous cellular networks. IEEE Journal on Selected Areas in Communications, 33(6), 1055–1067, 2015.
HREICH, A. J., Mezher, D., Claude, B., A., D., E., S., & NAJEM, W. Parallel processing for a better understanding of equifinality in hydrological methods. Paper presented at Environmental Modelling and Software, 2002.
Mezher, D., & Philippe, B. Parallel computation of pseudospectra of large sparse matrices. Parallel Computing, 28(2), 199–221, 2002.
Mezher, D., & Philippe, B. A reliable path-following algorithm. numerical algorithms. Numerical Algorithms, 2002.
Mezher, D. A graphical tool for driving the parallel computation of pseudospectra. Paper presented at Proceedings of the International Conference on Supercomputing, 2001.