The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jacques Carette: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
    Control-Flow Semantics for Assembly-Level Data-Flow Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:147-160 [Conf]
  2. Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
    Hierarchical Representations with Signatures for Large Expression Management. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:254-268 [Conf]
  3. Jacques Carette, Oleg Kiselyov
    Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:256-274 [Conf]
  4. Jacques Carette
    Understanding expression simplification. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:72-79 [Conf]
  5. Wolfram Kahl, Jacques Carette, Xiaoheng Ji
    Bimonadic Semantics for Basic Pattern Matching Calculi. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:253-273 [Conf]
  6. Jacques Carette, Michael Kucera
    Partial evaluation of Maple. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:41-50 [Conf]
  7. Jacques Carette, Pulak Kumar Chowdhury
    Symbolic Interpretation of Legacy Assembly Language. [Citation Graph (0, 0)][DBLP]
    WCRE, 2005, pp:23-32 [Conf]
  8. Jacques Carette, William M. Farmer
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:1-2 [Journal]
  9. Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le
    Telescoping in the context of symbolic summation in Maple. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:38, n:4, pp:1303-1326 [Journal]
  10. Jacques Carette
    Gaussian Elimination: A case study in efficient genericity with MetaOCaml. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:1, pp:3-24 [Journal]
  11. Jacques Carette
    A canonical form for piecewise defined functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2007, pp:77-84 [Conf]
  12. Jacques Carette, William M. Farmer, Volker Sorge
    A Rational Reconstruction of a System for Experimental Mathematics. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:13-26 [Conf]
  13. Jacques Carette
    A canonical form for some piecewise defined functions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  14. Case Studies in Model Manipulation for Scientific Computing. [Citation Graph (, )][DBLP]


  15. High-Level Theories. [Citation Graph (, )][DBLP]


  16. Mechanized Mathematics. [Citation Graph (, )][DBLP]


  17. Symbolic Domain Decomposition. [Citation Graph (, )][DBLP]


  18. Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]


  19. A Review of Mathematical Knowledge Management. [Citation Graph (, )][DBLP]


  20. The Power of Vocabulary: The Case of Cyclotomic Polynomials [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002