HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


hal-01930058v1  Conference papers
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. High-level signatures and initial semantics
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩
...
hal-02380682v1  Journal articles
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. Reduction Monads and Their Signatures
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
...
inria-00550061v1  Book sections
Daniel AugotEmmanuela OrsiniEmanuele Betti. An introduction to linear and cyclic codes
Sala, Massimiliano and Mora, Teo and Perret, Ludovic and Sakata, Shojiro and Traverso, Carlo. Gröbner Bases, Coding, and Cryptography, Springer-Verlag, pp.47-68, 2009, Gröbner Bases, Coding, and Cryptography, ⟨10.1007/978-3-540-93806-4_4⟩
...
hal-01011979v2  Journal articles
Chiara BianchiniAntoine HenrotTakéo Takahashi. Elastic energy of a convex body
Mathematical News / Mathematische Nachrichten, Wiley-VCH Verlag, 2016, 289 (5-6), pp.546-574. ⟨10.1002/mana201400256⟩
...
hal-00566568v1  Journal articles
Franck BartheChiara BianchiniAndrea Colesanti. Isoperimetry and stability of hyperplanes for product probability measures
Annali di Matematica Pura ed Applicata, Springer Verlag, 2013, 192 (2), pp.165-190. ⟨10.1007/s10231-011-0217-y⟩
hal-00676454v1  Journal articles
Arnaud DebusscheMarco Romito. Existence of densities for the 3D Navier-Stokes equations driven by Gaussian noise
Probability Theory and Related Fields, Springer Verlag, 2014, 158 (3-4), pp.575-596. ⟨10.1007/s00440-013-0490-3⟩
hal-00953702v1  Journal articles
Giorgio OttavianiPierre-Jean SpaenlehauerBernd Sturmfels. Exact Solutions in Structured Low-Rank Approximation
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2014, 35, 4, pp.1521-1542. ⟨10.1137/13094520X⟩
hal-02307998v1  Conference papers
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. Modular specification of monads through higher-order presentations
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩