Dominique Duval

74 papers B 7Journal 48Unranked 19

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