- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: A duality between exceptions and states. Mathematical Structures in Computer Science 22(4): 719-722 (2012) |
| c3 | | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: States. ACCAT 2012: 45-59 |
| i8 | | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: Exceptions. CoRR abs/1203.2900 (2012) |
| i7 | | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Adjunctions for exceptions. CoRR abs/1207.1255 (2012) |
| 2011 | ||
| j3 | | 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) |
| c2 | | Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited. AFRICACRYPT 2011: 348-362 |
| i6 | | Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi: Recursive double-size fixed precision arithmetic. CoRR abs/1104.0478 (2011) |
| i5 | | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: A duality between exceptions and states. CoRR abs/1112.2394 (2011) |
| 2010 | ||
| i4 | | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: States and exceptions are dual effects. CoRR abs/1001.1662 (2010) |
| i3 | | Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited. CoRR abs/1008.2991 (2010) |
| 2008 | ||
| i2 | | Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy: Compressed Modular Matrix Multiplication. CoRR abs/0803.1975 (2008) |
| i1 | | Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy: Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. CoRR abs/0809.0063 (2008) |
| 2007 | ||
| j2 | | Laurent Fousse: Multiple-Precision Correctly rounded Newton-Cotes quadrature. ITA 41(1): 103-121 (2007) |
| j1 | | Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann: MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2): 13 (2007) |
| c1 | | Laurent Fousse: Accurate Multiple-Precision Gauss-Legendre Quadrature. IEEE Symposium on Computer Arithmetic 2007: 150-160 |
Data released under the ODC-BY 1.0 license — See also our legal information page