The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris Reade: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Chittaranjan A. Mandal, Chris Reade
    Animating Algorithms over the Web. [Citation Graph (0, 0)][DBLP]
    WEBIST (2), 2006, pp:403-407 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Chris Reade
    Terminating Comprehensions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:2, pp:247-250 [Journal]
  16. 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]
  17. 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.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002