Abdelaziz Fellah

According to our database, Abdelaziz Fellah authored at least 10 papers between 1990 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications.

Abdelaziz Fellah

Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

2010

Time and alternation: an automata based framework to software model checking.

Abdelaziz Fellah

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Timed state-event automata and alternation for software model checking.

Abdelaziz Fellah

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2003

Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions.

Allaoua Maamir, Abdelaziz Fellah

Int. J. Softw. Eng. Knowl. Eng., 2003

Language equations for timed alternating finite automata.

Abdelaziz Fellah, Carma Harding

Int. J. Comput. Math., 2003

2002

Concurrent and Distributed Data Structures for Multikey Sorting on Computer Clusters.

Abdelaziz Fellah

Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, 2002

1999

A Minimal Perfect Hashing Algorithm for Multikey Searching.

Abdelaziz Fellah, Mahmoud Abaza

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

On paged distributed virtual memory algorithms in a broadcasting environment.

Abdelaziz Fellah

Comput. Commun., 1998

1992

Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization.

Abdelaziz Fellah, Sheng Yu

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1990

Constructions for alternating finite automata.

Abdelaziz Fellah, Helmut Jürgensen, Sheng Yu

Int. J. Comput. Math., 1990