Skip to Main content Skip to Navigation


...
inria-00107628v1  Conference papers
Rim Al HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
...
inria-00103256v1  Conference papers
Frédéric AlexandreNicolas RougierThierry Viéville. A regularization process to implement self-organizing neuronal networks
International Conference on Engineering and Mathematics - ENMA 2006, Jul 2006, Bilbao/Spain
...
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⟩
...
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-00846953v1  Conference papers
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawings with Circular Arcs
Canadian Conference on Computational Geometry, Aug 2013, Waterloo, Canada. pp.117-122
...
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-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-01015747v1  Conference papers
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing shrinkable complexes is NP-complete
ESA 2014 - 22nd Annual European Symposium on Algorithms, Sep 2014, Wroclaw, Poland. pp.74-86, ⟨10.1007/978-3-662-44777-2_7⟩
...
hal-03120781v1  Conference papers
Boaz BarakRaphaëlle CrubilléUgo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩
...
inria-00000632v1  Conference papers
Gilles BartheLeonor Prensa Nieto. Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
2nd ACM Workshop on Formal Methods in Security Engineering - FMSE'2004, Michael Backes, David Basin, and Michael Waidner, Oct 2004, Washington D.C./USA, pp.13-22, ⟨10.1145/1029133.1029136⟩
...
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-00099463v2  Conference papers
Gilles BartheHoratiu CirsteaClaude KirchnerLuigi Liquori. Pure Patterns Type Systems
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
...
hal-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. Symbolic Methods in Computational Cryptography Proofs
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
...
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⟩
...
inria-00492833v1  Conference papers
Pierre BénardAres LagaePeter VangorpSylvain LefebvreGeorge Drettakis et al.  NPR Gabor Noise for Coherent Stylization
ACM SIGGRAPH 2010 Talks, Jul 2010, Los Angeles, CA, United States. pp.40, ⟨10.1145/1837026.1837079⟩
...
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⟩
...
inria-00070219v1  Reports
Didier BenzaMichel CosnardLuigi LiquoriMarc Vesin. Arigatoni: Overlaying Internet via Low Level Network Protocols
[Research Report] RR-5805, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006, pp.27
...
hal-00911632v1  Conference papers
Didier BenzaMichel CosnardLuigi LiquoriMarc Vesin. Arigatoni: A Simple Programmable Overlay Network
Modern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, Oct 2006, Sofia, Bulgaria. pp.82-91, ⟨10.1109/JVA.2006.7⟩
...
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
...
hal-01002815v2  Conference papers
Christine BerthaudLaurent CapelliJens GustedtClaude KirchnerLoiseau Kevin et al.  EPISCIENCES - an overlay publication platform
ELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
...
inria-00107698v1  Conference papers
Pascal BerthoméJohanne CohenThierry Mautor. Optimisation des ressources utilisées pour une diffusion
5ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'2003, Feb 2003, Avignon, France, 2 p
...
hal-00642544v1  Conference papers
Frédéric BessonPascal FontaineLaurent Théry. A Flexible Proof Format for SMT: a Proposal
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
...
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
...
hal-02549827v1  Conference papers
Enka BlanchardSiargey Kachanovich. Counting authorised paths in constrained control-flow graphs
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
...
hal-01276386v1  Conference papers
Mikhail BogdanovMonique TeillaudGert Vegter. Delaunay triangulations on orientable surfaces of low genus
32nd International Symposium on Computational Geometry, Jun 2016, Boston, United States. pp.20:1--20:15, ⟨10.4230/LIPIcs.SoCG.2016.20⟩
...
hal-01224549v1  Conference papers
Mikhail BogdanovManuel CaroliMonique Teillaud. Computing Periodic Triangulations
Shape up - Exercises in Materials Geometry and Topology, Sep 2015, Berlin, Germany. pp.60-61
...
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-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⟩
...
inria-00607173v1  Conference papers
Nicolas BonneelMichiel van de PanneSylvain LefebvreGeorge Drettakis. Proxy-Guided Texture Synthesis for Rendering Natural Scenes
Vision Modeling and Visualization Workshop (VMV 2010), Nov 2010, Siegen, Germany. pp.87--95, ⟨10.2312/PE/VMV/VMV10/087-095⟩
...
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
...
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-01366148v1  Conference papers
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece
...
inria-00103995v1  Conference papers
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  The Number of Lines Tangent to Arbitrary Convex Polyhedra in 3D
Proceedings of the 20th Annual Symposium on Computational Geometry, Jun 2004, Brooklyn, NY, United States. pp.46 - 55, ⟨10.1145/997817.997827⟩
...
inria-00099449v1  Conference papers
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  On the Number of Lines Tangent to Four Convex Polyhedra
14th Canadian Conference on Computational Geometry - CCCG'02, 2002, Lethbridge, Canada
...
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-00099873v1  Conference papers
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. On the number of line tangents to four triangles in three-dimensional space
16th Canadian Conference on Computational Geometry - CCCG'04, 2004, Montreal, Canada, 4 p
...
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⟩
...
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-02125504v1  Reports
Baptiste CaramiauxFabien LotteJoost GeurtsGiuseppe AmatoMalte Behrmann et al.  AI in the media and creative industries
[Research Report] New European Media (NEM). 2019, pp.1-35
...
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⟩
...
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-00329762v1  Book sections
Frédéric CazalsJean-Charles FaugèreMarc PougetFabrice Rouillier. Ridges and Umbilics of Polynomial Parametric Surfaces
B. Juttler and R. Piene. Geometric Modeling and Algebraic Geometry, Springer, pp.141--159, 2008, 978-3-540-72184-0. ⟨10.1007/978-3-540-72185-7_8⟩
...
hal-00331541v1  Conference papers
Bruno CessacHoracio RostroJuan Carlos VasquezThierry Viéville. Statistics of spikes trains, synaptic plasticity and Gibbs distributions.
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
...
hal-00331567v1  Conference papers
Bruno CessacHoracio RostroJuan Carlos VasquezThierry Viéville. To which extend is the "neural code'' a metric ?
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
...
hal-00553441v1  Conference papers
Bruno CessacJuan Carlos VasquezHassan NasserHoracio Rostro-GonzalezThierry Viéville et al.  Parametric estimation of spike train statistics by Gibbs distributions : an application to bio-inspired and experimental data
Cinquième conférence plénière française de Neurosciences Computationnelles, "Neurocomp'10", Aug 2010, Lyon, France
...
hal-00331587v1  Conference papers
Sandrine ChemlaThierry ViévilleFrédéric Chavane. Biophysical cortical column model for optical signal analysis
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
...
hal-02303987v1  Conference papers
Ran ChenCyril CohenJean-Jacques LevyStephan MerzLaurent Théry. Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle
ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.13:1 - 13:19, ⟨10.4230/LIPIcs.ITP.2019.13⟩
...
inria-00425383v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of planar algebraic curves
25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. pp.361--370, ⟨10.1145/1542362.1542424⟩
...
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⟩
...
hal-03031995v1  Reports
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
...
inria-00437237v1  Book sections
Hacène CherfiAmedeo NapoliYannick Toussaint. A Conformity Measure using Background Knowledge for Association Rules: Application to Text Mining
Yanchang Zhao and Chengqi Zhang and Longbing Cao. Post-Mining of Association Rules: Techniques for Effective Knowledge Extraction, IGI Global, 2009, 978-1605664040
...
inria-00000817v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
...
inria-00107877v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. The Rho Cube
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
...
inria-00107876v2  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. Matching Power
12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
...
inria-00100113v1  Conference papers
Horatiu CirsteaLuigi LiquoriBenjamin Wack. Rewriting Calculus with Fixpoints: Untyped and First-order Systems
Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. pp.147-161, ⟨10.1007/978-3-540-24849-1_10⟩
...
inria-00099586v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. Rewrite Strategies in the Rewriting Calculus
WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
...
inria-00100858v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. Rewriting Calculus with(out) Types
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
...
inria-00099411v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. The rho cube : some results, some problems
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
...
hal-01402539v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Les interfaces Cerveau-Ordinateur 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-147-1
...
hal-01095344v1  Book sections
Julien CojanJean Lieber. Applying Belief Revision to Case-Based Reasoning
Computational Approaches to Analogical Reasoning: Current Trends, 548, Springer, pp.133 - 161, 2014, Studies in Computational Intelligence, ⟨10.1007/978-3-642-54516-0_6⟩
...
hal-01152644v1  Conference papers
Dominique ColnetLuigi Liquori. Match-O, a dialect of Eiffel with match-types
37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, ⟨10.1109/TOOLS.2000.891369⟩
...
hal-00912767v1  Book sections
Amélie CordierValmi Dufour-LussierJean LieberEmmanuel NauerFadi Badra et al.  Taaable: a Case-Based System for personalized Cooking
Montani, Stefania and Jain, Lakhmi C. Successful Case-based Reasoning Applications-2, 494, Springer, pp.121-162, 2014, Studies in Computational Intelligence, 978-3-642-38735-7. ⟨10.1007/978-3-642-38736-4_7⟩
...
hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
...
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-00331435v1  Conference papers
Julien DemouthOlivier DevillersMarc GlisseXavier Goaoc. Helly-type theorems for approximate covering
SoCG 2008 - 24th Annual Symposium on Computational Geometry, Jun 2008, College Park, Maryland, United States. pp.120--128
...
inria-00187253v1  Conference papers
Julien DemouthOlivier DevillersHazel EverettMarc GlisseSylvain Lazard et al.  Between umbra and penumbra
Proceedings of the 23rd Annual Symposium on Computational Geometry, Hee-Kap Ahn, Otfried Cheong, and Kyung-Yong Chwa, Jun 2007, Gyeongju, South Korea. pp.265-274, ⟨10.1145/1247069.1247117⟩
...
inria-00000374v1  Conference papers
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaStephen Wismath. Drawing $K_n$ in Three Dimensions with One Bend per Edge
13th International Symposium on Graph Drawing - GD'2005, Sep 2005, University of Limerick, Ireland
...
inria-00000569v1  Conference papers
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSteve Wismath et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
17th Canadian Conference on Computational Geometry - CCCG'2005, Aug 2005, Windsor, Canada