 | 2011 |
|---|
| 37 |       | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation
CoRR abs/1101.3417: (2011) |
| 36 | | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
A duality between exceptions and states
CoRR abs/1112.2394: (2011) |
| 35 | | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
Decorated proofs for computational effects: States
CoRR abs/1112.2396: (2011) |
| 34 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation.
ECEASST 41: (2011) |
| 33 | | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories.
J. Symb. Comput. 46(3): 272-293 (2011) |
| 2010 |
|---|
| 32 | | Jean-Guillaume Dumas,
Dominique Duval,
Laurent Fousse,
Jean-Claude Reynaud:
States and exceptions are dual effects
CoRR abs/1001.1662: (2010) |
| 31 | | Dominique Duval:
Deduction as Reduction
CoRR abs/1011.1330: (2010) |
| 30 | | César Domínguez,
Dominique Duval:
Diagrammatic logic applied to a parameterisation process.
Mathematical Structures in Computer Science 20(4): 639-654 (2010) |
| 2009 |
|---|
| 29 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Heterogeneous Pushout Approach to Term-Graph Transformation.
RTA 2009: 194-208 |
| 28 | | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories
CoRR abs/0903.3311: (2009) |
| 27 | | Dominique Duval,
Jean-Claude Reynaud:
About raising and handling exceptions
CoRR abs/0905.4596: (2009) |
| 26 | | Dominique Duval,
César Domínguez:
A parameterization process as a categorical construction
CoRR abs/0908.3634: (2009) |
| 25 | | César Domínguez,
Dominique Duval:
Diagrammatic logic applied to a parameterization process
CoRR abs/0908.3737: (2009) |
| 24 | | César Domínguez,
Dominique Duval:
A parameterization process, functorially
CoRR abs/0908.4491: (2009) |
| 23 | | Dominique Duval:
How to combine diagrammatic logics
CoRR abs/0911.3005: (2009) |
| 22 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Graph rewriting with polarized cloning
CoRR abs/0911.3786: (2009) |
| 2008 |
|---|
| 21 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation
CoRR abs/0811.3400: (2008) |
| 2007 |
|---|
| 20 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA 2007: 122-136 |
| 19 | | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Sequential products in effect categories
CoRR abs/0707.1432: (2007) |
| 18 | | Dominique Duval:
Diagrammatic Inference
CoRR abs/0710.1208: (2007) |
| 17 | | 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 | | Dominique Duval,
Jean-Claude Reynaud:
Diagrammatic logic and exceptions: an introduction.
Mathematics, Algorithms, Proofs 2005 |
| 14 | | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 13 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Data-Structure Rewriting
CoRR abs/cs/0503065: (2005) |
| 12 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page