Dr. Rachid Hamadi
B.Sc. (Hons), M.Sc., and Ph.D. in Computer Science
Visiting Fellow
Address:

School of Computer Science and Engineering
The University of New South Wales
Sydney, NSW 2052, Australia

Office: K17-201-25
Email: rhamadi AT cse . unsw . edu . au
Phone: +61 2 9385 6861
Fax: +61 2 9385 5995

Last updated: 01 February 2010



[ Current Positions ]

[ Education ]

[ Research Interests ]

[ Teaching ]

[ Publications ]

[ Reviewer for Journals ]

[ Reviewer for Conferences and Workshops ]

Current Positions
Education
Research Interests
Teaching
Publications
(see also my DBLP entry)

Important Note: The papers obtained from this Web page are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Journals

  1. R. Hamadi, B. Benatallah, B. Medjahed.
    Self-Adapting Recovery Nets for Policy-Driven Exception Handling in Business Processes.
    Distributed And Parallel Databases (DAPD), An International Journal, vol.23, num.1, pp.1-44, Springer, February 2008.

  2. H. Paik, B. Benatallah, R. Hamadi.
    Dynamic Restructuring of E-Catalog Communities Based on User Interaction Patterns.
    World Wide Web Journal, vol. 5, num. 4, pp. 325-366, Kluwer Academic Publishers, November 2002.

Conferences

  1. R. Hamadi, H. Paik, B. Benatallah.
    Conceptual Modeling of Privacy-Aware Web Service Protocols.
    In Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), LNCS 4495, pp.233-248, Springer Verlag, Trondheim, Norway, June 2007.

  2. R. Hamadi, B. Benatallah.
    Dynamic Restructuring of Recovery Nets.
    In Proceedings of the 16th Australasian Database Conference (ADC'05), CRPIT 39, pp. 37-46, Australian Computer Society, Newcastle, Australia, January 2005.

  3. R. Hamadi, B. Benatallah.
    Recovery Nets: Towards Self-Adaptive Workflow Systems.
    In Proceedings of the 5th International Conference on Web Information Systems Engineering (WISE'04), LNCS 3306, pp. 439-453, Springer Verlag, Brisbane, Australia, November 2004.

  4. P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, A. Susanto.
    A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling.
    In Proceedings of the International Conference on Business Process Management (BPM'03), LNCS 2678, pp. 336-353, Springer Verlag, Eindhoven, The Netherlands, June 2003.

  5. B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O'Dell, A. Susanto.
    HiWorD: A Petri Net-Based Hierarchical Workflow Designer.
    In Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03), pp. 235-236, IEEE Computer Society Press, Guimaraes, Portugal, June 2003.

  6. B. Benatallah, F. Casati, F. Toumani, R. Hamadi.
    Conceptual Modeling of Web Service Conversations.
    In Proceedings of the 15th International Conference on Advanced Information Systems Engineering (CAiSE'03), LNCS 2681, pp. 449-467, Springer Verlag, Klagenfurt, Austria, June 2003.

  7. R. Hamadi, B. Benatallah.
    A Petri Net-Based Model for Web Service Composition.
    In Proceedings of the 14th Australasian Database Conference (ADC'03), CRPIT 17, pp. 191-200, Australian Computer Society, Adelaide, Australia, February 2003.

  8. H. Paik, B. Benatallah, R. Hamadi.
    Usage-Centric Adaptation of Dynamic E-Catalogs.
    In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), LNCS 2348, pp. 344-360, Springer Verlag, Toronto, Canada, May 2002.

  9. R. Hamadi, Z. Belmesk.
    On the Definition of Back and Forth Bisimulation Notion in Petri Nets.
    13th Symposium on Theoretical Aspects of Computer Science (STACS'96), Grenoble, France, February 1996.

  10. R. Hamadi, Z. Belmesk.
    Two Equivalent Semantics for CCS with Petri Nets.
    1st National Seminar in Computer Science (SNIB'95), Biskra, Algeria, October 1995 (in French).

  11. R. Hamadi, Z. Belmesk.
    Back and Forth Bisimulations in Petri Nets.
    International Conference on Industrial Engineering and Production Management (IEPM'95), Marrakech, Morocco, April 1995.

Technical Reports

  1. R. Hamadi, B. Benatallah.
    Policy-Based Exception Handling in Business Processes.
    Technical Report UNSW-CSE-TR-0428, The University of New South Wales, Sydney, Australia, August 2004.

  2. B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O'Dell, A. Susanto.
    HiWorD: A Petri Net-Based Hierarchical Workflow Designer.
    In Tool Demonstration Report of the International Conference on Business Process Management (BPM'03), pp. 59-60, Eindhoven, The Netherlands, June 2003.

  3. B. Benatallah, F. Casati, F. Toumani, R. Hamadi.
    Conceptual Modeling of Web Service Conversations.
    Technical Report HPL-2003-60, HP Labs, March 2003.

Theses

  1. R. Hamadi.
    Formal Composition and Recovery Policies in Service-Based Business Processes.
    Ph.D. Thesis, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia, April 2005.

  2. R. Hamadi.
    True Concurrency Models and Back and Forth Bisimulations.
    M.Sc. Thesis, Department of Computer Science, Algiers University of Sciences and Technology, Algeria, September 1995 (in French).

  3. R. Hamadi, B. Medjahed.
    Implementation and Comparison of Multiversion Concurrency Control.
    B.Sc. Project, Department of Computer Science, Algiers University of Sciences and Technology, Algeria, June 1991 (in French).
Reviewer for Journals
Reviewer for Conferences and Workshops