A Comparison of the Declarative Modelling Languages B, Dash, and TLA+. - Ali Abbassi; Amin Bandali; Nancy A. Day; José Serna (MoDRE@RE, 2018)

Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. - Ali Abbassi; Nancy A. Day; Derek Rayside (CoRR, 2019)

Transitive-closure-based model checking (TCMC) in Alloy. - Sabria Farheen; Nancy A. Day; Amirhossein Vakili; Ali Abbassi (Softw. Syst. Model., 2020)

Success probability in Shor's Algorithm. - Ali Abbassi; Lionel Bayle (CoRR, 2025)