2 citations · 3 across the 3 of their papers we have counts for
3 papers
Formalization of Complex Vectors in Higher-Order Logic
Sanaz Khan-Afshar, Vincent Aravantinos, Osman Hasan +1
Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formaliz…
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud +4
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous natur…
A Decidable Class of Nested Iterated Schemata (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its inpu…