Sanaz Khan Afshar

According to our database, Sanaz Khan Afshar authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Enabling Symbolic and Numerical Computations in HOL Light.

Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Formalizing Physics: Automation, Presentation and Foundation Issues.

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

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

Towards the formal verification of optical interconnects.

Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Formalization of Complex Vectors in Higher-Order Logic.

Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2009

Formal Analysis of Optical Waveguides in HOL.

Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009