Computations on Curves. - Claire Dicrescenzo; Dominique Duval (EUROSAM, 1984)

About a New Method for Computing in Algebraic Number Fields. - Jean Della Dora; Claire Dicrescenzo; Dominique Duval (European Conference on Computer Algebra (2), 1985)

Curves and Computer Algebra. - Dominique Duval; Marie-Françoise Roy (Geometry and Robotics, 1988)

Algebraic Extensions and Algebraic Closure in Scratchpad II. - Claire Dicrescenzo; Dominique Duval (ISSAC, 1988)

Simultaneous Computations in Fields of Different Characteristics. - Dominique Duval (Computers and Mathematics, 1989)

Examples of Problem Solving Using Computer Algebra. - Dominique Duval; Françoise Jung (Programming Environments for High-Level Scientific Problem Solving, 1991)

Absolute Factorization of Polynomials: A Geometric Approach. - Dominique Duval (SIAM J. Comput., 1991)

Algebraic Numbers: An Example of Dynamic Evaluation. - Dominique Duval (J. Symb. Comput., 1994)

Sketches and Computation - I: Basic Definitions and Static Evaluation. - Dominique Duval; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 1994)

Sketches and Computation - II: Dynamic Evaluation and Applications. - Dominique Duval; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 1994)

Sketches and Parametrization. - Dominique Duval; Pascale Sénéchaud (Theor. Comput. Sci., 1994)

Diagrammatic Specifications. - Dominique Duval (Math. Struct. Comput. Sci., 2003)

Towards Diagrammatic Specifications of Symbolic Computation Systems. - César Domínguez 001; Dominique Duval; Laureano Lambán; Julio Rubio Garcia (Mathematics, Algorithms, Proofs, 2005)

Diagrammatic logic and exceptions: an introduction. - Dominique Duval; Jean-Claude Reynaud (Mathematics, Algorithms, Proofs, 2005)

Data-Structure Rewriting - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2005)

Towards a diagrammatic modeling of the LinBox C++ linear algebra library - Jean-Guillaume Dumas; Dominique Duval (CoRR, 2005)

Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. - Jean-Guillaume Dumas; Dominique Duval (LMO, 2006)

Modeling Pointer Redirection as Cyclic Term-graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (TERMGRAPH@ETAPS, 2006)

Adjunction for Garbage Collection with Application to Graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2007)

Sequential products in effect categories - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2007)

Diagrammatic Inference - Dominique Duval (CoRR, 2007)

A Cloning Pushout Approach to Term-Graph Transformation - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2008)

A Heterogeneous Pushout Approach to Term-Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2009)

About raising and handling exceptions - Dominique Duval; Jean-Claude Reynaud (CoRR, 2009)

A parameterization process as a categorical construction - Dominique Duval; César Domínguez 001 (CoRR, 2009)

Diagrammatic logic applied to a parameterization process - César Domínguez 001; Dominique Duval (CoRR, 2009)

A parameterization process, functorially - César Domínguez 001; Dominique Duval (CoRR, 2009)

How to combine diagrammatic logics - Dominique Duval (CoRR, 2009)

Graph rewriting with polarized cloning - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2009)

States and exceptions are dual effects - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2010)

Deduction as Reduction - Dominique Duval (CoRR, 2010)

Diagrammatic logic applied to a parameterisation process. - César Domínguez 001; Dominique Duval (Math. Struct. Comput. Sci., 2010)

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Cartesian effect categories are Freyd-categories. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (J. Symb. Comput., 2011)

Graph Transformation with Focus on Incident Edges. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2012)

Decorated proofs for computational effects: States - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (ACCAT, 2012)

Decorated proofs for computational effects: Exceptions - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2012)

Adjunctions for exceptions - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2012)

A Parameterization Process: from a Functorial Point of View. - César Domínguez 001; Dominique Duval (Int. J. Found. Comput. Sci., 2012)

A duality between exceptions and states. - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 2012)

Patterns for computational effects arising from a monad or a comonad. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2013)

A decorated proof system for exceptions. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2013)

Scalability using effects. - Dominique Duval (CoRR, 2013)

Deduction as Reduction, from a Categorical Point of View. - Dominique Duval (Logica Universalis, 2013)

Transformation of Attributed Structures with Cloning. - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (FASE, 2014)

Formal verification in Coq of program properties involving the global state effect. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous (JFLA, 2014)

Certified Proofs in Programs Involving Exceptions. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Jean-Claude Reynaud (CICM Workshops, 2014)

Program certification with computational effects. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous (CoRR, 2014)

Breaking a monad-comonad symmetry between computational effects. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2014)

Transformation of Attributed Structures with Cloning (Long Version). - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (CoRR, 2014)

AGREE - Algebraic Graph Rewriting with Controlled Embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2015)

Relative Hilbert-Post Completeness for Exceptions. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous; Jean-Claude Reynaud (MACIS, 2015)

Hilbert-Post completeness for the state and the exception effects. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous; Jean-Claude Reynaud (CoRR, 2015)

Parallelism in AGREE Transformations. - Andrea Corradini 001; Dominique Duval; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2016)

Death of Marc Rybowicz, aged 52. - Dominique Duval; Adrien Poteaux (ACM Commun. Comput. Algebra, 2016)

The Pullback-Pushout Approach to Algebraic Graph Transformation. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2017)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

On foundational aspects of RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2019)

The PBPO graph transformation approach. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

All You Need Is CONSTRUCT. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2020)

An Algebraic Graph Transformation Approach for RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (GCM@STAF, 2020)

Logical Rules as Fractions and Logics as Sketches. - Dominique Duval (Logica Universalis, 2020)

Algebraic graph rewriting with controlled embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (Theor. Comput. Sci., 2020)

Querying RDF Databases with Sub-CONSTRUCTs. - Dominique Duval; Rachid Echahed; Frédéric Prost (SCSS, 2021)

A Rule-based Operational Semantics of Graph Query Languages. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2022)

A Rule-Based Procedure for Graph Query Solving. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2023)

Symbolic Graph Query Solving. - Dominique Duval; Rachid Echahed (SCSS, 2024)