Skip to Main content Skip to Navigation


...
inria-00441214v1  Journal articles
Lutz StraßburgerAlessio Guglielmi. A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. ⟨10.1145/1970398.1970399⟩
...
inria-00441254v2  Journal articles
Alessio GuglielmiLutz Straßburger. A System of Interaction and Structure V: The Exponentials and Splitting
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, pp.1-22. ⟨10.1017/S096012951100003X⟩
inria-00122480v1  Journal articles
Cyril SolerFrançois X. SillionFrédéric BlaisePhilippe de Reffye. An efficient instanciation algorithm for simulating radiant energy transfer in plant models
ACM Transactions on Graphics, Association for Computing Machinery, 2003, ACM Transactions on Graphics, 22 (2), pp.204-233. ⟨10.1145/636886.636890⟩
inria-00335919v1  Journal articles
Johanne CohenAnurag DasguptaSukumar GhoshSébastien Tixeuil. An Exercise in Selfish Stabilization
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩
hal-00920332v1  Journal articles
Serge HaddadLynda MokdadSamir Youcef. Bounding models families for performance evaluation in composite Web services
Journal of computational science, Elsevier, 2013, PEDISWESA 2011 and Sc. computing for Cog. Sciences, 4 (4), pp.232-241. ⟨10.1016/j.jocs.2011.11.003⟩
...
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⟩
...
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⟩
...
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-00000625v2  Journal articles
Pierrick Gaudry. Fast genus 2 arithmetic based on Theta functions
Journal of Mathematical Cryptology, De Gruyter, 2007, 1 (3), pp.243-265. ⟨10.1515/JMC.2007.012⟩
...
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⟩
hal-01097155v1  Journal articles
Thibault MaillotUgo BoscainJean-Paul GauthierUlysse Serres. Lyapunov and Minimum-Time Path Planning for Drones
Journal of Dynamical and Control Systems, Springer Verlag, 2015, 21 (1), pp.1-34. ⟨10.1007/s10883-014-9222-y⟩
...
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-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-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-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⟩
...
inria-00071967v2  Journal articles
Abdolali BasiriAndreas EngeJean-Charles FaugèreNicolas Gürel. The arithmetic of Jacobian groups of superelliptic cubics
Mathematics of Computation, American Mathematical Society, 2005, 74 (249), pp.389-410
...
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-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⟩
inria-00099711v1  Journal articles
Gilles DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
...
hal-00731910v1  Journal articles
Franck VidalPierre-Frédéric VillardEvelyne Lutton. Tuning of patient specific deformable models using an adaptive evolutionary optimization strategy
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2012, 59 (10), pp.2942 - 2949. ⟨10.1109/TBME.2012.2213251⟩
...
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-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-00732901v1  Journal articles
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩