Skip to Main content Skip to Navigation


...
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩
...
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
...
hal-01529154v2  Journal articles
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2018, 20 (1), pp.1-11. ⟨10.23638/DMTCS-20-1-1⟩
...
hal-01384396v2  Journal articles
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing Shrinkable Complexes Is NP-Complete
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩
...
hal-01294409v1  Journal articles
Manuel CaroliMonique Teillaud. Delaunay triangulations of closed Euclidean d-orbifolds
Discrete and Computational Geometry, Springer Verlag, 2016, 55 (4), pp.827--853. ⟨10.1007/s00454-016-9782-6⟩
...
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
...
hal-01348831v1  Journal articles
Olivier DevillersRoss Hemsley. The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.332-359. ⟨10.20382/jocg.v7i1a16⟩
...
hal-01289699v1  Journal articles
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.14. ⟨10.20382/jocg.v7i1a5⟩
...
hal-01285120v1  Journal articles
Olivier DevillersMarc GlisseXavier GoaocRémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. ⟨10.20382/jocg.v7i2a6⟩
...
hal-01176699v1  Journal articles
Manuel Grand-BrochierAntoine VacavantGuillaume CeruttiCamille KurtzJonathan Weber et al.  Tree leaves extraction in natural images: Comparative study of pre-processing tools and segmentation methods
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2015, 24 (5), pp.1549-1560. ⟨10.1109/TIP.2015.2400214⟩
...
hal-00997207v1  Journal articles
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩
...
hal-00726746v2  Journal articles
Jörn FrankeFrançois CharoyPaul El Khoury. Framework for Coordination of Activities in Dynamic Situations
Enterprise Information Systems, Taylor & Francis, 2013, 7 (1), pp.33-60. ⟨10.1080/17517575.2012.690891⟩
...
hal-00805690v1  Journal articles
Olivier DevillersMarc GlisseXavier GoaocGuillaume MorozMatthias Reitzner. The monotonicity of $f$-vectors of random polytopes
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2013, 18 (23), pp.1-8. ⟨10.1214/ECP.v18-2469⟩
...
hal-00695670v1  Journal articles
Bruno GalerneAres LagaeSylvain LefebvreGeorge Drettakis. Gabor Noise by Example
ACM Transactions on Graphics, Association for Computing Machinery, 2012, 31 (4), pp.Article No. 73. ⟨10.1145/2185520.2185569⟩
...
hal-00591868v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. An Implicit Characterization of PSPACE
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
...
hal-00643880v1  Journal articles
Marc GlisseSylvain Lazard. On the Complexity of Sets of Free Lines and Line Segments Among Balls in Three Dimensions
Discrete and Computational Geometry, Springer Verlag, 2012, 47 (4), pp.756-772. ⟨10.1007/s00454-012-9414-8⟩
...
hal-01062522v1  Journal articles
Ares LagaeSylvain LefebvrePhilip Dutre. Improving Gabor Noise
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2011, 17 (8), pp.1096-1107. ⟨10.1109/TVCG.2010.238.⟩
...
inria-00442816v3  Journal articles
Otfried CheongHazel EverettMarc GlisseJoachim GudmundssonSamuel Hornus et al.  Farthest-Polygon Voronoi Diagrams
Computational Geometry, Elsevier, 2011, Computational Geometry, Theory and Applications, 44 (4), pp.14. ⟨10.1016/j.comgeo.2010.11.004⟩
...
inria-00547754v1  Journal articles
Sylvain LefebvreSamuel HornusAnass Lasram. By-example Synthesis of Architectural Textures
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of ACM SIGGRAPH 2010, 29 (4), pp.84:1-8. ⟨10.1145/1778765.1778821⟩
...
inria-00487986v4  Journal articles
Pierre BénardAres LagaePeter VangorpSylvain LefebvreGeorge Drettakis et al.  A Dynamic Noise Primitive for Coherent Stylization
Computer Graphics Forum, Wiley, 2010, Proceedings of the Eurographics Symposium on Rendering 2010, 29 (4), pp.1497-1506. ⟨10.1111/j.1467-8659.2010.01747.x⟩
...
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩
...
inria-00404171v1  Journal articles
Julien DemouthOlivier DevillersMarc GlisseXavier Goaoc. Helly-type theorems for approximate covering
Discrete and Computational Geometry, Springer Verlag, 2009, 42 (3), pp.379--398. ⟨10.1007/s00454-009-9167-1⟩
...
inria-00329731v1  Journal articles
Frédéric CazalsMarc Pouget. Jet fitting 3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3)
...
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
...
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
...
inria-00103916v1  Journal articles
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  Lines and free line segments Tangent to Arbitrary Three-dimensional Convex Polyhedra
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2007, 37 (2), pp.522-551. ⟨10.1137/S0097539705447116⟩
...
inria-00192927v1  Journal articles
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSue Whitesides et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.297-304. ⟨10.1142/S0218195907002343⟩
...
inria-00103923v1  Journal articles
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaSteve Wismath. Drawing Kn in Three Dimensions with One Bend per Edge
Journal of Graph Algorithms and Applications, Brown University, 2006, 10 (2), pp.287-295
...
inria-00000899v2  Journal articles
Assefaw Hadish GebremedhinJens GustedtMohamed EssaïdiIsabelle Guérin-LassousJan Arne Telle. PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
Nordic Journal of Computing, Publishing Association Nordic Journal of Computing, 2006, 13 (4), pp.215-239
...
inria-00104853v1  Journal articles
Nicolas RayWan Chiu LiBruno LévyAlla ShefferPierre Alliez. Periodic Global Parameterization
ACM Transactions on Graphics, Association for Computing Machinery, 2006
...
inria-00174284v1  Journal articles
Cécile GermainVincent BretonPatrick ClarysseYann GaudeauTristan Glatard et al.  Grid-enabling medical image analysis
International Journal of Clinical Monitoring and Computing, Springer Verlag, 2005, 19 (4-5), pp.339-349. ⟨10.1007/s10877-005-0679-9⟩
...
hal-00415089v1  Journal articles
Guy BernardJalel Ben-OthmanLuc BouganimGérôme CanalsBruno Defude et al.  Mobilité et bases de données. Etat de l’'art et perspectives – 1ère partie. Action spécifique CNRS « Mobilité/Accès aux données »
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2003, 22 (3), pp.351-377
...
inria-00099509v1  Journal articles
Jean-Daniel BoissonnatSylvain Lazard. A polynomial-time algorithm for computing shortest paths of bounded curvature amidst moderate obstacles
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2003, 13 (3), pp.189-229. ⟨10.1142/S0218195903001128⟩
...
inria-00099624v1  Journal articles
Pierre AlliezDavid Cohen-SteinerOlivier DevillersBruno LévyMathieu Desbrun. Anisotropic Polygonal Remeshing
ACM Transactions on Graphics, Association for Computing Machinery, 2003, 22 (3), pp.485-493. ⟨10.1145/1201775.882296⟩
...
inria-00099810v1  Journal articles
Olivier DevillersVida DujmovicHazel EverettXavier GoaocSylvain Lazard et al.  The expected number of 3D visibility events is linear
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2003, 32 (6), pp.1586-1620. ⟨10.1137/S0097539702419662⟩
...
inria-00099289v1  Journal articles
Jean-Daniel BoissonnatOlivier DevillersSylvain Lazard. Motion planning of legged robots
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2000, 30 (1), pp.218-246. ⟨10.1137/S0097539797326289⟩
...
hal-00005853v1  Journal articles
Eitan AltmanBruno GaujalArie Hordijk. Balanced Sequences and Optimal Routing
Journal of the ACM (JACM), Association for Computing Machinery, 2000, 47 (4), pp.752-775. ⟨10.1145/347476.347482⟩
...
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364