 | 2012 |
| 53 |  | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
Decorated proofs for computational effects: Exceptions
CoRR abs/1203.2900: (2012) |
| 52 |  | Jean-Guillaume Dumas,
Clément Pernet:
Computational linear algebra over finite fields
CoRR abs/1204.3735: (2012) |
| 2011 |
| 51 |  | Christophe Chabot,
Jean-Guillaume Dumas,
Laurent Fousse,
Pascal Giorgi:
Recursive double-size fixed precision arithmetic
CoRR abs/1104.0478: (2011) |
| 50 |  | Jean-Guillaume Dumas,
Hicham Hossayni:
Matrix Powers algorithm for trust evaluation in PKI architectures
CoRR abs/1107.1880: (2011) |
| 49 |  | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
A duality between exceptions and states
CoRR abs/1112.2394: (2011) |
| 48 |  | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
Decorated proofs for computational effects: States
CoRR abs/1112.2396: (2011) |
| 47 |  | Jean-Guillaume Dumas,
Rod Gow,
John Sheekey:
Rank properties of subspaces of symmetric and hermitian matrices over finite fields.
Finite Fields and Their Applications 17(6): 504-520 (2011) |
| 46 |  | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories.
J. Symb. Comput. 46(3): 272-293 (2011) |
| 45 |  | Jean-Guillaume Dumas,
Laurent Fousse,
Bruno Salvy:
Simultaneous modular reduction and Kronecker substitution for small finite fields.
J. Symb. Comput. 46(7): 823-840 (2011) |
| 2010 |
| 44 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Clément Pernet,
B. David Saunders:
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation.
ICMS 2010: 77-83 |
| 43 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Jean-Louis Roch:
Generic design of Chinese remaindering schemes.
PASCO 2010: 26-34 |
| 42 |  | Brice Boyer,
Jean-Guillaume Dumas,
Pascal Giorgi:
Exact sparse matrix-vector multiplication on GPU's and multicore architectures.
PASCO 2010: 80-88 |
| 41 |  | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
States and exceptions are dual effects
CoRR abs/1001.1662: (2010) |
| 40 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Jean-Louis Roch:
Generic design of Chinese remaindering schemes
CoRR abs/1001.4150: (2010) |
| 39 |  | Brice Boyer,
Jean-Guillaume Dumas,
Pascal Giorgi:
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures
CoRR abs/1004.3719: (2010) |
| 38 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Jean-Louis Roch:
Generic design of Chinese remaindering schemes
CoRR abs/1005.0830: (2010) |
| 37 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Clément Pernet,
B. David Saunders:
LinBox founding scope allocation, parallel building blocks, and separate compilation
CoRR abs/1009.1317: (2010) |
| 2009 |
| 36 |  | Alexandre Berzati,
Cécile Canovas,
Jean-Guillaume Dumas,
Louis Goubin:
Fault Attacks on RSA Public Keys: Left-To-Right Implementations Are Also Vulnerable.
CT-RSA 2009: 414-428 |
| 35 |  | Jean-Guillaume Dumas,
Clément Pernet,
B. David Saunders:
On finding multiplicities of characteristic polynomial factors of black-box matrices.
ISSAC 2009: 135-142 |
| 34 |  | Brice Boyer,
Jean-Guillaume Dumas,
Clément Pernet,
Wei Zhou:
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm.
ISSAC 2009: 55-62 |
| 33 |  | Alexandre Berzati,
Cécile Canovas,
Jean-Guillaume Dumas,
Louis Goubin:
Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable
CoRR abs/0901.0911: (2009) |
| 32 |  | Jean-Guillaume Dumas,
Clément Pernet,
B. David Saunders:
On finding multiplicities of characteristic polynomial factors of black-box matrices
CoRR abs/0901.4747: (2009) |
| 31 |  | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories
CoRR abs/0903.3311: (2009) |
| 2008 |
| 30 |  | Jean-Guillaume Dumas:
Q-adic transform revisited.
ISSAC 2008: 63-70 |
| 29 |  | Jean-Guillaume Dumas,
Pascal Giorgi,
Clément Pernet:
Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages.
ACM Trans. Math. Softw. 35(3): (2008) |
| 28 |  | Jean-Guillaume Dumas,
Laurent Fousse,
Bruno Salvy:
Compressed Modular Matrix Multiplication
CoRR abs/0803.1975: (2008) |
| 27 |  | Jean-Guillaume Dumas,
Laurent Fousse,
Bruno Salvy:
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields
CoRR abs/0809.0063: (2008) |
| 2007 |
| 26 |  | Jean-Guillaume Dumas,
Philippe Elbaz-Vincent,
Pascal Giorgi,
Anna Urbanska:
Parallel computation of the rank of large sparse matrices from algebraic K-theory.
PASCO 2007: 43-52 |
| 25 |  | Jean-Guillaume Dumas,
Philippe Elbaz-Vincent,
Pascal Giorgi,
Anna Urbanska:
Parallel computation of the rank of large sparse matrices from algebraic K-theory
CoRR abs/0704.2351: (2007) |
| 24 |  | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Sequential products in effect categories
CoRR abs/0707.1432: (2007) |
| 23 |  | Jean-Guillaume Dumas,
Clément Pernet,
Wei Zhou:
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
CoRR abs/0707.2347: (2007) |
| 22 |  | Jean-Guillaume Dumas:
Q-adic Transform revisited
CoRR abs/0710.0510: (2007) |
| 2006 |
| 21 |  | Jean-Guillaume Dumas,
Clément Pernet,
Jean-Louis Roch:
Adaptive Triangular System Solving.
Challenges in Symbolic Computation Software 2006 |
| 20 |  | Jean-Guillaume Dumas,
Dominique Duval:
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox.
LMO 2006: 117-134 |
| 19 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Pascal Giorgi,
Clément Pernet:
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
CoRR abs/cs/0601133: (2006) |
| 18 |  | Jean-Guillaume Dumas:
Bounds on the coefficients of the characteristic and minimal polynomials
CoRR abs/cs/0610136: (2006) |
| 17 |  | Jacques Dubrois,
Jean-Guillaume Dumas:
Efficient polynomial time algorithms computing industrial-strength primitive roots.
Inf. Process. Lett. 97(2): 41-45 (2006) |
| 2005 |
| 16 |  | Jean-Guillaume Dumas,
Clément Pernet,
Zhendong Wan:
Efficient computation of the characteristic polynomial.
ISSAC 2005: 140-147 |
| 15 |  | Aude Rondepierre,
Jean-Guillaume Dumas:
Algorithms for symbolic/numeric control of affine dynamical systems.
ISSAC 2005: 277-284 |
| 14 |  | Jean-Guillaume Dumas,
Clément Pernet,
Zhendong Wan:
Efficient Computation of the Characteristic Polynomial
CoRR abs/cs/0501074: (2005) |
| 13 |  | Jean-Guillaume Dumas,
Dominique Duval:
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
CoRR abs/cs/0510057: (2005) |
| 12 |  | Jean-Guillaume Dumas,
Anna Urbanska:
An introspective algorithm for the integer determinant
CoRR abs/cs/0511066: (2005) |
| 11 |  | Jean-Guillaume Dumas,
Aude Rondepierre:
Algorithms for Hybrid Optimal Control
CoRR abs/math/0502172: (2005) |
| 2004 |
| 10 |  | Jean-Guillaume Dumas,
Pascal Giorgi,
Clément Pernet:
FFPACK: finite field linear algebra package.
ISSAC 2004: 119-126 |
| 9 |  | Jean-Guillaume Dumas:
Efficient dot product over word-size finite fields
CoRR cs.SC/0404008: (2004) |
| 8 |  | Jacques Dubrois,
Jean-Guillaume Dumas:
Efficient polynomial time algorithms computing industrial-strength primitive roots
CoRR cs.SC/0409029: (2004) |
| 2003 |
| 7 |  | Jean-Guillaume Dumas,
Frank Heckenbach,
B. David Saunders,
Volkmar Welker:
Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms.
Algebra, Geometry, and Software Systems 2003: 177-206 |
| 6 |  | Jean-Guillaume Dumas,
Aude Rondepierre:
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.
HSCC 2003: 156-171 |
| 2002 |
| 5 |  | Jean-Guillaume Dumas,
Thierry Gautier,
Clément Pernet:
Finite field linear algebra subroutines.
ISSAC 2002: 63-74 |
| 4 |  | Jean-Guillaume Dumas,
Jean-Louis Roch:
On parallel block algorithms for exact triangularizations.
Parallel Computing 28(11): 1531-1548 (2002) |
| 2001 |
| 3 |  | Jean-Guillaume Dumas,
Jean-Louis Roch:
A parallel block algorithm for exact triangularization of rectangular matrices.
SPAA 2001: 324-325 |
| 2 |  | Jean-Guillaume Dumas,
B. David Saunders,
Gilles Villard:
On Efficient Sparse Integer Matrix Smith Normal Form Computations.
J. Symb. Comput. 32(1/2): 71-99 (2001) |
| 2000 |
| 1 |  | Jean-Guillaume Dumas,
B. David Saunders,
Gilles Villard:
Integer Smith form via the valence: experience with large sparse matrices from homology.
ISSAC 2000: 95-105 |