Jacques Carette

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

17EEJacques Carette, William M. Farmer: High-Level Theories. AISC/MKM/Calculemus 2008: 232-245
16EEJacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine: Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus 2008: 24-37
15EEJacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238
14EEJacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
13EEJacques Carette: A canonical form for piecewise defined functions. ISSAC 2007: 77-84
12EEJacques Carette, Michael Kucera: Partial evaluation of Maple. PEPM 2007: 41-50
11EEJacques Carette: A canonical form for some piecewise defined functions CoRR abs/cs/0702010: (2007)
10EEJacques Carette, Ryszard Janicki: Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Inform. 80(1-3): 125-146 (2007)
9EEWenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan: Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268
8EEWolfram Kahl, Jacques Carette, Xiaoheng Ji: Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273
7EEJacques Carette, William M. Farmer: Preface. Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006)
6EEJacques Carette: Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62(1): 3-24 (2006)
5EEJacques Carette, Oleg Kiselyov: Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274
4EEWolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160
3EEJacques Carette, Pulak Kumar Chowdhury: Symbolic Interpretation of Legacy Assembly Language. WCRE 2005: 23-32
2EEJacques Carette: Understanding expression simplification. ISSAC 2004: 72-79
1EESergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le: Telescoping in the context of symbolic summation in Maple. J. Symb. Comput. 38(4): 1303-1326 (2004)

Coauthor Index

1Sergei A. Abramov [1]
2Christopher Kumar Anand [4] [16]
3Pulak Kumar Chowdhury [3]
4William M. Farmer [7] [14] [17]
5Keith O. Geddes [1]
6Ryszard Janicki [10]
7David J. Jeffrey [9]
8Xiaoheng Ji [8]
9Wolfram Kahl [4] [8]
10Oleg Kiselyov [5] [15]
11Alexandre Korobkine [16]
12Michael Kucera [12]
13Ha Q. Le [1]
14John McCutchan [16]
15Michael B. Monagan [9]
16Chung-chieh Shan [15]
17Spencer Smith [16]
18Volker Sorge [14]
19Wenqin Zhou [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)