pith. sign in

Jean-Guillaume Dumas (LJK)

Identifiers

  • name variant Jean-Guillaume Dumas (LJK) 0.60 · backfill

Papers (34)

  1. Hilbert-Post completeness for the state and the exception effects cs.LO · 2015 · author #1
  2. Computing the Rank Profile Matrix cs.SC · 2015 · author #1
  3. Elements of Design for Containers and Solutions in the LinBox Library cs.MS · 2014 · author #2
  4. Parallel computation of echelon forms cs.SC · 2014 · author #1
  5. Breaking a monad-comonad symmetry between computational effects cs.LO · 2014 · author #1
  6. Certified proofs in programs involving exceptions cs.LO · 2013 · author #1
  7. Formal verification in Coq of program properties involving the global state effect cs.LO · 2013 · author #1
  8. Patterns for computational effects arising from a monad or a comonad cs.LO · 2013 · author #1
  9. Simultaneous computation of the row and column rank profiles cs.NA · 2013 · author #1
  10. Brandt's Fully Private Auction Protocol Revisited cs.CR · 2012 · author #2
  11. Adjunctions for exceptions cs.LO · 2012 · author #1
  12. Computational linear algebra over finite fields cs.SC · 2012 · author #1
  13. Decorated proofs for computational effects: Exceptions cs.LO · 2012 · author #1
  14. A duality between exceptions and states cs.LO · 2011 · author #1
  15. Matrix powers algorithms for trust evaluation in PKI architectures cs.CR · 2011 · author #1
  16. Recursive double-size fixed precision arithmetic cs.CR · 2011 · author #2
  17. LinBox founding scope allocation, parallel building blocks, and separate compilation cs.SE · 2010 · author #1
  18. Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source math.PR · 2010 · author #2
  19. Generic design of Chinese remaindering schemes cs.SC · 2010 · author #1
  20. Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures cs.DC · 2010 · author #2
  21. Generic design of Chinese remaindering schemes cs.SC · 2010 · author #1
  22. States and exceptions considered as dual effects cs.LO · 2010 · author #1
  23. Cartesian effect categories are Freyd-categories cs.LO · 2009 · author #1
  24. On finding multiplicities of characteristic polynomial factors of black-box matrices cs.SC · 2009 · author #1
  25. Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable cs.CR · 2009 · author #4
  26. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields cs.SC · 2008 · author #1
  27. Compressed Modular Matrix Multiplication cs.SC · 2008 · author #1
  28. Q-adic Transform revisited cs.SC · 2007 · author #1
  29. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm cs.MS · 2007 · author #2
  30. Sequential products in effect categories math.CT · 2007 · author #1
  31. Bounds on the coefficients of the characteristic and minimal polynomials cs.SC · 2006 · author #1
  32. Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages cs.SC · 2006 · author #1
  33. An introspective algorithm for the integer determinant cs.SC · 2005 · author #1
  34. Efficient polynomial time algorithms computing industrial-strength primitive roots cs.SC · 2004 · author #2

Mentions

  • 1503.00948 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1501.05239 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1407.3262 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1402.3501 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1402.1051 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1310.2338 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1310.0794 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1310.0605 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1301.4438 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1210.6780 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1207.1255 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1204.3735 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1203.2900 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1112.2394 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1107.1880 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1104.0478 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1009.1317 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1006.3246 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1005.0830 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1004.3719 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1001.4150 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 1001.1662 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0903.3311 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0901.4747 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0901.0911 #4 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0809.0063 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0803.1975 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0710.0510 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0707.2347 #2 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)
  • 0707.1432 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK)

Frequent Coauthors