Synthesizing abstract data type specifications. - Boumediene Belkhouche; Joseph E. Urban; Gregory A. Riccardi (ACM Southeast Regional Conference, 1982)

HLL architectures: Pitfalls and predilections. - Krishna M. Kavi; Boumediene Belkhouche; Evelyn Bullard; Lois M. L. Delcambre; Stephen M. Nemecek (ISCA, 1982)

Direct Implementation of Abstract Data Types from Abstract Specifications. - Boumediene Belkhouche; Joseph E. Urban (IEEE Trans. Software Eng., 1986)

Generation of ADA and PL/1 prototypes from abstract data type specifications. - Boumediene Belkhouche (J. Syst. Softw., 1991)

Ripple: a formally specified prototyping system. - Boumediene Belkhouche; Bart J. Geraci (ICRE, 1994)

Introduction to the Special Section. - Henri E. Bal; Boumediene Belkhouche; Mary Lou Soffa (IEEE Trans. Software Eng., 1995)

A Branching Time Semantics for the Ada Rendezvous Mechanism. - Boumediene Belkhouche; R. Raymond Lang; Chung Wa Ng (HICSS (1), 1996)

Multiple view analysis of designs. - Boumediene Belkhouche; Cuauhtémoc Lemus Olalde (ISAW/Viewpoints@FSE, 1996)

A formally specified prototyping system. - Boumediene Belkhouche; Bart J. Geraci (J. Syst. Softw., 1996)

Object-Oriented Analysis through a Knowledge-Based System. - Boumediene Belkhouche; Alejandro Mendoza Gamiño (J. Object Oriented Program., 1998)

Behavioral Specification and Analysis of Object-Oriented Designs. - Boumediene Belkhouche; Joel Wu (J. Object Oriented Program., 1999)

Multiple Views Analysis of Software Designs. - Boumediene Belkhouche; Cuauhtémoc Lemus Olalde (Int. J. Softw. Eng. Knowl. Eng., 2000)

Efficient Support for Mobile Computations on the Internet. - Sarah Monisha Pulimood; Boumediene Belkhouche (International Conference on Internet Computing, 2002)

On pseudo object-oriented programming considered harmful. - Cong-Cong Xing; Boumediene Belkhouche (Commun. ACM, 2003)

Plagiarism detection in software designs. - Boumediene Belkhouche; Anastasia Nix; Johnette Hassell (ACM Southeast Regional Conference, 2004)

A Mobile Computational model for Internet programming. - Sarah Monisha Pulimood; Boumediene Belkhouche (ACM Southeast Regional Conference, 2004)

A control strategy for tracking-interception of moving objects using wheeled mobile robots. - Fethi Belkhouche; Boumediene Belkhouche (CDC, 2004)

On the tracking and interception of a moving object by a wheeled mobile robot. - Fethi Belkhouche; Boumediene Belkhouche (RAM, 2004)

On the control of a wheeled mobile robot goalkeeper. - Fethi Belkhouche; Boumediene Belkhouche (RAM, 2004)

Formal Analysis of UML-Based Designs. - Boumediene Belkhouche; Anastasia Nix (Software Engineering Research and Practice, 2004)

Successive linearizations of second order multidimensional time-invariant systems. - Fethi Belkhouche; Boumediene Belkhouche (Comput. Phys. Commun., 2004)

Object-oriented behavioral testing through trace generation. - Anastasia Tircuit; Boumediene Belkhouche (ACM Southeast Regional Conference (2), 2005)

The movable point problem and its resolution in object type graphs. - Cong-Cong Xing; Boumediene Belkhouche (ACM Southeast Regional Conference (2), 2005)

Object Interdependencies, Behaviors, Semantics, and Types. - Cong-Cong Xing; Boumediene Belkhouche (PLC, 2005)

Multi-robot rendezvous in the plane. - Fethi Belkhouche; Boumediene Belkhouche; Parviz Rastgoufard (SMC, 2005)

Multi-robot hunting behavior. - Fethi Belkhouche; Boumediene Belkhouche; Parviz Rastgoufard (SMC, 2005)

Représentation graphique des objets et sous-typage. - Cong-Cong Xing; Boumediene Belkhouche (Obj. Logiciel Base données Réseaux, 2005)

A method for robot navigation toward a moving goal with unknown maneuvers. - Fethi Belkhouche; Boumediene Belkhouche (Robotica, 2005)

Modeling and controlling a robotic convoy using guidance laws strategies. - Fethi Belkhouche; Boumediene Belkhouche (IEEE Trans. Syst. Man Cybern. Part B, 2005)

Modified parallel navigation for ball interception by a wheeled mobile robot goalkeeper. - Fethi Belkhouche; Boumediene Belkhouche (Adv. Robotics, 2006)

Line of Sight Robot Navigation Toward a Moving Goal. - Fethi Belkhouche; Boumediene Belkhouche; Parviz Rastgoufard (IEEE Trans. Syst. Man Cybern. Part B, 2006)

Analysis goal expression language. - Boumediene Belkhouche; Sonal Dekhane (ACM Southeast Regional Conference, 2007)

Wheeled mobile robot navigation using proportional navigation. - Fethi Belkhouche; Boumediene Belkhouche (Adv. Robotics, 2007)

Autonomous navigation and obstacle avoidance using navigation laws with time-varying deviation functions. - Fethi Belkhouche; Boumediene Belkhouche; Parviz Rastgoufard (Adv. Robotics, 2007)

Parallel navigation for reaching a moving goal by a mobile robot. - Fethi Belkhouche; Boumediene Belkhouche; Parviz Rastgoufard (Robotica, 2007)

The Influence of Culture and Leadership on Cost Estimation. - Khaled Hamdan; Boumediene Belkhouche; Peter Smith (IWSM/Metrikon/Mensura, 2008)

Kinematics-Based Characterization of the Collision Course. - Fethi Belkhouche; Boumediene Belkhouche (Int. J. Robotics Autom., 2008)

Formal specification and simulation of the robot path planner. - Yassine M. Belkhouche; Boumediene Belkhouche (SMC, 2009)

Robot Formation Modelling and Control Based on the Relative Kinematics Equations. - K. Bendjilali; Fethi Belkhouche; Boumediene Belkhouche (Int. J. Robotics Autom., 2009)

The Influence of Leadership and Work Culture on Software Cost Effort. - Boumediene Belkhouche; Khaled Hamdan; Peter Smith (J. Softw., 2013)

Personalized learning. - Boumediene Belkhouche; Heba M. Ismail (EDUCON, 2016)

Review of personalized language learning systems. - Heba M. Ismail; Saad Harous; Boumediene Belkhouche (IIT, 2016)

Overview of fingerprinting methods for local text reuse detection. - Leena Lulu; Boumediene Belkhouche; Saad Harous (IIT, 2016)

Candidate document retrieval for Arabic-based text reuse detection on the web. - Leena Lulu; Boumediene Belkhouche; Saad Harous (IIT, 2016)

Formal specification, refinement, and implementation of path planning. - Eman Rabiah; Boumediene Belkhouche (IIT, 2016)

A Comparative Analysis of Machine Learning Classifiers for Twitter Sentiment Analysis. - Heba M. Ismail; Saad Harous; Boumediene Belkhouche (Res. Comput. Sci., 2016)

A Culture-Based Profile Model of Software Evaluators. - Khaled Hamdan; Boumediene Belkhouche; Peter Smith (ICISA, 2018)

A Reusable Software Architecture for Personalized Learning Systems. - Heba M. Ismail; Boumediene Belkhouche (IIT, 2018)

A Framework for a Cooperative UAV-UGV System for Path Discovery and Planning. - Abderrahmane Lakas; Boumediene Belkhouche; Omar Benkraouda; Amin Shuaib; Hussain Jaffar Alasmawi (IIT, 2018)

Semantic Twitter sentiment analysis based on a fuzzy thesaurus. - Heba M. Ismail; Boumediene Belkhouche; Nazar Zaki (Soft Comput., 2018)

Modeling and Virtualization of Cultural Heritage. - Boumediene Belkhouche; Wadha Al Ketbi; Aysha Al Neyadi; Shaikha Al Nuaimi; Eiman Al Hassani (AICCSA, 2019)

A Model to Support Outside Classroom Learning. - Boumediene Belkhouche; Heba M. Ismail; Fatmah Ramsi (EDUCON, 2019)

Evaluating the Impact of Personalized Content Recommendations on Informal Learning from Wikipedia. - Heba M. Ismail; Boumediene Belkhouche (EDUCON, 2019)

Framework for Personalized Content Recommendations to Support Informal Learning in Massively Diverse Information Wikis. - Heba M. Ismail; Boumediene Belkhouche; Saad Harous (IEEE Access, 2019)