Chris Reade

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