Certified Approximation of Parametric Space Curves with Cubic B-spline Curves

Certified Exact Transcendental Real Number Computation in Coq

Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method

Certifying and reasoning on cost annotations of functional programs

Certifying controls and systems software

Certifying cost annotations in compilers

Certifying floating-point implementations using Gappa

CeSiC a new technology for lightweight and cost-effective space instrument structures and mirrors

CESIC: a new technology for lightweight and cost effective space instrument structures and mirrors

CFA2: a Context-Free Approach to Control-Flow Analysis

CFC-113 (CCl2F-CClF2) in the stratosphere

CFHT MOS/SIS spectrograph performance

CFRP composite thin-shelled mirrors for future space telescopes

CFRP truss for the CCAT 25m diameter submillimeter-wave telescope

Cg in Two Pages

CGH null design and fabrication for CFH telescope simulator

CGRaBS: survey of {gamma}-ray blazar candidates (Healey+, 2008)

CGRO Guest Investigator Program: Cycle 7

CGRO/EGRET observations of Centaurus X-3

CGS4 experience: two years later