1 citations · 2 across the 4 of their papers we have counts for
4 papers
Multiset Theories of Cardinality-based Feature Diagrams
Aliakbar Safilian, Tom Maibaum
Software product line engineering is a very common method for designing complex software systems. Feature modeling is the most common approach to specify product lines. The main pa…
Enumeration Order Equivalency
Ali Akbar Safilian, Farzad Didehvar
In this paper we have investigated enumeration orders of elements of r.e. sets enumerated by means of Turing machines. We have defined a reducibility based on enumeration orders na…
Enumeration Order Reducibility
Ali Akbar Safilian, Farzad Didehvar
In this article we define a new reducibility based on the enumeration orders of r.e. sets.
Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets
Ali Akbar Safilian, Farzad Didehvar
In this paper, we have compared r.e. sets based on their enumeration orders with Turing machines. Accordingly, we have defined novel concept uniformity for Turing machines and r.e.…