2008 |
29 | EE | Khaled Hamdan,
Boumediene Belkhouche,
Peter Smith:
The Influence of Culture and Leadership on Cost Estimation.
IWSM/Metrikon/Mensura 2008: 223-232 |
2007 |
28 | EE | Boumediene Belkhouche,
Sonal Dekhane:
Analysis goal expression language.
ACM Southeast Regional Conference 2007: 53-58 |
27 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
Wheeled mobile robot navigation using proportional navigation.
Advanced Robotics 21(3): 395-420 (2007) |
26 | EE | Fethi Belkhouche,
Boumediene Belkhouche,
P. Rastgoufard:
Autonomous navigation and obstacle avoidance using navigation laws with time-varying deviation functions.
Advanced Robotics 21(5): 555-581 (2007) |
25 | EE | Fethi Belkhouche,
Boumediene Belkhouche,
P. Rastgoufard:
Parallel navigation for reaching a moving goal by a mobile robot.
Robotica 25(1): 63-74 (2007) |
2006 |
24 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
Modified parallel navigation for ball interception by a wheeled mobile robot goalkeeper.
Advanced Robotics 20(4): 429-452 (2006) |
23 | EE | Fethi Belkhouche,
Boumediene Belkhouche,
P. Rastgoufard:
Line of Sight Robot Navigation Toward a Moving Goal.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 36(2): 255-267 (2006) |
2005 |
22 | EE | Cong-cong Xing,
Boumediene Belkhouche:
The movable point problem and its resolution in object type graphs.
ACM Southeast Regional Conference (2) 2005: 315-320 |
21 | | Cong-cong Xing,
Boumediene Belkhouche:
Object Interdependencies, Behaviors, Semantics, and Types.
PLC 2005: 245- |
20 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
Modeling and controlling a robotic convoy using guidance laws strategies.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(4): 813-825 (2005) |
19 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
A method for robot navigation toward a moving goal with unknown maneuvers.
Robotica 23(6): 709-720 (2005) |
2004 |
18 | EE | Boumediene Belkhouche,
Anastasia Nix,
Johnette Hassell:
Plagiarism detection in software designs.
ACM Southeast Regional Conference 2004: 207-211 |
17 | EE | Sarah Monisha Pulimood,
Boumediene Belkhouche:
A Mobile Computational model for Internet programming.
ACM Southeast Regional Conference 2004: 347-352 |
16 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
On the tracking and interception of a moving object by a wheeled mobile robot.
RAM 2004: 130-135 |
15 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
On the control of a wheeled mobile robot goalkeeper.
RAM 2004: 810-815 |
14 | | Boumediene Belkhouche,
Anastasia Nix:
Formal Analysis of UML-Based Designs.
Software Engineering Research and Practice 2004: 220-226 |
13 | EE | Fethi Belkhouche,
Boumediene Belkhouche:
Successive linearizations of second order multidimensional time-invariant systems.
Computer Physics Communications 162(2): 79-88 (2004) |
2003 |
12 | EE | Cong-cong Xing,
Boumediene Belkhouche:
On pseudo object-oriented programming considered harmful.
Commun. ACM 46(10): 115-117 (2003) |
2002 |
11 | | Sarah Monisha Pulimood,
Boumediene Belkhouche:
Efficient Support for Mobile Computations on the Internet.
International Conference on Internet Computing 2002: 187-182 |
1999 |
10 | | Henri E. Bal,
Boumediene Belkhouche,
Luca Cardelli:
Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings
Springer 1999 |
9 | | Boumediene Belkhouche,
Joel Wu:
Behavioral Specification and Analysis of Object-Oriented Designs.
JOOP 11(8): 37-46 (1999) |
1998 |
8 | | Boumediene Belkhouche,
Alejandro Mendoza Gamiño:
Object-Oriented Analysis through a Knowledge-Based System.
JOOP 11(7): 52-59 (1998) |
1996 |
7 | EE | Boumediene Belkhouche,
R. Raymond Lang,
Chung Wa Ng:
A Branching Time Semantics for the Ada Rendezvous Mechanism.
HICSS (1) 1996: 517-524 |
6 | EE | Boumediene Belkhouche,
Bart J. Geraci:
A formally specified prototyping system.
Journal of Systems and Software 34(1): 67-81 (1996) |
1995 |
5 | EE | Henri E. Bal,
Boumediene Belkhouche,
Mary Lou Soffa:
Introduction to the Special Section.
IEEE Trans. Software Eng. 21(11): 881-882 (1995) |
1991 |
4 | EE | Boumediene Belkhouche:
Generation of ADA and PL/1 prototypes from abstract data type specifications.
Journal of Systems and Software 16(3): 255-264 (1991) |
1986 |
3 | | Boumediene Belkhouche,
Joseph E. Urban:
Direct Implementation of Abstract Data Types from Abstract Specifications.
IEEE Trans. Software Eng. 12(5): 649-661 (1986) |
1982 |
2 | EE | Boumediene Belkhouche,
Joseph E. Urban,
Gregory A. Riccardi:
Synthesizing abstract data type specifications.
ACM Southeast Regional Conference 1982: 176-181 |
1 | EE | Krishna M. Kavi,
Boumediene Belkhouche,
Evelyn Bullard,
Lois Delcambre,
Stephen M. Nemecek:
HLL architectures: Pitfalls and predilections.
ISCA 1982: 18-23 |