HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

inria-00331914v1  Journal articles
Rodrigo de ToledoBin WangBruno Lévy. Geometry Textures and Applications
Computer Graphics Forum, Wiley, 2008, 27 (8), pp.2053-2065. ⟨10.1111/j.1467-8659.2008.01185.x⟩
inria-00201839v1  Journal articles
Xuzheng LiuJiaguang SunGuo-Qin ZhengJunhai Yong. Constrained Interpolation with Biarcs
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, China Academic Journal Electronic Publishing House, 2007, 58 (3), pp.240-253
inria-00517962v1  Journal articles
Wen ZhengJun-Hai YongJean-Claude Paul. Visual Simulation of Multiple Unmixable Fluids
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2007, 22 (1), pp.156-160. ⟨10.1007/s11390-007-9021-y⟩
inria-00518351v1  Journal articles
Xiao-Diao ChenLinqiang ChenYigang WangGang XuJun-Hai Yong et al.  Computing the minimum distance between two Bézier curves
Journal of Computational and Applied Mathematics, Elsevier, 2009, 229 (1), pp.194-301. ⟨10.1016/j.cam.2008.10.050⟩
inria-00124253v2  Journal articles
Jun-Hai YongXiao ChenJean-Claude Paul. An example on approximation by fat arcs and fat biarcs
Computer-Aided Design, Elsevier, 2006, 38 (5), pp.515-517
inria-00517687v1  Conference papers
Yu PengJunhai YongHui ZhangJiaguang Sun. Efficient algorithm for general polygon clipping
Proceedings of The 6th International Conference on Computer-Aided Industrial Design and Conceptual Design 2005, May 2005, Delft, Netherlands
inria-00186866v1  Conference papers
Rodrigo ToledoBin WangBruno Lévy. Geometry Textures
20th Brazilian Symposium on Computer Graphics and Image Processing - SIBGRAPI 2007, Oct 2007, Belo Horizonte, Brazil. pp.79-86, ⟨10.1109/SIBGRA.2007.4368171⟩
inria-00516575v1  Conference papers
Fei HeLei ZhuWilliam HungXiaoyu SongMing Gu. Compositional Abstraction Refinement for Timed Systems
IEEE International Symposium on Theoretical Aspects of Software Engineering, Aug 2010, Taipei, Taiwan
inria-00515531v1  Journal articles
Hui ZhangJun-Hai YongJean-Claude Paul. Adaptive geometry compression based on 4-point interpolatory subdivision schemes with labels
International Journal of Computer Mathematics, Taylor & Francis, 2007, 16p
inria-00517956v1  Journal articles
Wen ZhengJun-Hai YongJean-Claude Paul. Simulation of bubbles
Graphical Models, Elsevier, 2009, 71 (6), pp.229-239. ⟨10.1016/j.gmod.2009.08.001⟩
inria-00202636v1  Conference papers
Jie-Hui GongHui ZhangYi-Wen ZhangJia-Guang Sun. Converting Hybrid Wire-frames to B-rep Models
SPM '07: Proceedings of the 2007 ACM symposium on Solid and physical modeling, ACM, Jun 2007, Beijing, China. pp.283-289, ⟨10.1145/1236246.1236286⟩
inria-00519199v1  Journal articles
Yi-Jun YangJun-Hai Yong. Standardization of Rational Bézier Surfaces
Journal of Computer Aided Design & Computer Graphics, Hujun Bao, 2007
inria-00517260v1  Conference papers
He-Jin GuJun-Hai YongJean-Claude PaulFuhua (frank) Cheng. Constructing G1 quadratic Bezier curves with arbitrary endpoint tangent vectors
The 11th IEEE International Conference on CAD/Graphics -CAD/GRAPHICS 2009, Aug 2009, Yellow Mountain City, China. pp.263-267, ⟨10.1109/CADCG.2009.5246892⟩
inria-00612413v1  Conference papers
Hui KongHehua ZhangXiaoyu SongMing GuJiaguang Sun. Proving Computational Geometry Algorithms in TLA+2
5th IEEE International Conference on Theoretical Aspects of Software Engineering(TASE 2011), Aug 2011, Xi'an, China
inria-00518379v1  Conference papers
Xiao-Diao ChenYin ZhouZhenyu ShuHua SuJean-Claude Paul. Improved Algebraic Algorithm On Point Projection For Bézier Curves
Proceedings of the Second International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 2007), The University of Iowa, Iowa City, Iowa, USA, Aug 2007, Iowa, United States. pp.158-163, ⟨10.1109/IMSCCS.2007.17⟩
inria-00612408v1  Conference papers
Litian XiaoMing GuJiaguang Sun. The Verification of PLC Program Based on Interactive Theorem Proving Tool COQ
4th IEEE International Conference on Computer Science and Information Technology(ICCSIT2011), Jun 2011, Chengdu, China
inria-00201893v1  Journal articles
Zhitong ZhengJun-Hai Yong. Best uniform approximation to a class of rational functions
Journal of Mathematical Analysis and Applications, Elsevier, 2007, 334, pp.909-921. ⟨10.1016/j.jmaa.2006.10.047⟩
hal-01146307v3  Journal articles
Jean-Daniel BoissonnatKan-Le ShiJane TournoisMariette Yvinec. Anisotropic Delaunay Meshes of Surfaces
ACM Transactions on Graphics, Association for Computing Machinery, 2015, 34 (2), pp.10. ⟨10.1145/2721895⟩
inria-00547315v1  Journal articles
Fei HeXiaoyu SongMing GuJia-Guang Sun. Heuristic-Guided Abstraction Refinement
The Computer Journal, Oxford University Press (UK), 2009
inria-00201896v1  Journal articles
Jie-Hui GongHui Zhang. A Survey on Solid Reconstruction from Engineering Drawings
Journal of Software, Science in China Press, 2007