The Semantics of Cardinality-Based Feature Models via Formal Languages. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (FM, 2015)

Modeling Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (ICTAC, 2015)

An Approximation Algorithm for the Subpath Planning Problem. - Masoud Safilian; S. Mehdi Hashemi; Sepehr Eghbali; Aliakbar Safilian (IJCAI, 2016)

Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. - Aliakbar Safilian; Tom Maibaum (TASE, 2016)

Multiset Theories of Cardinality-based Feature Diagrams. - Aliakbar Safilian; Tom Maibaum (CoRR, 2016)

An Approximation Approach for Solving the Subpath Planning Problem. - Masoud Safilian; S. Mehdi Tashakkori; Sepehr Eghbali; Aliakbar Safilian (CoRR, 2016)

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (Sci. Ann. Comput. Sci., 2016)

A theoretical framework for cardinality-based feature models: The semantics and computational aspects. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (J. Log. Algebraic Methods Program., 2018)