A 9.2-Gram Fully-Flexible Wireless Dry-Electrode Headband for Non-Contact Artifact-Resilient EEG Monitoring and Programmable Diagnostics. - Alireza Dabbaghian; Tayebeh Yousefi; Pooria Shafia; Syyeda Zainab Fatmi; Hossein Kassiri (ISCAS, 2019)

A 9.2-g Fully-Flexible Wireless Ambulatory EEG Monitoring and Diagnostics Headband With Analog Motion Artifact Detection and Compensation. - Alireza Dabbaghian; Tayebeh Yousefi; Syyeda Zainab Fatmi; Pooria Shafia; Hossein Kassiri (IEEE Trans. Biomed. Circuits Syst., 2019)

A Resource-Optimized VLSI Implementation of a Patient-Specific Seizure Detection Algorithm on a Custom-Made 2.2 cm2 Wireless Device for Ambulatory Epilepsy Diagnostics. - Tianyu Zhan; Syyeda Zainab Fatmi; Sam Guraya; Hossein Kassiri (IEEE Trans. Biomed. Circuits Syst., 2019)

Probabilistic Model Checking of Randomized Java Code. - Syyeda Zainab Fatmi; Xiang Chen; Yash Dhamija; Maeve Wildes; Qiyi Tang 001; Franck van Breugel (SPIN, 2021)

Robust Probabilistic Bisimilarity for Labelled Markov Chains. - Syyeda Zainab Fatmi; Stefan Kiefer; David Parker 001; Franck van Breugel (CAV (2), 2025)