Short CV

First, Last NAME : Habib ABDULRAB
Profession : Professor of Computer Sciences
Laboratory : Laboratoire Informatique, Traitement de l'Information, Systèmes (LITIS) EA 4051
Departement   Mathematical and Software Engineering, INSA de Rouen
Téléphone, Fax : Tel. 02-35-52-83-41, Fax: 02-35-52-83-32
Email : abdulrab@insa-rouen.fr
Adresse : INSA de Rouen,B.P 08, 76131 Mt-St-Aignan Cedex, FRANCE

Curriculum:

            I defended my Master in Informatics (LAP: Languages, Algorithms and Programming) in the University of Paris 6 in 1983.

            I defended my PhD. Thesis in Informatics in 1987 at the University of Rouen.

            I defended my Habilitation to Supervise Researches in Informatics in 1992. (some pictures)

            I have been Engineer in Informatics from 1985 until 1988.

            I have been Senior Lecturer of Informatics from September 1988 until September 1992.

            I am Professor of Informatics since October 1992.

Main Research Topics:

           Knowledge Modelling, Constraints Programming.

            I supervised some PhD. Researchers working on these topics. I supervise currently four PhD students working on these topics.

Teaching Activities:

            I am the responsible of Informatics Teaching in Mathematical and Software Engineering Department.

            I give since 1988 different courses in Informatics and Software Engineering for 3d, 4th, and 5th year of Mathematical and Software Engineering Department, as well as different Masters of INSA de Rouen and University of Rouen. Currently my courses are: Object Oriented Modelling and Java (3d year), Algorithms and Data Structures (4th year), Constraints and Logic Programming (5th year), Abstract Data Types (2d year), Knowledge Modelling and Software Architectures (Master). Some of them can be found in: http://abdulrab.free.fr/CoursHA/

Administrative Activities:

            I am responsible of Informatics part of Mathematical and Software Engineering Department.

            I am responsible of Relations with Middle-East Countries in INSA de Rouen.

Other Activities:

I am interested in Literature (as background activity). I published some novels and poetry books in French and in Arabic. (see. http://abdulrab.free.fr).

A more extended CV of the last four years (IN FRENCH):

Cf. Résumé dans le site du laboratoire (4 dernières années)

Publications:

Thesis:

1987:

1) Résolution d'équations sur les mots: étude et implémentation LISP de l'algorithme de Makanin, Thèse de doctorat (nouveau régime) (PhD) université de Rouen, mars 1987. Apparu également dans un rapport LITP 87-25, université Paris-7, mai 1987.

1992:

2) Équations en Mots, FISIAS, LOP: Contribution Algorithmique, Conception et Implémentation, Thèse d'habilitation à diriger des recherches, université de Rouen, janvier 1992.

Books:

1990:

1) de Common Lisp à la programmation objet, Éditions HERMES.

INSA Books:

1) Informatique pour l'I.A. (Publication: INSA de Rouen, 1988).

2) Automates et Analyse Lexicale (Publication: INSA de Rouen, 1996).

Editions of  Proceedings:

1993:

1) Proceedings of IWWERT'91. LNCS (Lectures Notes in Computer Science), 677. En collaboration avec J.P. Pécuchet

Articles in International Journals and Conferences (with international referees):

[ABD, 88] ABDULRAB H., "Équations in words" Proceedings of ISSAC-88. (1988 International Symposium on Symbolic and algebraic Computation, Rome, Italie. 4-8/7/88). Springer Verlag LNCS (Lectures Notes in Computer Science), 358.

 [ABD, 89a] ABDULRAB H., PECUCHET J-P., "Solving Word Equations". JSC (Journal of Sympolic Computation) (1989) 8, 499-521. Apparu également dans: UNIFICATION, Edited by C. Kirchner, Academic Press (1990)

 [ABD, 89b] ABDULRAB H., BOUKACHOUR J., CARDON A., GALINHO T., PECUCHET J.P.

"FISIAS: Fast Interactive System for Intelligent Automated Scheduling", Revue d'automatique appliquée, Vol. 2. N. 4. Éditions HERMES (1989)

[ABD, 89c] ABDULRAB H., PECUCHET JP., "Solving Systems of Linear Diophantine Equations and Word Equations". (Abstract) Proceedings of RTA-89. (Rewritings Technics and Applications, USA). Springer Verlag LNCS (Lectures Notes in Computer Science).

 [ABD, 89d] ABDULRAB H., PECUCHET JP., "On word equations, and Makanin's Algorithm" Proceedings of FCT'89 (Fundamentals of Computation Theory). Springer Verlag LNCS (Lectures Notes in Computer Science), 380.

 [ABD, 90a] ABDULRAB H., "Word Equations". RAIRO d'Informatique théorique, Vol 24, n. 2, p. 109-130, (1990)

 [ABD, 90b] ABDULRAB H., "Implementation of Makanin's algorithm". Proceedings of IWWERT'90. Springer Verlag LNCS (Lectures Notes in Computer Science), 572. Edited by K. Schulz.

 [ABD, 91] ABDULRAB H., BOUKACHOUR J., CARDON A., GALINHO T., KASSOU I, PECUCHET J.P. "Placement vs simulation algorithms in short-term scheduling", Proceedings of International Conference on Manufacturing Systems and Standardization. 12-14/2/1991. Budapest, Hongrie.

 [ABD, 92a] ABDULRAB H., GALINHO T, PECUCHET JP, "Dates Computation and Applications" 1992 Summer Computer Simulation Conference. 27-30 juillet 1992 (SCSC'1992), San Diego, California.

[ABD, 92b] ABDULRAB H., GALINHO T, PECUCHET JP, "Computation of Discrete Dates within Arbitrarary Diaries. American Control Conference, Chicago, USA, 1992.

[ABD, 93] ABDULRAB H., MAKSIMENKO M., "General Solution of Mirror Equations", Proceedings of FCT'93 (Fundamentals of Computation Theory). Sceged, Hungary. Springer Verlag LNCS (Lectures Notes in Computer Science). 710, Edited by Prof. Esik, Page 133-142

[ABD, 94a] ABDULRAB H., MAKANIN GS., "On General Solution of Word Equations" Proceedings of "Important Results and Trends in Theoretical Computer Sciences", 9-10 juin 1994, Graz, Autriche. LNCS, n: 812, p.p. 251-263.

[ABD, 94b] ABDULRAB H., PECUCHET JP., "Computation of the minimal continuation date" Proceedings of CISS first joint Conference of International Simulations. Zurich. En collaboration avec J.P. Pécuchet. p.p 462-567. Edited by T. Halin, W. Karplus, R. Rimane.

 [ABD, 94c] ABDULRAB H., DRISSI-TALBI A.,"LOP2: Extension du langage LOP1 par le paradigmes des objets" RNJCIA, p.p. 155-162, Marseille 94. En Collaboration avec A. Drissi-Talbi.

[ABD,95a] ABDULRAB H., MAKSIMENKO M. : "General solution of systems of linear diophantine equations and inequations"; 6th International Conference on Rewriting Technics and Applications (RTA'95), Kaiserslautern, 5-7 April; pp 353-363 (1995)

[ABD,95b] ABDULRAB H., DRISSI-TALBI A. : "A simulation Model based on linear constraints on naturals"; ISLP-95 (Post-conference Workshop on Constraints). Portland, U.S.A., Décembre; pp 90-104 (1995)

[MAK,95a] MAKANIN GS., ABDULRAB H., MAKSIMENKO M. : "Formal parametric equations"; Fundamentals of computation theory FCT'95; Proceedings in LNCS 965; Dresden Germany, August 1995; pp 353-362 (1995)

[PEC,95] PECUCHET JP., ABDULRAB H. : "Computation of the Earliest Lackfree Manufacturing Date"; 1995 SCS Summer Computer Simulation Conference, Ottawa, Canada, Juillet; pp 407-412 (1995)

[ABD,96] ABDULRAB H., DRISSI-TALBI A., GATEPAILLE S. : "Linear constraints on naturals in LOP"; Constraint-96, International Workshop on Constraint-Based Reasoning; Key West, Florida, USA; May 19th; pp 11-18 (1996)

[MAK,96] MAKANIN GS., ABDULRAB H. : "Functions for the General Solution of Word Equations"; CADE-13 International Workshop on Term Schematisation and their Applications, Rutgers University, New Jersey, USA, July; pp 30-40 (1996)

[ABD,97a] ABDULRAB H., DRISSI-TALBI A. : "Un modèle de simulation base sur la résolution de contraintes linéaires en nombres naturels"; Proceedings of MOSIM'97; pp 433-442 (1997)

[ABD,97b] ABDULRAB H., MAKANIN GS., GORALCIK P. : "Functions for the General Solution of Parametric Word Equations. Logical Foundations of Computer Science"; 4th International Symposium, LFCS'97, Yaroslav, Russia, Vol. 1234; Springer-Verlag : Berlin -Heidelberg-New; pp 189-202 (1997)

[ABD,97c] ABDULRAB H., DRISSI-TALBI A., NGOMO M. : "Temporal Discrete Simulation"; Proceedings of the symbosieum on industial applications of prolog. ,INAP 97, Kobe, Kobe Univ. Japan; pp 48-55 (1997)

[ABD,99a] ABDULRAB H., DRISSI-TALBI A., NGOMO M. : "A declarative and non-determinist framework for Dynamic Object-Oriented and Constraint Logic Programming"; SACJ - South African Computer Journal nø 23, July 1999; pp 98-106 (1999)

[ABD,99b] ABDULRAB H., KAZAKOV M. : "An open intranet for pedagogical process and educational systems"; CAEE'99, Sophia, September 99; pp 52-58 (1999)

[GAT,99] GATEPAILLE S., BRUNESSAUX S., ABDULRAB H. : "Data Fusion Multi-Agent Framework"; Eurofusion'99, Stratford-upon-Avon, UK, 5-7 Octobre 1999; pp 97-102 (1999)

[ABD,00] ABDULRAB H., DRISSI-TALBI A., NGOMO M. : "A Declarative Framework for Temporal Discrete Simulation"; SACJ - South African Computer Journal nø 25, August 2000; pp 23-31 (2000)

[GAT,00] GATEPAILLE S., BRUNESSAUX S., ABDULRAB H. : "DFMAF: a generic multi-agent framework for data fusion"; AeroSense'2000, Sensor Fusion: Architectures, Algorithms, and Applications IV, Orlando, USA, 24-28 Avril 2000; pp 100-106 (2000)

[THI,00] THIRION B., LACOSTE B., VIDEAU S., DOUYERE M., LEROY JP., GOUPY E., PIOT J., ABDULRAB H., DARMONI SJ. : "Doc'CISMeF : un "Medline" francophone pour les ressources Internet"; Société Européenne de Télémédecine, Paris, septembre 2000; sans p. (2000)

[ABD,01] ABDULRAB H., GORALCIK P., MAKANIN GS. : "Towards parametrizing word equations"; Theoretical Informatics and Applications, Vol 35, (2001); pp 331-350 (2001)

[DAR,01a] DARMONI SJ., LACOSTE B., VIDEAU S., LEROY JP., DOUYERE M., PIOT J., ABDULRAB H., THIRION B. : "Doc' CISMeF : Un "Medline" francophone pour les ressources Internet : Un outil de recherche fonde sur le MeSH"; La revue des SAMU, SFEM-Editions, Octobre 2001; 23 (HS); pp 279-283 (2001)

[DAR,01c] DARMONI SJ., THIRION B., LEROY JP., DOUYERE M., LACOSTE B., GODARD C., RIGOLLE I., BRISOU M., VIDEAU S., GOUPY E., PIOT J., QUERE M., OUAZIR S., ABDULRAB H. : "A search tool based on 'encapsulated' MeSH thesaurus to retrieve quality health resources on the Internet"; Medical Informatics & The Internet in Medicin; 26(3); pp 165-178 (2001)

[DAR,01f] DARMONI SJ., LEROY JP., DOUYERE M., PIOT J., OUAZIR S., LACOSTE B., GODARD C., RIGOLLE I., BRISOU M., VIDEAU S., QUERE M., GOUPY E., ABDULRAB H., THIRION B. : "Doc'CISMeF : un outil de recherche Internet orienté vers l'enseignement et la formation à distance en médecine"; Pédagogie Médicale 2 (3); pp 170-178 (2001)

[DAR,01g] DARMONI SJ., THIRION B., LEROY JP., DOUYERE M., LACOSTE B., GODARD C., RIGOLLE I., BRISOU M., VIDEAU S., GOUPY E., PIOT J., QUÉRÉ M., OUAZIR S., ABDULRAB H. : "Doc’CISMeF: a search tool based on "encapsulated" MeSH thesaurus"; Medinfo 2001, Tenth World Congress on Health and Medical Informatics, V. Patel, R. Rogers, R. Haux (eds), (Amsterdam:IOS Press); pp 385-389 (2001)

[ROG,01] ROGOZAN D., ABDULRAB H., HOTTE R. : "Environnement d'aide à la réalisation de Projets d'Etudes Collectifs"; Conférence Ingénierie des Connaissances (IC'2001); 1 p. (2001)

[KAZ,02a] KAZAKOV M., ABDULRAB H., BABKIN E. : "Ontology fusion approach for integration in heterogeneous distributed systems"; Engineering Context-Aware Object-Oriented Systems and Environments (ECOOSE) 2002; OOPSLA (Object Orienter Programming, Systems, Languages and Application), Nov 2002; pp 1-6 (2002)

[KAZ,02c] KAZAKOV M., BABKIN E., ABDULRAB H. : "Ontology Fusion: the approach to heterogenous systems (in Russian)"; Izvesia Inzhenernih Nauk, Russian journal (in Russian); pp 39-47 (2002)

[KAZ,03a] KAZAKOV M., ABDULRAB H., DEBARBOUILLE G. : "A model-driven approach for the design of mobile agent systems for concurrent engineering: MADE4CE project"; Izvestia Inzhenernih Nauk, Russia, 2002; pp 48-58 (2002)

[ROG,02a] ROGOZAN D., HOTTE R., ABDULRAB H. : "Modélisation d'un espace dynamique dédié à la réalisation de projets d'apprentissage à distance"; TICE'2002, Technologies de l'Information et de la Communication dans les Enseignements, Lyon, 13-15 Novembre 2002; pp 245-252 (2002)

[SOU,02c] SOUALMIA LF., BARRY-GREBOVAL C., ABDULRAB H., DARMONI SJ. : "Modélisation et représentation des connaissances dans un catalogue de santé"; Journées Francophones d'Ingénierie des Connaissances; pp 139-149 (2002)

[KAZ,02d] KAZAKOV M., ABDULRAB H., BABKIN E. : "Intelligent integration of distributed components: Ontology fusion approach"; International Conference on Computational Intelligence for Modelling, CIMCA 2003, Vienna - Austria, 12-14 February 2003, ISBN: 1-740-88069-2; pp 608-618 (2003)

[KAZ,03c] KAZAKOV M., ABDULRAB H. : "On aspects of software integration based on logical inference"; Applied Mathematics bulletin of Russian Academy of Science, Vol. 4, UDK 681.3.06; pp 71-78 (2003)

[KAZ,03e] KAZAKOV M., ABDULRAB H. : "A metamodeling approach to ontological engineering: DL-workbench platform"; MIS'2003, Metainformatics Symposium, Springer Verlag LNSC ISBN 3-540-40218-7; pp 1-17 (2003)

[KAZ,03f] KAZAKOV M., ABDULRAB H. : "DL-workbench: a meta-model based platform for ontology manipulation"; International Semantic Web Conference, ISWC 2003; 3p en CD-ROM (2003)

[KAZ,03g] KAZAKOV M., ABDULRAB H. : "On semantic-enhanced middleware"; Applied Mathematics bulletin of Russian Academy of Sicence, Vol. 4, UDK 681.3.06; pp 78-82 (2003)

[KAZ,03h] KAZAKOV M., ABDULRAB H. : "DL-workbench: a meta-modeling approach to ontology manipulation"; Evaluation of Ontology-based Tools, EON 2003, Sanibel Island, Florida, USA, 20-23 October 03; CEUR-WS Electronic Workshop proceedings. Vol 87. ISSN 1613-0073; http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-87/; 10 p en ligne (2003)

[ALM,04] AL-MAQTARI S., ABDULRAB H., NOSARY A. : "A HYBRID SYSTEM FOR WATER RESOURCES MANAGEMENT"; Third International Conference and Exhibition GIS-2004; pp 121-135 (2004)

[KAZ,04a] KAZAKOV M., ABDULRAB H. : "Semi-Automated software integration: An approach based on logical inference"; ICEIS 2004, International Conference on Enterprise Information Systems 2004, Porto - Portugal, Avril 14-17 2004; pp 527-535 (2004)

[KAZ,04b] KAZAKOV M., ABDULRAB H. : "A FEASIBILITY PROOF OF SEMI-AUTOMATED SOFTWARE INTEGRATION"; IASTED Software Engineering conference SE'2004; February 17-19, 2004, Innsbruck, Austria; pp 447-453 (2004)

[ALM,05] AL-MAQTARI S., ABDULRAB H., NOSARY A. : "Constraint Programming and Multi-Agent System mixing approach for agricultural Decision Support System"; Emergent Properties in Natural and Artificial Dynamical Systems in ECCS'O5 International Conference; pp 113-119. (2005)

[NGO,05a] NGOMO M., OUBAHSSI L., ABDULRAB H. : "La fourniture de services : une approche novatrice pour l'ouverture des systèmes de formation et du marché de la FOAD"; EIAH'2005 (Environnements Informatiques pour l'Apprentissage Humain), Montpellier, (France), 26-27 Mai 2005; pp 309-320 (2005)

[NGO,05b] NGOMO M., ABDULRAB H., OUBAHSSI L. : "Application Service Provider System : a new concept to provide interoperability between learning management systems"; Proceedings of E-Learn 2005 World Conference, Vancouver,(Canada), October 24-28, 2005, Research/Technical Showcase; pp 2763-2769 (2005)

[KAZ,05] KAZAKOV M., ABDULRAB H.: "Semi-automated Integration Software using logical specification: an application to numerical simulation software"; 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS'05); MCS Workshop, pp 503-510 (2005)

[ALM,06]_AL-MAQTARI S., ABDULRAB H., NOSARY A. : "Constraint Programming and Multi-Agent System mixing approach for Agricultural Decision Support System"; Chapitre du livre "Emergent Properties in Natural and Artificial Dynamical Systems", série "Understanding Complex Systems"; pp 199-213 (2006)

[HAZ,06]_ALSHABI W., RAMASWAMY S., ITMI M., ABDULRAB H. : "Coordination, Cooperation and Conflict Resolution in Multi-Agent Systems"; International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, (IEEE CISSE'06), December 4 - 14; 6 p. (2006)

 [NGO,06]_NGOMO M., ABDULRAB H. : "Application Service Provider System: Using Web Services to Provide Interoperability between Learning Management Systems"; International Conference WTAS 2006 (Web Technologies, Applications, and Services), July 17-19, 2006, Calgary, Alberta, Canada, Editor(s): J.T. Yao; pp 119-125 (2006)

[ALM,07a]_AL-MAQTARI S., ABDULRAB H., BABKIN E. : "Towards a robust software framework for DCSP solving in multi-agent systems"; The Second AIS SIGSAND European Symposium on Systems Analysis and Design, University of Gdańsk, Poland; 16 p (2007)

[ALM,07b]_AL-MAQTARI S., ABDULRAB H. : "Controller Agent Approach for solving DCSP"; Summer Computer Simulation Conference (SCSC'07); pp 945-952 (2007)

[BAB,07a]_BABKIN E., ABDULRAB H., KOZYREV O. : "Application of ontology-based tools for design of multi-agent simulation environments in economics"; IASTED International Conference on Modeling and Simulation (AsiaMS 2007), Beijing, China, October, 2007; pp 236-243 (2007)

[BAB,07b]_BABKIN E., ABDULRAB H., BABKINA T. : "AgentTime: A Distributed Multi-agent Software System for University’s Timetabling"; Procs. of the 4th European Conference on Complex Systems (ECCS'07), a satellite Conference EPNACS'2007 Emergent Properties in Natural and Artificial Complex Systems Dresden, Germany, October, 2007; pp 10-22 (2007)

[BAB,07c]_BABKIN E., ABDULRAB H., KOZYREV O., ZUBOV M. : "Application of ontology–enriched multi-agent techniques for integration in the health care domain"; Proc. Of The 6th Intrl. Conference Business Informatics research (BIR-2007), Turku, Finland, 2007; pp 45-61 (2007)

[BAB,07d]_BABKIN E., ABDULRAB H., KOZYREV O. : "Ontology-Based Framework for Integration in Ubiquitous Computing Environment"; European Journal of Scientific Research, ISSN: 1450-216X Vol.17, N 4, 2007; pp 476-491 (2007)

[BAB,07e]_BABKIN E., ABDULRAB H., KOZYREV O. : "A Survey of modern methods and trends in information modeling"; First Intrl Conference of Business Informatics, Moscow, October, 2007; pp 35-49 (2007)

[BAB,07]_BABKIN E., ABDULRAB H. : "Research on formal foundations and applied methods of integrating modern software systems"; rapport interne; pp 1-52 (2007)

[HAZ,07a]_ALSHABI W., ITMI M., ABDULRAB H., HUNTSINGER R. : "A hierarchical model for transport application"; 7ème édition du congrès international pluridisciplinaire, (QUALITA'07), Mars 20 - 22; 7 p (2007)

[HAZ,07b]_ALSHABI W., RAMASWAMY S., ITMI M., ABDULRAB H. : "A cooperative problem-solving process in hierarchical organization"; Summer Computer Simulation Conference, (SCSC'07), July 15 - 18; 6 p (2007)

[XU,07a]_XU J., ABDULRAB H., ITMI M. : "An integrated design and implementation for multiagent system"; Qualita, 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement; pp 762-769 (2007)

[XU,07b]_XU J., ABDULRAB H., ITMI M. : "A Cooperative Multi-agent System Simulation Model for Urban Traffic Intelligent Control"; MTSA/SCSC: The Summer Computer Simulation Conference (SCSC'07) San Diego, CA ,USA; pp 953-958 (2007)