Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Guillaume Dumas
@article{DBLP:journals/corr/abs-2402-05630,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
title = {Strassen's algorithm is not optimally accurate},
journal = {CoRR},
volume = {abs/2402.05630},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.05630},
doi = {10.48550/ARXIV.2402.05630},
eprinttype = {arXiv},
eprint = {2402.05630},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-05630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-16393,
author = {Jean{-}Guillaume Dumas and
Alexis Galan and
Bruno Grenet and
Aude Maignan and
Daniel S. Roche},
title = {Communication Optimal Unbalanced Private Set Union},
journal = {CoRR},
volume = {abs/2402.16393},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.16393},
doi = {10.48550/ARXIV.2402.16393},
eprinttype = {arXiv},
eprint = {2402.16393},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-16393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasPS23,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
title = {Some fast algorithms multiplying a matrix by its adjoint},
journal = {J. Symb. Comput.},
volume = {115},
pages = {285--315},
year = {2023},
url = {https://doi.org/10.1016/j.jsc.2022.08.009},
doi = {10.1016/J.JSC.2022.08.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DumasPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/DumasMPR23,
author = {Jean{-}Guillaume Dumas and
Aude Maignan and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
title = {VESPo: Verified Evaluation of Secret Polynomials (with application
to dynamic proofs of retrievability)},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2023},
number = {3},
pages = {354--374},
year = {2023},
url = {https://doi.org/10.56553/popets-2023-0085},
doi = {10.56553/POPETS-2023-0085},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/DumasMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13600,
author = {Jean{-}Guillaume Dumas and
Bruno Grenet},
title = {In-place fast polynomial modular remainder},
journal = {CoRR},
volume = {abs/2302.13600},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13600},
doi = {10.48550/ARXIV.2302.13600},
eprinttype = {arXiv},
eprint = {2302.13600},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11718,
author = {Florentina Soiman and
Mathis Mourey and
Jean{-}Guillaume Dumas and
Sonia Jimenez{-}Garces},
title = {The forking effect},
journal = {CoRR},
volume = {abs/2307.11718},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11718},
doi = {10.48550/ARXIV.2307.11718},
eprinttype = {arXiv},
eprint = {2307.11718},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12712,
author = {Jean{-}Guillaume Dumas and
Bruno Grenet},
title = {Fast in-place accumulated bilinear formulae},
journal = {CoRR},
volume = {abs/2307.12712},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12712},
doi = {10.48550/ARXIV.2307.12712},
eprinttype = {arXiv},
eprint = {2307.12712},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DreierDLR22,
author = {Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade and
L{\'{e}}o Robert},
title = {Optimal threshold padlock systems},
journal = {J. Comput. Secur.},
volume = {30},
number = {5},
pages = {655--688},
year = {2022},
url = {https://doi.org/10.3233/JCS-210065},
doi = {10.3233/JCS-210065},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DreierDLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AnthoineDJMPHR21,
author = {Gaspard Anthoine and
Jean{-}Guillaume Dumas and
M{\'{e}}lanie de Jonghe and
Aude Maignan and
Cl{\'{e}}ment Pernet and
Michael Hanling and
Daniel S. Roche},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {Dynamic proofs of retrievability with low server storage},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {537--554},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/anthoine},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/AnthoineDJMPHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-01025,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
title = {Some fast algorithms multiplying a matrix by its adjoint},
journal = {CoRR},
volume = {abs/2101.01025},
year = {2021},
url = {https://arxiv.org/abs/2101.01025},
eprinttype = {arXiv},
eprint = {2101.01025},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-01025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02022,
author = {Jean{-}Guillaume Dumas and
Aude Maignan and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
title = {VESPo: Verified Evaluation of Secret Polynomials},
journal = {CoRR},
volume = {abs/2110.02022},
year = {2021},
url = {https://arxiv.org/abs/2110.02022},
eprinttype = {arXiv},
eprint = {2110.02022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasKLP20,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
David Lucas and
Cl{\'{e}}ment Pernet},
title = {Elimination-based certificates for triangular equivalence and rank
profiles},
journal = {J. Symb. Comput.},
volume = {98},
pages = {246--269},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.07.013},
doi = {10.1016/J.JSC.2019.07.013},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DumasKLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BultelDDL20,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
title = {A faster cryptographer's Conspiracy Santa},
journal = {Theor. Comput. Sci.},
volume = {839},
pages = {122--134},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.05.034},
doi = {10.1016/J.TCS.2020.05.034},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BultelDDL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS20,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On fast multiplication of a matrix by its transpose},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {162--169},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404021},
doi = {10.1145/3373207.3404021},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04109,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
title = {On fast multiplication of a matrix by its transpose},
journal = {CoRR},
volume = {abs/2001.04109},
year = {2020},
url = {https://arxiv.org/abs/2001.04109},
eprinttype = {arXiv},
eprint = {2001.04109},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11552,
author = {Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade and
L{\'{e}}o Robert},
title = {Optimal Threshold Padlock Systems},
journal = {CoRR},
volume = {abs/2004.11552},
year = {2020},
url = {https://arxiv.org/abs/2004.11552},
eprinttype = {arXiv},
eprint = {2004.11552},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09244,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
title = {A Faster Cryptographer's Conspiracy Santa},
journal = {CoRR},
volume = {abs/2005.09244},
year = {2020},
url = {https://arxiv.org/abs/2005.09244},
eprinttype = {arXiv},
eprint = {2005.09244},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12556,
author = {Gaspard Anthoine and
Jean{-}Guillaume Dumas and
Michael Hanling and
M{\'{e}}lanie de Jonghe and
Aude Maignan and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
title = {Dynamic proofs of retrievability with low server storage},
journal = {CoRR},
volume = {abs/2007.12556},
year = {2020},
url = {https://arxiv.org/abs/2007.12556},
eprinttype = {arXiv},
eprint = {2007.12556},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HanlingADMPR19,
author = {Michael Hanling and
Gaspard Anthoine and
Jean{-}Guillaume Dumas and
Aude Maignan and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
XiaoFeng Wang and
Jonathan Katz},
title = {Poster: Proofs of Retrievability with Low Server Storage},
booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
pages = {2601--2603},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319535.3363266},
doi = {10.1145/3319535.3363266},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HanlingADMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Dumas0MMSS19,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Daiki Miyahara and
Takaaki Mizuki and
Tatsuya Sasaki and
Hideaki Sone},
editor = {Ding{-}Zhu Du and
Zhenhua Duan and
Cong Tian},
title = {Interactive Physical Zero-Knowledge Proof for Norinori},
booktitle = {Computing and Combinatorics - 25th International Conference, {COCOON}
2019, Xi'an, China, July 29-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11653},
pages = {166--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26176-4\_14},
doi = {10.1007/978-3-030-26176-4\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Dumas0MMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasHPR19,
author = {Jean{-}Guillaume Dumas and
Joris van der Hoeven and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
title = {{LU} Factorization with Errors},
booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
pages = {131--138},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3326229.3326244},
doi = {10.1145/3326229.3326244},
timestamp = {Wed, 31 Jan 2024 21:56:28 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasHPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsec/Dumas0FLOPP19,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Julio L{\'{o}}pez Fenner and
David Lucas and
Jean{-}Baptiste Orfila and
Cl{\'{e}}ment Pernet and
Maxime Puys},
editor = {Nuttapong Attrapadung and
Takeshi Yagi},
title = {Secure Multiparty Matrix Multiplication Based on Strassen-Winograd
Algorithm},
booktitle = {Advances in Information and Computer Security - 14th International
Workshop on Security, {IWSEC} 2019, Tokyo, Japan, August 28-30, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11689},
pages = {67--88},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26834-3\_5},
doi = {10.1007/978-3-030-26834-3\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsec/Dumas0FLOPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10730,
author = {Jean{-}Guillaume Dumas and
Joris van der Hoeven and
Cl{\'{e}}ment Pernet and
Daniel S. Roche},
title = {{LU} factorization with errors},
journal = {CoRR},
volume = {abs/1901.10730},
year = {2019},
url = {http://arxiv.org/abs/1901.10730},
eprinttype = {arXiv},
eprint = {1901.10730},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05692,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
David Lucas and
Cl{\'{e}}ment Pernet},
title = {Elimination-based certificates for triangular equivalence and rank
profiles},
journal = {CoRR},
volume = {abs/1909.05692},
year = {2019},
url = {http://arxiv.org/abs/1909.05692},
eprinttype = {arXiv},
eprint = {1909.05692},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Dumas18,
author = {Jean{-}Guillaume Dumas},
editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
title = {Proof-of-Work Certificates that Can Be Efficiently Computed in the
Cloud (Invited Talk)},
booktitle = {Computer Algebra in Scientific Computing - 20th International Workshop,
{CASC} 2018, Lille, France, September 17-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11077},
pages = {1--17},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99639-4\_1},
doi = {10.1007/978-3-319-99639-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/casc/Dumas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fun/BultelDD018,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
editor = {Hiro Ito and
Stefano Leonardi and
Linda Pagli and
Giuseppe Prencipe},
title = {A Cryptographer's Conspiracy Santa},
booktitle = {9th International Conference on Fun with Algorithms, {FUN} 2018, June
13-15, 2018, La Maddalena, Italy},
series = {LIPIcs},
volume = {100},
pages = {13:1--13:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FUN.2018.13},
doi = {10.4230/LIPICS.FUN.2018.13},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/fun/BultelDD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasP18,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {Symmetric Indefinite Triangular Factorization Revealing the Rank Profile
Matrix},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {151--158},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3209019},
doi = {10.1145/3208976.3209019},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BultelDD0MMNSSS18,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Daiki Miyahara and
Takaaki Mizuki and
Atsuki Nagao and
Tatsuya Sasaki and
Kazumasa Shinagawa and
Hideaki Sone},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Physical Zero-Knowledge Proof for Makaro},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {111--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_8},
doi = {10.1007/978-3-030-03232-6\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BultelDD0MMNSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10453,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet},
title = {Symmetric indefinite triangular factorization revealing the rank profile
matrix},
journal = {CoRR},
volume = {abs/1802.10453},
year = {2018},
url = {http://arxiv.org/abs/1802.10453},
eprinttype = {arXiv},
eprint = {1802.10453},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11293,
author = {Jean{-}Guillaume Dumas},
title = {Proof-of-work certificates that can be efficiently computed in the
cloud},
journal = {CoRR},
volume = {abs/1806.11293},
year = {2018},
url = {http://arxiv.org/abs/1806.11293},
eprinttype = {arXiv},
eprint = {1806.11293},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/DumasLOP17,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Jean{-}Baptiste Orfila and
Maxime Puys},
title = {Dual protocols for private multi-party matrix multiplication and trust
computations},
journal = {Comput. Secur.},
volume = {71},
pages = {51--70},
year = {2017},
url = {https://doi.org/10.1016/j.cose.2017.04.013},
doi = {10.1016/J.COSE.2017.04.013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/DumasLOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasPS17,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
title = {Fast computation of the rank profile matrix and the generalized Bruhat
decomposition},
journal = {J. Symb. Comput.},
volume = {83},
pages = {187--210},
year = {2017},
url = {https://doi.org/10.1016/j.jsc.2016.11.011},
doi = {10.1016/J.JSC.2016.11.011},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/DumasZ17,
author = {Jean{-}Guillaume Dumas and
Vincent Zucca},
editor = {Josef Pieprzyk and
Suriadi Suriadi},
title = {Prover Efficient Public Verification of Dense or Sparse/Structured
Matrix-Vector Multiplication},
booktitle = {Information Security and Privacy - 22nd Australasian Conference, {ACISP}
2017, Auckland, New Zealand, July 3-5, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10343},
pages = {115--134},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59870-3\_7},
doi = {10.1007/978-3-319-59870-3\_7},
timestamp = {Sun, 02 Jun 2019 21:26:44 +0200},
biburl = {https://dblp.org/rec/conf/acisp/DumasZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/Dumas0MOT17,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Francis Melemedjian and
Jean{-}Baptiste Orfila and
Pascal Thoniel},
editor = {Mohammad S. Obaidat and
Enrique Cabello},
title = {LocalPKI: An Interoperable and IoT Friendly {PKI}},
booktitle = {E-Business and Telecommunications - 14th International Joint Conference,
{ICETE} 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper},
series = {Communications in Computer and Information Science},
volume = {990},
pages = {224--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-11039-0\_11},
doi = {10.1007/978-3-030-11039-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icete/Dumas0MOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasKVZ17,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Gilles Villard and
Lihong Zhi},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Polynomial Time Interactive Proofs for Linear Algebra with Exponential
Matrix Dimensions and Scalars Given by Polynomial Time Circuits},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {125--132},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087640},
doi = {10.1145/3087604.3087640},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasKVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasLP17,
author = {Jean{-}Guillaume Dumas and
David Lucas and
Cl{\'{e}}ment Pernet},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Certificates for Triangular Equivalence and Rank Profiles},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {133--140},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087609},
doi = {10.1145/3087604.3087609},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/Dumas0MOT17,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Francis Melemedjian and
Jean{-}Baptiste Orfila and
Pascal Thoniel},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {{LOCALPKI:} {A} User-Centric Formally Proven Alternative to {PKIX}},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {187--199},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006461101870199},
doi = {10.5220/0006461101870199},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/Dumas0MOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasLP17,
author = {Jean{-}Guillaume Dumas and
David Lucas and
Cl{\'{e}}ment Pernet},
title = {Certificates for triangular equivalence and rank profiles},
journal = {CoRR},
volume = {abs/1702.03755},
year = {2017},
url = {http://arxiv.org/abs/1702.03755},
eprinttype = {arXiv},
eprint = {1702.03755},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasZ17,
author = {Jean{-}Guillaume Dumas and
Vincent Zucca},
title = {Prover efficient public verification of dense or sparse/structured
matrix-vector multiplication},
journal = {CoRR},
volume = {abs/1704.02768},
year = {2017},
url = {http://arxiv.org/abs/1704.02768},
eprinttype = {arXiv},
eprint = {1704.02768},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/DumasGPRS16,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet and
Jean{-}Louis Roch and
Ziad Sultan},
title = {Recursion based parallelization of exact dense linear algebra routines
for Gaussian elimination},
journal = {Parallel Comput.},
volume = {57},
pages = {235--249},
year = {2016},
url = {https://doi.org/10.1016/j.parco.2015.10.003},
doi = {10.1016/J.PARCO.2015.10.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/DumasGPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/BoyerD16,
author = {Brice Boyer and
Jean{-}Guillaume Dumas},
title = {Matrix Multiplication Over Word-Size Modular Rings Using Approximate
Formulas},
journal = {{ACM} Trans. Math. Softw.},
volume = {42},
number = {3},
pages = {20:1--20:12},
year = {2016},
url = {https://doi.org/10.1145/2829947},
doi = {10.1145/2829947},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/BoyerD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fun/BultelDDL16,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
editor = {Erik D. Demaine and
Fabrizio Grandoni},
title = {Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen},
booktitle = {8th International Conference on Fun with Algorithms, {FUN} 2016, June
8-10, 2016, La Maddalena, Italy},
series = {LIPIcs},
volume = {49},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FUN.2016.8},
doi = {10.4230/LIPICS.FUN.2016.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fun/BultelDDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/BreustCDFG16,
author = {Alexis Breust and
Christophe Chabot and
Jean{-}Guillaume Dumas and
Laurent Fousse and
Pascal Giorgi},
editor = {Gert{-}Martin Greuel and
Thorsten Koch and
Peter Paule and
Andrew J. Sommese},
title = {Recursive Double-Size Fixed Precision Arithmetic},
booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Conference,
Berlin, Germany, July 11-14, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9725},
pages = {223--231},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42432-3\_28},
doi = {10.1007/978-3-319-42432-3\_28},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/icms/BreustCDFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasKTV16,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Emmanuel Thom{\'{e}} and
Gilles Villard},
editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
title = {Linear Time Interactive Certificates for the Minimal Polynomial and
the Determinant of a Sparse Matrix},
booktitle = {Proceedings of the {ACM} on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22,
2016},
pages = {199--206},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2930889.2930908},
doi = {10.1145/2930889.2930908},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasKTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/Dumas0OP16,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Jean{-}Baptiste Orfila and
Maxime Puys},
editor = {Christian Callegari and
Marten van Sinderen and
Panagiotis G. Sarigiannidis and
Pierangela Samarati and
Enrique Cabello and
Pascal Lorenz and
Mohammad S. Obaidat},
title = {Private Multi-party Matrix Multiplication and Trust Computations},
booktitle = {Proceedings of the 13th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
Portugal, July 26-28, 2016},
pages = {61--72},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005957200610072},
doi = {10.5220/0005957200610072},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/Dumas0OP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasPS16,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
title = {Fast Computation of the Rank Profile Matrix and the Generalized Bruhat
Decomposition},
journal = {CoRR},
volume = {abs/1601.01798},
year = {2016},
url = {http://arxiv.org/abs/1601.01798},
eprinttype = {arXiv},
eprint = {1601.01798},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasKTV16,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Emmanuel Thom{\'{e}} and
Gilles Villard},
title = {Linear Time Interactive Certificates for the Minimal Polynomial and
the Determinant of a Sparse Matrix},
journal = {CoRR},
volume = {abs/1602.00810},
year = {2016},
url = {http://arxiv.org/abs/1602.00810},
eprinttype = {arXiv},
eprint = {1602.00810},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasKTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BultelDDL16,
author = {Xavier Bultel and
Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
title = {Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen},
journal = {CoRR},
volume = {abs/1606.01045},
year = {2016},
url = {http://arxiv.org/abs/1606.01045},
eprinttype = {arXiv},
eprint = {1606.01045},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BultelDDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasLOP16,
author = {Jean{-}Guillaume Dumas and
Pascal Lafourcade and
Jean{-}Baptiste Orfila and
Maxime Puys},
title = {Private Multi-party Matrix Multiplication and Trust Computations},
journal = {CoRR},
volume = {abs/1607.03629},
year = {2016},
url = {http://arxiv.org/abs/1607.03629},
eprinttype = {arXiv},
eprint = {1607.03629},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasLOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasP16,
author = {Jean{-}Guillaume Dumas and
Victor Y. Pan},
title = {Fast Matrix Multiplication and Symbolic Computation},
journal = {CoRR},
volume = {abs/1612.05766},
year = {2016},
url = {http://arxiv.org/abs/1612.05766},
eprinttype = {arXiv},
eprint = {1612.05766},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DreierDL15,
author = {Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
title = {Brandt's fully private auction protocol revisited},
journal = {J. Comput. Secur.},
volume = {23},
number = {5},
pages = {587--610},
year = {2015},
url = {https://doi.org/10.3233/JCS-150535},
doi = {10.3233/JCS-150535},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DreierDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS15,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Computing the Rank Profile Matrix},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {149--156},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756682},
doi = {10.1145/2755996.2756682},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DumasDEPR15,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous and
Jean{-}Claude Reynaud},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Relative Hilbert-Post Completeness for Exceptions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {596--610},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_51},
doi = {10.1007/978-3-319-32859-1\_51},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/DumasDEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0037391,
editor = {Jean{-}Guillaume Dumas and
Jean{-}Louis Roch and
Eric Tannier and
S{\'{e}}bastien Varrette},
title = {Foundations of Coding - Compression, Encryption, Error Correction},
publisher = {Wiley},
year = {2015},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118881443.html},
isbn = {978-1-118-88144-6},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0037391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cap/2015,
editor = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Cl{\'{e}}ment Pernet},
title = {Proceedings of the 2015 International Workshop on Parallel Symbolic
Computation, {PASCO} 2015, Bath, United Kingdom, July 10-12, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790282},
doi = {10.1145/2790282},
isbn = {978-1-4503-3599-7},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasPS15,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
title = {Computing the Rank Profile Matrix},
journal = {CoRR},
volume = {abs/1501.05239},
year = {2015},
url = {http://arxiv.org/abs/1501.05239},
eprinttype = {arXiv},
eprint = {1501.05239},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEPR15,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous and
Jean{-}Claude Reynaud},
title = {Hilbert-Post completeness for the state and the exception effects},
journal = {CoRR},
volume = {abs/1503.00948},
year = {2015},
url = {http://arxiv.org/abs/1503.00948},
eprinttype = {arXiv},
eprint = {1503.00948},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasKT15,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Emmanuel Thom{\'{e}}},
title = {Interactive certificate for the verification of Wiedemann's Krylov
sequence: application to the certification of the determinant, the
minimal and the characteristic polynomials of sparse matrices},
journal = {CoRR},
volume = {abs/1507.01083},
year = {2015},
url = {http://arxiv.org/abs/1507.01083},
eprinttype = {arXiv},
eprint = {1507.01083},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BoyerD14,
author = {Brice Boyer and
Jean{-}Guillaume Dumas},
title = {Matrix Multiplication over Word-size Modular Fields Using Bini's Approximate
Formula},
journal = {{ACM} Commun. Comput. Algebra},
volume = {48},
number = {3/4},
pages = {100--102},
year = {2014},
url = {https://doi.org/10.1145/2733693.2733699},
doi = {10.1145/2733693.2733699},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/BoyerD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Dumas14,
author = {Jean{-}Guillaume Dumas},
title = {On Newton-Raphson Iteration for Multiplicative Inverses Modulo Prime
Powers},
journal = {{IEEE} Trans. Computers},
volume = {63},
number = {8},
pages = {2106--2109},
year = {2014},
url = {https://doi.org/10.1109/TC.2013.94},
doi = {10.1109/TC.2013.94},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Dumas14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DumasGPS14,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
editor = {Fernando M. A. Silva and
In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa},
title = {Parallel Computation of Echelon Forms},
booktitle = {Euro-Par 2014 Parallel Processing - 20th International Conference,
Porto, Portugal, August 25-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8632},
pages = {499--510},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09873-9\_42},
doi = {10.1007/978-3-319-09873-9\_42},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/DumasGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/BoyerDGPS14,
author = {Brice Boyer and
Jean{-}Guillaume Dumas and
Pascal Giorgi and
Cl{\'{e}}ment Pernet and
B. David Saunders},
editor = {Hoon Hong and
Chee Yap},
title = {Elements of Design for Containers and Solutions in the LinBox Library
- Extended Abstract},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {654--662},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_98},
doi = {10.1007/978-3-662-44199-2\_98},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icms/BoyerDGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasK14,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen},
editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
title = {Essentially optimal interactive certificates in linear algebra},
booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
pages = {146--153},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2608628.2608644},
doi = {10.1145/2608628.2608644},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/DumasDEP14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
editor = {Christine Tasson and
David Baelde},
title = {Formal verification in Coq of program properties involving the global
state effect},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {1--16},
year = {2014},
timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
biburl = {https://dblp.org/rec/conf/jfla/DumasDEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DumasDER14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Jean{-}Claude Reynaud},
editor = {Matthew England and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Walther Neuper and
Pedro Quaresma and
Alan P. Sexton and
Petr Sojka and
Josef Urban and
Stephen M. Watt},
title = {Certified Proofs in Programs Involving Exceptions},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186/paper-20.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/DumasDER14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasK14,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen},
title = {Essentially optimal interactive certificates in linear algebra},
journal = {CoRR},
volume = {abs/1401.4567},
year = {2014},
url = {http://arxiv.org/abs/1401.4567},
eprinttype = {arXiv},
eprint = {1401.4567},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDR14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Breaking a monad-comonad symmetry between computational effects},
journal = {CoRR},
volume = {abs/1402.1051},
year = {2014},
url = {http://arxiv.org/abs/1402.1051},
eprinttype = {arXiv},
eprint = {1402.1051},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasGPS14,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
title = {Parallel computation of echelon forms},
journal = {CoRR},
volume = {abs/1402.3501},
year = {2014},
url = {http://arxiv.org/abs/1402.3501},
eprinttype = {arXiv},
eprint = {1402.3501},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoyerDGPS14,
author = {Brice Boyer and
Jean{-}Guillaume Dumas and
Pascal Giorgi and
Cl{\'{e}}ment Pernet and
B. David Saunders},
title = {Elements of Design for Containers and Solutions in the LinBox Library},
journal = {CoRR},
volume = {abs/1407.3262},
year = {2014},
url = {http://arxiv.org/abs/1407.3262},
eprinttype = {arXiv},
eprint = {1407.3262},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoyerDGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasO14,
author = {Jean{-}Guillaume Dumas and
Jean{-}Baptiste Orfila},
title = {Generating S-Boxes from Semi-fields Pseudo-extensions},
journal = {CoRR},
volume = {abs/1411.2503},
year = {2014},
url = {http://arxiv.org/abs/1411.2503},
eprinttype = {arXiv},
eprint = {1411.2503},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEP14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
title = {Program certification with computational effects},
journal = {CoRR},
volume = {abs/1411.7140},
year = {2014},
url = {http://arxiv.org/abs/1411.7140},
eprinttype = {arXiv},
eprint = {1411.7140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NuelD13,
author = {Gr{\'{e}}gory Nuel and
Jean{-}Guillaume Dumas},
title = {Sparse approaches for the exact distribution of patterns in long state
sequences generated by a Markov source},
journal = {Theor. Comput. Sci.},
volume = {479},
pages = {22--42},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.019},
doi = {10.1016/J.TCS.2012.10.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NuelD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africacrypt/DreierDL13,
author = {Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
editor = {Amr M. Youssef and
Abderrahmane Nitaj and
Aboul Ella Hassanien},
title = {Brandt's Fully Private Auction Protocol Revisited},
booktitle = {Progress in Cryptology - {AFRICACRYPT} 2013, 6th International Conference
on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7918},
pages = {88--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38553-7\_5},
doi = {10.1007/978-3-642-38553-7\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/africacrypt/DreierDL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS13,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
editor = {Manuel Kauers},
title = {Simultaneous computation of the row and column rank profiles},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
pages = {181--188},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465506.2465517},
doi = {10.1145/2465506.2465517},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/13/DumasP13,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet},
editor = {Gary L. Mullen and
Daniel Panario},
title = {Computational linear algebra over finite fields},
booktitle = {Handbook of Finite Fields},
series = {Discrete mathematics and its applications},
pages = {520--534},
publisher = {{CRC} Press},
year = {2013},
timestamp = {Mon, 08 Jun 2020 15:38:06 +0200},
biburl = {https://dblp.org/rec/books/crc/13/DumasP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4438,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Ziad Sultan},
title = {Simultaneous computation of the row and column rank profiles},
journal = {CoRR},
volume = {abs/1301.4438},
year = {2013},
url = {http://arxiv.org/abs/1301.4438},
eprinttype = {arXiv},
eprint = {1301.4438},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDR13,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Patterns for computational effects arising from a monad or a comonad},
journal = {CoRR},
volume = {abs/1310.0605},
year = {2013},
url = {http://arxiv.org/abs/1310.0605},
eprinttype = {arXiv},
eprint = {1310.0605},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEP13,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
title = {Formal verification in Coq of program properties involving the global
state effect},
journal = {CoRR},
volume = {abs/1310.0794},
year = {2013},
url = {http://arxiv.org/abs/1310.0794},
eprinttype = {arXiv},
eprint = {1310.0794},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDR13a,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {A decorated proof system for exceptions},
journal = {CoRR},
volume = {abs/1310.2338},
year = {2013},
url = {http://arxiv.org/abs/1310.2338},
eprinttype = {arXiv},
eprint = {1310.2338},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DumasDFR12,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {A duality between exceptions and states},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {719--722},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000752},
doi = {10.1017/S0960129511000752},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DumasDFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/DumasH12,
author = {Jean{-}Guillaume Dumas and
Hicham Hossayni},
editor = {Audun J{\o}sang and
Pierangela Samarati and
Marinella Petrocchi},
title = {Matrix Powers Algorithms for Trust Evaluation in Public-Key Infrastructures},
booktitle = {Security and Trust Management - 8th International Workshop, {STM}
2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7783},
pages = {129--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38004-4\_9},
doi = {10.1007/978-3-642-38004-4\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/stm/DumasH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1112-2396,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
editor = {Ulrike Golas and
Thomas Soboll},
title = {Decorated proofs for computational effects: States},
booktitle = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
series = {{EPTCS}},
volume = {93},
pages = {45--59},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.93.3},
doi = {10.4204/EPTCS.93.3},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-2900,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {Decorated proofs for computational effects: Exceptions},
journal = {CoRR},
volume = {abs/1203.2900},
year = {2012},
url = {http://arxiv.org/abs/1203.2900},
eprinttype = {arXiv},
eprint = {1203.2900},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-2900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3735,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet},
title = {Computational linear algebra over finite fields},
journal = {CoRR},
volume = {abs/1204.3735},
year = {2012},
url = {http://arxiv.org/abs/1204.3735},
eprinttype = {arXiv},
eprint = {1204.3735},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-3735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1255,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {Adjunctions for exceptions},
journal = {CoRR},
volume = {abs/1207.1255},
year = {2012},
url = {http://arxiv.org/abs/1207.1255},
eprinttype = {arXiv},
eprint = {1207.1255},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-6626,
author = {Jean{-}Guillaume Dumas},
title = {On Newton-Raphson iteration for multiplicative inverses modulo prime
powers},
journal = {CoRR},
volume = {abs/1209.6626},
year = {2012},
url = {http://arxiv.org/abs/1209.6626},
eprinttype = {arXiv},
eprint = {1209.6626},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-6626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-6780,
author = {Jannik Dreier and
Jean{-}Guillaume Dumas and
Pascal Lafourcade},
title = {Attacking Privacy in a Fully Private Auction Protocol},
journal = {CoRR},
volume = {abs/1210.6780},
year = {2012},
url = {http://arxiv.org/abs/1210.6780},
eprinttype = {arXiv},
eprint = {1210.6780},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ffa/DumasGS11,
author = {Jean{-}Guillaume Dumas and
Rod Gow and
John Sheekey},
title = {Rank properties of subspaces of symmetric and hermitian matrices over
finite fields},
journal = {Finite Fields Their Appl.},
volume = {17},
number = {6},
pages = {504--520},
year = {2011},
url = {https://doi.org/10.1016/j.ffa.2011.03.001},
doi = {10.1016/J.FFA.2011.03.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ffa/DumasGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasDR11,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Cartesian effect categories are Freyd-categories},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {272--293},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.008},
doi = {10.1016/J.JSC.2010.09.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasFS11,
author = {Jean{-}Guillaume Dumas and
Laurent Fousse and
Bruno Salvy},
title = {Simultaneous modular reduction and Kronecker substitution for small
finite fields},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {823--840},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.015},
doi = {10.1016/J.JSC.2010.08.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-0478,
author = {Christophe Chabot and
Jean{-}Guillaume Dumas and
Laurent Fousse and
Pascal Giorgi},
title = {Recursive double-size fixed precision arithmetic},
journal = {CoRR},
volume = {abs/1104.0478},
year = {2011},
url = {http://arxiv.org/abs/1104.0478},
eprinttype = {arXiv},
eprint = {1104.0478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-0478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1880,
author = {Jean{-}Guillaume Dumas and
Hicham Hossayni},
title = {Matrix Powers algorithm for trust evaluation in {PKI} architectures},
journal = {CoRR},
volume = {abs/1107.1880},
year = {2011},
url = {http://arxiv.org/abs/1107.1880},
eprinttype = {arXiv},
eprint = {1107.1880},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1880.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-2394,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {A duality between exceptions and states},
journal = {CoRR},
volume = {abs/1112.2394},
year = {2011},
url = {http://arxiv.org/abs/1112.2394},
eprinttype = {arXiv},
eprint = {1112.2394},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Dumas10,
author = {Jean{-}Guillaume Dumas},
title = {Contributions au calcul exact intensif. (Contributions to high-performance
computer algebra)},
year = {2010},
url = {https://tel.archives-ouvertes.fr/tel-00514925},
timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Dumas10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/DumasGR10,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Jean{-}Louis Roch},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {Generic design of Chinese remaindering schemes},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {26--34},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837218},
doi = {10.1145/1837210.1837218},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/DumasGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/BoyerDG10,
author = {Brice Boyer and
Jean{-}Guillaume Dumas and
Pascal Giorgi},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {Exact sparse matrix-vector multiplication on GPU's and multicore architectures},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {80--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837224},
doi = {10.1145/1837210.1837224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/BoyerDG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/DumasGPS10,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet and
B. David Saunders},
editor = {Komei Fukuda and
Joris van der Hoeven and
Michael Joswig and
Nobuki Takayama},
title = {LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate
Compilation},
booktitle = {Mathematical Software - {ICMS} 2010, Third International Congress
on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6327},
pages = {77--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15582-6\_16},
doi = {10.1007/978-3-642-15582-6\_16},
timestamp = {Mon, 28 Aug 2023 21:17:32 +0200},
biburl = {https://dblp.org/rec/conf/icms/DumasGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-1662,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {States and exceptions are dual effects},
journal = {CoRR},
volume = {abs/1001.1662},
year = {2010},
url = {http://arxiv.org/abs/1001.1662},
eprinttype = {arXiv},
eprint = {1001.1662},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-1662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4150,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Jean{-}Louis Roch},
title = {Generic design of Chinese remaindering schemes},
journal = {CoRR},
volume = {abs/1001.4150},
year = {2010},
url = {http://arxiv.org/abs/1001.4150},
eprinttype = {arXiv},
eprint = {1001.4150},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-3719,
author = {Brice Boyer and
Jean{-}Guillaume Dumas and
Pascal Giorgi},
title = {Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures},
journal = {CoRR},
volume = {abs/1004.3719},
year = {2010},
url = {http://arxiv.org/abs/1004.3719},
eprinttype = {arXiv},
eprint = {1004.3719},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-3719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-0830,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Jean{-}Louis Roch},
title = {Generic design of Chinese remaindering schemes},
journal = {CoRR},
volume = {abs/1005.0830},
year = {2010},
url = {http://arxiv.org/abs/1005.0830},
eprinttype = {arXiv},
eprint = {1005.0830},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-0830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NuelD10,
author = {Gr{\'{e}}gory Nuel and
Jean{-}Guillaume Dumas},
title = {Sparse approaches for the exact distribution of patterns in long state
sequences generated by a Markov source},
journal = {CoRR},
volume = {abs/1006.3246},
year = {2010},
url = {http://arxiv.org/abs/1006.3246},
eprinttype = {arXiv},
eprint = {1006.3246},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NuelD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1317,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet and
B. David Saunders},
title = {LinBox founding scope allocation, parallel building blocks, and separate
compilation},
journal = {CoRR},
volume = {abs/1009.1317},
year = {2010},
url = {http://arxiv.org/abs/1009.1317},
eprinttype = {arXiv},
eprint = {1009.1317},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrsa/BerzatiCDG09,
author = {Alexandre Berzati and
C{\'{e}}cile Canovas and
Jean{-}Guillaume Dumas and
Louis Goubin},
editor = {Marc Fischlin},
title = {Fault Attacks on {RSA} Public Keys: Left-To-Right Implementations
Are Also Vulnerable},
booktitle = {Topics in Cryptology - {CT-RSA} 2009, The Cryptographers' Track at
the {RSA} Conference 2009, San Francisco, CA, USA, April 20-24, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5473},
pages = {414--428},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00862-7\_28},
doi = {10.1007/978-3-642-00862-7\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctrsa/BerzatiCDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BoyerDPZ09,
author = {Brice Boyer and
Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Wei Zhou},
editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
title = {Memory efficient scheduling of Strassen-Winograd's matrix multiplication
algorithm},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
pages = {55--62},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1576702.1576713},
doi = {10.1145/1576702.1576713},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/BoyerDPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS09,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
B. David Saunders},
editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
title = {On finding multiplicities of characteristic polynomial factors of
black-box matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
pages = {135--142},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1576702.1576723},
doi = {10.1145/1576702.1576723},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0911,
author = {Alexandre Berzati and
C{\'{e}}cile Canovas and
Jean{-}Guillaume Dumas and
Louis Goubin},
title = {Fault Attacks on {RSA} Public Keys: Left-To-Right Implementations
are also Vulnerable},
journal = {CoRR},
volume = {abs/0901.0911},
year = {2009},
url = {http://arxiv.org/abs/0901.0911},
eprinttype = {arXiv},
eprint = {0901.0911},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-4747,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
B. David Saunders},
title = {On finding multiplicities of characteristic polynomial factors of
black-box matrices},
journal = {CoRR},
volume = {abs/0901.4747},
year = {2009},
url = {http://arxiv.org/abs/0901.4747},
eprinttype = {arXiv},
eprint = {0901.4747},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-4747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3311,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Cartesian effect categories are Freyd-categories},
journal = {CoRR},
volume = {abs/0903.3311},
year = {2009},
url = {http://arxiv.org/abs/0903.3311},
eprinttype = {arXiv},
eprint = {0903.3311},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-3311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/DumasGP08,
author = {Jean{-}Guillaume Dumas and
Pascal Giorgi and
Cl{\'{e}}ment Pernet},
title = {Dense Linear Algebra over Word-Size Prime Fields: the {FFLAS} and
{FFPACK} Packages},
journal = {{ACM} Trans. Math. Softw.},
volume = {35},
number = {3},
pages = {19:1--19:42},
year = {2008},
url = {https://doi.org/10.1145/1391989.1391992},
doi = {10.1145/1391989.1391992},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toms/DumasGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dumas08,
author = {Jean{-}Guillaume Dumas},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Q-adic transform revisited},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {63--70},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390780},
doi = {10.1145/1390768.1390780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Dumas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-1975,
author = {Jean{-}Guillaume Dumas and
Laurent Fousse and
Bruno Salvy},
title = {Compressed Modular Matrix Multiplication},
journal = {CoRR},
volume = {abs/0803.1975},
year = {2008},
url = {http://arxiv.org/abs/0803.1975},
eprinttype = {arXiv},
eprint = {0803.1975},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-1975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0063,
author = {Jean{-}Guillaume Dumas and
Laurent Fousse and
Bruno Salvy},
title = {Simultaneous Modular Reduction and Kronecker Substitution for Small
Finite Fields},
journal = {CoRR},
volume = {abs/0809.0063},
year = {2008},
url = {http://arxiv.org/abs/0809.0063},
eprinttype = {arXiv},
eprint = {0809.0063},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasEGU07,
author = {Jean{-}Guillaume Dumas and
Philippe Elbaz{-}Vincent and
Pascal Giorgi and
Anna Urbanska},
editor = {Marc Moreno Maza and
Stephen M. Watt},
title = {Parallel computation of the rank of large sparse matrices from algebraic
K-theory},
booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
pages = {43--52},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1278177.1278186},
doi = {10.1145/1278177.1278186},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasEGU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0704-2351,
author = {Jean{-}Guillaume Dumas and
Philippe Elbaz{-}Vincent and
Pascal Giorgi and
Anna Urbanska},
title = {Parallel computation of the rank of large sparse matrices from algebraic
K-theory},
journal = {CoRR},
volume = {abs/0704.2351},
year = {2007},
url = {http://arxiv.org/abs/0704.2351},
eprinttype = {arXiv},
eprint = {0704.2351},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0704-2351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-1432,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Sequential products in effect categories},
journal = {CoRR},
volume = {abs/0707.1432},
year = {2007},
url = {http://arxiv.org/abs/0707.1432},
eprinttype = {arXiv},
eprint = {0707.1432},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0707-1432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-2347,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Wei Zhou},
title = {Memory efficient scheduling of Strassen-Winograd's matrix multiplication
algorithm},
journal = {CoRR},
volume = {abs/0707.2347},
year = {2007},
url = {http://arxiv.org/abs/0707.2347},
eprinttype = {arXiv},
eprint = {0707.2347},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0707-2347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-0510,
author = {Jean{-}Guillaume Dumas},
title = {Q-adic Transform revisited},
journal = {CoRR},
volume = {abs/0710.0510},
year = {2007},
url = {http://arxiv.org/abs/0710.0510},
eprinttype = {arXiv},
eprint = {0710.0510},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-0510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DubroisD06,
author = {Jacques Dubrois and
Jean{-}Guillaume Dumas},
title = {Efficient polynomial time algorithms computing industrial-strength
primitive roots},
journal = {Inf. Process. Lett.},
volume = {97},
number = {2},
pages = {41--45},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2005.09.014},
doi = {10.1016/J.IPL.2005.09.014},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DubroisD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/DumasD06,
author = {Jean{-}Guillaume Dumas and
Dominique Duval},
editor = {Roger Rousseau and
Christelle Urtado and
Sylvain Vauttier},
title = {Vers une mod{\'{e}}lisation diagrammatique de la biblioth{\`{e}}que
{C++} d'alg{\`{e}}bre lin{\'{e}}aire LinBox},
booktitle = {Actes des journ{\'{e}}ees Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'06. N{\^{\i}}mes, France, 22-24 mars},
pages = {117--134},
publisher = {Herm{\`{e}}s Lavoisier},
year = {2006},
timestamp = {Thu, 05 Jul 2018 08:02:07 +0200},
biburl = {https://dblp.org/rec/conf/lmo/DumasD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DumasPR06,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Jean{-}Louis Roch},
editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
title = {Adaptive Triangular System Solving},
booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06271},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/770},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DumasPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601133,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Pascal Giorgi and
Cl{\'{e}}ment Pernet},
title = {Dense Linear Algebra over Finite Fields: the {FFLAS} and {FFPACK}
packages},
journal = {CoRR},
volume = {abs/cs/0601133},
year = {2006},
url = {http://arxiv.org/abs/cs/0601133},
eprinttype = {arXiv},
eprint = {cs/0601133},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610136,
author = {Jean{-}Guillaume Dumas},
title = {Bounds on the coefficients of the characteristic and minimal polynomials},
journal = {CoRR},
volume = {abs/cs/0610136},
year = {2006},
url = {http://arxiv.org/abs/cs/0610136},
eprinttype = {arXiv},
eprint = {cs/0610136},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPW05,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Zhendong Wan},
editor = {Manuel Kauers},
title = {Efficient computation of the characteristic polynomial},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {140--147},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073905},
doi = {10.1145/1073884.1073905},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RondepierreD05,
author = {Aude Rondepierre and
Jean{-}Guillaume Dumas},
editor = {Manuel Kauers},
title = {Algorithms for symbolic/numeric control of affine dynamical systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {277--284},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073923},
doi = {10.1145/1073884.1073923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RondepierreD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0501074,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Zhendong Wan},
title = {Efficient Computation of the Characteristic Polynomial},
journal = {CoRR},
volume = {abs/cs/0501074},
year = {2005},
url = {http://arxiv.org/abs/cs/0501074},
eprinttype = {arXiv},
eprint = {cs/0501074},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0501074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0510057,
author = {Jean{-}Guillaume Dumas and
Dominique Duval},
title = {Towards a diagrammatic modeling of the LinBox {C++} linear algebra
library},
journal = {CoRR},
volume = {abs/cs/0510057},
year = {2005},
url = {http://arxiv.org/abs/cs/0510057},
eprinttype = {arXiv},
eprint = {cs/0510057},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0510057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511066,
author = {Jean{-}Guillaume Dumas and
Anna Urbanska},
title = {An introspective algorithm for the integer determinant},
journal = {CoRR},
volume = {abs/cs/0511066},
year = {2005},
url = {http://arxiv.org/abs/cs/0511066},
eprinttype = {arXiv},
eprint = {cs/0511066},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0502172,
author = {Jean{-}Guillaume Dumas and
Aude Rondepierre},
title = {Algorithms for Hybrid Optimal Control},
journal = {CoRR},
volume = {abs/math/0502172},
year = {2005},
url = {http://arxiv.org/abs/math/0502172},
eprinttype = {arXiv},
eprint = {math/0502172},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0502172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasGP04,
author = {Jean{-}Guillaume Dumas and
Pascal Giorgi and
Cl{\'{e}}ment Pernet},
editor = {Jaime Gutierrez},
title = {{FFPACK:} finite field linear algebra package},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {119--126},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005304},
doi = {10.1145/1005285.1005304},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasGP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0404008,
author = {Jean{-}Guillaume Dumas},
title = {Efficient dot product over word-size finite fields},
journal = {CoRR},
volume = {cs.SC/0404008},
year = {2004},
url = {http://arxiv.org/abs/cs/0404008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SC-0404008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0409029,
author = {Jacques Dubrois and
Jean{-}Guillaume Dumas},
title = {Efficient polynomial time algorithms computing industrial-strength
primitive roots},
journal = {CoRR},
volume = {cs.SC/0409029},
year = {2004},
url = {http://arxiv.org/abs/cs.SC/0409029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-SC-0409029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DumasHSW03,
author = {Jean{-}Guillaume Dumas and
Frank Heckenbach and
B. David Saunders and
Volkmar Welker},
editor = {Michael Joswig and
Nobuki Takayama},
title = {Computing Simplicial Homology Based on Efficient Smith Normal Form
Algorithms},
booktitle = {Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]},
pages = {177--206},
publisher = {Springer},
year = {2003},
timestamp = {Tue, 15 Jul 2003 15:25:59 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DumasHSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DumasR03,
author = {Jean{-}Guillaume Dumas and
Aude Rondepierre},
editor = {Oded Maler and
Amir Pnueli},
title = {Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise
Affine Hybrid System},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {156--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_14},
doi = {10.1007/3-540-36580-X\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DumasR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/DumasR02,
author = {Jean{-}Guillaume Dumas and
Jean{-}Louis Roch},
title = {On parallel block algorithms for exact triangularizations},
journal = {Parallel Comput.},
volume = {28},
number = {11},
pages = {1531--1548},
year = {2002},
url = {https://doi.org/10.1016/S0167-8191(02)00161-8},
doi = {10.1016/S0167-8191(02)00161-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/DumasR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasGP02,
author = {Jean{-}Guillaume Dumas and
Thierry Gautier and
Cl{\'{e}}ment Pernet},
editor = {Teo Mora},
title = {Finite field linear algebra subroutines},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2002, Lille, France, July 7-10, 2002, Proceedings},
pages = {63--74},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/780506.780515},
doi = {10.1145/780506.780515},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasSV01,
author = {Jean{-}Guillaume Dumas and
B. David Saunders and
Gilles Villard},
title = {On Efficient Sparse Integer Matrix Smith Normal Form Computations},
journal = {J. Symb. Comput.},
volume = {32},
number = {1/2},
pages = {71--99},
year = {2001},
url = {https://doi.org/10.1006/jsco.2001.0451},
doi = {10.1006/JSCO.2001.0451},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DumasR01,
author = {Jean{-}Guillaume Dumas and
Jean{-}Louis Roch},
editor = {Arnold L. Rosenberg},
title = {A parallel block algorithm for exact triangularization of rectangular
matrices},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} 2001, Heraklion, Crete Island, Greece, July
4-6, 2001},
pages = {324--325},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378580.378743},
doi = {10.1145/378580.378743},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/DumasR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Dumas00,
author = {Jean{-}Guillaume Dumas},
title = {Algorithmes parall{\`{e}}les efficaces pour le calcul formel : alg{\`{e}}bre
lin{\'{e}}aire creuse et extensions alg{\'{e}}briques. (Efficient
parallel algorithm for computer algebra : sparce linear algebra and
algebraic extensions)},
school = {Grenoble Institute of Technology, France},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-00002742},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Dumas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasSV00,
author = {Jean{-}Guillaume Dumas and
B. David Saunders and
Gilles Villard},
editor = {Carlo Traverso},
title = {Integer Smith form via the valence: experience with large sparse matrices
from homology},
booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
2000},
pages = {95--105},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/345542.345590},
doi = {10.1145/345542.345590},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
