Skip to Main content Skip to Navigation

hal-02008666v4  Journal articles
Claude-Pierre JeannerodThéo MaryClément PernetDaniel Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩
hal-02150062v1  Conference papers
Jean-Guillaume DumasPascal LafourcadeDaiki MiyaharaTakaaki MizukiTatsuya Sasaki et al.  Interactive Physical Zero-Knowledge Proof for Norinori
The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩
hal-01963269v1  Book sections
Jean-Guillaume DumasPascal LafourcadeFrancis MelemedjianJean-Baptiste OrfilaPascal Thoniel. LocalPKI: An Interoperable and IoT Friendly PKI
Communications in Computer and Information Science., 990, pp.224-252, 2019, Communications in Computer and Information Science., ⟨10.1007/978-3-030-11039-0_11⟩
hal-02274823v1  Preprints, Working Papers, ...
Rodney ColemanLaurent Zwald. On Valuation Rings
hal-01898363v1  Conference papers
Stéphane DespréauxAude Maignan. GPaR: A Parallel Graph Rewriting Tool
SYNASC: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2018, Timisoara, Romania. pp.53-60, ⟨10.1109/SYNASC.2018.00021⟩
hal-01997592v1  Conference papers
Jean-Guillaume DumasJoris van der HoevenClément PernetDaniel Roche. LU factorization with errors
International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩