Publications (Conferences - journals - books)

image: homeuk.gif image: docsleft.gif

image: item.gif Conferences

image: item2.gif Globalization of Amaya the W3c Web Client: the Unicode Version.
Ramzi Guetari.
15th International Unicode Conference. August 30, September 04, 1999. San Jose, California.

image: r_hand.gif Slides
image: item2.gif Amaya: an Authoring Tool for the Web
Ramzi Guetari, Vincent Quint and Irène Vatton
Maghrebian Conference on Software Engineering and Artificial Intelligence. December 7-11, 1998. Tunis, Tunsia.

image: r_hand.gif Slides
image: item2.gif A Plug-in API for Amaya.
Ramzi Guetari.
Sixth International World Wide Web Conference. April 7-11, 1997. Santa Clara, California, USA.
image: item2.gif Computer-Aided Formal Specification for Concurrent Engineering Platforms.
Ramzi Guetari and G.T. Nguyen.
IFIP'96 14th World Computer Congress. September 2-6, 1996. Canberra, Australia.
image: item2.gif A Computer-Aided Specification Tool for Concurrent Engineering Design.
Ramzi Guetari and G.T. Nguyen.
Third International Conference on Concurrent Engineering, Research and Applications, August 26-28, 1996. Toronto, Canada.
image: item2.gif A Specification Tool for Cooperative Engineering Systems.
Ramzi Guetari and G.T. Nguyen.
48th IEEE Aerospace and Electronics Conference NAECON'96. May 20-23, 1996. Dayton, Ohio, USA.
image: item2.gif Formal Specification Techniques for Concurrent Engineering Design.
Ramzi Guetari and G.T. Nguyen.
1996 Concurrent Engineering Europe Conference CEE'96. April 10-12, 1996. Cambridge, United Kingdom.
image: item2.gif A Class-Based Object-Oriented Model for Parallel Programming.
Ramzi Guetari and G.T. Nguyen.
The 1996 Parallel Object-Oriented Methods and Applications Conference, POOMA'96. February 28-March 1, 1996. Santa Fe, New Mexico, USA.
image: item2.gif An Object-Oriented Model for the Real Time Systems Design.
Ramzi Guetari.
1995 IEEE International Conference on Systems, Man and Cybernetics. October 22-25, 1995. Vancouver, British Columbia, Canada.
image: item2.gif Un Modèle Object à trois composantes pour la réalisation d'applications concurentes.
Ramzi Guetari and Alain Haurat.
RPO'95, Object-Oriented Representation Conference. June 26-30, 1995. Montpellier, France.
image: item2.gif Object-Oriented Specification and Design with transition Graphs.
Ramzi Guetari and Alain Haurat.
IEEE WESCANEX'95 Conference on Communications, Power and Computing. May 15-16, 1995. Winnipeg, Manitoba, Canada.
image: item2.gif An Object-Oriented Method of Analysis, Specification and Design of Information Systems.
Ramzi Guetari and Frédéric Piard.
6th IEEE International Conference on Tools With Artificial Intelligence. November 6-9, 1994. New Orleans, Louisiana, USA.
image: item2.gif OLYMPIOS-DESIGN: Une Méthode de conception pour les systèmes d'Information Industriels.
Ramzi Guetari et al.
AFCET'94, October 5-7, 1994. Versailles, France.
image: item2.gif From the Specification to the Design of an Information System.
Ramzi Guetari and Frédéric Piard.
1994 IEEE International Conference on Systems, Man and Cybernetics. October 2-5, 1994. San Antonio, Texas, USA.
image: item2.gif Dynamic Modelling of Information Systems.
Ramzi Guetari and Frédéric Piad.
Fourth International Working Conference on Dynamic Modelling of Information Systems. September 28-30, 1994. Noordwijkerhout, The Netherlands.
image: item2.gif An Object-Oriented Formalism for Information and Decision System Design.
Ramzi Guetari et al.
KRDB'94 Workshop. September 20-22, 1994, Saarbrucken, Germany.
image: item2.gif The OLYMPIOS Model for the Analysis Specification and Design of Information Systems.
Ramzi Guetari.
14th International CODATA Conference. September 18-22, 1994. Chambéry, France.

image: item.gif Journals

image: item2.gif Le modèle objet Madeus (The Madeus Object Model).
Loay Sabry-Ismail and Ramzi Guetari.
Løbjet: logiciel, bases de données réseaux. Vol. 4, N° 2, Juin 1998. pp 155-171.
image: item2.gif The 3DOM Object Model for the Design of Manufacturing Systems.
Ramzi Guetari.
International Journal of Computer Integrated Manufacturing. Vol. 10, N° 1-4, 1997. pp 51-60.
image: item2.gif Formal Techniques for Design of an Information and a Life-Cycle Management System.
Ramzi Guetari.
The journal of Integrated Computer-Aided Engineering, Vol. 4, N° 2, 1997. pp 137-156.
image: item2.gif Formal Specification of Objects by Abstract Data Types and Transition Graphs.
Ramzi Guetari and Alain Haurat.
The Journal of Mathematical Modelling and Scientific Computing. Vol. 6, 1995.

image: item.gif Books

image: item2.gif Ingénierie Objet..
Inter-Edition, May 1997.

image: homeuk.gif image: docsleft.gif