Dominique Duval

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 14

Top Topics

Graph Transformation

Formal Verification

Spectral Embedding

Top Venues

Logica Universalis

J. Log. Algebraic Methods Program.

Publications

Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-Based Procedure for Graph Query Solving. ICGT (2023)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-based Operational Semantics of Graph Query Languages. CoRR (2022)
Dominique Duval, Rachid Echahed, Frédéric Prost
Querying RDF Databases with Sub-CONSTRUCTs. SCSS (2021)
Dominique Duval, Rachid Echahed, Frédéric Prost
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF (2020)
Dominique Duval
Logical Rules as Fractions and Logics as Sketches. Logica Universalis 14 (3) (2020)
Dominique Duval, Rachid Echahed, Frédéric Prost
All You Need Is CONSTRUCT. CoRR (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802 (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103 (2019)
Dominique Duval, Rachid Echahed, Frédéric Prost
On foundational aspects of RDF and SPARQL. CoRR (2019)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Dominique Duval
Logical rules as fractions and logics as sketches. CoRR (2018)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT (2017)
Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
Parallelism in AGREE Transformations. ICGT (2016)
Dominique Duval, Adrien Poteaux
Death of Marc Rybowicz, aged 52. ACM Commun. Comput. Algebra 50 (4) (2016)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Relative Hilbert-Post Completeness for Exceptions. MACIS (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Hilbert-Post completeness for the state and the exception effects. CoRR (2015)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. JFLA (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Program certification with computational effects. CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning (Long Version). CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Breaking a monad-comonad symmetry between computational effects. CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning. FASE (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
Certified Proofs in Programs Involving Exceptions. CICM Workshops (2014)
Dominique Duval
Scalability using effects. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Patterns for computational effects arising from a monad or a comonad. CoRR (2013)
Dominique Duval
Deduction as Reduction, from a Categorical Point of View. Logica Universalis 7 (3) (2013)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
A decorated proof system for exceptions. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states. Math. Struct. Comput. Sci. 22 (4) (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Adjunctions for exceptions CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: States ACCAT (2012)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph Transformation with Focus on Incident Edges. ICGT (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: Exceptions CoRR (2012)
César Domínguez, Dominique Duval
A Parameterization Process: from a Functorial Point of View. Int. J. Found. Comput. Sci. 23 (1) (2012)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46 (3) (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states CoRR (2011)
César Domínguez, Dominique Duval
Diagrammatic logic applied to a parameterisation process. Math. Struct. Comput. Sci. 20 (4) (2010)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
States and exceptions are dual effects CoRR (2010)
Dominique Duval
Deduction as Reduction CoRR (2010)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph rewriting with polarized cloning CoRR (2009)
Dominique Duval
How to combine diagrammatic logics CoRR (2009)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Cartesian effect categories are Freyd-categories CoRR (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA (2009)
César Domínguez, Dominique Duval
A parameterization process, functorially CoRR (2009)
Dominique Duval, Jean-Claude Reynaud
About raising and handling exceptions CoRR (2009)
César Domínguez, Dominique Duval
Diagrammatic logic applied to a parameterization process CoRR (2009)
Dominique Duval, César Domínguez
A parameterization process as a categorical construction CoRR (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Cloning Pushout Approach to Term-Graph Transformation CoRR (2008)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Sequential products in effect categories CoRR (2007)
Dominique Duval, Rachid Echahed, Frédéric Prost
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Dominique Duval, Rachid Echahed, Frédéric Prost
Adjunction for Garbage Collection with Application to Graph Rewriting. RTA (2007)
Dominique Duval
Diagrammatic Inference CoRR (2007)
Jean-Guillaume Dumas, Dominique Duval
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. LMO (2006)
César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia
Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs (2005)
Dominique Duval, Rachid Echahed, Frédéric Prost
Data-Structure Rewriting CoRR (2005)
Jean-Guillaume Dumas, Dominique Duval
Towards a diagrammatic modeling of the LinBox C++ linear algebra library CoRR (2005)
Dominique Duval, Jean-Claude Reynaud
Diagrammatic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs (2005)
Dominique Duval
Diagrammatic Specifications. Math. Struct. Comput. Sci. 13 (6) (2003)
Dominique Duval, Jean-Claude Reynaud
Sketches and Computation - II: Dynamic Evaluation and Applications. Math. Struct. Comput. Sci. 4 (2) (1994)
Dominique Duval, Jean-Claude Reynaud
Sketches and Computation - I: Basic Definitions and Static Evaluation. Math. Struct. Comput. Sci. 4 (2) (1994)
Dominique Duval, Pascale Sénéchaud
Sketches and Parametrization. Theor. Comput. Sci. 123 (1) (1994)
Dominique Duval
Algebraic Numbers: An Example of Dynamic Evaluation. J. Symb. Comput. 18 (5) (1994)
Dominique Duval, Françoise Jung
Examples of Problem Solving Using Computer Algebra. Programming Environments for High-Level Scientific Problem Solving (1991)
Dominique Duval
Absolute Factorization of Polynomials: A Geometric Approach. SIAM J. Comput. 20 (1) (1991)
Dominique Duval
Simultaneous Computations in Fields of Different Characteristics. Computers and Mathematics (1989)
Dominique Duval, Marie-Françoise Roy
Curves and Computer Algebra. Geometry and Robotics (1988)
Claire Dicrescenzo, Dominique Duval
Algebraic Extensions and Algebraic Closure in Scratchpad II. ISSAC (1988)
Jean Della Dora, Claire Dicrescenzo, Dominique Duval
About a New Method for Computing in Algebraic Number Fields. European Conference on Computer Algebra (2) (1985)
Claire Dicrescenzo, Dominique Duval
Computations on Curves. EUROSAM (Computation) (1984)