 |
 |
 |
|
|
||
|---|---|---|
| hal-01930058v1
Conference papers
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
Reduction Monads and Their Signatures Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩ |
||
| inria-00550061v1
Book sections
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
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
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
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
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
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⟩ |
||
|
|
||
