| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 7 |      | Abdelaziz Fellah: Time and alternation: an automata based framework to software model checking. SAC 2010: 2498-2502 |
| 2009 | ||
| 6 |  | Abdelaziz Fellah: Timed state-event automata and alternation for software model checking. IADIS AC (1) 2009: 226-233 |
| 2003 | ||
| 5 | | Abdelaziz Fellah, Carma Harding: Language equations for timed alternating finite automata. Int. J. Comput. Math. 80(9): 1075-1091 (2003) |
| 4 | | Allaoua Maamir, Abdelaziz Fellah: Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions. International Journal of Software Engineering and Knowledge Engineering 13(3): 313-325 (2003) |
| 2002 | ||
| 3 | | Abdelaziz Fellah: Concurrent and Distributed Data Structures for Multikey Sorting on Computer Clusters. HPCS 2002: 280 |
| 1999 | ||
| 2 | | Abdelaziz Fellah, Mahmoud Abaza: A Minimal Perfect Hashing Algorithm for Multikey Searching. Applied Informatics 1999: 131-134 |
| 1998 | ||
| 1 | | Abdelaziz Fellah: On paged distributed virtual memory algorithms in a broadcasting environment. Computer Communications 21(9): 793-801 (1998) |
| 1 | Mahmoud Abaza | [2] |
| 2 | Carma Harding | [5] |
| 3 | Allaoua Maamir | [4] |
Colors in the list of coauthors
Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page