Skip to Main content Skip to Navigation

hal-01242868v1  Journal articles
Jamila Ben SlimaneSchott RenéYeqiong SongG. Stacey StaplesEvangelia Tsiontsiou et al.  Operator Calculus Algorithms for Multi-Constrained Paths
International Journal of Mathematics and Computer Science, 2015, Vol. 10 ( No. 1)
hal-01648695v1  Journal articles
Thomas SturmErika AbrahamJohn AbbottBern W. BeckerAnna Bigatti et al.  Satisfiability Checking and Symbolic Computation
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
hal-01345697v1  Journal articles
Pierre BessièreJulien DiardFrancis Colas. Modèles probabilistes formels pour problèmes cognitifs usuels
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2016, Nouvelles approches en robotique cognitive, 65 (1), pp.111-141. ⟨10.3406/intel.2016.1792⟩
hal-00921122v1  Journal articles
Jean-Sébastien SereniJan Volec. A note on acyclic vertex-colorings
Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩
hal-01244464v1  Journal articles
Aravind Sukumaran-RajamPhilippe Clauss. The Polyhedral Model of Nonlinear Loops
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 12 (4), ⟨10.1145/2838734⟩
hal-01112394v1  Journal articles
Guillaume MorozBoris Aronov. Computing the Distance between Piecewise-Linear Bivariate Functions
ACM Transactions on Algorithms, Association for Computing Machinery, 2016, 12 (1), pp.3:1-3:13. ⟨10.1145/2847257⟩
hal-01238159v1  Journal articles
Rémy ChrétienVéronique CortierStéphanie Delaune. From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 17 (1), ⟨10.1145/2811262⟩
hal-01306561v1  Journal articles
Rohit ChadhaVincent ChevalŞtefan CiobâcǎSteve Kremer. Automated verification of equivalence properties of cryptographic protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩
hal-01174626v1  Journal articles
Gregory HitzFrançois PomerleauFrancis ColasRoland Siegwart. Relaxing the planar assumption: 3D state estimation for an autonomous surface vessel
The International Journal of Robotics Research, SAGE Publications, 2015, 34 (13), pp.1604-1621. ⟨10.1177/0278364915583680⟩
hal-01102343v2  Journal articles
Céline LacauxGennady Samorodnitsky. Time-changed extremal process as a random sup measure
Bernoulli, Bernoulli Society for Mathematical Statistics and Probability, 2016, 22 (4), pp.1979-2000. ⟨10.3150/15-BEJ717⟩
hal-01226395v1  Journal articles
Bruno Lévy. A Numerical Algorithm for L-2 Optimal Transport in 3D
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2015, Volume 49, Number 6, November-December 2015 Special Issue - Optimal Transport, 49 (6), pp.22. ⟨10.1051/m2an/2015055⟩
hal-00798386v1  Journal articles
Razvan Barbulescu. Selecting polynomials for the Function Field Sieve
Mathematics of Computation, American Mathematical Society, 2015, 84 (296), pp.2987-3012
hal-01215623v1  Journal articles
Steven GalbraithPierrick Gaudry. Recent progress on the elliptic curve discrete logarithm problem
Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (1), pp.51-72. ⟨10.1007/s10623-015-0146-7⟩
hal-01399184v1  Journal articles
Esther GalbrunAristides GionisNikolaj Tatti. Top-k overlapping densest subgraphs
Data Mining and Knowledge Discovery, Springer, 2016, 30 (5), pp.1134 - 1165. ⟨10.1007/s10618-016-0464-z⟩
hal-01094383v1  Journal articles
Elias EghoChedy RaïssiToon CaldersNicolas JayAmedeo Napoli. On measuring similarity for sequences of itemsets
Data Mining and Knowledge Discovery, Springer, 2015, 29 (3), pp.33. ⟨10.1007/s10618-014-0362-1⟩
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-00950493v2  Journal articles
Zdeněk DvořákJean-Sébastien SereniJan Volec. Fractional coloring of triangle-free planar graphs
The Electronic Journal of Combinatorics, Open Journal Systems, 2015, 22 (4), pp.#P4.11
hal-01096323v1  Journal articles
Jean-Sébastien GietPierre ValloisSophie Wantz-Mézìeres. The logistic S.D.E.
Theory of Stochastic Processes, John Wiley & Sons, 2015, 20(36) (1), pp.28 à 62