Follow
Jean-David Genevaux
Jean-David Genevaux
LIRIS
Verified email at liris.cnrs.fr
Title
Cited by
Cited by
Year
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), 1-13, 2013
1602013
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
542015
Formalization of Wu’s simple method in Coq
JD Génevaux, J Narboux, P Schreck
Certified Programs and Proofs: First International Conference, CPP 2011 …, 2011
332011
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
212011
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
112016
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
102010
Représentation, modélisation et génération procédurale de terrains
JD Génevaux
Université Lyon 2, 2015
12015
Modélisation de terrains par primitives
JD Génevaux, F Grosbellet, E Galin, A Peytavie, E Guérin, C Briquet, ...
Journées de l’Association Française d’Informatique Graphique, 2014
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