Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Dominique
Last name:	Duval
DBLP:	d/DominiqueDuval
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 30 of 30  

Select a publication
Show	Title	Venue	Rating	Date
	Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. States and exceptions are dual effects	CoRR 2010, Volume 0	(0)	2010
	Dominique Duval, Rachid Echahed, Frédéric Prost. A Heterogeneous Pushout Approach to Term-Graph Transformation.	Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings 2009	(0)	2009
	Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories	CoRR 2009, Volume 0	(0)	2009
	Dominique Duval, Jean-Claude Reynaud. About raising and handling exceptions	CoRR 2009, Volume 0	(0)	2009
	Dominique Duval, César Domínguez. A parameterization process as a categorical construction	CoRR 2009, Volume 0	(0)	2009
	César Domínguez, Dominique Duval. Diagrammatic logic applied to a parameterization process	CoRR 2009, Volume 0	(0)	2009
	César Domínguez, Dominique Duval. A parameterization process, functorially	CoRR 2009, Volume 0	(0)	2009
	Dominique Duval. How to combine diagrammatic logics	CoRR 2009, Volume 0	(0)	2009
	Dominique Duval, Rachid Echahed, Frédéric Prost. Graph rewriting with polarized cloning	CoRR 2009, Volume 0	(0)	2009
	Dominique Duval, Rachid Echahed, Frédéric Prost. A Cloning Pushout Approach to Term-Graph Transformation	CoRR 2008, Volume 0	(0)	2008
	Dominique Duval, Rachid Echahed, Frédéric Prost. Adjunction for Garbage Collection with Application to Graph Rewriting.	Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings 2007	(0)	2007
	Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Sequential products in effect categories	CoRR 2007, Volume 0	(0)	2007
	Dominique Duval. Diagrammatic Inference	CoRR 2007, Volume 0	(0)	2007
	Dominique Duval, Rachid Echahed, Frédéric Prost. Modeling Pointer Redirection as Cyclic Term-graph Rewriting.	Electr. Notes Theor. Comput. Sci. 2007, Volume 176	(0)	2007
	Jean-Guillaume Dumas, Dominique Duval. Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox.	Actes des journéees Langages et Modèles à Objets, LMO'06. Nîmes, 22-24 mars 2006	(0)	2006
	Dominique Duval, Jean-Claude Reynaud. Diagrammatic logic and exceptions: an introduction.	Mathematics, Algorithms, Proofs, 9.-14. January 2005 2006	(0)	2005
	César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio. Towards Diagrammatic Specifications of Symbolic Computation Systems.	Mathematics, Algorithms, Proofs, 9.-14. January 2005 2006	(0)	2005
	Dominique Duval, Rachid Echahed, Frédéric Prost. Data-Structure Rewriting	CoRR 2005, Volume 0	(0)	2005
	Jean-Guillaume Dumas, Dominique Duval. Towards a diagrammatic modeling of the LinBox C++ linear algebra library	CoRR 2005, Volume 0	(0)	2005
	Dominique Duval. Diagrammatic Specifications.	Mathematical Structures in Computer Science 2003, Volume 13	(0)	2003
	Dominique Duval. Algebraic Numbers: An Example of Dynamic Evaluation.	J. Symb. Comput. 1994, Volume 18	(0)	1994
	Dominique Duval, Jean-Claude Reynaud. Sketches and Computation - I: Basic Definitions and Static Evaluation.	Mathematical Structures in Computer Science 1994, Volume 4	(0)	1994
	Dominique Duval, Jean-Claude Reynaud. Sketches and Computation - II: Dynamic Evaluation and Applications.	Mathematical Structures in Computer Science 1994, Volume 4	(0)	1994
	Dominique Duval, Pascale Sénéchaud. Sketches and Parametrization.	Theor. Comput. Sci. 1994, Volume 123	(0)	1994
	Dominique Duval, Françoise Jung. Examples of Problem Solving Using Computer Algebra.	Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991 1992	(0)	1991
	Dominique Duval. Absolute Factorization of Polynomials: A Geometric Approach.	SIAM J. Comput. 1991, Volume 20	(0)	1991
	Dominique Duval, Marie-Françoise Roy. Curves and Computer Algebra.	Geometry and Robotics, Workshop, Toulouse, France, May 26-28, 1988, Proceedings 1989	(0)	1988
	Claire Dicrescenzo, Dominique Duval. Algebraic Extensions and Algebraic Closure in Scratchpad II.	Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings 1989	(0)	1988
	Jean Della Dora, Claire Dicrescenzo, Dominique Duval. About a New Method for Computing in Algebraic Number Fields.	EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions 1985	(0)	1985
	Claire Dicrescenzo, Dominique Duval. Computations on Curves.	EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings 1984	(0)	1984

Your query returned 30 matches in the database.