Aliakbar Safilian

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 6

Top Topics

Cardinality Constraints

Formal Languages

Top Venues

J. Log. Algebraic Methods Program.

Publications

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
A theoretical framework for cardinality-based feature models: The semantics and computational aspects. J. Log. Algebraic Methods Program. 97 (2018)
Aliakbar Safilian, Tom Maibaum
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. TASE (2016)
Aliakbar Safilian, Tom Maibaum
Multiset Theories of Cardinality-based Feature Diagrams. CoRR (2016)
Masoud Safilian, S. Mehdi Tashakkori, Sepehr Eghbali, Aliakbar Safilian
An Approximation Approach for Solving the Subpath Planning Problem. CoRR (2016)
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. Sci. Ann. Comput. Sci. 26 (1) (2016)
Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian
An Approximation Algorithm for the Subpath Planning Problem. IJCAI (2016)
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Modeling Product Lines with Kripke Structures and Modal Logic. ICTAC (2015)
Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
The Semantics of Cardinality-Based Feature Models via Formal Languages. FM (2015)