Utilizing Low-Cost Linux Micro-Computer & Android Phone Solutions on Cube-Satellites. - Ahmed Farid; Ahmed Samy; Ahmed Shalaby 004; Ahmed Tarek; Mahmoud Ayyad; Muhammad Assem; Samy Amin (CoRR, 2022)

Logical Zonotope: A Set Representation for Binary Vectors. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CoRR, 2022)

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CDC, 2023)