Bibliography

Major publications by the team in recent years

[1]: C. Bliek, B. Neveu , G. Trombettoni .
Using Graph Decomposition for Solving Continuous CSPs, in: Principles and Practice of Constraint Programming, CP'98, LNCS, Springer, 1998, vol. 1520, p. 102-116.
[2]: A. Gotlieb, B. Botella, M. Rueher .
A CLP Framework for Computing Structural Test Data, in: Proceedings of CL2000 (First International Conference on Computational Logic,Constraints Stream),London, LNCS, Springer Verlag, 2000, vol. 1861, p. 399-413.
[3]: C. Hoffmann, A. Lomonosov, M. Sitharam.
Decomposition Plans for Geometric Constraint Systems, in: Journal Symbolic Computation, 2000, vol. 11.
[4]: L. Jaulin, M. Kieffer, O. Didrit, E. Walter.
Applied Interval Analysis, Springer-Verlag, 2001.
[5]: C. Jermann , G. Trombettoni , B. Neveu , M. Rueher .
A Constraint Programming Approach for Solving Rigid Geometric Systems, in: Proceedings of CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, LIM, 2000, vol. 1894, p. 233-248.
[6]: J.-P. Merlet .
Parallel robots, Kluwer, Dordrecht, Pays-Bas, 2000.
[7]: A. Neumaier .
Interval methods for systems of equations, Cambridge University Press, 1990.
[8]: A. Neumaier , O. Shcherbina.
Safe bounds in linear and mixed-integer programming, in: to appear in Math. Programming A., (also as http://www.mat.univie.ac.at/neum/papers.html#mip), 2002.
[9]: Y. Papegay .
From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices, in: Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, Springer Verlag, June 1999.
[10]: J.-C. Régin, M. Rueher .
A global constraint combining a sum constraint and difference constraints, in: CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, LNCS, Springer Verlag, 2000, vol. 1894, p. 384-395.
[11]: G. Trombettoni .
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems, in: Proc. Constraint Programming CP'98, LNCS 1520 (Springer Verlag), 1998, p. 432–446.

Year Publications

Doctoral dissertations and Habilitation theses

[12]: C. Jermann .
Résolution de contraintes géométriques par rigidification récursive et propagation d'intervalles, Ph. D. Thesis, Nice-Sophia Antipolis University, December 2002.
[13]: B. Madeline .
Algorithmes évolutionnaires et résolution de problèmes de satisfaction de contraintes en domaines finis, Ph. D. Thesis, Nice-Sophia Antipolis University, December 2002.
[14]: L. Rolland .
Algorithmes algébriques pour la commande de robots parallèles de haute précision, Ph. D. Thesis, Nancy University, December 2003.

Articles in refereed journals and book chapters

[15]: O. Company, F. Marquet , F. Pierrot.
A new high speed 4-dof parallel robot. Synthesis and modeling issues, in: IEEE Trans. on Robotics and Automation, June 2003, vol. 19, n^o 3, p. 411-420.
[16]: D. Daney .
Kinematic calibration of the Gough Platform, in: Robotica, 2003, vol. 21, n^o 6, p. 677-690.
[17]: Y. Papegay , D. Daney , J. Merlet .
Exact Kinematics Analysis of Car's suspension Mechanisms using Symbolic Computation and Interval Analysis, in: Journal of Mechanism and Machine Theory, to appear, January 2003.

Publications in Conferences and Workshops

[18]: H. Batnini , M. Rueher .
Filtrage local par décomposition de CSP continus., in: 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'03, Amiens, France, June 2003, p. 39-51.
[19]: H. Batnini , M. Rueher .
Semantic Decomposition for Solving Distance Constraints, in: Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, Kinsale, Ireland, F. Rossi (editor), September 2003, p. 964-965.
[20]: D. Daney , I. Z. Emiris .
Élimination de variables appliquée à l'étalonnage des robots parallèles, in: Journées Nationales du Calcul Formel, Marseille, janvier 2003.
[21]: A. Goldsztejn .
Verified projection of the solution set of parametric real systems, in: Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS'03), Lausanne, Switzerland, November 2003.
[22]: C. Jermann , B. Neveu , G. Trombettoni .
Algorithmes pour la détection de rididités dans les CSP géométriques, in: 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'03, Amiens, France, 2003, p. 177–188.
[23]: C. Jermann , B. Neveu , G. Trombettoni .
Inter-Block Backtracking : Exploiting the Structure in Continuous CSPs, in: Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS'03), Lausanne, Switzerland, November 2003.
[24]: C. Jermann , B. Neveu , G. Trombettoni .
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems, in: Proc.of IJCAI'03, International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003, p. 233–238.
[25]: Y. Lebbah .
Global filtering algorithms based on linear relaxations, in: Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS'03), Lausanne, Switzerland, November 2003.
[26]: Y. Lebbah , C. Michel , M. Rueher .
Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires, in: 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'03, Amiens, France, 2003, p. 217–232.
[27]: J.-P. Merlet .
Analyse par intervalles, in: Ecole thématique sur l'arithmétique des ordinateurs, Dijon, March 2003.
[28]: J.-P. Merlet .
Analyse par intervalles et résolution de systèmes, in: Journées Nationales du Calcul Formel, Marseilles, January 2003.
[29]: J.-P. Merlet .
Determination of the optimal geometry of modular parallel robots, in: IEEE Int. Conf. on Robotics and Automation, Taipei, September 2003.
[30]: J.-P. Merlet .
Usual and unusual applications of interval analysis, in: Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS'03), Lausanne, Switzerland, November 2003.
[31]: C. Michel , Y. Lebbah , M. Rueher .
Safe embedding of the Simplex Algorithm in a CSP framework, in: Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, CPAIOR'2003, Montréal, Canada, 2003, p. 210–220.
[32]: B. Neveu , G. Trombettoni .
Hybridation de GWW avec de la recherche locale, in: 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'03, Amiens, France, 2003, p. 277–292.
[33]: B. Neveu , G. Trombettoni .
INCOP : An Open Library for INcomplete Combinatorial OPtimization, in: Proc. International Conference on Principles Constraint Programming, CP'03, Kinsale, Ireland, LNCS, Springer, 2003, vol. 2833, p. 909–913.
[34]: B. Neveu , G. Trombettoni .
Une bibliothèque de recherche locale pour l'optimisation combinatoire, in: Congrès de l'association française de recherche opérationnelle et d'aide à la décision, ROADEF'2003, Avignon, France, 2003, p. 68–69.
[35]: B. Neveu , G. Trombettoni .
When Local Search Goes with the Winners, in: Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, CPAIOR'2003, Montréal, Canada, 2003, p. 180–194.
[36]: Y. Papegay , D. Daney , J. Merlet .
Parallel Implementation of Interval Analysis for Equations Solving, in: EuroPVM/MPI 2003 conference, Venice, published in Lecture Notes in Computer Sciences 2840,Springer Verlag, 2003.
[37]: G. Trombettoni , M. Wilczkowiak.
Scene Reconstruction based on Constraints: Details on the Equation System Decomposition, in: Proc. International Conference on Constraint Programming, CP'03, Kinsale, Ireland, LNCS, Springer, 2003, vol. 2833, p. 956–961 http://www.inrialpes.fr/movi/publi/Publications/2003/TW03.
[38]: M. Wilczkowiak, G. Trombettoni , C. Jermann , P. Sturm, E. Boyer.
Scene Reconstruction Based on Constraint System Decomposition Techniques, in: Proc. International Conference on Computer Vision, ICCV'03, Nice, France, 2003 http://www.inrialpes.fr/movi/publi/Publications/2003/WTJSB03.

Logo Inria