The SCEAS System
| |||||||

## Search the dblp DataBase
Chris Reade:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade
**Hand-in-hand verification of high-level synthesis.**[Citation Graph (0, 0)][DBLP] ACM Great Lakes Symposium on VLSI, 2007, pp:429-434 [Conf] - Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
**A Representation Independent Geometric Modeling Kernel.**[Citation Graph (0, 0)][DBLP] GMP, 2000, pp:79-89 [Conf] - Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade
**A Formal Verification Method of Scheduling in High-level Synthesis.**[Citation Graph (0, 0)][DBLP] ISQED, 2006, pp:71-78 [Conf] - Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade
**Verification of Scheduling in High-level Synthesis.**[Citation Graph (0, 0)][DBLP] ISVLSI, 2006, pp:141-146 [Conf] - Abel J. P. Gomes, Alan E. Middleditch, Chris Reade
**Issues and Solutions in Feature-Based Modelling: Re-Designing the Shape Kernel of CAD Systems.**[Citation Graph (0, 0)][DBLP] PROLAMAT, 1998, pp:325-336 [Conf] - Dan Russell, Dominic Steinitz, Chris Reade
**Haskell: Language for Business Systems.**[Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 2001, pp:1-12 [Conf] - Abel J. P. Gomes, Alan E. Middleditch, Chris Reade
**A mathematical model for boundary representations of n-dimensional geometric objects.**[Citation Graph (0, 0)][DBLP] Symposium on Solid Modeling and Applications, 1999, pp:270-277 [Conf] - Alan E. Middleditch, Chris Reade
**A Kernel for Geometric Features.**[Citation Graph (0, 0)][DBLP] Symposium on Solid Modeling and Applications, 1997, pp:131-140 [Conf] - Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade
**A System for Automatic Evaluation of Programs for Correctness and Performance.**[Citation Graph (0, 0)][DBLP] WEBIST (2), 2006, pp:196-203 [Conf] - Chittaranjan A. Mandal, Chris Reade
**Animating Algorithms over the Web.**[Citation Graph (0, 0)][DBLP] WEBIST (2), 2006, pp:403-407 [Conf] - Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade
**Register Sharing Verification During Data-Path Synthesis.**[Citation Graph (0, 0)][DBLP] ICCTA, 2007, pp:135-140 [Conf] - Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
**Set-combinations of the mixed-dimension cellular objects of the Djinn API.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 1999, v:31, n:11, pp:683-694 [Journal] - Chris Reade, Alan E. Middleditch, Abel J. P. Gomes
**Least Stratifications and Cell-Structured Objects in Geometric Modelling.**[Citation Graph (0, 0)][DBLP] International Journal of Shape Modeling, 2002, v:8, n:1, pp:59-77 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:1, pp:125-128 [Journal] - Chris Reade
**Terminating Comprehensions.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:2, pp:247-250 [Journal] - Chris Reade
**Balanced Trees with Removals: An Exercise in Rewriting and Proof.**[Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1992, v:18, n:2, pp:181-204 [Journal] - Amit Mandal, Chittaranjan A. Mandal, Chris Reade
**A System for Automatic Evaluation of Programs for Correctness and Performance.**[Citation Graph (0, 0)][DBLP] WEBIST (Selected Papers), 2006, pp:367-380 [Conf]
Search in 0.005secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

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