Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Chris
    Last name: Reade
    DBLP: 69/4941
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 25  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade.
    Distributed construction of minimum Connected Dominating Set in wireless sensor network using two-hop information.
    Computer Networks 2017, Volume 123 (0) 2017
    Journal article
    Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade, Ariyam Das.
    Construction of minimum connected dominating set in wireless sensor networks using pseudo dominating set.
    Ad Hoc Networks 2016, Volume 42 (0) 2016
    Conference paper
    Ariyam Das, Chittaranjan A. Mandal, Chris Reade.
    Determining the User Intent Behind Web Search Queries by Learning from Past User Interactions with Search Results.
    19th International Conference on Management of Data, COMAD 2013, Ahmedabad, India, December 19-21, 2013 2013 (0) 2013
    Conference paper
    Ariyam Das, Chittaranjan A. Mandal, Chris Reade, Manish Aasawat.
    An improved greedy construction of minimum connected dominating sets in wireless networks.
    2011 IEEE Wireless Communications and Networking Conference, WCNC 2011, Proceedings, Cancun, Mexico, 28-31 March, 2011 2011 (0) 2011
    Journal article
    Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade.
    A System for Automatic Evaluation of C Programs: Features and Interfaces.
    IJWLTT 2007, Volume 2 (0) 2007
    Conference paper
    Chittaranjan A. Mandal, Chris Reade.
    Recipient Specific Electronic Cash - A Scheme for Recipient Specific Yet Anonymous and Tranferable Electronic Cash.
    WEBIST 2007 - Proceedings of the Third International Conference on Web Information Systems and Technologies, Volume SeBeG/eL, Barcelona, Spain, March 3-6, 2007. 2007 (0) 2007
    Conference paper
    Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade.
    Hand-in-hand verification of high-level synthesis.
    Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007 2007 (0) 2007
    Conference paper
    Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade.
    Register Sharing Verification During Data-Path Synthesis.
    2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India 2007 (0) 2007
    Conference paper
    Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade.
    A Formal Verification Method of Scheduling in High-level Synthesis.
    7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA 2006 (0) 2006
    Conference paper
    Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade.
    Verification of Scheduling in High-level Synthesis.
    2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2-3 March 2006, Karlsruhe, Germany 2006 (0) 2006
    Conference paper
    Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade.
    A System for Automatic Evaluation of Programs for Correctness and Performance.
    WEBIST 2006, Proceedings of the Second International Conference on Web Information Systems and Technologies: Society, e-Business and e-Government / e-Learning, Setúbal, Portugal, April 11-13, 2006 2006 (0) 2006
    Conference paper
    Chittaranjan A. Mandal, Chris Reade.
    Animating Algorithms over the Web.
    WEBIST 2006, Proceedings of the Second International Conference on Web Information Systems and Technologies: Society, e-Business and e-Government / e-Learning, Setúbal, Portugal, April 11-13, 2006 2006 (0) 2006
    Conference paper
    Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade.
    A System for Automatic Evaluation of Programs for Correctness and Performance.
    Web Information Systems and Technologies, International Conferences, WEBIST 2005 and WEBIST 2006. Revised Selected Papers 2007 (0) 2006
    Conference paper
    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. 2004, Volume 14 (0) 2004
    Conference paper
    Chris Reade, Alan E. Middleditch, Abel J. P. Gomes.
    Least Stratifications and Cell-Structured Objects in Geometric Modelling.
    International Journal of Shape Modeling 2002, Volume 8 (0) 2002
    Conference paper
    Dan Russell, Dominic Steinitz, Chris Reade.
    Haskell: Language for Business Systems.
    Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 2002 (0) 2001
    Journal article
    Alan E. Middleditch, Chris Reade, Abel J. P. Gomes.
    Point-Sets and Cell Structures Relevant to Computer Aided Design.
    International Journal of Shape Modeling 2000, Volume 6 (0) 2000
    Journal article
    Alan E. Middleditch, Chris Reade.
    Improvements for the Djinn API to a Geometric Modelling Kernel.
    International Journal of Shape Modeling 2000, Volume 6 (0) 2000
    Conference paper
    Alan E. Middleditch, Chris Reade, Abel J. P. Gomes.
    A Representation Independent Geometric Modeling Kernel.
    GMP 2000 (0) 2000
    Conference paper
    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 (0) 1999
    Conference paper
    Alan E. Middleditch, Chris Reade, Abel J. P. Gomes.
    Set-combinations of the mixed-dimension cellular objects of the Djinn API.
    Computer-Aided Design 1999, Volume 31 (0) 1999
    Conference paper
    Abel J. P. Gomes, Alan E. Middleditch, Chris Reade.
    Issues and Solutions in Feature-Based Modelling: Re-Designing the Shape Kernel of CAD Systems.
    Globalization of Manufacturing in the Digital Communications Era of the 21 1998 (0) 1998
    Conference paper
    Alan E. Middleditch, Chris Reade.
    A Kernel for Geometric Features.
    Symposium on Solid Modeling and Applications 1997 (0) 1997
    Conference paper
    Chris Reade.
    Terminating Comprehensions.
    J. Funct. Program. 1993, Volume 3 (0) 1993
    Conference paper
    Chris Reade.
    Balanced Trees with Removals: An Exercise in Rewriting and Proof.
    Sci. Comput. Program. 1992, Volume 18 (0) 1992
    Show item 1 to 25 of 25  

    Your query returned 25 matches in the database.