Sanaz Khan Afshar

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 2

Top Topics

Higher Order Logic

Formal Analysis

Symbolic Reasoning

Top Venues

Math. Comput. Sci.

Publications

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM (2015)
Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar
Enabling Symbolic and Numerical Computations in HOL Light. CICM (2015)
Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar
Towards the formal verification of optical interconnects. NEWCAS (2014)
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
Formalization of Complex Vectors in Higher-Order Logic. CoRR (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. CoRR (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. Math. Comput. Sci. 8 (1) (2014)
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
Formalization of Complex Vectors in Higher-Order Logic. CICM (2014)
Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar
Formal Analysis of Optical Waveguides in HOL. TPHOLs (2009)