Formal Analysis of Optical Waveguides in HOL. - Osman Hasan; Sanaz Khan Afshar; Sofiène Tahar (TPHOLs, 2009)

Formalization of Complex Vectors in Higher-Order Logic. - Sanaz Khan Afshar; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (CICM, 2014)

Towards the formal verification of optical interconnects. - Sanaz Khan Afshar; Osman Hasan; Sofiène Tahar (NEWCAS, 2014)

Formal Analysis of Optical Systems. - Sanaz Khan Afshar; Umair Siddique; Mohamed Yousri Mahmoud; Vincent Aravantinos; Ons Seddiki; Osman Hasan; Sofiène Tahar (Math. Comput. Sci., 2014)

Formalizing Physics: Automation, Presentation and Foundation Issues. - Cezary Kaliszyk; Josef Urban; Umair Siddique; Sanaz Khan Afshar; Cvetan Dunchev; Sofiène Tahar (CICM, 2015)

Enabling Symbolic and Numerical Computations in HOL Light. - Ons Seddiki; Cvetan Dunchev; Sanaz Khan Afshar; Sofiène Tahar (CICM, 2015)