Chris Reade

According to our database, Chris Reade authored at least 25 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Distributed construction of minimum Connected Dominating Set in wireless sensor network using two-hop information.

Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade

Comput. Networks, 2017

2016

Construction of minimum connected dominating set in wireless sensor networks using pseudo dominating set.

Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade, Ariyam Das

Ad Hoc Networks, 2016

2013

Determining the User Intent Behind Web Search Queries by Learning from Past User Interactions with Search Results.

Ariyam Das, Chittaranjan A. Mandal, Chris Reade

Proceedings of the 19th International Conference on Management of Data, 2013

2011

An improved greedy construction of minimum connected dominating sets in wireless networks.

Ariyam Das, Chittaranjan A. Mandal, Chris Reade, Manish Aasawat

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

2007

A System for Automatic Evaluation of C Programs: Features and Interfaces.

Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade

Int. J. Web Based Learn. Teach. Technol., 2007

Recipient Specific Electronic Cash - A Scheme for Recipient Specific Yet Anonymous and Tranferable Electronic Cash.

Chittaranjan A. Mandal, Chris Reade

Proceedings of the WEBIST 2007, 2007

Register Sharing Verification During Data-Path Synthesis.

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

Hand-in-hand verification of high-level synthesis.

Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

2006

Animating Algorithms over the Web.

Chittaranjan A. Mandal, Chris Reade

Proceedings of the WEBIST 2006, 2006

A System for Automatic Evaluation of Programs for Correctness and Performance.

Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade

Proceedings of the WEBIST 2006, 2006

Verification of Scheduling in High-level Synthesis.

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

A Formal Verification Method of Scheduling in High-level Synthesis.

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

2004

"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.

Chris Reade

J. Funct. Program., 2004

2002

Least Stratifications and Cell-Structured Objects in Geometric Modelling.

Chris Reade, Alan E. Middleditch, Abel João Padrão Gomes

Int. J. Shape Model., 2002

2001

Haskell: Language for Business Systems.

Dan Russell, Dominic Steinitz, Chris Reade

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

2000

Point-Sets and Cell Structures Relevant to Computer Aided Design.

Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes

Int. J. Shape Model., 2000

Improvements for the Djinn API to a Geometric Modelling Kernel.

Alan E. Middleditch, Chris Reade

Int. J. Shape Model., 2000

A Representation Independent Geometric Modeling Kernel.

Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes

Proceedings of the Geometric Modeling and Processing 2000, 2000

1999

Set-combinations of the mixed-dimension cellular objects of the Djinn API.

Alan E. Middleditch, Chris Reade, Abel João Padrão Gomes

Comput. Aided Des., 1999

A mathematical model for boundary representations of n-dimensional geometric objects.

Abel João Padrão Gomes, Alan E. Middleditch, Chris Reade

Proceedings of the Fifth ACM Symposium on Solid Modeling and Applications, 1999

1998

Issues and Solutions in Feature-Based Modelling: Re-Designing the Shape Kernel of CAD Systems.

Abel João Padrão Gomes, Alan E. Middleditch, Chris Reade

Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21^st Century: Innovation, 1998

1997

A Kernel for Geometric Features.

Alan E. Middleditch, Chris Reade

Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997

1993

Terminating Comprehensions.

Chris Reade

J. Funct. Program., 1993

1992

Balanced Trees with Removals: An Exercise in Rewriting and Proof.

Chris Reade

Sci. Comput. Program., 1992

1989

Elements of functional programming.

Chris Reade

International computer science series, Addison-Wesley, ISBN: 978-0-201-12915-1, 1989