Dominique Duval

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024

2023

A Rule-Based Procedure for Graph Query Solving.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

A Rule-based Operational Semantics of Graph Query Languages.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Querying RDF Databases with Sub-CONSTRUCTs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

2020

Algebraic graph rewriting with controlled embedding.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Logical Rules as Fractions and Logics as Sketches.

[BibT_eX]

[DOI]

Logica Universalis, 2020

An Algebraic Graph Transformation Approach for RDF and SPARQL.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

All You Need Is CONSTRUCT.

[BibT_eX]

[DOI]

CoRR, 2020

2019

The PBPO graph transformation approach.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

On foundational aspects of RDF and SPARQL.

[BibT_eX]

[DOI]

Leonardo Marques Rodrigues

CoRR, 2019

2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

[BibT_eX]

[DOI]

Guilherme Grochau Azzi

Jonas Santos Bezerra

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

The Pullback-Pushout Approach to Algebraic Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Death of Marc Rybowicz, aged 52.

[BibT_eX]

[DOI]

Adrien Poteaux

ACM Commun. Comput. Algebra, 2016

Parallelism in AGREE Transformations.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Hilbert-Post completeness for the state and the exception effects.

[BibT_eX]

[DOI]

CoRR, 2015

Relative Hilbert-Post Completeness for Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

AGREE - Algebraic Graph Rewriting with Controlled Embedding.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Transformation of Attributed Structures with Cloning (Long Version).

[BibT_eX]

[DOI]

CoRR, 2014

Breaking a monad-comonad symmetry between computational effects.

[BibT_eX]

[DOI]

CoRR, 2014

Program certification with computational effects.

[BibT_eX]

[DOI]

CoRR, 2014

Certified Proofs in Programs Involving Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2014

Formal verification in Coq of program properties involving the global state effect.

[BibT_eX]

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

Transformation of Attributed Structures with Cloning.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Deduction as Reduction, from a Categorical Point of View.

[BibT_eX]

[DOI]

Logica Universalis, 2013

Scalability using effects.

[BibT_eX]

[DOI]

CoRR, 2013

A decorated proof system for exceptions.

[BibT_eX]

[DOI]

CoRR, 2013

Patterns for computational effects arising from a monad or a comonad.

[BibT_eX]

[DOI]

CoRR, 2013

2012

A duality between exceptions and states.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

A Parameterization Process: from a Functorial Point of View.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2012

Adjunctions for exceptions

[BibT_eX]

[DOI]

CoRR, 2012

Decorated proofs for computational effects: Exceptions

[BibT_eX]

[DOI]

CoRR, 2012

Decorated proofs for computational effects: States

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Graph Transformation with Focus on Incident Edges.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Cartesian effect categories are Freyd-categories.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Diagrammatic logic applied to a parameterisation process.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

Deduction as Reduction

[BibT_eX]

[DOI]

CoRR, 2010

States and exceptions are dual effects

[BibT_eX]

[DOI]

CoRR, 2010

2009

Graph rewriting with polarized cloning

[BibT_eX]

[DOI]

CoRR, 2009

How to combine diagrammatic logics

[BibT_eX]

[DOI]

CoRR, 2009

A parameterization process, functorially

[BibT_eX]

[DOI]

CoRR, 2009

Diagrammatic logic applied to a parameterization process

[BibT_eX]

[DOI]

CoRR, 2009

A parameterization process as a categorical construction

[BibT_eX]

[DOI]

CoRR, 2009

About raising and handling exceptions

[BibT_eX]

[DOI]

CoRR, 2009

A Heterogeneous Pushout Approach to Term-Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

A Cloning Pushout Approach to Term-Graph Transformation

[BibT_eX]

[DOI]

CoRR, 2008

2007

Diagrammatic Inference

[BibT_eX]

[DOI]

CoRR, 2007

Sequential products in effect categories

[BibT_eX]

[DOI]

CoRR, 2007

Adjunction for Garbage Collection with Application to Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Modeling Pointer Redirection as Cyclic Term-graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox.

[BibT_eX]

Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

2005

Towards a diagrammatic modeling of the LinBox C++ linear algebra library

[BibT_eX]

[DOI]

CoRR, 2005

Data-Structure Rewriting

[BibT_eX]

[DOI]

CoRR, 2005

Diagrammatic logic and exceptions: an introduction.

[BibT_eX]

[DOI]

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

Towards Diagrammatic Specifications of Symbolic Computation Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2003

Diagrammatic Specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

1994

Sketches and Parametrization.

[BibT_eX]

[DOI]

Pascale Sénéchaud

Theor. Comput. Sci., 1994

Sketches and Computation - II: Dynamic Evaluation and Applications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

Sketches and Computation - I: Basic Definitions and Static Evaluation.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

Algebraic Numbers: An Example of Dynamic Evaluation.

[BibT_eX]

[DOI]

J. Symb. Comput., 1994

1991

Absolute Factorization of Polynomials: A Geometric Approach.

[BibT_eX]

[DOI]

SIAM J. Comput., 1991

Examples of Problem Solving Using Computer Algebra.

[BibT_eX]

Françoise Jung

Proceedings of the Programming Environments for High-Level Scientific Problem Solving, 1991

1989

Simultaneous Computations in Fields of Different Characteristics.

[BibT_eX]

[DOI]

Proceedings of the Computers and Mathematics, 1989

1988

Algebraic Extensions and Algebraic Closure in Scratchpad II.

[BibT_eX]

[DOI]

Claire Dicrescenzo

Proceedings of the Symbolic and Algebraic Computation, 1988

Curves and Computer Algebra.

[BibT_eX]

[DOI]

Marie-Françoise Roy

Proceedings of the Geometry and Robotics, 1988

1985

About a New Method for Computing in Algebraic Number Fields.

[BibT_eX]

[DOI]

Jean Della Dora

Claire Dicrescenzo

Proceedings of the EUROCAL '85, 1985

1984

Computations on Curves.

[BibT_eX]

[DOI]

Claire Dicrescenzo