Elements of functional programming. - Chris Reade (Addison-Wesley, 1989)

Balanced Trees with Removals: An Exercise in Rewriting and Proof. - Chris Reade (Sci. Comput. Program., 1992)

Terminating Comprehensions. - Chris Reade (J. Funct. Program., 1993)

A Kernel for Geometric Features. - Alan E. Middleditch; Chris Reade (Symposium on Solid Modeling and Applications, 1997)

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 (PROLAMAT, 1998)

A mathematical model for boundary representations of n-dimensional geometric objects. - Abel João Padrão Gomes; Alan E. Middleditch; Chris Reade (Symposium on Solid Modeling and Applications, 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 Representation Independent Geometric Modeling Kernel. - Alan E. Middleditch; Chris Reade; Abel João Padrão Gomes (GMP, 2000)

Improvements for the Djinn API to a Geometric Modelling Kernel. - Alan E. Middleditch; Chris Reade (Int. J. Shape Model., 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)

Haskell: Language for Business Systems. - Dan Russell; Dominic Steinitz; Chris Reade (Scottish Functional Programming Workshop, 2001)

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)

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

A Formal Verification Method of Scheduling in High-level Synthesis. - Chandan Karfa; Chittaranjan A. Mandal; Dipankar Sarkar 001; S. R. Pentakota; Chris Reade (ISQED, 2006)

Verification of Scheduling in High-level Synthesis. - Chandan Karfa; Chittaranjan A. Mandal; Dipankar Sarkar 001; S. R. Pentakota; Chris Reade (ISVLSI, 2006)

A System for Automatic Evaluation of Programs for Correctness and Performance. - Amit Kumar Mandal; Chittaranjan A. Mandal; Chris Reade (WEBIST (Selected Papers), 2006)

Animating Algorithms over the Web. - Chittaranjan A. Mandal; Chris Reade (WEBIST (2), 2006)

Hand-in-hand verification of high-level synthesis. - Chandan Karfa; Dipankar Sarkar 001; Chittaranjan A. Mandal; Chris Reade (ACM Great Lakes Symposium on VLSI, 2007)

Register Sharing Verification During Data-Path Synthesis. - Chandan Karfa; Chittaranjan A. Mandal; Dipankar Sarkar 001; Chris Reade (ICCTA, 2007)

Recipient Specific Electronic Cash - A Scheme for Recipient Specific Yet Anonymous and Tranferable Electronic Cash. - Chittaranjan A. Mandal; Chris Reade (WEBIST (3), 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)

An improved greedy construction of minimum connected dominating sets in wireless networks. - Ariyam Das; Chittaranjan A. Mandal; Chris Reade; Manish Aasawat (WCNC, 2011)

Determining the User Intent Behind Web Search Queries by Learning from Past User Interactions with Search Results. - Ariyam Das; Chittaranjan A. Mandal; Chris Reade (COMAD, 2013)

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)

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)