Nombre de documents

77


Article dans une revue17 documents

  • Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 2016, Special issue on ISSAC'15, <10.1016/j.jsc.2016.11.011>. <hal-01251223>
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan. Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Computing, Elsevier, 2016, 57, pp.235-249. <10.1016/j.parco.2015.10.003>. <hal-01084238v2>
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited. Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535>. <hal-01233555>
  • Jean-Guillaume Dumas. On Newton-Raphson iteration for multiplicative inverses modulo prime powers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (8), pp.2106-2109. <10.1109/TC.2013.94>. <hal-00736701v3>
  • Grégory Nuel, Jean-Guillaume Dumas. Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source. Theoretical Computer Science, Elsevier, 2013, 479, pp.22-42. <10.1016/j.tcs.2012.10.019>. <hal-00492738v4>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. Mathematical Structures for Computer Science, 2012, 22 (4), pp.719-722. <10.1017/S0960129511000752>. <hal-00828521>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, 93, pp.45-59. <10.4204/EPTCS.93.3>. <hal-00650269v2>
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Breaking a monad-comonad symmetry between computational effects. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. <10.1017/S0960129511000752>. <hal-00941653>
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.823-840. <10.1016/j.jsc.2010.08.015>. <hal-00315772>
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories. Journal of Symbolic Computation, Elsevier, 2011, 46 (3), pp.272-293. <10.1016/j.jsc.2010.09.008>. <hal-00369328v3>
  • Jean-Guillaume Dumas, Rod Gow, John Sheekey. Rank properties of subspaces of symmetric and Hermitian matrices over finite fields. Finite Fields and Their Applications, Elsevier, 2011, 17 (6), pp.504-520. <10.1016/j.ffa.2011.03.001>. <hal-00699691>
  • Jean-Guillaume Dumas. Les rayons des permutations spirales. Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2010, 192 (4), pp.5-26. <hal-00447415v5>
  • Jean-Guillaume Dumas, Roderick Gow, Gary Mcguire, John Sheekey. Subspaces of matrices with special rank properties. Linear Algebra and its Applications, Elsevier, 2010, 433 (1), pp.191-202. <10.1016/j.laa.2010.02.015>. <hal-00699674>
  • Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3), pp.19:1-42. <10.1145/1391989.1391992>. <hal-00018223v4>
  • Jean-Guillaume Dumas. Caractérisation des Quenines et leur représentation spirale. Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2008, 184 (4), pp.9-23. <hal-00188240v7>
  • Jean-Guillaume Dumas. Bounds on the coefficients of the characteristic and minimal polynomials. Journal of Inequalities in Pure and Applied Mathematics, School of Communications and Informatics, 2007, 8 (2), art. 31, 6pp. <hal-00086820v7>
  • Jacques Dubrois, Jean-Guillaume Dumas. Efficient polynomial time algorithms computing industrial-strength primitive roots. Information Processing Letters, Elsevier, 2006, 97 (2), pp.41-45. <hal-00002828v5>

Communication dans un congrès37 documents

  • Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi. Recursive double-size fixed precision arithmetic. International Congress of Mathematical Software, Jul 2016, Berlin, Germany. Volume 9725 of the series Lecture Notes in Computer Science, pp.223--231, 2016, Mathematical Software – ICMS 2016. <http://icms2016.zib.de>. <10.1007/978-3-319-42432-3_28>. <hal-00582593v2>
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. Xiao-Shan Gao. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. ACM, pp.199-206, ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. <http://www.issac-conference.org/2016/>. <10.1145/2930889.2930908>. <hal-01266041>
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). <http://www2.idsia.ch/cms/fun16/>. <10.4230/LIPIcs.FUN.2016.8>. <hal-01326059>
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations. Pierangela Samarati. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Jul 2016, Lisbon, Portugal. pp.61-72, 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. <http://www.secrypt.icete.org/>. <10.5220/0005957200610072>. <hal-01344750v2>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects. Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. 2015, LNCS. <hal-01121924v3>
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. Kazuhiro Yokoyama ISSAC , Jul 2015, Bath, United Kingdom. ACM, ISSAC 2015 : ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015. <10.1145/2755996.2756682>. <hal-01107722v2>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud. Certified proofs in programs involving exceptions. Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014. <hal-00867237v3>
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. Springer, 8632, pp.499-510, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09873-9_42>. <hal-00947013>
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. Hoon Hong; Chee Yap. ICMS - 4th International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, Lecture Notes in Computer Science, 8592, pp.654-662, 2014, Mathematical Software – ICMS 2014. <10.1007/978-3-662-44199-2_98>. <hal-01015138>
  • Jean-Guillaume Dumas, Erich Kaltofen. Essentially optimal interactive certificates in linear algebra. ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. ACM, pp.146-153, 2014, <10.1145/2608628.2608644>. <hal-00932846v2>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect. JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014. <hal-00869230v2>
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Simultaneous computation of the row and column rank profiles. Manuel Kauers. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. ACM, pp.181-188, 2013, <10.1145/2465506.2465517>. <hal-00778136>
  • Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. <hal-01338057>
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Amr Youssef and Abderrahmane Nitaj and Aboul Ella Hassanien. Africacrypt 2013, Jun 2013, Le Caire, Egypt. Springer, 7918, pp.88-106, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38553-7_5>. <hal-00745247v3>
  • Jean-Guillaume Dumas, Hicham Hossayni. Matrix powers algorithms for trust evaluation in PKI architectures. STM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16, 2013. <hal-00607478v4>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. ACCAT, 2012, Estonia. Open Publishing Association, 93, pp.45-59, 2012, <10.4204/EPTCS.93.3>. <hal-00828544>
  • Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch. Generic design of Chinese remaindering schemes. Marc Moreno Maza & Jean-Louis Roch. PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. Association for Computing Machinery, pp.26-34, 2010, <10.1145/1837210.1837218>. <hal-00449864v2>
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. Komei Fukuda, Joris van der Hoeven, and Michael Joswig. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.77-83, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15582-6_16>. <hal-00506599>
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi. Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures. Marc Moreno Maza & Jean-Louis Roch. PASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. Association for Computing Machinery, pp.80-88, 2010, <10.1145/1837210.1837224>. <hal-00475185>
  • Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas, Louis Goubin. Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable. Marc Fischlin. RSA Conference 2009 - Cryptographers' Track, Apr 2009, San Francisco, United States. Springer, 5473, pp.414--428, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-00862-7_28>. <hal-00348416v3>
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.55-62, 2009, <10.1145/1576702.1576713>. <hal-00163141v5>
  • Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products for effects. ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom. <hal-00388686>
  • Jean-Guillaume Dumas, Clément Pernet, B. David Saunders. On finding multiplicities of characteristic polynomial factors of black-box matrices. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.135-142, 2009, <10.1145/1576702.1576723>. <hal-00357262v2>
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Compressed Modular Matrix Multiplication. Mark Giesbrecht and Stephen Watt. MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140, 2008. <hal-00259950v2>
  • Jean-Guillaume Dumas. Q-adic Transform revisited. J. Rafael Sendra and Laureano González-Vega. ISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. ACM Press, pp.63-70, 2008, ISSAC 2008. <10.1145/1390768.1390780>. <hal-00173894v6>
  • Jean-Guillaume Dumas. Arithmétique compressée pour des petits corps finis. Rencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France. <hal-00770318>
  • Jean-Guillaume Dumas. Compromis temps/mémoire en algèbre linéaire dense sur des corps finis. Journée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France. <hal-00770315>
  • Jean-Guillaume Dumas. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Sage Days 10, Oct 2008, Nancy, France. <hal-00770321>
  • Jean-Guillaume Dumas. Outils pour un intergiciel générique en calcul formel. JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France. <hal-00770312>
  • Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products in effect categories. Journées ARROWS, Jun 2007, Nancy, France. <hal-00770341>
  • Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska. Parallel computation of the rank of large sparse matrices from algebraic K-theory. PASCO '07 - International Workshop on Parallel Symbolic Computation, Jul 2007, London, Canada. ACM Press, pp.43-52, 2007, PASCO 2007. <10.1145/1278177.1278186>. <hal-00142141v2>
  • Jean-Guillaume Dumas, Dominique Duval. Towards a diagrammatic modeling of the LinBox C++ linear algebra library. Roger Rousseau, Christelle Urtado, Sylvain Vauttier. Langages et Modèles à Objets, 2006, Nîmes, France. Hermès ; Lavoisier, pp.117-132, 2006. <hal-00012346v2>
  • Dominique Duval, Jean-Guillaume Dumas. Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. Langages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. Hermès-Lavoisier, p.117-132, 2006. <hal-00388393>
  • Van-Dat Cung, Vincent Danjean, Jean-Guillaume Dumas, Thierry Gautier, Guillaume Huard, et al.. Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving. Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Grenade, Spain. Copias Coca, Madrid, pp.131-148, 2006. <hal-00318540>
  • Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software, Oct 2006, Dagstuhl, Germany. pp.770, 2006. <hal-00318543>
  • Jean-Guillaume Dumas, Anna Urbanska. An introspective algorithm for the integer determinant. Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Grenade, Spain. Copias CoCa, Madrid, pp.185-202, 2006. <hal-00014044v5>
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. Manuel Kauers. 2005, ACM Press., pp.140-147, 2005. <hal-00004056v2>

Ouvrage (y compris édition critique et traduction)4 documents

Chapitre d'ouvrage4 documents

  • Jean-Guillaume Dumas, Clément Pernet. Computational linear algebra over finite fields. Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786. <hal-00688254>
  • Jean-Guillaume Dumas, Franck Leprévost, Jean-Louis Roch, Sébastien Varrette. Architectures PKI. T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.187-210, 2006. <hal-00318550>
  • Jean-Guillaume Dumas, Franck Leprévost, Jean-Louis Roch, Sébastien Varrette, Valentin Savin. Cryptographie à clef publique. T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.103-186, 2006. <hal-00318555>
  • Jean-Guillaume Dumas, Pascal Bouvry, Roland Gillard, Jean-Louis Roch, Sébastien Varrette. Cryptographie à clef secrète. T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006. <hal-00318553>

Pré-publication, Document de travail11 documents

  • Jean-Guillaume Dumas, David Lucas, Clement Pernet. Certificates for triangular equivalence and rank profiles. 2017. <hal-01466093>
  • Jean-Guillaume Dumas, Victor Pan. Fast Matrix Multiplication and Symbolic Computation. 2016. <hal-01417524>
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. 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. 2015. <hal-01171249>
  • Jean-Guillaume Dumas, Jean-Baptiste Orfila. Generating S-Boxes from Semi-fields Pseudo-extensions. 2014. <hal-01075148>
  • Brice Boyer, Jean-Guillaume Dumas. Matrix multiplication over word-size prime fields using Bini's approximate formula. 2014. <hal-00987812>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: Exceptions. 11 pages. 2012. <hal-00678738>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. 2011. <hal-00650260>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. States and exceptions considered as dual effects. 2011. <hal-00445873v4>
  • Jean-Guillaume Dumas, Aude Rondepierre. An hybrid system approach to nonlinear optimal control problems. 2008. <hal-00004191v4>
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Sequential products in effect categories. 2007. <hal-00161303>
  • Jean-Guillaume Dumas. Efficient dot product over word-size finite fields. IMAG - LMC RR n 1064 - I. 2004. <hal-00001380v2>

Rapport2 documents

  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Patterns for computational effects arising from a monad or a comonad. 2013. <hal-00868831v2>
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions. 2012. <hal-00714710v2>

Thèse1 document

  • Jean-Guillaume Dumas. Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2000. Français. <tel-00002742v2>

HDR1 document

  • Jean-Guillaume Dumas. Contributions au calcul exact intensif. Génie logiciel [cs.SE]. Université de Grenoble, 2010. <tel-00514925>