Sanaz Khan-Afshar

Identifiers

• name variant Sanaz Khan-Afshar 0.60 · backfill

Papers (2)

1. Formalization of Complex Vectors in Higher-Order Logic cs.LO · 2014 · author #1
2. Formal Analysis of Optical Systems cs.LO · 2014 · author #1

Mentions

• 1405.4034 #1 · backfill · confidence 0.70 Sanaz Khan-Afshar
• 1403.3039 #1 · backfill · confidence 0.70 Sanaz Khan-Afshar

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