default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDominique Duval
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c24]Dominique Duval, Rachid Echahed:
Symbolic Graph Query Solving. SCSS 2024: 96-113- 2023
- [c23]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Rule-Based Procedure for Graph Query Solving. ICGT 2023: 163-183 - 2022
- [i33]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Rule-based Operational Semantics of Graph Query Languages. CoRR abs/2202.10142 (2022) - 2021
- [c22]Dominique Duval, Rachid Echahed, Frédéric Prost:
Querying RDF Databases with Sub-CONSTRUCTs. SCSS 2021: 49-64 - 2020
- [j16]Dominique Duval:
Logical Rules as Fractions and Logics as Sketches. Logica Universalis 14(3): 395-405 (2020) - [j15]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802: 19-37 (2020) - [c21]Dominique Duval, Rachid Echahed, Frédéric Prost:
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF 2020: 55-70 - [i32]Dominique Duval, Rachid Echahed, Frédéric Prost:
All You Need Is CONSTRUCT. CoRR abs/2010.00843 (2020)
2010 – 2019
- 2019
- [j14]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103: 213-231 (2019) - [i31]Dominique Duval, Rachid Echahed, Frédéric Prost:
On foundational aspects of RDF and SPARQL. CoRR abs/1910.07519 (2019) - 2018
- [c20]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: 1-18 - [i30]Dominique Duval:
Logical rules as fractions and logics as sketches. CoRR abs/1807.01620 (2018) - 2017
- [c19]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017: 3-19 - 2016
- [j13]Dominique Duval, Adrien Poteaux:
Death of Marc Rybowicz, aged 52. ACM Commun. Comput. Algebra 50(4): 191 (2016) - [c18]Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro:
Parallelism in AGREE Transformations. ICGT 2016: 37-53 - 2015
- [c17]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT 2015: 35-51 - [c16]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud:
Relative Hilbert-Post Completeness for Exceptions. MACIS 2015: 596-610 - [i29]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud:
Hilbert-Post completeness for the state and the exception effects. CoRR abs/1503.00948 (2015) - 2014
- [c15]Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning. FASE 2014: 310-324 - [c14]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous:
Formal verification in Coq of program properties involving the global state effect. JFLA 2014: 1-16 - [c13]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud:
Certified Proofs in Programs Involving Exceptions. CICM Workshops 2014 - [i28]Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning (Long Version). CoRR abs/1401.2751 (2014) - [i27]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Breaking a monad-comonad symmetry between computational effects. CoRR abs/1402.1051 (2014) - [i26]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR abs/1411.4597 (2014) - [i25]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous:
Program certification with computational effects. CoRR abs/1411.7140 (2014) - 2013
- [j12]Dominique Duval:
Deduction as Reduction, from a Categorical Point of View. Logica Universalis 7(3): 275-289 (2013) - [i24]Dominique Duval:
Scalability using effects. CoRR abs/1307.0489 (2013) - [i23]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Patterns for computational effects arising from a monad or a comonad. CoRR abs/1310.0605 (2013) - [i22]Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous:
Formal verification in Coq of program properties involving the global state effect. CoRR abs/1310.0794 (2013) - [i21]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
A decorated proof system for exceptions. CoRR abs/1310.2338 (2013) - 2012
- [j11]César Domínguez, Dominique Duval:
A Parameterization Process: from a Functorial Point of View. Int. J. Found. Comput. Sci. 23(1): 225-242 (2012) - [j10]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
A duality between exceptions and states. Math. Struct. Comput. Sci. 22(4): 719-722 (2012) - [c12]Dominique Duval, Rachid Echahed, Frédéric Prost:
Graph Transformation with Focus on Incident Edges. ICGT 2012: 156-171 - [c11]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Decorated proofs for computational effects: States. ACCAT 2012: 45-59 - [i20]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Decorated proofs for computational effects: Exceptions. CoRR abs/1203.2900 (2012) - [i19]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Adjunctions for exceptions. CoRR abs/1207.1255 (2012) - 2011
- [j9]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) - [j8]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46(3): 272-293 (2011) - [i18]Dominique Duval, Rachid Echahed, Frédéric Prost:
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. CoRR abs/1101.3417 (2011) - [i17]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
A duality between exceptions and states. CoRR abs/1112.2394 (2011) - 2010
- [j7]César Domínguez, Dominique Duval:
Diagrammatic logic applied to a parameterisation process. Math. Struct. Comput. Sci. 20(4): 639-654 (2010) - [i16]Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
States and exceptions are dual effects. CoRR abs/1001.1662 (2010) - [i15]Dominique Duval:
Deduction as Reduction. CoRR abs/1011.1330 (2010)
2000 – 2009
- 2009
- [c10]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA 2009: 194-208 - [i14]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories. CoRR abs/0903.3311 (2009) - [i13]Dominique Duval, Jean-Claude Reynaud:
About raising and handling exceptions. CoRR abs/0905.4596 (2009) - [i12]Dominique Duval, César Domínguez:
A parameterization process as a categorical construction. CoRR abs/0908.3634 (2009) - [i11]César Domínguez, Dominique Duval:
Diagrammatic logic applied to a parameterization process. CoRR abs/0908.3737 (2009) - [i10]César Domínguez, Dominique Duval:
A parameterization process, functorially. CoRR abs/0908.4491 (2009) - [i9]Dominique Duval:
How to combine diagrammatic logics. CoRR abs/0911.3005 (2009) - [i8]Dominique Duval, Rachid Echahed, Frédéric Prost:
Graph rewriting with polarized cloning. CoRR abs/0911.3786 (2009) - 2008
- [i7]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation. CoRR abs/0811.3400 (2008) - 2007
- [c9]Dominique Duval, Rachid Echahed, Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136 - [i6]Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Sequential products in effect categories. CoRR abs/0707.1432 (2007) - [i5]Dominique Duval:
Diagrammatic Inference. CoRR abs/0710.1208 (2007) - 2006
- [c8]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 - [c7]Dominique Duval, Rachid Echahed, Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. TERMGRAPH@ETAPS 2006: 65-84 - 2005
- [i4]César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005 - [i3]Dominique Duval, Jean-Claude Reynaud:
Diagrammatic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs 2005 - [i2]Dominique Duval, Rachid Echahed, Frédéric Prost:
Data-Structure Rewriting. CoRR abs/cs/0503065 (2005) - [i1]Jean-Guillaume Dumas, Dominique Duval:
Towards a diagrammatic modeling of the LinBox C++ linear algebra library. CoRR abs/cs/0510057 (2005) - 2003
- [j6]Dominique Duval:
Diagrammatic Specifications. Math. Struct. Comput. Sci. 13(6): 857-890 (2003)
1990 – 1999
- 1994
- [j5]Dominique Duval:
Algebraic Numbers: An Example of Dynamic Evaluation. J. Symb. Comput. 18(5): 429-445 (1994) - [j4]Dominique Duval, Jean-Claude Reynaud:
Sketches and Computation - I: Basic Definitions and Static Evaluation. Math. Struct. Comput. Sci. 4(2): 185-238 (1994) - [j3]Dominique Duval, Jean-Claude Reynaud:
Sketches and Computation - II: Dynamic Evaluation and Applications. Math. Struct. Comput. Sci. 4(2): 239-271 (1994) - [j2]Dominique Duval, Pascale Sénéchaud:
Sketches and Parametrization. Theor. Comput. Sci. 123(1): 117-130 (1994) - 1991
- [j1]Dominique Duval:
Absolute Factorization of Polynomials: A Geometric Approach. SIAM J. Comput. 20(1): 1-21 (1991) - [c6]Dominique Duval, Françoise Jung:
Examples of Problem Solving Using Computer Algebra. Programming Environments for High-Level Scientific Problem Solving 1991: 133-143
1980 – 1989
- 1989
- [c5]Dominique Duval:
Simultaneous Computations in Fields of Different Characteristics. Computers and Mathematics 1989: 321-326 - 1988
- [c4]Dominique Duval, Marie-Françoise Roy:
Curves and Computer Algebra. Geometry and Robotics 1988: 28-42 - [c3]Claire Dicrescenzo, Dominique Duval:
Algebraic Extensions and Algebraic Closure in Scratchpad II. ISSAC 1988: 440-446 - 1985
- [c2]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
- [c1]Claire Dicrescenzo, Dominique Duval:
Computations on Curves. EUROSAM 1984: 100-107
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
