| 2009 |
|---|
| 22 | EE | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories
CoRR abs/0903.3311: (2009) |
| 2008 |
|---|
| 21 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation
CoRR abs/0811.3400: (2008) |
| 2007 |
|---|
| 20 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA 2007: 122-136 |
| 19 | EE | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Sequential products in effect categories
CoRR abs/0707.1432: (2007) |
| 18 | EE | Dominique Duval:
Diagrammatic Inference
CoRR abs/0710.1208: (2007) |
| 17 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
Electr. Notes Theor. Comput. Sci. 176(1): 65-84 (2007) |
| 2006 |
|---|
| 16 | | 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 |
| 2005 |
|---|
| 15 | EE | Dominique Duval,
Jean-Claude Reynaud:
Diagrammatic logic and exceptions: an introduction.
Mathematics, Algorithms, Proofs 2005 |
| 14 | EE | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 13 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Data-Structure Rewriting
CoRR abs/cs/0503065: (2005) |
| 12 | EE | Jean-Guillaume Dumas,
Dominique Duval:
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
CoRR abs/cs/0510057: (2005) |
| 2003 |
|---|
| 11 | | Dominique Duval:
Diagrammatic Specifications.
Mathematical Structures in Computer Science 13(6): 857-890 (2003) |
| 1994 |
|---|
| 10 | | Dominique Duval:
Algebraic Numbers: An Example of Dynamic Evaluation.
J. Symb. Comput. 18(5): 429-445 (1994) |
| 9 | | Dominique Duval,
Jean-Claude Reynaud:
Sketches and Computation - I: Basic Definitions and Static Evaluation.
Mathematical Structures in Computer Science 4(2): 185-238 (1994) |
| 8 | | Dominique Duval,
Jean-Claude Reynaud:
Sketches and Computation - II: Dynamic Evaluation and Applications.
Mathematical Structures in Computer Science 4(2): 239-271 (1994) |
| 7 | | Dominique Duval,
Pascale Sénéchaud:
Sketches and Parametrization.
Theor. Comput. Sci. 123(1): 117-130 (1994) |
| 1991 |
|---|
| 6 | | Dominique Duval,
Françoise Jung:
Examples of Problem Solving Using Computer Algebra.
Programming Environments for High-Level Scientific Problem Solving 1991: 133-143 |
| 5 | | Dominique Duval:
Absolute Factorization of Polynomials: A Geometric Approach.
SIAM J. Comput. 20(1): 1-21 (1991) |
| 1988 |
|---|
| 4 | | Dominique Duval,
Marie-Françoise Roy:
Curves and Computer Algebra.
Geometry and Robotics 1988: 28-42 |
| 3 | | Claire Dicrescenzo,
Dominique Duval:
Algebraic Extensions and Algebraic Closure in Scratchpad II.
ISSAC 1988: 440-446 |
| 1985 |
|---|
| 2 | | Jean Della Dora,
Claire Dicrescenzo,
Dominique Duval:
About a New Method for Computing in Algebraic Number Fields.
European Conference on Computer Algebra (2) 1985: 289-290 |
| 1984 |
|---|
| 1 | | Claire Dicrescenzo,
Dominique Duval:
Computations on Curves.
EUROSAM 1984: 100-107 |
