An Alloy Verification Model for Consensus-Based Auction Protocols. - Saber Mirzaei; Flavio Esposito (ICDCS Workshops, 2015)

Linear Arrangement of Halin Graphs. - Saber Mirzaei; Assaf J. Kfoury (CoRR, 2015)

Minimum Average Delay of Routing Trees. - Saber Mirzaei (CoRR, 2016)

Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. - Saber Mirzaei; Sanaz Bahargam; Richard Skowyra; Assaf J. Kfoury; Azer Bestavros (CoRR, 2016)

Efficient Reassembling of Graphs, Part 2: The Balanced Case. - Saber Mirzaei; Assaf J. Kfoury (CoRR, 2016)

Shortest path and maximum flow problems in planar flow networks with additive gains and losses. - Saber Mirzaei; Assaf J. Kfoury (CoRR, 2016)

Efficient reassembling of graphs, part 1: the linear case. - Assaf J. Kfoury; Saber Mirzaei (J. Comb. Optim., 2017)

System of Agentic AI for the Discovery of Metal-Organic Frameworks. - Théo Jaffrelot Inizan; Sherry Yang 001; Aaron D. Kaplan; Yen-hsu Lin; Jian Yin 030; Saber Mirzaei; Mona Abdelgaid; Ali H. Alawadhi; KwangHwan Cho; Zhiling Zheng; Ekin Dogus Cubuk; Christian Borgs; et al. (CoRR, 2025)