Partenaires


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Membres > Membres Permanents > Professeurs des Universités > Dominique Michelucci

Dominique Michelucci

Professeur

AILE DE L''INGENIEUR
LABORATOIRE Le2i
Faculté Mirande
21000 DIJON

Tél : 03 80 39 38 85
Fax : 03 80 39 59 10
Email : Dominique.Michelucci u-bourgogne.fr
Web : https://www.dropbox.com/s/28vjthtgiihvso4/index.html

Projets :


Publications

Revues (20)

  • "Re-parameterization reduces irreducible geometric constraint systems", Barki Hichem, Lincong Fang, Dominique Michelucci, Sebti Foufou, Computer-Aided Design, 70 , pp. 182-192, 2016 lien sur HAL
  • "Extending CSG with projections: Towards formally certified geometric modeling", George Tzoumas, Dominique Michelucci, Sebti Foufou, Computer-Aided Design, 66 , pp. 45--54, 2015 lien sur HAL
  • "Solving the pentahedron problem", Barki Hichem, Jean-Marc Cane, Lionel Garnier, Dominique Michelucci, Sebti Foufou, Computer-Aided Design, 58 , pp. 200–209, 2015 lien sur HAL
  • "An improved star test for implicit polynomial objects", Lincong Fang, Dominique Michelucci, Sebti Foufou, Computer-Aided Design, 2015 lien sur HAL
  • "Polytope-based computation of polynomial ranges", Dominique Michelucci, Christoph Fünfzig, Sebti Foufou, Computer Aided Geometric Design 19, 1(2012) 18-29, 2012 lien sur HAL
  • "Interrogating witnesses for geometric constraint solving", Dominique Michelucci, Sebti Foufou, Journal Information and Computation 216, (2012) 24-38, 2012 lien sur HAL
  • "The Bernstein Basis and its Applications in Solving Geometric Constraint Systems", Dominique Michelucci, Sebti Foufou, Reliable Computing 17, (2012) 192--208, 2012 lien sur HAL
  • "On the Complexity of the Bernstein Combinatorial Problem", Dominique Michelucci, Sebti Foufou, Arnaud Kubicki, Reliable Computing 17, (2012) 22--33, 2012 lien sur HAL
  • "Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems", Dominique Michelucci, Simon Thierry, Pascal Schreck, Christoph Fünfzig, Jean-David Géneveaux, Computer-Aided Design 43, 10 (2011) 1234-1249, 2011 lien sur HAL
  • "Bases tensorielles de Bernstein et solveurs", Abdelkarim Tahari, Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, Samy Ait-Aoudia, Technique et Science Informatiques TSI, 29 (7), pp. 629-663, France, Lavoisier, Juillet 2010
  • "Optimizations for Tensorial Bernstein-Based Solvers by Using Polyhedral Bounds", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, International Journal of Shape Modeling 16, 1-2 (2010) 109-128, 2010 lien sur HAL
  • "A reliable curves tracing method"", Dominique Faudot, Dominique Michelucci, Reliable Computing, 4 (3), pp. 309-324, 2007
  • "Incidence constraints, a combinatorial approach", Dominique Michelucci, Pascal Schreck, International Journal of Computational Geometry and Application, 16 (5-6), pp. 443-460, Word Scientific, December 2006
  • "Interval Based Tracing of Strange Attractors", Dominique Michelucci, Sebti Foufou, International Journal of Computational Geometry and Applications., 16 (1), pp. 27-39, World Scientific Publishing Company, February 2006
  • "Geometric Constraint Solving: the Witness Configuration Method", Dominique Michelucci, Sebti Foufou, Computer Aided Design. Elsevier, 38 (4), pp. 284-299, April 2006
  • "A reliable curves tracing method", Dominique Michelucci, Dominique Faudot, IJCSNS, 5 (10), 2005
  • "Lazy Arithmetic", Dominique Michelucci, Jean-michel Moreau, IEEE Transactions on Computers, 46 (9), pp. 961-975, IEEE Computer Society, 1997
  • "Solving Geometric Constraints By Homotopy", Hervé Lamure, Dominique Michelucci, IEEE Transactions on Visualization and Computer Graphics, 2 (1), pp. 28-34, 1996
  • "Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation", Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Péroche, Computer-Aided Design, 6 (26), pp. 403-416, 1994
  • "Hashing Lazy Numbers", Mohand Ourabah Benouamer, Philippe Jaillon, Dominique Michelucci, Jean-michel Moreau, Computing, 53 (3-4), pp. 205-217, Berlin, Springer Verlag, 1994

Livres (7)

  • "Linear Programming for Bernstein Based Solvers", Dominique Michelucci, Christoph Fuenfzig, Automated Deduction in Geometry, pp. ??-??, Springer Verlag, 2010 http://math.u-bourgogne.fr/michelucci/.adg2008/michelucci_adg08.pdf
  • "Robustness and Randomness", Dominique Michelucci, Jean-michel Moreau, Sebti Foufou, In "Reliable Implementation of Real Number Algorithms: Theory and Practice". LNCS 5045, Springer-Verlag [Dagstuhl Seminar 06021, Jan. 2006], pp. 127-148, August 2008
  • "Detecting all dependences in systems of geometric constraints using the witness method", Dominique Michelucci, Sebti Foufou, LNAI 4869 [ADG 2006 post-conference book], springer-verlag., pp. 98-112, December 2007
  • "Modélisation géométrique par contraintes", Christophe Jermann, Dominique Michelucci, Pascal Schreck, Informatique graphique, modélisation géométrique et animation, D. Bechmann and B. Péroche (Ed.) (2007) 185--210, 2007 lien sur HAL
  • "Informatique graphique, méthodes et modèles", Bernard Péroche, Djamchid Ghazanfarpour, Dominique Michelucci, Marc Roelens, Hermès, 1998
  • "Qualité des Calculs sur Ordinateur: Vers des arithmétiques plus fiables?", Jean-claude Bajard, Olivier Beaumont, Jean-marie Chesneaux, Marc Daumas, Jocelyne Erhel, Dominique Michelucci, Jean-michel Muller, Bernard Philippe, Nathalie Revol, Jean-louis Roch, Jean Vignes, Paris, France, Masson Editeur, 1997
  • "La synthèse d'images", Bernard Péroche, Jacqueline Argence, Djamchid Ghazanfarpour, Dominique Michelucci, France, Hermès, 1988

Conférences internationales (35)

  • "Data structures and algorithms for topological analysis", Jean-Marc Cane, George Tzoumas, Dominique Michelucci, Hidalgo Marta, Sebti Foufou, Science and Information Conference (SAI), 2014, London, gb, 2014 lien sur HAL
  • "Witness computation for solving geometric constraint systems", Arnaud Kubicki, Dominique Michelucci, Sebti Foufou, Science and Information Conference (SAI), 2014, London, gb, 2014 lien sur HAL
  • "Reliable Outer Bounds for the Dual Simplex Algorithm with Interval Right-hand Side", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, ADVCOMP 2013, The Seventh International Conference on Advanced Engineering Computing and Applications in Sciences, Porto : Portugal, 2013 lien sur HAL
  • "Optimizations for Bernstein-Based Solvers Using Domain Reduction", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, Proceedings of International Symposium on Tools and Methods of Competitive Engineering (TMCE 2010), April 2010
  • "Using the witness method to detect rigid subsystems of geometric constraints in CAD", Dominique Michelucci, Pascal Schreck, Simon Thierry, Christoph Fuenfzig, Jean-David Géneveaux, Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, pp. 91-100, Haifa, Israel, ACM, New York, January 2010 lien sur HAL
  • "Polytope-Based Computation of Polynomial Ranges", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, ACM SAC, 25th Symposium On Applied Computing, Sierre, Switzerland, March 2010
  • "Nonlinear Systems Solver in Floating-Point Arithmetic using Linear Programming Reduction", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, SIAM/ACM Joint Conference on Geometric and Physical Modeling , pp. 123-134, San Francisco, California, USA, SIAM/ACM, October 2009
  • "Interrogating witnesses for geometric constraints solving", Sebti Foufou, Dominique Michelucci, SIAM/ACM Joint Conference on Geometric and Physical Modeling , pp. 343-348, San Francisco, California, USA, SIAM/ACM, October 2009
  • "Floating Point Geometry: toward guaranteed geometric computations with approximate arithmetics", Jean-claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, Nathalie Revol, Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, part of the SPIE Optics & Photonics 2008 Symposium, 7074 , San Diego, USA, Proc. SPIE, August 2008 lien sur HAL
  • "Bernstein basis for interval analysis: application to geometric constraints.", Dominique Michelucci, Sebti Foufou, Proceedings of the 8th conference on Real Numbers and Computers, RNC'08., pp. 37-46, Santiago de compostela, Spain, Javier D. Bruguera and Marc Daumas, July 7-9 2008
  • "Isometry group, words and proofs of geometric theorems", Dominique Michelucci, Symposium on Applied Computing, Proceedings of the 2008 ACM symposium on Applied computing, SESSION: Geometric constraints and reasoning, pp. 1821-1825, Fortaleza, Ceara, Brazil, 2008
  • "Geometric constraints solving: some tracks", Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck, SPM '06: Proceedings of the 2006 ACM symposium on Solid and physical modeling, Cardiff, Wales, United Kingdom. ACM Press , pp. 185-196, June 2006
  • "Another Paradigm for Geometric Constraints Solving", Dominique Michelucci, Sebti Foufou, David Ménegaux, Loïc Lamarque, Proceedings of the 18th Canadian Conference on Computational Geometry (CCCG'06), pp. 169-172, Kingston, Ontario, Canada, August 2006
  • "Bernstein based arithmetic featuring de Casteljau", Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux, Proceedings of the 17th Canadian Conference on Computational Geometry, pp. 212-215, University of Windsor, Canada, 10 August 2005
  • "Numerical decomposition of geometric constraints.", Sebti Foufou, Dominique Michelucci, Jean-paul Jurzak, In Proceedings de ACM Symposium on Solid and Physical Modeling, ACM Press., pp. 143-151, MIT, Cambridge, MA, USA, June 2005
  • "Using Cayley-Menger Determinants for Geometric Constraint Solving", Dominique Michelucci, Sebti Foufou, ACM Symposium on Solid Modeling, Genova, Italy, 2004
  • "Shortest circuits with given homotopy in a constellation", Dominique Michelucci, Marc Neveu, ACM Symposium on Solid Modeling, Genova, Italia, 2004
  • "A reliable curve tracing method", Dominique Michelucci, Dominique Faudot, isiCAD: Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Akademgorodok, Novosibirsk, Russia, 2004
  • "Conversion of Quadrics into Rational Biquadratic Bézier Patches", Lionel Garnier, Sebti Foufou, Dominique Michelucci, isiCAD: Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Akademgorodok, Novosibirsk, Russia, 2004 825_11_isiCAD_Garnier.pdf
  • "An implementation of Jurzak's prover", Dominique Michelucci, Jean-paul Jurzak, isiCAD: Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, 2004
  • "Detecting Induced Incidences in the Projective Plane", Dominique Michelucci, Pascal Schreck, isiCAD: Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, 2004
  • "Kernel functions give intrinsic formulations of geometric constraints", Dominique Michelucci, Sebti Foufou, isiCAD: Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, 2004
  • "Towards Voxel Classification Training", Denis Déssérée, Dominique Michelucci, Jean-michel Moreau, Marc Roelens, Surgetica 2002, 2002
  • "Reliable Representations of Strange Attractors", Dominique Michelucci, Scientific Computing, Validated Numerics, Interval Methods, Boston-Dordrecht-London, Kluwer Academic Publishers, Boston-Dordrecht-London, 2001
  • "The ellipsoidal skeleton in medical applications", Frédéric Banégas, Marc Jaeger, Dominique Michelucci, Marc Roelens, ACM symposium on Solid modeling and applications, pp. 30-38, Ann Arbor, Michigan, United States, ACM Press, 2001
  • "Hierarchical Pattern Analysis and Recognition using Ellipsoidal Skeleton", Frédéric Banégas, François Canovas, Dominique Michelucci, Marc Roelens, Marc Jaeger, Proc. Fourth International Conference in Computer G raphics and Artificial Intelligence, 3IA2000, Bordeaux, France, 2000
  • "Automatic Adaptative Surface Reconstruction from Ellipsoidal Skeleton", Frédéric Banégas, Dominique Michelucci, Marc Roelens, Marc Jaeger, Proceedings of the Fourth International Workshop on Implicit Surfaces, Bordeaux, France, ACM Press, 1999
  • "Convex Hull of Grid Points below a Line or a Convex Curve", Hélymar Balza Gomez, Dominique Michelucci, Jean-michel Moreau, Proceedings of the 8th International Conference on Discrete Geometry for Computer Imagery, pp. 361-374, Springer-Verlag, 1999
  • "Qualitative study of geometric constraints", Hervé Lamure, Dominique Michelucci, Geometric Constraint Solving and Applications, B. Brüderlin and D. Roller (eds), Springer-Verlag, 1998
  • "Bridging the gap between CSG and Brep via a triple ray representation", Mohand Ourabah Benouamer, Dominique Michelucci, Proceedings of the fourth ACM symposium on Solid modeling and applications, pp. 68-79, Atlanta, Georgia, US, ACM Press, 1997
  • "A Quadratic Non Standard Arithmetic", Dominique Michelucci, Proc. of the 9th Canadian Conf. on Computational Geometry, pp. 123-128, Canada, 1997
  • "Solving Constraints by Homotopy", Hervé Lamure, Dominique Michelucci, Proc. of the ACM Symposium Solid Modeling Foundations and CAD/CAM Applications, pp. 263-269, May 1995
  • "An epsilon-Arithmetic for Removing Degeneracies", Dominique Michelucci, 12th IEEE Symposium on Computer Arithmetic, pp. 230-237, Bath, England, IEEE Computer Society, 1995
  • "A lazy arithmetic library", Mohand Ourabah Benouamer, Philippe Jaillon, Dominique Michelucci, Jean-michel Moreau, IEEE 11th Symp. on Computer Arithmetic, pp. 242-269, Windsor, Ontario, 30 June 1993
  • "REDUCTION OF CONSTRAINT SYSTEMS", Samy Ait-Aoudia, Roland Jegou, Dominique Michelucci, COMPUGRAPHICS'93, Alvor, Algarve : Portugal, 1993 lien sur HAL

Conférences nationales (2)

  • "Modélisation de surfaces algébriques par contraintes géométriques", David Ménegaux, Dominique Michelucci, Sebti Foufou, AFIG 2004, pp. 23-32, Poitiers, France, 24 Novembre 2004
  • "Résolution des contraintes géométriques", Bernard Péroche, Dominique Michelucci, Journées 3IA - Infographie Interactive et Intelligence Artificielle, Limoges, fr, 1994 lien sur HAL

Séminaires invités (2)

  • "Verified Simplex Solver using the Tableau Form and Interval Arithmetic", Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, ENS de Lyon, France, January 2010
  • "The next 100 papers about geometric constraint solving", Dominique Michelucci, ISICAD conference on Geometric Constraints, Akademgorodok, Russia, June 2004

Derniers billets publiés


Archives


LE2I - Laboratoire Electronique, Informatique et Image | webmestre : Antoine Trapet | info légales | logo SPIP 2