Y. Mokhtari

NuMDG: a new tool for multiway decision graphs construction

Sa'ed Abed, Y. Mokhtari, Otmane Ait-Mohamed, 2011 .

SynAbs: model reduction tool for Verilog verification

Y. Mokhtari, S. Tahar, M. Zaki, 2004, The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004..

Optimised dynamic line scan thermographic detection of CFRP inserts using FE updating and POD analysis

Stefano Sfarra, Y. Mokhtari, Clemente Ibarra-Castanedo, 2018 .

Model reduction based on value dependency

Hong Peng, Y. Mokhtari, Sofiène Tahar, 2001, Proceedings 14th Annual IEEE International ASIC/SOC Conference (IEEE Cat. No.01TH8558).

Towards software model checking using MDGs

O.A. Mohamed, Y. Mokhtari, M. Krykhtin, 2004, The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004..