×
Compute Distance To:
Author ID: duval.dominique Recent zbMATH articles by "Duval, Dominique"
Published as: Duval, Dominique
Documents Indexed: 36 Publications since 1980
Co-Authors: 21 Co-Authors with 24 Joint Publications
291 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 130 times in 91 Documents Cited by Year
Rational Puiseux expansions. Zbl 0699.14034
Duval, Dominique
33
1989
Sketches and computation. II: Dynamic evaluation and applications. Zbl 0822.68063
Duval, Dominique; Reynaud, Jean-Claude
9
1994
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
9
2015
Absolute factorization of polynomials: A geometric approach. Zbl 0716.68052
Duval, Dominique
9
1991
Sketches and computation. I: Basic definitions and static evaluation. Zbl 0810.68096
Duval, Dominique; Reynaud, Jean-Claude
8
1994
Algebraic numbers: An example of dynamic evaluation. Zbl 0827.68061
Duval, Dominique
8
1994
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques
7
2018
Dynamic evaluation and algebraic closure in Axiom. (Evaluation dynamique et clôture algébrique en Axiom.) Zbl 0851.11075
Duval, Dominique
7
1995
Dynamic evaluation and real closure. Zbl 1037.68542
Duval, Dominique; González-Vega, L.
6
1996
Diagrammatic logic applied to a parameterisation process. Zbl 1204.03059
Domínguez, César; Duval, Dominique
5
2010
Diagrammatic specification. Zbl 1089.68063
Duval, Dominique
4
2003
Graph transformation with focus on incident edges. Zbl 1367.68127
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
4
2012
A duality between exceptions and states. Zbl 1280.68120
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude
3
2012
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
Cartesian effect categories are Freyd-categories. Zbl 1229.18005
Dumas, Jean-Guillaume; Duval, Dominique; Reynaud, Jean-Claude
2
2011
Sketches and parametrization. Zbl 0801.68096
Duval, Dominique; Sénéchaud, Pascale
2
1994
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
Modeling pointer redirection as cyclic term-graph rewriting. Zbl 1278.68076
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
2
2007
Adjunction for garbage collection with application to graph rewriting. Zbl 1203.68071
Duval, Dominique; Echahed, Rachid; Prost, Frederic
1
2007
Computations on curves. Zbl 0553.14008
Dicrescenzo, Claire; Duval, Dominique
1
1984
A heterogeneous pushout approach to term-graph transformation. Zbl 1242.68127
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
1
2009
Sur la structure galoisienne du groupe des unites d’un corps abelien réel de type (p,p). Zbl 0459.12002
Duval, Dominique
1
1981
Death of Marc Rybowicz, aged 52. Zbl 1365.01050
Duval, Dominique; Poteaux, Adrien
1
2016
Algebraic computation on algebraic numbers. Zbl 0683.12002
Dicrescenzo, Claire; Duval, Dominique
1
1986
Sketches and computations over fields. Zbl 1037.68541
Duval, Dominique; Reynaud, Jean-Claude
1
1996
A parameterization process: from a functorial point of view. Zbl 1269.68064
Domínguez, César; Duval, Dominique
1
2012
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques
7
2018
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
Death of Marc Rybowicz, aged 52. Zbl 1365.01050
Duval, Dominique; Poteaux, Adrien
1
2016
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
9
2015
Graph transformation with focus on incident edges. Zbl 1367.68127
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
4
2012
A duality between exceptions and states. Zbl 1280.68120
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude
3
2012
A parameterization process: from a functorial point of view. Zbl 1269.68064
Domínguez, César; Duval, Dominique
1
2012
Cartesian effect categories are Freyd-categories. Zbl 1229.18005
Dumas, Jean-Guillaume; Duval, Dominique; Reynaud, Jean-Claude
2
2011
Diagrammatic logic applied to a parameterisation process. Zbl 1204.03059
Domínguez, César; Duval, Dominique
5
2010
A heterogeneous pushout approach to term-graph transformation. Zbl 1242.68127
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
1
2009
Modeling pointer redirection as cyclic term-graph rewriting. Zbl 1278.68076
Duval, Dominique; Echahed, Rachid; Prost, Frédéric
2
2007
Adjunction for garbage collection with application to graph rewriting. Zbl 1203.68071
Duval, Dominique; Echahed, Rachid; Prost, Frederic
1
2007
Diagrammatic specification. Zbl 1089.68063
Duval, Dominique
4
2003
Dynamic evaluation and real closure. Zbl 1037.68542
Duval, Dominique; González-Vega, L.
6
1996
Sketches and computations over fields. Zbl 1037.68541
Duval, Dominique; Reynaud, Jean-Claude
1
1996
Dynamic evaluation and algebraic closure in Axiom. (Evaluation dynamique et clôture algébrique en Axiom.) Zbl 0851.11075
Duval, Dominique
7
1995
Sketches and computation. II: Dynamic evaluation and applications. Zbl 0822.68063
Duval, Dominique; Reynaud, Jean-Claude
9
1994
Sketches and computation. I: Basic definitions and static evaluation. Zbl 0810.68096
Duval, Dominique; Reynaud, Jean-Claude
8
1994
Algebraic numbers: An example of dynamic evaluation. Zbl 0827.68061
Duval, Dominique
8
1994
Sketches and parametrization. Zbl 0801.68096
Duval, Dominique; Sénéchaud, Pascale
2
1994
Absolute factorization of polynomials: A geometric approach. Zbl 0716.68052
Duval, Dominique
9
1991
Rational Puiseux expansions. Zbl 0699.14034
Duval, Dominique
33
1989
Algebraic computation on algebraic numbers. Zbl 0683.12002
Dicrescenzo, Claire; Duval, Dominique
1
1986
Computations on curves. Zbl 0553.14008
Dicrescenzo, Claire; Duval, Dominique
1
1984
Sur la structure galoisienne du groupe des unites d’un corps abelien réel de type (p,p). Zbl 0459.12002
Duval, Dominique
1
1981
all top 5

Cited by 118 Authors

14 Duval, Dominique
7 Echahed, Rachid
5 Poteaux, Adrien
5 Prost, Frédéric
5 Ribeiro, Leila
4 Blasco, Ángel
4 Corradini, Andrea
4 Domínguez, César
4 Lecerf, Grégoire
4 Oriat, C.
4 Pérez-Díaz, Sonia
3 Boy de la Tour, Thierry
3 Montes, Antonio
3 Weimann, Martin
2 Abu Salem, Fatima K.
2 Coste, Michel
2 de la Puente, Maria Jesus
2 Falkensteiner, Sebastian
2 Feng, Ruyong
2 Gao, Xiaoshan
2 Lombardi, Henri
2 Rubio García, Julio Jesús
2 Rybowicz, Marc
2 Sendra, Juan Rafael
2 van der Hoeven, Joris
2 Yengui, Ihsen
1 Anai, Hirokazu
1 Armando, Alessandro
1 Azzi, Guilherme Grochau
1 Ballarin, Clemens
1 Beck, Tobias
1 Behr, Nicolas
1 Berthomieu, Jérémy
1 Bompadre, Agustín
1 Born, Kristopher
1 Bouzidi, Yacine
1 Campillo, Antonio
1 Cano, José Maria
1 Chèze, Guillaume
1 Cormier, Olivier
1 da Costa Cavalheiro, Simone André
1 Dahan, Xavier
1 de Lara, Juan
1 Deconinck, Bernard
1 Díaz-Toca, Gema María
1 Durvye, Clémence
1 Eaves, B. Curtis
1 Ekici, Burak
1 Farrán, José Ignacio
1 Feng, Erbao
1 Foss, Luciana
1 Frauendiener, Jörg
1 Gao, Shuhong
1 Giusti, Marc
1 Gonzalez-Vega, Laureano
1 Hadj Kacem, Amina
1 Hasegawa, Masaru
1 Heintz, Joos
1 Huang, Zhenyu
1 Iwane, Hidenao
1 Jeannerod, Claude-Pierre
1 Kahl, Wolfram
1 Kako, Fujio
1 Kaliszyk, Cezary
1 Kapur, Deepak
1 Klein, Christian
1 Kosiol, Jens
1 Lambán, Laureano
1 Lambers, Leen
1 Lowe, Michael J. S.
1 Luo, Zhongxuan
1 Manubens, Montserrat
1 Márquez-Corbella, Irene
1 Marszałek, Roman
1 Martínez-Moro, Edgar
1 Matera, Guillermo
1 Morais, Jose Enrique
1 Morgenstern, Jacques
1 Mosteig, Edward
1 Pardo, Luis Miguel
1 Pellikaan, Ruud
1 Phạm Tiên So’n
1 Plump, Detlef
1 Quadrat, Alban
1 Quintin, Guillaume
1 Ragot, Jean-François
1 Reynaud, Jean-Claude
1 Rioboo, Renaud
1 Rothblum, Uriel George
1 Roy, Marie-Françoise
1 Ruano, Diego
1 Rupprecht, David
1 Safey El Din, Mohab
1 Sasaki, Tateaki
1 Schost, Éric
1 Segal, Benjamin Louis
1 Sénéchaud, Pascale
1 Singer, Michael F.
1 Soudah, Rawan N.
1 Strüber, Daniel
...and 18 more Authors

Citations by Year