Jean-David Genevaux
Jean-David Genevaux
LIRIS
Verified email at liris.cnrs.fr
TitleCited byYear
Terrain generation using procedural models based on hydrology
JD Génevaux, É Galin, E Guérin, A Peytavie, B Benes
ACM Transactions on Graphics (TOG) 32 (4), 143, 2013
1002013
Terrain modelling from feature primitives
JD Génevaux, E Galin, A Peytavie, E Guérin, C Briquet, F Grosbellet, ...
Computer Graphics Forum 34 (6), 198-210, 2015
272015
Formalization of Wu’s simple method in Coq
JD Génevaux, J Narboux, P Schreck
International Conference on Certified Programs and Proofs, 71-86, 2011
232011
Extensions of the witness method to characterize under-, over-and well-constrained geometric constraint systems
SEB Thierry, P Schreck, D Michelucci, C Fünfzig, JD Génevaux
Computer-Aided Design 43 (10), 1234-1249, 2011
142011
Using the witness method to detect rigid subsystems of geometric constraints in CAD
D Michelucci, P Schreck, SEB Thierry, C Fünfzig, JD Génevaux
Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, 91-100, 2010
82010
Efficient modeling of entangled details for natural scenes
E Guérin, E Galin, F Grosbellet, A Peytavie, JD Génevaux
Computer Graphics Forum 35 (7), 257-267, 2016
62016
Représentation, modélisation et génération procédurale de terrains
JD Génevaux
Lyon 2, 2015
2015
Modélisation de terrains par primitives
JD Génevaux, F Grosbellet, E Galin, A Peytavie, E Guérin, C Briquet, ...
2014
Génération procédurale de rivières et de terrains
JD Génevaux, É Galin, É Guérin, A Peytavie, B Beneš
25èmes Journées de l’Association Française d’Informatique Graphique (AFIG), 1-10, 2012
2012
Formalisation de la méthode de Wu simple en Coq
JD Génevaux, J Narboux, P Schreck
RENNES 20-22 juin, 141, 0
Etude et formalisation de la méthode de Wu dans Coq
JD Génevaux
Etude de la méthode probabiliste du témoin
JD Genevaux
The system can't perform the operation now. Try again later.
Articles 1–12