Diplôme	Université	Pays	Année
Doctorat - Informatique	Université Saint-Joseph de Beyrouth	Liban	2001
D.E.A - Modélisation numérique et ingénierie du logiciel	Université Saint-Joseph de Beyrouth	Liban	1997
Diplôme d'ingénieur - Informatique	Université Saint-Joseph de Beyrouth	Liban	1992

Ingénierie et technologie; Sciences

Calcul Intensif (High Performance Computing and Networking)Mathématiques AppliquéesProblèmes d'optimisation

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.