The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dominique Duval: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dominique Duval, Jean-Claude Reynaud
    Diagrammatic logic and exceptions: an introduction. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  2. César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia
    Towards Diagrammatic Specifications of Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  3. Jean Della Dora, Claire Dicrescenzo, Dominique Duval
    About a New Method for Computing in Algebraic Number Fields. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:289-290 [Conf]
  4. Claire Dicrescenzo, Dominique Duval
    Computations on Curves. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1984, pp:100-107 [Conf]
  5. Dominique Duval, Marie-Françoise Roy
    Curves and Computer Algebra. [Citation Graph (0, 0)][DBLP]
    Geometry and Robotics, 1988, pp:28-42 [Conf]
  6. Dominique Duval, Françoise Jung
    Examples of Problem Solving Using Computer Algebra. [Citation Graph (0, 0)][DBLP]
    Programming Environments for High-Level Scientific Problem Solving, 1991, pp:133-143 [Conf]
  7. Claire Dicrescenzo, Dominique Duval
    Algebraic Extensions and Algebraic Closure in Scratchpad II. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:440-446 [Conf]
  8. Jean-Guillaume Dumas, Dominique Duval
    Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. [Citation Graph (0, 0)][DBLP]
    LMO, 2006, pp:117-134 [Conf]
  9. Dominique Duval, Rachid Echahed, Frédéric Prost
    Modeling Pointer Redirection as Cyclic Term-graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:65-84 [Journal]
  10. Dominique Duval
    Algebraic Numbers: An Example of Dynamic Evaluation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:5, pp:429-445 [Journal]
  11. Dominique Duval
    Diagrammatic Specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:6, pp:857-890 [Journal]
  12. Dominique Duval, Jean-Claude Reynaud
    Sketches and Computation - I: Basic Definitions and Static Evaluation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1994, v:4, n:2, pp:185-238 [Journal]
  13. Dominique Duval, Jean-Claude Reynaud
    Sketches and Computation - II: Dynamic Evaluation and Applications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1994, v:4, n:2, pp:239-271 [Journal]
  14. Dominique Duval
    Absolute Factorization of Polynomials: A Geometric Approach. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1991, v:20, n:1, pp:1-21 [Journal]
  15. Dominique Duval, Pascale Sénéchaud
    Sketches and Parametrization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:1, pp:117-130 [Journal]
  16. Dominique Duval, Rachid Echahed, Frédéric Prost
    Adjunction for Garbage Collection with Application to Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:122-136 [Conf]
  17. Dominique Duval, Rachid Echahed, Frédéric Prost
    Data-Structure Rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  18. Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
    Sequential products in effect categories [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  19. Dominique Duval
    Diagrammatic Inference [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  20. A Heterogeneous Pushout Approach to Term-Graph Transformation. [Citation Graph (, )][DBLP]


  21. Towards a diagrammatic modeling of the LinBox C++ linear algebra library [Citation Graph (, )][DBLP]


  22. A Cloning Pushout Approach to Term-Graph Transformation [Citation Graph (, )][DBLP]


  23. Cartesian effect categories are Freyd-categories [Citation Graph (, )][DBLP]


  24. About raising and handling exceptions [Citation Graph (, )][DBLP]


  25. A parameterization process as a categorical construction [Citation Graph (, )][DBLP]


  26. Diagrammatic logic applied to a parameterization process [Citation Graph (, )][DBLP]


  27. A parameterization process, functorially [Citation Graph (, )][DBLP]


  28. How to combine diagrammatic logics [Citation Graph (, )][DBLP]


  29. Graph rewriting with polarized cloning [Citation Graph (, )][DBLP]


  30. States and exceptions are dual effects [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.307secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002