Boumediene Belkhouche

According to our database1, Boumediene Belkhouche authored at least 40 papers between 1982 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Semantic Twitter sentiment analysis based on a fuzzy thesaurus.
Soft Comput., 2018

2016
A Comparative Analysis of Machine Learning Classifiers for Twitter Sentiment Analysis.
Research in Computing Science, 2016

Personalized learning.
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016

2013
The Influence of Leadership and Work Culture on Software Cost Effort.
JSW, 2013

2009
Robot Formation Modelling and Control Based on the Relative Kinematics Equations.
I. J. Robotics and Automation, 2009

2008
Kinematics-Based Characterization of the Collision Course.
I. J. Robotics and Automation, 2008

The Influence of Culture and Leadership on Cost Estimation.
Proceedings of the Software Process and Product Measurement, 2008

2007
Parallel navigation for reaching a moving goal by a mobile robot.
Robotica, 2007

Autonomous navigation and obstacle avoidance using navigation laws with time-varying deviation functions.
Advanced Robotics, 2007

Wheeled mobile robot navigation using proportional navigation.
Advanced Robotics, 2007

Analysis goal expression language.
Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006
Line of Sight Robot Navigation Toward a Moving Goal.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2006

Modified parallel navigation for ball interception by a wheeled mobile robot goalkeeper.
Advanced Robotics, 2006

2005
Modeling and controlling a robotic convoy using guidance laws strategies.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2005

A method for robot navigation toward a moving goal with unknown maneuvers.
Robotica, 2005

Représentation graphique des objets et sous-typage.
L'OBJET, 2005

Multi-robot hunting behavior.
Proceedings of the IEEE International Conference on Systems, 2005

Multi-robot rendezvous in the plane.
Proceedings of the IEEE International Conference on Systems, 2005

Object Interdependencies, Behaviors, Semantics, and Types.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

The movable point problem and its resolution in object type graphs.
Proceedings of the 43nd Annual Southeast Regional Conference, 2005

Object-oriented behavioral testing through trace generation.
Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004
Successive linearizations of second order multidimensional time-invariant systems.
Computer Physics Communications, 2004

Formal Analysis of UML-Based Designs.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

On the control of a wheeled mobile robot goalkeeper.
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004

On the tracking and interception of a moving object by a wheeled mobile robot.
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004

A Mobile Computational model for Internet programming.
Proceedings of the 42nd Annual Southeast Regional Conference, 2004

Plagiarism detection in software designs.
Proceedings of the 42nd Annual Southeast Regional Conference, 2004

2003
On pseudo object-oriented programming considered harmful.
Commun. ACM, 2003

2002
Efficient Support for Mobile Computations on the Internet.
Proceedings of the International Conference on Internet Computing, 2002

2000
Multiple Views Analysis of Software Designs.
International Journal of Software Engineering and Knowledge Engineering, 2000

1999
Behavioral Specification and Analysis of Object-Oriented Designs.
JOOP, 1999

1998
Object-Oriented Analysis through a Knowledge-Based System.
JOOP, 1998

1996
A formally specified prototyping system.
Journal of Systems and Software, 1996

A Branching Time Semantics for the Ada Rendezvous Mechanism.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995
Introduction to the Special Section.
IEEE Trans. Software Eng., 1995

1994
Ripple: a formally specified prototyping system.
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

1991
Generation of ADA and PL/1 prototypes from abstract data type specifications.
Journal of Systems and Software, 1991

1986
Direct Implementation of Abstract Data Types from Abstract Specifications.
IEEE Trans. Software Eng., 1986

1982
HLL architectures: Pitfalls and predilections.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

Synthesizing abstract data type specifications.
Proceedings of the 20th Annual Southeast Regional Conference, 1982


  Loading...