Abdelaziz Fellah

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 0

Top Topics

Automata Theoretic

Regular Languages

Reactive Systems

Top Venues

Publications

Abdelaziz Fellah
Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications. SCSE (2015)
Abdelaziz Fellah
Time and alternation: an automata based framework to software model checking. SAC (2010)
Abdelaziz Fellah
Timed state-event automata and alternation for software model checking. IADIS AC (1) (2009)
Allaoua Maamir, Abdelaziz Fellah
Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions. Int. J. Softw. Eng. Knowl. Eng. 13 (3) (2003)
Abdelaziz Fellah, Carma Harding
Language equations for timed alternating finite automata. Int. J. Comput. Math. 80 (9) (2003)
Abdelaziz Fellah
Concurrent and Distributed Data Structures for Multikey Sorting on Computer Clusters. HPCS (2002)
Abdelaziz Fellah, Mahmoud Abaza
A Minimal Perfect Hashing Algorithm for Multikey Searching. Applied Informatics (1999)
Abdelaziz Fellah
On paged distributed virtual memory algorithms in a broadcasting environment. Comput. Commun. 21 (9) (1998)
Abdelaziz Fellah, Sheng Yu
Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization. SAC (1992)
Abdelaziz Fellah, Helmut Jürgensen, Sheng Yu
Constructions for alternating finite automata. Int. J. Comput. Math. 35 (1-4) (1990)