أبحاث الكلية-كلية تكنولوجيا المعلومات


A. AbdelFattah, Imported Computer System And information Security Jordan - ACIT'2000.

A. AbdelFattah, The Necessity of construction trusted computer system Algeria- The first conference on information 18-20 October 1999

A. CHAOUI "Analyse comparative de strategies de conntrole d'interblocage dans les systemes de production flexibles", with K. Barkaoui and R. Benamara, MOSIM'97, Editions HERMES, ISBN 2-86601-623-8, France, 1997.

A. CHAOUI "On fonding structural deadlocks in ECATNets using a logic of concurrency", Journal of Computing and Information, Vol 2 No 1, pp 495-506, December 1996,   ISSN 1201-8511, Canada

A. CHAOUI "Supervisory Control Theory of Discrete Event Systems based on Structure of Petri Nets", with K. Barkaoui and B. Zouari, IEEE-SMC, Vol 4 pp: 3750-3755, USA, 1997.

A. CHAOUI "Towards a Methodology of Stubborn Sets for ECATNets", with C. Talhi, I3S'2001,  University of Constantine, February, Constantine, Algeria, 2001.

A. CHAOUI "Towards an efficient structural control policy for automated manufacturing systems", with K. barkaoui, R. Robbana, and B. Zouari, EDA'97, pp 751-752,  Bangkok Tailand, 1997.

A. CHAOUI G-ECATNets: An Object Petri Net-Based Framework for the Modular Design of Complex Information Systems", with M. Bouzenada,  ISIICT'2002, Philadelphia University, Jordan, 2002.

A. CHAOUI On the use  of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems, with K. Barkaoui and K. Djemame, IEEE-CESA'98, Tunisia, 1998.

A. CHAOUI Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE", With M. Bettaz, M. Maouche, K. Barkaoui, MOSIM'99, SCS International, pp. 131-136,  Germany, 1999.

A. F. Nuseirat and R. Abu Zitar, " Trajectory Path Planning using Hybrid Reinforcement and Back Propagation Through Time Training," accepted at International Journal of Cybernetics and Systems. (Taylor & Francis ).

A. M. Al-Fahed Nuseirat and R. Abu Zitar, " Neural Network Architecture to solve LCP problems: Application to the Grasping problem," proceedings of International Conference on Artificial Intelligence. Las Vegas, Nevada, USA, June 2000.pp. 1587-1593.

A. M. Al-Fahed Nuseirat and R. Abu Zitar," A Neural Network Approach to Firm Grip in the Presence of Small Slips,"International Journal of Robotic Systems, 18(6), 305-315 (2001).(John Wiley).

AL Rbabah, "Algorithm of Commutation Regime Calculation in Electromechanical System" with Tchaban V. &Rbabaa M., Ukrainian Conference Modeling and Investigation of System Stability, Kiev, pp. 149, 1996.

AL Rbabah, "Application of Neural Network for Electric Voltage Control" proceedings of ACIT'2001, Jordan, No. 124-130, 2001.

AL Rbabah, "Calculation of Initial Condition in Electromechanical System" with Tchaban V. & Rbabaa M., Proceedings of the 2-st International Scientific and Technical Conference on Unconventional Electromechanical and Electortechnical System, School, Szczecin,, pp.627-630, 1996.

AL Rbabah, "Computer Simulation of quasi-stationary Field System Stability" with Peleshko D. & Tchaban A., Ukrainian Conference Modeling and Investigation of System Stability, Kiev, pp. 108, 1996. AL Rbabah, "Equations of Power Supply Unit of Actuating Induction Motor" with Kovivchak Y.& Tchaban O., Technical news, pp.47-48, January, 1998.

AL Rbabah, "Mathematical Model of Parametric Sensitivity of Actuating Induction Motor with Massive Rotor" with Kovivchak Y.V.& Tchaban. A.V, Lviv Polytechnic, Electric power and Electromechanical Systems, pp.121-125, 1997.

AL Rbabah, "Mathematical Model of Power Supply Source of Induction Actuating Motors Microelector-Mechanical System" with Rbabaa M., Machinery, pp.21-24, August, 1998.

AL Rbabah, "Mathematical Model of Transformation Frequency Modulated Electric Signal into Oscillating Mechanical Movement" with Kovalchyk A. & Tchaban. O., Proc. of the IV international Symposium of metrologists, Methods and Technics of Transforming Signals in Physical Measurements, Rzeszow, pp. 33-36, 1997.

AL Rbabah, "Optimization of Rotor of Actuating Induction Motor" with Tchaban O. & Rbabaa M., Proceedings of the 1-st International Modeling School, Crimea Autumn,Rzeszow, pp.128-130, 1996.

AL Rbabah, "Optimization of Rotor of Actuating Induction Motor" with Tchaban O. & Rbabaa M., Proceedings of the 1-st International Modeling School, Crimea Autumn, pp.83 1996.

AL Rbabah, "Optimization Operation of Constructing Induction Motor in Microelector-Mechanical System" with Tchaban V.& Kovivchak Y., Machinery, pp.35-37, June,1998.

AL Rbabah, "Parametric Sensitivity of Actuating Induction Motor with Solid Ferromagnetic Rotor" with Tchaban. A.V, Kovivchak Y. V. & Krohmalny B.I, Lviv Polytechnic, Electric power and Electromechanical Systems, pp.137-139,1997.

AL Rbabah, "Semifield Mathematical Model of Actuating Induction Motor with Massive Rotor" with Tchaban V. J.& Rbabaa I., Lviv Polytechnic, Measurement Technique and Metrology, pp.130-131, 1998.

Alam,A., Sharfuddin,A., Biswas,R., On Intuitionistic Fuzzy Databases, accepted for publication in the Proceedings of the "8th International Conference on Fuzzy Theory and Technology" to be held in Durham, North Carolina, during March 8-12 ,2002. (USA).

Al-Halasa N. A., Al-Dahleh M. Z., "A Novel Technique for Reducing Micro-Programmed Synchronous Digital Systems", J.J. Appl. Sci. vol. 3 (5) Applied science University, pp.30-40, 2001.

Al-Janabi, "Computer Aided Tolerance and Correlation Design of ICs", with N. Kusto, International Conference on Computers and Electronic Engineering, Faculty of Engineering, Baghdad, Iraq, 1985.

Al-Janabi, "Design and Implementation of a Full Menu Driven DBMS for NonProgrammers", with Boyan Yankov, International Scientific Conference on Computer Applications, Technical University of Sofia, Bulgaria, 1992.

Al-Janabi, "Design and Implementation of a Library DBMS with Field, Fixed Record Length", with Boyan Yankov, International Scientific Conference on Computer Applications, Technical University of Sofia, Bulgaria, 1992.

Al-Janabi, "Introducing of an Efficient Algorithm for Reducing the Power Losses in Transmission and Distribution Power Lines", Journal of Informatics, Sofia, Bulgaria, 1993.

Al-Janabi, "Minimizing the Storage Required for Large Data Bases Using Segmentation Method", International Scientific Conference on Computer Applications, Philadelphia University, 1995.

Al-Matarneh R. J., Dubincskaya N. G., Quantitative parameters of ET diagnozability at structural level // informational-controlling on railway transport. - 1998 - No. 6. - P. 60 - 63.

Al-Matarneh R. J., Hahanov V, I., Kruvulia G. F. Multi-valued models of digital circuits // International conference "Mathematical modeling and information technology". Vol. 1. - 1997. - P. 15 - 16.

Al-Matarneh R. J., Kryvulia G. F., Expert systems using fuzzy logic // RadioElectronics and information technology - 1998 - No. 1(02) - P. 53 - 56.

Al-Matarneh R. J., Kryvulia G. F., Hahanov V. I., Multi-valued models of digital systems // Work of international conference "Mathematical modeling and information technology". Volume 8. - 1998 - P. 72 - 79.

Al-Matarneh R. J., Kryvulia G. F., Shkil A. C., Quantitative evaluations of digital systems testability on circuit technique level // RadioElectronics and information technology. - 1998 - No. 4, P 77 - 81.

Ansari,A.Q., Biswas,R., A New Method of Search Using Fuzzy Logic, accepted for publication in the Proceedings of WICS'2002 (Workshop In Information & Computer Science), March 17-18, Dammam. (Saudi Arab).

Anwar Al-Shrouf and R. Abu Zitar, "LVQ method to classify Artificial ECG Beats," proceedings of the 4th IEEE Jordanian International conference, April, 2001, pp. 315-319.

Anwar Al-Shrouf, Raed Abu Zitar, Ammer Al-hayri , and Mohmmed Abu Arqub , "Application of Cepstrum Algorithms for Speech Recignition," submitted to the IEA/AIE 2003 conference, England, UK.Assistance à la compréhension de  programmes. Un modèle et un algorithme de fragmentation" with M. S. Bendelloul, S. Ghoul, T. Khammaci, Revue Génie Logiciel (France), N° 45, pp. 32-45, September 1997.

Biswas R., Fixed point theorem in rough metric spaces, Found. Comp. & Decision Sciences 24(1999) 13-20.

Biswas R., Fuzzy inner product spaces and fuzzy norm functions, Inform. Sc. 53(1991) 185-190.

Biswas R., On I-v fuzzy subgroups, Fundamenta Informatica. 26(1) (1996) 1-9.

Biswas, R., A case of management decision making problem: solution by a computer based fuzzy approach, in the book "OPERATION RESEARCH - THEORY & PRACTICE" by Kapoor and Sehgal, Spaniel Publishers, New Delhi (1995).

Biswas, R., A report on some works on fuzzy sets, Fuzzy Sets and Systems. Bull. Sec. 36 (1990) [this is not a research paper but a report only] Biswas, R., An application of fuzzy sets in students' evaluation, Fuzzy Sets and Systems. 74(1995) 187-194.

Biswas, R., An application of Yager's Bag Theory in Multicriteria Based Decision Making Problems, Int. Jou. of Int. System. 14(12) (1999) 1231-1238.

Biswas, R., and Nanda, S., Rough groups, Bull. Pol. Aca. Sc. (Maths) 42 (3) (1994) 251-254. Biswas, R., Common fixed fuzzy set theorems in fuzzy metric spaces, The Jou. of Fuzzy Maths. 6(1998) 631-636.

Biswas, R., Determination of Membership values using Adjectivalmeter, The Jou. of Fuzzy Maths. 7(1999) 671-676. Biswas, R., Fuzzy fields and fuzzy linear spaces redefined, Fuzzy Sets and Systems. 33 (1989) 257-259.

Biswas, R., Fuzzy subgroups and anti fuzzy subgroups, Fuzzy Sets and Systems, 35 (1990) 121-124. Biswas, R., Intuitionistic fuzzy relations, Bull. Pour. Flous. Appl. 70(1997) 22-29.

Biswas, R., Intuitionistic fuzzy subgroups, NIFS. 3(2)(1997)53-60.

Biswas, R., Modified fuzzy sets, Revised version communicated to Computer. & Artificial Intelligence. Biswas, R., m-partition of groups, Revised Version communicated to Fuzzy Sets and Systems.

Biswas, R., Multi-criteria based decision making: a fuzzy approach, The Jou. of Fuzzy Maths. 7(1999) 67-72. Biswas, R., On fixed fuzzy set theorems in fuzzy metric spaces, The Jou. of Fuzzy Maths. 5(3)(1997) 535-541.

Biswas, R., On fixed fuzzy set theorems, the Jou. of Fuzzy. Maths. 3(3) (1995)611-615.

Biswas, R., On fuzzy sets and Intuitionistic fuzzy sets, NIFS 3(1997)3-11 Biswas, R., On Modified sets and fuzzy modified sets, The Jou. of Fuzzy Maths. 6(1998) 621-629.

Biswas, R., On rough fuzzy sets, Bull. Pol. Aca. Sc. (Maths), Comp. Sc. Series, 42(4) (1994) 351-355.

Biswas, R., On rough sets and fuzzy rough sets, Bull. Pol. Sc. (Maths), Comp. Sc. Series, 42(4) (1994) 345-349.

Biswas, R., Optimal fuzzy set out of n alternatives, Bull. Pol. Aca, Sc. (Tech. Sc.), 45(4) (1997) 657-662.

Biswas, R., Rosenfeld's fuzzy subgroups with interval-valued membership functions, Fuzzy sets and Systems. 63 (1994) 87-90.

Biswas, R., Rough metric spaces, Bull. Pour. Flous. Appl. 68(1996)21-32. Biswas, R., Rough Sets are Fuzzy sets, BUSEFAL.

Biswas, R., R-partition of rings, Fuzzy sets and systems. 94 (1998) 403-404.

Biswas, R., Similarity measurement in IFSs, NIFS. 2(3)(1996)5-14.

Biswas, R., Square Zero: Reducing Vagueness in Zero, Bull. Pour. Flous. Appl. (January 1997). 172-182.

C.B.Akki., " Evolution of Communications Networks", International Conference on Recent Trends in Educational and Training Technology, NewDelhi (India), Oct. 28-30, 1993.

C.B.Akki., Kul Dip Singh., and R.C.Joshi., "Effectiveness of Fast Buffer Reservation Mechanism in ATM Networks" Proceedings of International Conference on Automation ICAUTO'95 Dec.12-14, 1995, Indore (India), pp 743-746.

C.B.Akki., Kul Dip Singh., and R.C.Joshi., "Efficient Utilization of Asynchronous Transfer Mode Network Links", Proceedings seminar on Electronic Systems and Applications, Mar.30-31, 1994, pp 283-286.

C.B.Akki., R.C.Joshi., and Kul Dip Singh., "A study of CDV: A parameter that leads ATM Network to Congestion", Proceedings XVIII NSC (NSC-94), Jan.14-16, 1995 DEI Dayalbagh , Agra (India), pp 100-103.

C.B.Akki., R.C.Joshi., P.Mohan Reddy., "Classification of ATM Fast Packet Switching Architectures (FPSA): A Unified Approach", Proceedings IETE Centre, Chandigarh (India), Dec 1-2, 1995.

Chakraborty, K., Biswas, R, and Nanda, S., A note on union and intersection of Intuitionistic fuzzy sets, NIFS. 3(4) (1997) 34-39

Chakraborty, K., Biswas, R. and Nanda, S., A note on union and intersection of fuzzy sets, Fuzzy Sets and Systems. 105 (1999) 499-502

Chakraborty, K., Biswas, R. and Nanda, S., Fuzzy L-structures, Fuzzy Sets and System. 103 (1999) 177-182.

Chakraborty, K., Biswas, R. and Nanda, S., Fuzzy shadows, Fuzzy Sets and Systems. 101 (1999) 413-421.

Chakraborty, K., Biswas, R. and Nanda, S., Nearest ordinary set of a fuzzy set, a rough theoretic construction, Bull. Pol. Aca. Sc. (Tech. Series). 46 (1998) 103-112

Chakraborty, K., Biswas, R. and Nanda, S., On fuzzy metric spaces, Fuzzy Sets and Systems. 99 (1998) 111-114.

Chakraborty, K., Biswas, R. and Nanda, S., Union and intersection of fuzzy sets, accepted in Bull. Pour. Les. Sous. Ens. Flous. Appl. Chakraborty, K., Biswas, R. and Nanda,S., Fuzziness in rough sets, Fuzzy Sets and Systems. 110 (2000) 247-251.

Chakraborty, K., Biswas, R. and Nanda,S., On rough relation, accepted for publication in Foundation of Comp. & Decision Sciences. Chakraborty, K., Biswas, R., and Nanda, S., On Yager's theory of bags and fuzzy bags, Int. Jou. Comp. and Artificial Intelligence. 18 (1999) 1-17.

Chakraboty, K., Biswas, R. and Nanda, S., Rough lattices, Proceedings of 7th International IFSA' 97 Congress (Prague)Vol-II, page 232-236.

Cherkaski N.B., El-Aawar H.B. "Analyse complexity automata Meely". State University "Lvivska Polytechnic", Vesnik â„– 322. "Computer Engineering and Information Technology". - Lvov. - 1997. - pp.167-169.

Cherkaski N.B., El-Aawar H.B. "Comparing of program complexity CISC- and RISC-processors". State University "Lvivska Polytechnic", Vesnik â„– 313. "Computer systems of designing. Theory and practice". Lvov. - 1996. - pp.131-134.

Cherkaski N.B., El-Aawar H.B. "Complexity of addressing system". The theses of a third Ukrainian conference with automation control "Automation - 96" - Sevastobel. - 1996. - pp. 183.

Cherkaski N.B., El-Aawar H.B. "Complexity of RISC-processors". The theses of a second national scientific conference "Information: theory, technology, technique - ITTT -95". - Odessa. - 1995. -pp. 21-22.

Cherkaski N.B., El-Aawar H.B. "Evolution microprocessors SPARC". State University "Lvivska Polytechnic", Vesnik â„– 327. "Computer systems of designing. Theory and practice". Lvov. -1998. - pp.78-86.

Cherkaski N.B., El-Aawar H.B. "Evolution microprocessors SPARC". State University "Lvivska Polytechnic", Vesnik â„– 327. "Computer systems of designing. Theory and practice". Lvov. -1998. - pp.86-93.

Cherkaski N.B., El-Aawar H.B. "Evolution of Characteristics complexity of addressing system". The theses of an International scientific - practical conference "Automation of designing and manufacture of products in mechanical engineering". Part II. - Lugansk: East Ukrainian State University. 1996. - pp. 201.

Cherkaski N.B., El-Aawar H.B. "Investigation of complexity of microprocessors SPARC". Materials of an International scientific - technical conference "The contemporaneous problems of automation cultivation and manufacturing of radio-electronics methods and preperation of cadres engineering". - Lvov. - 1996. -pp.195-196.

Cherkaski N.B., El-Aawar H.B. "Minimization of program complexity microprocessors". The theses of a third International scientific - technical conference "The experiment of cultivation and using instruments-technical CAD microelectronics". Part II. - Lvov. - 1995. -pp.197.

Cherkaski N.B., El-Aawar H.B. "Optimization of complexity of SOFTWARE/HARDWARE in processor level". The theses of a fourth International scientific - technical conference "The experiment of cultivation and using instruments-technical CAD microelectronics". Part II. - Lvov. - 1997. - pp. 200-201.

Cherkaski N.B., El-Aawar H.B. "Particular of models of algorithms". The theses of a fourth International scientific - technical conference "The experiment of cultivation and using instruments-technical CAD microelectronics". Part II. - Lvov. - 1997. - pp. 202-203.

D. Srivastava, "Highly efficient parallel algorithm for finite difference solution to Navier-Stoke's equation on a Hypercube" with C.P.Katti and S.Sivaloganathan, June 2002, Applied Mathematics and Computation, Elsevier Science, 130 (2002) pp. 311-316·

D. Srivastava, "On a parallel mesh-chopping algorithm for a class of initial value problems using fourth-order explicit Runge-Kutta Method", with C.P.Katti, Accepted and sent for Publication, June 2002, Applied Mathematics and Computation, Elsevier Science.

De, S. K. Biswas, R. and Roy, A.R., Multicriteria based decision making using intutionistic fuzzy approach, The Jou. of Fuzzy Maths 6(4) (1998) 837-842

De, S. K., Biswas, R. and Roy, A. R., Intuitionistic fuzzy database, Proceedings of the second International Conference on Intuitionistic fuzzy set theory, Sofia 3-4 October (1998), NIFS (4) (1998) 34-41.

De, S. K., Biswas, R. and Roy, A. R., Optimal selection of the most suitable method out of n-alternatives: an Intuitionistic fuzzy approach, accepted in NIFS. 3(1997) 97-104.

De, S. K., Biswas, R. and Roy, A.R., Finding attribute dependency in an information system, The Jou. of Fuzzy Maths. 7(1999 ) 335-344. De, S.K., Biswas, R. and Roy, A. R., On Intuitionistic fuzzy sets, NIFS. 4 (1998) 28-33.

Dr. Bettaz, "Concurrent Systems Analysis Using ECATNets", with F. Belala and L. Petrucci, L. J. of the IGPL, Vol.8 No.2, Oxford University Press, pp. 149-164, 2000

Dr. Bettaz, "Formal Specification of Communication Protocols with Object-Based ECATNets", with M. Maouche and K. Barkaoui, EUROMICRO-22, IEEE, pp.492-499, 1996

Dr. Bettaz, "Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labelled Rewriting Logic", AICCSA'2001, IEEE, pp. 386-391, 2001

Dr. Bettaz, "On Reusing ATNet Modules on Protocol Specification", with M. Maouche, M. Soualmi and M. Boukebeche, Journal of Systems and Software (JSS), Volume 27, No 2, pp. 119-128, 1994

El-Aawar H.B. "Evolution microprocessors SPARC". State University "Lvivska Polytechnic", Vesnik No. 313. "Computer systems of designing. Theory and practice". Lvov. -1996. - pp.138-142.

F. Al-saqqar, "A Performance Study of the PowerXplorer Parallel Computer", Proceeding 4th International Conference on Recent Trends in Computer Science Applications & Information Systems, Philadelphia University, Amman Jordan, pp.193-199, 1999.

Ghosh,S., Alam,S.S., Biswas,R., Reduction of Decision Tables Using Rough Approach, "Foundation of Computing & Decision Sciences". Vol.26(4) (2001) 273-281.

H. G. Mahfoodh, "Expert System in Internal diseases ESID by using prolog" in Proc. National Conf. On Computer Science, Sep. 1995, no 26, Iraq.

H. G. Mahfoodh, "Qualifications measurement of algorithms for internal sorting "published in Basrah magazine/Iraq, in 1994.

H. G. Mahfoodh, Sayenko V.I., Al Rawajbeh M., M. Muhairat. A Structure of control information in a network management system. // A collection of scientific works. The fifth International conference " the theory technique of information transmission, reception and processing". A collection of scientific works. - KTURE, 1999, p.67-68. Ukraine.

I. Shehabat, Increasing the Efficiency of Multiserial Group Method of Data Handling (GMDH) Algorithms on the Bases of the Codon Theory, Information Technologies, Ministry of Higher Education of Russian Federation, Belgorod, 1996, p.64-66.

I. Shehabat, Iterative GMDH-Type Algorithms for Synthesis of Mathematical Models, Ministry of Higher Education of Ukraine, KSPU- Vestnik, 21, 1997, p. 18-24.

I. Shehabat, Specialized Parallel Processing Unit for Data Processing by GMDH Algorithms - ISIICT proceedings, 2002.

I. Shehabat, Using the Codon Theory for Synthesis of Mathematical Models, Ministry of Higher Education of Ukraine, KSPU- Vestnik, 21, 1997, p. 94-99

J. Estublier, S.Ghoul Un Système Automatique de Gestion de Gros Logiciels: La Base de Programmes Adele. Teckniques et Sciences Informatiques (France), Vol. 3, No. 4, Avril 1984, pp. 253 - 259.

J. Tatari and Eric Tosan. Polyominos et mot planaire. In 3e colloque de Geometrie discrete en Imagerie : Fondements et Applications, Strasbourg, pages 78-87, Septembre 1993.

J. Tatari and Eric Tosan. Representation des Polyominos par des Melanges de Mots Parentheses. In Polyominos and Tilings, pages 162-179, Universite Paul SABATIER, JANVIER 1994. Institut de Recherche en Informatique de Toulouse.

J. Tatari and Eric Tosan. Representation des Polyominos. In Journees GROPLAN 92, Nantes, pages 211-218, Institut de Recherche en Informatique de Nantes, Novembre 1992.

J. Yousif, "A prolog based CAL Package for Differential of polynomials" published in Proc. National Conf. On Computer Science, no 24 /1994,Iraq.

J. Yousif, "Inquiry methods for Virus Identification" with Dr. Rababaa &  The 2002 International Arab conference on Information Technology (ACIT), Qatar, 2002.

J. Yousif, "Software Package Supporting Ship Stability by using Catastrophe Theory", Damascus University Journal, Vol. 18-NO1-2002.

J. Yousif, "The Representation of Lexicon Using BAM Supporting MT" Journal of Alzarka private university, Jordan, Volume 3, No2 December 2001

Jamil, A., Ansari,A.Q., Biswas,R., A Proposal For a New Generation of Computers", accepted for publication in the Proceedings of the "8th International Conference on Fuzzy Theory and Technology" to be held in Durham, North Carolina, during March 8-12, 2002. (USA).

K. Khoualdi "Une approche multi-agents pour le filtrage et le traitement des alarmes", Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, Marseilles (France), 7-10 septembre 1994.

K. Khoualdi, "Aide à l'opérateur pour le diagnostic: Filtrage et traitement des alarmes", with P. Legris. Neuvième Colloque de Fiabilité et de Maintenabilité, ESREL'94, pp. 296-303, La Baule (France), 30 mai - 3 juin, 1994

K. Khoualdi, "An Alarm Processing System using Distributed Artificial Intelligence Techniques", with M. Dumas. IFAC Symposium on Fault Detection, Supervision and Safety for Technical Process, SAFEPROCESS'94, Volume 2, pp. 784-789, Espoo, Finland, June 13 - 15, 1994.

K. Khoualdi, "Les languages d'acteurs: une étude bibliographique", Rapport DMT/92-132, SERMA/LETR 92, CEA, CEN Saclay (France), 28 février, 1992.

K. Khoualdi, "Les systèmes de tableaux noirs: une étude bibliographique", Rapport DMT/92-472, SERMA/LETR 92-1411, CEA, CEN Saclay (France), 24 septembre, 1992.

K. Khoualdi, "Systèmes d'aide aux régulateurs d'une ligne de métro automatisée", with P. Legris, and P. Sei. Douzièmes Journées Internationales: Intelligence Artificielle, Systèmes Experts, Language Naturel, Conférences Spécialisées, pp. 549-518, Avignon (France), 1 - 6 juin, 1992.

K. Khoualdi, "Systèmes Experts d'aide à l'exploitation d'une ligne de métro automatisée with P. Legris. Huitième Colloque de Fiabilité et de Maintenabilité, pp. 707-712, Grenoble (France), 6 - 8 octobre, 1992.

K. Khoualdi, Design of an Intelligent Tutor Based on a Multi-Agent Approach" with R. Benghezal, Journal of Applied Science University (Jordan), to appear.

K. Qatanani, " Interactive I2C for specialized computer network". (With R. Raichev). Proceeding of the scientific conference in the jubilee of the Higher Institute of Electrical and Mechanical Eng'g, Gabrovo - Bulgaria, Oct. 11-13 89, pp 60.

K. Qatanani, ". (With R. Raichev). Proceedings of Scientific conference in the jubilee of the Higher Institute of Electrical and Mechanical Eng'g, Gabrovo - Bulgaria, Oct. 11-13, 89 pp 6.

K. Qatanani, "Interactive user interface to control audio-visual devices for computer assisted learning system". (With R. Raichev). Proceeding of Scientific conference on the 20th anniversary of Higher Institute of war, V. Turnovo - Bulgaria. April 25-26, 89, pp 120.

K. Qatanani, "Network driver for computer assisted learning system". (With R. Raichev). Proceeding of Scientific conference on the 20th anniversary of Higher Institute of war, V. Turnovo - Bulgaria. April 25-26, 89, pp 130.

K. Qatanani, "Transfer of information in higher education and technical readiness problems". (With L. Tsacov), Izvestia, vol 16 1990, pp 127.

K. Qatanani, "User interface to control audio-visual devices for computer assisted learning system".(with R. Raichev). Proceedings of Scientific conference in the jubilee of the Higher Institute of Electrical and Mechanical Eng'g, Gabrovo - Bulgaria, Oct. 11-13, 89 pp 55.

Leonov Dmitrienko V.D., I. Shehabat, Design the Functional Scheme of Pipeline Computing System, Ministry of Higher Education of Ukraine, Kiev-1996, 24p.

M. Bettaz, "A life-cycle for Parallel and Distributed Systems Based on Two Models of Concurrency", with A. Choutri and G. Reggio, PDP'94, IEEE, pp. 551-558, 1994

M. Bettaz, "A Natural Semantic Framework for ECATNets", with F. Belala, J. of Applied Categorical Structures, Kluwer Academic Publishers, 10 (5): 431-447, 2002

M. Bettaz, "A SMoLCS Based Kit for Defining the Semantics of Algebraic High-Level Nets", with G. Reggio, LNCS No 785, Springer-Verlag, pp. 98-112, 1994

M. Bettaz, "Algebraic term nets: a formalism for specifying communication software in the OSI framework", with A. Choutri, Oxford University Press, pp. 293-305, 1992.

M. Bettaz, "An association of algebraic term nets and abstract data types for specifying real communication protocols", LNCS, No 534, Springer-Verlag, pp. 11-30, 1991.

M. Bettaz, "Compact Modelling and Rapid Prototyping of Communication Software with ECATNets: a Case Study" with M. Maouche, M. Soualmi and M. Boukebeche, Simulation Series, Vol.25, N.1, pp.149-154, 1993

M. Bettaz, "De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets", with M. Maouche and K. Barkaoui, MOSIM'99, SCS International, pp. 125-130, 1999

M. Bettaz, "Distributed Simulation of ECATNets: A Conservative Approach", with K. Djemame, D.C. Gilles and L.M. Mackenzie, PDP'96, IEEE, pp.518-525, 1996

M. Bettaz, "Du vrai parallélisme dans les réseaux algébriques et de son application dans les systèmes de production " with M. Maouche, G. Berthelot and L. Petrucci, MOSIM'97, Hermes, pp. 417-424, 1997

M. Bettaz, "How to specify non-determinism and true concurrency with algebraic term nets" with M. Maouche, LNCS, No 655, Springer-Verlag, 1993

M. Bettaz, "Modeling of Object Based Systems With Hidden Sorted ECATNets", with M. Maouche, MASCOTS'95, IEEE, pp. 307-311, 1995

M. Bettaz, "On Finding Structural Deadlocks in ECATNets Using a Logic of Concurrency" with A. Chaoui, and K. Barkaoui, Journal of Computing and Information (JCI), Vol.2, No.1, pp.495-506, 1996

M. Bettaz, "On the parallel simulation of ECATNets", with K. Djemame, D.C. Gilles and L.M. Mackenzie, ICMS, pp. 53-56, 1995

M. Bettaz, "Parallel Simulation in Rewriting Logic: Some Observations", with K. Djemame, PDP'98, IEEE, 1998

M. Bettaz, "Performance Comparison of High-Level Algebraic Nets Distributed Simulation Protocols" with K. Djemame, D.C. Gilles and L.M. Mackenzie, Journal of System Architecture (JSA), 44, pp.457-472, 1998

M. Bettaz, "Protocol Specification Using ECATNets", with M. Maouche, M. Soualmi, and M. Boukebeche, Networking and Distributed Computing, Hermes, Vol.3 No.l, pp.7-35, 1993.

M. Bettaz, "Spécification hautement compacte et modulaire de l'Ethernet: la station émettrice", CFIP'93, Hermes, p.221-236, 1991 M. Bettaz, "Time Warp Simulation of ECATNets", with K. Djemame, D.C. Gilles and L.M. Mackenzie, 7th European Simulation Symposium, SCS, pp.171-175, 1995 M. Bettaz, "Une approche pour le diagnostic des pannes dans les réseaux", with H. Bennoui and M. Maouche, CFIP'99, Hermes, 1999.

M. Bettaz, "Vers une approche de spécification formelle des protocoles à l'aide de Troll* ", avec M. Maouche, CFIP'97, Hermes, pp. 145-157, 1997.

M. Bettaz, "Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE", with A. Chaoui, M. Maouche and K. Barkaoui, MOSIM'99, SCS International, pp. 131-136, 1999

M. Maouche, "An Operational and Denotational Semantics for Event Structures Based on Rewrite Logic", with C.Bouanaka, S.Rami and M.Bettaz, 13th Workshop on Algebraic Development Techniques, Lisbon, Portugal, April 1998.

M. Maouche, "Compact Modelling and Rapid Prototyping of Communication Software with ECATNets: a Case Study" with M. Bettaz, M. Soualmi and M. Boukebeche, Simulation Series, Vol.25, N.1, pp.149-154, 1993

M. Maouche, "Concurrent Bisimulations in Hidden Labelled Rewriting Logics", with M. Bettaz, 1 1-th Workshop on Abstract Data Types and Compass Meeting, Oslo, Norway, 9/1995.

M. Maouche, "De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets", with Bettaz and K. Barkaoui, MOSIM'99, SCS International, pp. 125-130, 1999

M. Maouche, "Du vrai parallélisme dans les réseaux algébriques et de son application dans les systèmes de production " with M. Bettaz, G. Berthelot and L. Petrucci, MOSIM'97, Hermes, pp. 417-424, 1997

M. Maouche, "Formal Specification of Communication Protocols with Object-Based ECATNets", with M. Bettaz and K. Barkaoui, EUROMICRO-22, IEEE, pp.492-499, 1996

M. Maouche, "How to specify non-determinism and true concurrency with algebraic term nets" with M. Bettaz, LNCS, No 655, Springer-Verlag, 1993

M. Maouche, "Modeling of Object Based Systems With Hidden Sorted ECATNets", with M. Bettaz, MASCOTS'95, IEEE, pp. 307-311, 1995

M. Maouche, "Object Behaviors: a Rewriting Logic Based Approach", with M. Bettaz, WADT, Genova, Italy, 3/2001

M. Maouche, "On Reusing ATNet Modules on Protocol Specification", with M. Bettaz, M. Soualmi and M. Boukebeche, Journal of Systems and Software (JSS), Volume 27, No 2, pp. 119-128, 1994

M. Maouche, "Protocol Specification Using ECATNets", with M. Bettaz, M. Soualmi, and M. Boukebeche, Networking and Distributed Computing, Hermes, Vol.3 No.l, pp.7-35, 1993.

M. Maouche, "Une approche pour le diagnostic des pannes dans les réseaux", with H. Bennoui and M. Bettaz, CFIP'99, Hermes, 1999.

M. Maouche, "Vers une approche de spécification formelle des protocoles à l'aide de Troll* ", avec M. Bettaz, CFIP'97, Hermes, pp. 145-157, 1997

M. Z. Al-Dahleh Increase speed of an automaton with natural addressing of micro commands/ DonSTU. Donetsk, 1996-10pp. #2131-Uk 96 - 4.11.96

M. Z. Al-Dahleh Minimization number of micro commands in an automaton with combined addressing / DonSTU. Donetsk, 1996 - 12pp. # 2106 - Uk 96 - 24.10.96

M. Z. Al-Dahleh Minimizing number of micro commands in an automaton with combined addressing / "Computer Science, Cybernetics and Computer Facilities". The collection labor of Donetsk State Technical University (1997). Issue 1. Donetsk - DonSTU. 1997. pp.151-158.

M. Z. Al-Dahleh Optimization characteristics of an automaton with compulsory addressing of micro commands for system automated control / Magazine "News of Mountain Institue". DonSTU. Donetsk, 1997 - ?2(6). pp. 108-109

M. Z. Al-Dahleh Optimization characteristics of an automaton with compulsory addressing micro commands / DonSTU. Donetsk, 1996 - 11 pp. # 2134 - Uk 96 - 4.11.96

Majhi,P., Roy,A.R., Biswas,R., "Intuitionistic Fuzzy Soft Sets : An Application", accepted for publication in the Journal of Fuzzy Mathematics.

Majhi,P., Roy,A.R., Biswas,R., "On Soft Sets : An Application", accepted for publication in the Journal of Fuzzy Mathematics.

Majhi,P., Roy,A.R., Biswas,R., An Application of Soft Logic in Decision Making Problems, accepted for publication in "An International Journal of Computer and Mathematics with Applications"

Mohammad Al Rawajbeh. Increase of distributed information systems effectiveness.// the fourth conference "The theory and technique of information transmission, reception and processing ."A collection scientific works.-KTURE,Kharkov,1998. - p. 220. Ukraine.

N. A. Halasa, M. Z. Al-Dahle, " A Novel Technique for Reducing Microinstruction Synchronous Digital Systems", Journal of Institute of Mathematical and Computer Sciences. Vol. 12 ?2 2001, pp.235-242.

N. A. Halasa, M. Z. Al-Dahle, "Minimizing Moore Model of Synchronous Digital System using PLA", Advancs in Modeling and Analysis. D-2001. vol. 6 ? 4. pp.1-14.

N. El.Emam Computer Simulation of the Parallel FEM Using Modified Frontal Technique. Philadelphia University Conference of Recent Developments pp 107-112 (1997).

N. El.Emam Result Behavior in the Numerical Solution For Different Channel Geomeries. Philadelphia University Conference of recent trends in computer science applications & information system  pp131-137 (1999).

N. El.Emam Time analysis of parallel FE Problem on  Multiprocessor System Using Modified Frontal Technique, Philadelphia University conference of Recent Developments pp 113-117 (1997).

N. El.Emam, Direct In-Core Solution of Large Unsymmetric System of Linear Equations. Basrah J. Science Vol.11, No. 1:43-48 (1993)

N. El.Emam, MTIDM Algorithm for Solution of A Large System of Linear Equations. Basrah J. Science   Vol. 15, No 1:49-56 (1997).

N. El.Emam, Numerical Studies of Flow over a Backward-Facing Step Using FDM. Technical Eng. J. Vol.10, No. 4 :115-129 (1989).

N. El.Emam, Numerical Study on Element Affecting the False Diffusion Error. Basrah J. Science, Vol.  16, No. 1:56-63 (1998).

N. Yousif, "A Data Flow Analyser to Detect Parallelism in Sequential Programs", with Z. S. Juma'a, Basrah J. of Science A, Vol. 17, No.1, 1999, pp. 143-158, Iraq.

N. Yousif, "A Dynamic Genetic Algorithm for the Transportation Problem", with S. A. Najem and A. A. Najem, to be published in Basrah J. of Science, Iraq.

N. Yousif, "An Extension to The Storage Management of Modula-2 Language", with A. H. Zbain, Basrah J. of Science A, Vol. 16, No. 2, 1998, pp. 95-104, Iraq.

N. Yousif, "Analysis of The Performance of The Parallel Quick Sort Method", with D. J. Evans, Bit 25, 1985, pp. 106-112.

N. Yousif, "Automatic Balancing For Equations of Chemical Reactions", with A. A. Hameed and F. A. Hameed, in Proc. National Conf. On Comp. Sci., Dec. 1991, Iraq, pp. 115-125, (in Arabic).

N. Yousif, "Computer Simulation of The Parallel Finite Element Method Using Modified Frontal Technique", with N. N. A. Al-Emam and R. H. Al-Rabeh, in Proc. of RDCSA'97, Philadelphia Univ., Amman-Jordan, July 1997, pp. 107-112.

N. Yousif, "Merging By The Parallel Binary Search Algorithm", with D. J. Evans, Inter. J. Computer Math., Vol. 22, Algorithm, Information Processing Letters, Vol. 23, 1986, pp. 239-246.

N. Yousif, "Merging By The Parallel Jump Searching Algorithm", with D. J. Evans, Information Processing Letters, Vol. 23, 1986, pp. 239-246.

N. Yousif, "Modeling Asynchronous Algorithms By Petri Nets", with J. A. Jasim, Basrah J. of Science, Vol. 11, No. 1, 1993, pp. 1-10, A Special Issue for The Second Computer Conf., Iraq.

N. Yousif, "Parallel Distributive Partitioned Sorting Methods", with D. J. Evans, Inter. J. Computer Math., Vol. 15, 1984.

N. Yousif, "Programming the Denotational Semantics of A Proposed Language", with A. M. Chyad and J. T. Sarsoh, to be published in Basrah J. of Science, Iraq.

N. Yousif, "The Parallel Neighbour Sort and 2-Way Merge Algorithm", with D. J. Evans, Parallel Computing, Vol. 3, 1986, pp. 85-90.

N. Yousif, "The Parallel Odd-Even Merge Algorithm", with D. J. Evans, Inter. J. Computer Math., Vol. 18, 1986, pp. 265-273.

N. Yousif, "Time Analysis of Parallel Finite Element Problem on Multiprocessor System Using Modified Frontal Technique", with N. N. A. Al-Emam and R. H. Al-Rabeh, in Proc. of RDCSA'97, Philadelphia Univ., Amman-Jordan, July 1997, pp. 113-117.

N. Yousif, A Transformational Approach of Procedural Programs into Functional Programs", with A. A. Hameed, in Proc. National Conf. On Comp. Sci., Dec. 1991, Iraq, pp. 179-195, (in Arabic).

N. Yousif, Results Behavior in The Numerical Simulation of Flow Through Different Channels Geometry", with N. N. Al-Emam and R. H. Al-Rabih, Proc. of The Fourth Inter. Conf. on Recent Trends in Comp. Sci. Applica. & Info. Systems, Philad. Univ. Jordan, 1999, pp. 131- 137.