Sanaz Khan-Afshar
Identifiers
- name variant Sanaz Khan-Afshar 0.60 · backfill
Papers (2)
- Formalization of Complex Vectors in Higher-Order Logic cs.LO · 2014 · author #1
- Formal Analysis of Optical Systems cs.LO · 2014 · author #1
Mentions
Frequent Coauthors
- Osman Hasan 2 shared papers
- Sofiene Tahar 2 shared papers
- Vincent Aravantinos 2 shared papers
- Mohamed Yousri Mahmoud 1 shared papers
- Ons Seddiki 1 shared papers
- Umair Siddique 1 shared papers