Chris Reade

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 2

Top Topics

Energy Consumption

Connected Dominating Set

User Interaction

Facility Location Problem

Top Venues

Ad Hoc Networks

Comput. Networks

Publications

Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade
Distributed construction of minimum Connected Dominating Set in wireless sensor network using two-hop information. Comput. Networks 123 (2017)
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 42 (2016)
Ariyam Das, Chittaranjan A. Mandal, Chris Reade
Determining the User Intent Behind Web Search Queries by Learning from Past User Interactions with Search Results. COMAD (2013)
Ariyam Das, Chittaranjan A. Mandal, Chris Reade, Manish Aasawat
An improved greedy construction of minimum connected dominating sets in wireless networks. WCNC (2011)
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade
Hand-in-hand verification of high-level synthesis. ACM Great Lakes Symposium on VLSI (2007)
Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade
Register Sharing Verification During Data-Path Synthesis. ICCTA (2007)
Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade
A System for Automatic Evaluation of C Programs: Features and Interfaces. Int. J. Web Based Learn. Teach. Technol. 2 (4) (2007)
Chittaranjan A. Mandal, Chris Reade
Recipient Specific Electronic Cash - A Scheme for Recipient Specific Yet Anonymous and Tranferable Electronic Cash. WEBIST (3) (2007)
Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade
Verification of Scheduling in High-level Synthesis. ISVLSI (2006)
Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade
A System for Automatic Evaluation of Programs for Correctness and Performance. WEBIST (Selected Papers) (2006)
Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade
A System for Automatic Evaluation of Programs for Correctness and Performance. WEBIST (2) (2006)
Chittaranjan A. Mandal, Chris Reade
Animating Algorithms over the Web. WEBIST (2) (2006)
Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade
A Formal Verification Method of Scheduling in High-level Synthesis. ISQED (2006)
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) (2004)
Chris Reade, Alan E. Middleditch, Abel João Padrão Gomes
Least Stratifications and Cell-Structured Objects in Geometric Modelling. Int. J. Shape Model. 8 (1) (2002)
Dan Russell, Dominic Steinitz, Chris Reade
Haskell: Language for Business Systems. Scottish Functional Programming Workshop (2001)
Alan E. Middleditch, Chris Reade
Improvements for the Djinn API to a Geometric Modelling Kernel. Int. J. Shape Model. 6 (1) (2000)
Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes
Point-Sets and Cell Structures Relevant to Computer Aided Design. Int. J. Shape Model. 6 (2) (2000)
Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes
A Representation Independent Geometric Modeling Kernel. GMP (2000)
Abel João Padrão Gomes, Alan E. Middleditch, Chris Reade
A mathematical model for boundary representations of n-dimensional geometric objects. Symposium on Solid Modeling and Applications (1999)
Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes
Set-combinations of the mixed-dimension cellular objects of the Djinn API. Comput. Aided Des. 31 (11) (1999)
Abel João Padrão Gomes, Alan E. Middleditch, Chris Reade
Issues and Solutions in Feature-Based Modelling: Re-Designing the Shape Kernel of CAD Systems. PROLAMAT (1998)
Alan E. Middleditch, Chris Reade
A Kernel for Geometric Features. Symposium on Solid Modeling and Applications (1997)
Chris Reade
Terminating Comprehensions. J. Funct. Program. 3 (2) (1993)
Chris Reade
Balanced Trees with Removals: An Exercise in Rewriting and Proof. Sci. Comput. Program. 18 (2) (1992)