The SCEAS System
| |||||||

## Search the dblp DataBase
Jacques Carette:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - Jacques Carette
**Understanding expression simplification.**[Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:72-79 [Conf] - Wolfram Kahl, Jacques Carette, Xiaoheng Ji
**Bimonadic Semantics for Basic Pattern Matching Calculi.**[Citation Graph (0, 0)][DBLP] MPC, 2006, pp:253-273 [Conf] - Jacques Carette, Michael Kucera
**Partial evaluation of Maple.**[Citation Graph (0, 0)][DBLP] PEPM, 2007, pp:41-50 [Conf] - Jacques Carette, Pulak Kumar Chowdhury
**Symbolic Interpretation of Legacy Assembly Language.**[Citation Graph (0, 0)][DBLP] WCRE, 2005, pp:23-32 [Conf] - 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] - 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] - 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] - Jacques Carette
**A canonical form for piecewise defined functions.**[Citation Graph (0, 0)][DBLP] ISSAC, 2007, pp:77-84 [Conf] - 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] - Jacques Carette
**A canonical form for some piecewise defined functions**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] **Case Studies in Model Manipulation for Scientific Computing.**[Citation Graph (, )][DBLP]**High-Level Theories.**[Citation Graph (, )][DBLP]**Mechanized Mathematics.**[Citation Graph (, )][DBLP]**Symbolic Domain Decomposition.**[Citation Graph (, )][DBLP]**Finally Tagless, Partially Evaluated.**[Citation Graph (, )][DBLP]**A Review of Mathematical Knowledge Management.**[Citation Graph (, )][DBLP]**The Power of Vocabulary: The Case of Cyclotomic Polynomials**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |