Dominique Michelucci

	2012
41		Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci: Special issue on geometric constraints and reasoning. Comput. Geom. 45(8): 383-384 (2012)
40		Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Polytope-based computation of polynomial ranges. Computer Aided Geometric Design 29(1): 18-29 (2012)
	2011
39		Simon E. B. Thierry, Pascal Schreck, Dominique Michelucci, Christoph Fünfzig, Jean-David Génevaux: Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems. Computer-Aided Design 43(10): 1234-1249 (2011)
	2010
38		Dominique Michelucci: Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. Automated Deduction in Geometry 2010: 118-131
37		Dominique Michelucci: What Is a Line ? Automated Deduction in Geometry 2010: 132-151
36		Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Polytope-based computation of polynomial ranges. SAC 2010: 1247-1252
35		Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux: Using the witness method to detect rigid subsystems of geometric constraints in CAD. Symposium on Solid and Physical Modeling 2010: 91-100
34		Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Optimizations for Tensorial Bernstein-Based Solvers by Using Polyhedral Bounds. International Journal of Shape Modeling 16(1-2): 109-128 (2010)
	2009
33		Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Nonlinear systems solver in floating-point arithmetic using LP reduction. Symposium on Solid and Physical Modeling 2009: 123-134
32		Dominique Michelucci, Sebti Foufou: Interrogating witnesses for geometric constraint solving. Symposium on Solid and Physical Modeling 2009: 343-348
	2008
31		Dominique Michelucci, Christoph Fünfzig: Linear Programming for Bernstein Based Solvers. Automated Deduction in Geometry 2008: 163-178
30		Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou: Robustness and Randomness. Reliable Implementation of Real Number Algorithms 2008: 127-148
29		Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815
28		Dominique Michelucci: Isometry group, words and proofs of geometric theorems. SAC 2008: 1821-1825
	2007
27		Dominique Faudot, Dominique Michelucci: A New Robust Algorithm to Trace Curves. Reliable Computing 13(4): 309-324 (2007)
	2006
26		Dominique Michelucci, Sebti Foufou: Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. Automated Deduction in Geometry 2006: 98-112
25		Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux: Another Paradigm for Geometric Constraints Solving. CCCG 2006
24		Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou: Robustness and Randomness. Reliable Implementation of Real Number Algorithms 2006
23		Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962
22		Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck: Geometric constraints solving: some tracks. Symposium on Solid and Physical Modeling 2006: 185-196
21		Dominique Michelucci, Sebti Foufou: Geometric constraint solving: The witness configuration method. Computer-Aided Design 38(4): 284-299 (2006)
20		Dominique Michelucci, Sebti Foufou: Interval-based Tracing of Strange Attractors. Int. J. Comput. Geometry Appl. 16(1): 27-40 (2006)
19		Xiao-Shan Gao, Dominique Michelucci: Guest Editors' Foreword. Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006)
18		Dominique Michelucci, Pascal Schreck: Incidence Constraints: a Combinatorial Approach. Int. J. Comput. Geometry Appl. 16(5-6): 443-460 (2006)
	2005
17		Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux: Bernstein based arithmetic featuring de Casteljau. CCCG 2005: 215-218
16		Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak: Numerical decomposition of geometric constraints. Symposium on Solid and Physical Modeling 2005: 143-151
	2001
15		Frederic Banégas, Marc Jaeger, Dominique Michelucci, M. Roelen: The ellipsoidal skeleton in medical applications. Symposium on Solid Modeling and Applications 2001: 30-38
	2000
14		Dominique Michelucci, Jean-Michel Moreau: ZEA - A zero-free exact arithmetic . CCCG 2000
	1999
13		Hélymar Balza-Gomez, Dominique Michelucci, Jean-Michel Moreau: The periodicity of integral convex hulls for conics in r2. CCCG 1999
12		Hélymar Balza-Gomez, Jean-Michel Moreau, Dominique Michelucci: Convex Hull of Grid Points below a Line or a Convex Curve. DGCI 1999: 361-374
	1997
11		Dominique Michelucci: A quadratic non-standard arthmetic. CCCG 1997
10		Mohand Ourabah Benouamer, Dominique Michelucci: Bridging the Gap Between CSG and Brep via a Triple Ray Representation. Symposium on Solid Modeling and Applications 1997: 68-79
9		Dominique Michelucci, Jean-Michel Moreau: Lazy Arithmetic. IEEE Trans. Computers 46(9): 961-975 (1997)
	1996
8		Hervé Lamure, Dominique Michelucci: Solving Geometric Constraints By Homotopy. IEEE Trans. Vis. Comput. Graph. 2(1): 28-34 (1996)
	1995
7		Dominique Michelucci: An epsilon-Arithmetic for Removing Degeneracies. IEEE Symposium on Computer Arithmetic 1995: 230-
6		Hervé Lamure, Dominique Michelucci: Solving geometric constraints by homotopy. Symposium on Solid Modeling and Applications 1995: 263-269
5		Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller: Introduction to the Special Issue: "Real Numbers and Computers". J. UCS 1(7): 436-438 (1995)
	1994
4		Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche: Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation. Computer-Aided Design 26(6): 403-416 (1994)
3		Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau: Hashing lazy numbers. Computing 53(3-4): 205-217 (1994)
	1993
2		Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau: A lazy exact arithmetic. IEEE Symposium on Computer Arithmetic 1993: 242-249
1		Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche: Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation. Solid Modeling and Applications 1993: 115-126

Coauthor Index

1	Jean-Claude Bajard	[5]
2	Hélymar Balza-Gomez	[12] [13]
3	Frederic Banégas	[15]
4	Mohand Ourabah Benouamer	[1] [2] [3] [4] [10]
5	Dominique Faudot	[27]
6	Sebti Foufou	[16] [17] [20] [21] [22] [24] [25] [26] [30] [32] [33] [34] [36] [40]
7	Christoph Fünfzig	[31] [33] [34] [35] [36] [39] [40]
8	Xiao-Shan Gao	[19] [23] [29] [41]
9	Jean-David Génevaux	[35] [39]
10	Marc Jaeger	[15]
11	P. Jaillon	[2] [3]
12	Robert Joan-Arinyo	[41]
13	Jean-Paul Jurzak	[16]
14	Loïc Lamarque	[17] [22] [25]
15	Hervé Lamure	[6] [8]
16	David Ménegaux	[17] [25]
17	Jean-Michel Moreau	[2] [3] [5] [9] [12] [13] [14] [24] [30]
18	Jean-Michel Muller	[5]
19	Bernard Péroche (Bernard Peroche)	[1] [4]
20	M. Roelen	[15]
21	Pascal Schreck	[18] [22] [23] [29] [35] [39]
22	Simon E. B. Thierry	[35] [39]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page