| 2007 |
|---|
| 17 | EE | Chandan Karfa,
Dipankar Sarkar,
Chittaranjan A. Mandal,
Chris Reade:
Hand-in-hand verification of high-level synthesis.
ACM Great Lakes Symposium on VLSI 2007: 429-434 |
| 16 | EE | Chandan Karfa,
Chittaranjan A. Mandal,
Dipankar Sarkar,
Chris Reade:
Register Sharing Verification During Data-Path Synthesis.
ICCTA 2007: 135-140 |
| 2006 |
|---|
| 15 | EE | Chandan Karfa,
Chittaranjan A. Mandal,
Dipankar Sarkar,
S. R. Pentakota,
Chris Reade:
A Formal Verification Method of Scheduling in High-level Synthesis.
ISQED 2006: 71-78 |
| 14 | EE | Chandan Karfa,
Chittaranjan A. Mandal,
Dipankar Sarkar,
S. R. Pentakota,
Chris Reade:
Verification of Scheduling in High-level Synthesis.
ISVLSI 2006: 141-146 |
| 13 | | Amit Kumar Mandal,
Chittaranjan A. Mandal,
Chris Reade:
A System for Automatic Evaluation of Programs for Correctness and Performance.
WEBIST (2) 2006: 196-203 |
| 12 | | Chittaranjan A. Mandal,
Chris Reade:
Animating Algorithms over the Web.
WEBIST (2) 2006: 403-407 |
| 11 | EE | Amit Kumar Mandal,
Chittaranjan A. Mandal,
Chris Reade:
A System for Automatic Evaluation of Programs for Correctness and Performance.
WEBIST (Selected Papers) 2006: 367-380 |
| 2004 |
|---|
| 10 | EE | Chris Reade:
"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.
J. Funct. Program. 14(1): 125-128 (2004) |
| 2002 |
|---|
| 9 | | Chris Reade,
Alan E. Middleditch,
Abel J. P. Gomes:
Least Stratifications and Cell-Structured Objects in Geometric Modelling.
International Journal of Shape Modeling 8(1): 59-77 (2002) |
| 2001 |
|---|
| 8 | | Dan Russell,
Dominic Steinitz,
Chris Reade:
Haskell: Language for Business Systems.
Scottish Functional Programming Workshop 2001: 1-12 |
| 2000 |
|---|
| 7 | EE | Alan E. Middleditch,
Chris Reade,
Abel J. P. Gomes:
A Representation Independent Geometric Modeling Kernel.
GMP 2000: 79-89 |
| 1999 |
|---|
| 6 | EE | Abel J. P. Gomes,
Alan E. Middleditch,
Chris Reade:
A mathematical model for boundary representations of n-dimensional geometric objects.
Symposium on Solid Modeling and Applications 1999: 270-277 |
| 5 | EE | Alan E. Middleditch,
Chris Reade,
Abel J. P. Gomes:
Set-combinations of the mixed-dimension cellular objects of the Djinn API.
Computer-Aided Design 31(11): 683-694 (1999) |
| 1998 |
|---|
| 4 | | Abel J. P. Gomes,
Alan E. Middleditch,
Chris Reade:
Issues and Solutions in Feature-Based Modelling: Re-Designing the Shape Kernel of CAD Systems.
PROLAMAT 1998: 325-336 |
| 1997 |
|---|
| 3 | EE | Alan E. Middleditch,
Chris Reade:
A Kernel for Geometric Features.
Symposium on Solid Modeling and Applications 1997: 131-140 |
| 1993 |
|---|
| 2 | | Chris Reade:
Terminating Comprehensions.
J. Funct. Program. 3(2): 247-250 (1993) |
| 1992 |
|---|
| 1 | | Chris Reade:
Balanced Trees with Removals: An Exercise in Rewriting and Proof.
Sci. Comput. Program. 18(2): 181-204 (1992) |
