Skip to Main content Skip to Navigation
  1. Search


...
hal-00936488v2  Conference papers
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Coinduction up to in a fibrational setting
CSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩
...
inria-00173124v2  Reports
Pedro M. M. de Castro, Frédéric Cazals, Sébastien Loriot, Monique Teillaud. Design of the CGAL Spherical Kernel and application to arrangements of circles on a sphere
[Research Report] RR-6298, INRIA. 2007, pp.46
...
hal-01213070v1  Conference papers
Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh. A Probabilistic Approach to Reducing Algebraic Complexity of Delaunay Triangulations
Algorithms - ESA 2015, Sep 2015, Patras, Greece. pp.595-606, ⟨10.1007/978-3-662-48350-3_50⟩
...
hal-01153979v1  Preprints, Working Papers, ...
Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh. A probabilistic approach to reducing the algebraic complexity of computing Delaunay triangulations
2015
...
hal-02333354v1  Conference papers
Dominique Larchey-Wendling. Proof Pearl: Constructive Extraction of Cycle Finding Algorithms
9th International Conference on Interactive Theorem Proving, ITP 2018, Jul 2018, Oxford, United Kingdom. pp.370-387, ⟨10.1007/978-3-319-94821-8_22⟩
hal-01587624v1  Journal articles
Nathanaël Fijalkow, Charles Paperman. Monadic Second-Order Logic with Arbitrary Monadic Predicates
ACM Transactions on the Web, http://tweb.acm.org/, 2017, 9 (3), pp.39 - 56. ⟨10.1145/3091124⟩
...
tel-01749781v1  Theses
Guillaume Batog. Problèmes classiques en vision par ordinateur et engéométrie algorythmique revisités via la géométrie des droites
Autre [cs.OH]. Université Nancy 2, 2011. Français. ⟨NNT : 2011NAN23001⟩
inria-00099561v1  Conference papers
Moussa Demba, Francis Alexandre, Khaled Bsaïes. Correction de conjectures fausses par synthèse de programmes
Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes 2003 - JFPLC'2003, 2003, Amiens, France, 4 p
...
tel-01071945v2  Theses
Maxime Lefrançois. Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte : conceptualisation, représentation, et opérationnalisation des définitions lexicographiques
Autre [cs.OH]. Université Nice Sophia Antipolis, 2014. Français. ⟨NNT : 2014NICE4043⟩
...
inria-00344518v1  Conference papers
Guillaume Melquiond, Sylvain Pion. Formal certification of arithmetic filters for geometric predicates
17th IMACS World Congress, 2005, Paris, France
...
hal-01225202v1  Journal articles
Bruno Lévy. Robustness and Efficiency of Geometric Programs The Predicate Construction Kit (PCK)
Computer-Aided Design, Elsevier, 2015
...
hal-01225344v1  Conference papers
Benoît Libert, Marc Joye, Moti yung, Thomas Peters. Secure Efficient History-Hiding Append-Only Signatures in the Standard Model
Public Key Cryptography 2015 (PKC 2015), Mar 2015, Washington DC, United States. ⟨10.1007/978-3-662-46447-2_20⟩
...
hal-03048725v4  Journal articles
Augustin Chevallier, Sylvain Pion, Frédéric Cazals. Improved polytope volume calculations based on Hamiltonian Monte Carlo with boundary reflections and sweet arithmetics
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, In press, ⟨10.20382/jocg.v13i1a3⟩
...
inria-00277075v2  Conference papers
yves Bertot, Ekaterina Komendantskaya. Inductive and Coinductive Components of Corecursive Functions in Coq
Coalgebraic Methods in Computer Science, Apr 2008, Budapest, Hungary
inria-00099125v1  Conference papers
Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams for the verification of reactive systems
Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
...
inria-00071232v2  Journal articles
Guillaume Melquiond, Sylvain Pion. Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
...
inria-00335865v1  Journal articles
Pedro M. M. de Castro, Frédéric Cazals, Sebastien Loriot, Monique Teillaud. Design of the CGAL Spherical Kernel and application to arrangements of circles on a sphere
Computational Geometry, Elsevier, 2009
...
tel-00387017v1  Theses
Olivier Carloni. Introduction de raisonnement dans un outil industriel de gestion des connaissances
Génie logiciel [cs.SE]. Université Montpellier II - Sciences et Techniques du Languedoc, 2008. Français
...
hal-01408670v1  Conference papers
Arthur Charguéraud. Higher-order representation predicates in separation logic
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), Jan 2016, St. Petersburg, FL, United States. pp.3 - 14, ⟨10.1145/2854065.2854068⟩
...
inria-00072100v1  Reports
Olivier Devillers, Philippe Guigue. Faster Triangle-Triangle Intersection Tests
RR-4488, INRIA. 2002
...
tel-00187348v1  Habilitation à diriger des recherches
Sylvain Petitjean. Contributions au calcul géométrique effectif avec des objets courbes de faible degré
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2007
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/