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 |