Technical Reports

2012

Tim Kovacs, A latex style file for conference booklets. , Department of Computer Science. September 2012. No electronic version available. External information
Elena Corina Grigore, Kerstin Eder, Anthony Pipe, Christopher Melhuish, Ute Leonards, Joint Action Understanding improves Robot-to-Human Object Handover. CSTR-12-004, University of Bristol. September 2012. PDF, 634 Kbytes.
Irwandi Mohamad Hipiny, Walterio Mayol-Cuevas, Recognising Egocentric Activities from Gaze Regions with Multiple-Voting Bag of Words. CSTR-12-003, University of Bristol. August 2012. PDF, 7996 Kbytes.
Kerstin Eder, Intellectual Challenges in Energy-Aware COmputing (EACO). , University of Bristol, EACO Initiative. April 2012. No electronic version available. External information
Suleiman Abu Kharmeh, Kerstin Eder, David May, Complexity of Hardware Design and Model-Checking: An Asymptotic Analysis of State-Machine Metrics. CSTR-12-002, University of Bristol. March 2012. PDF, 598 Kbytes.

2011

Kerstin Eder, Intellectual Challenges in Energy-Aware COmputing (EACO). CSTR-11-006, University of Bristol, EACO Initiative. October 2011. PDF, 89 Kbytes.
Osian Haines, Andrew Calway, Estimating planar structure in single images by learning from examples. CSTR-11-005, University of Bristol. October 2011. PDF, 1746 Kbytes.
Philipp Grabher, Johann Großschädl, Simon Hoerder, Kimmo Jarvinen, Dan Page, Stefan Tillich, Marcin Wójcik, An Exploration of Mechanisms for Dynamic Cryptographic Instruction Set Extension. CSTR-11-004, Department of Computer Science, University of Bristol. August 2011. PDF, 237 Kbytes.
Kerstin Eder, Summary of the 1st Workshop on Energy-Aware COmputing (EACO) on Wednesday, 25th May 2011. CSTR-11-003, University of Bristol, EACO Initiative. July 2011. PDF, 83 Kbytes.
Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Christopher Melhuish, Towards Safe Human-Robot Interaction. CSTR-11-002, University of Bristol. January 2011. PDF, 415 Kbytes.

2010

Tim Kovacs, Elaboration on the policy improvement theorem for soft policies in reinforcement learning. CSTR-10-007, University of Bristol. October 2010. No electronic version available.
Tim Kovacs, Robert Egginton, Software for Experiments. CSTR-10-006, University of Bristol. July 2010. PDF, 573 Kbytes.
Sebastian Spiegler, EMMA: A Novel Evaluation Metric for Morphological Analysis - Experimental Results in Detail. CSTR-10-004, University of Bristol. July 2010. PDF, 121 Kbytes.
Sebastian Spiegler, Andrew van der Spuy, Peter A. Flach, Additional material for the Ukwabelana Zulu corpus. CSTR-10-003, University of Bristol. July 2010. PDF, 104 Kbytes.
Tania Pouli, Douglas Cunningham, Erik Reinhard, Statistical Regularities in Low and High Dynamic Range Images. CSTR-10-002, University of Bristol. April 2010. PDF, 1434 Kbytes.
Charalambos Ioannides, Kerstin Eder, Coverage Directed Test Generation automated by Machine Learning. CSTR-11-001, University of Bristol. March 2010. PDF, 550 Kbytes.

2009

Izdihar Jamil, Communication around Interactive Table. , University of Bristol. November 2009. PDF, 302 Kbytes.
Izdihar Jamil, Jason Alexander, Sriram Subramanian, Talking Children and Tables: Conversation Styles of Children around Interactive and Non-Interactive Tables. , University of Bristol. November 2009. PDF, 626 Kbytes.
Izdihar Jamil, Sriram Subramanian, Forms of Visibility and Intrusion in learning. CSTR-09-005, University of Bristol. October 2009. PDF, 64 Kbytes.
Fangfang Yuan, Kerstin Eder, A Generic Instruction Set Architecture Model in Event-B for Early Design Space Exploration. CSTR-09-006, University of Bristol. September 2009. PDF, 272 Kbytes.
Robert Granger, Andrew Moss, Nigel Smart, Efficient Arithmetic Modulo Minimal Redundancy Cyclotomic Primes. CSTR-09-004, Claude Shannon Institute, Ireland and University of Bristol. August 2009. PDF, 273 Kbytes.
James Marshall, Thomas Hinton, Beyond no free lunch: realistic algorithms for arbitrary problem classes. CSTR-09-003, University of Bristol. July 2009. No electronic version available. External information
Narayanan Edakunni, Tim Kovacs, Probabilistic Modeling of UCS : a theoretical study. CSTR-09-002, University of Bristol. April 2009. No electronic version available.
Steve Wright, MIDAS Machine Specification. , Department of Computer Science, University of Bristol. March 2009. PDF, 185 Kbytes.
M. Barbosa, A. Moss, D. Page, Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. CSTR-11-003, Department of Computer Science, University of Bristol. January 2009. PDF, 278 Kbytes.
Christopher Evans, Notes on the OpenSURF Library. CSTR-09-001, University of Bristol. January 2009. PDF, 2539 Kbytes. External information

2008

Peter Flach, Separating the wheat from the chaff with machine learning. CSTR-10-001, University of Bristol. November 2008. PDF, 119 Kbytes. External information
Tim Kovacs, Aims, Objectives and Guidelines for PhD students. CSTR-08-002, University of Bristol. November 2008. No electronic version available. External information
Tim Kovacs, Artificial Intelligence through Search: Solving Sudoku Puzzles. CSTR-08-003, Department of Computer Science, University of Bristol. October 2008. PDF, 212 Kbytes.
Stephen Wright, Midas Design Document. CSTR-06-014, Department of Computer Science. April 2008. PDF, 144 Kbytes.
Steve Gregory, Local Betweenness for Finding Communities in Networks. , University of Bristol. February 2008. PDF, 413 Kbytes.
Robert Granger, Andrew Moss, Nigel Smart, Efficient Arithmetic Modulo Cyclotomic Primes. CSTR-08-001, University of Bristol. February 2008. PDF, 109 Kbytes.

2007

Emma Tonkin, Andrew Charlesworth, Implementing FE/HE Data Protection Practices in a Proof-of-Concept Legal Metadata Schema. CSTR-07-007, University of Bristol. October 2007. No electronic version available. External information
Aaron Genest, Sriram Subramanian, Learning the Land: CSCW in the Arctic. CSTR-07-009, University of Saskatchewan - HCI-TR-07-02,. September 2007. PDF, 1082 Kbytes.
Miguel Nacenta, Dima Aliakseyeu, Tad Stach, Carl Gutwin, Sriram Subramanian, Two Experiments on Co-located Mobile Groupware. CSTR-07-008, University of Saskatchewan - HCI-USASK Tech. Report 2007-1. June 2007. PDF, 5610 Kbytes.
Chris Seaton, A Programming Language Where the Syntax and Semantics Are Mutable at Runtime. CSTR-07-005, University of Bristol. June 2007. PDF, 325 Kbytes.
Robert Egginton, Thomas Hinton, Tim Kovacs, Tobias Larsen, Some Observations on the General Problem of Sensor Planning. CSTR-07-011, University of Bristol. May 2007. PDF, 110 Kbytes.
Dan Page, Embedded Implementation of LASH. CSTR-07-003, University of Bristol. May 2007. PDF, 135 Kbytes.
Emma Tonkin, Traugott Koch, IESR: UDDI Summary Report. CSTR-07-002, UKOLN. March 2007. No electronic version available. External information
Steve Gregory, Martha Paschali, A Prolog-based language for workflow programming. CSTR-07-001, University of Bristol. February 2007. PDF, 171 Kbytes.

2006

Veronica Sundstedt, Diego Gutierrez, Oscar Anson, Francesco Banterle, Alan Chalmers, Perceptual Rendering of Participating Media. CSTR-06-021, Department of Computer Science. December 2006. No electronic version available.
Emma Tonkin, Review: Ambient Findability. CSTR-06-019, Ariadne Issue 49 (ISSN: 1361-3200). October 2006. No electronic version available. External information
Emma L Tonkin, Greg Tourte, Video Streaming of Events. CSTR-06-018, Ariadne Issue 49 (ISSN: 1361-3200). October 2006. No electronic version available. External information
David May, CSPIC - a Low-power Microcontroller. CSTR-06-011, University of Bristol, UK. August 2006. No electronic version available.
Ian Anderson, Henk Muller, Practical Activity Recognition using GSM Data. CSTR-06-016, Department of Computer Science, University of Bristol. July 2006. PDF, 146 Kbytes.
Robert Granger, Nigel Smart, On Computing Products of Pairings. CSTR-06-013, University of Bristol. May 2006. No electronic version available.
Henk Muller, Cliff Randell, Andrew Moss, A 10mW Wearable Positioning System. CSTR-06-015, University of Bristol. April 2006. PDF, 143 Kbytes.
Douglas Watt, David May, A Language and Processor for Unifying System-on-Chip Design. CSTR-06-010, University of Bristol, UK. April 2006. No electronic version available.
Emma Tonkin, Marieke Guy, Folksonomia E Tag: La Ricerca Sul Funzionamento Dei Tag. CSTR-06-008, New Media. February 2006. No electronic version available. External information
Emma Tonkin, Marieke Guy, Folcsonomías y Tags: Como Lograr Un Tagging Efectivo. CSTR-06-007, New Media. February 2006. No electronic version available. External information

2005

R. Hutchings, Walterio Mayol-Cuevas, Building recognition for mobile devices: incorporating positional information with visual features. CSTR-06-017, Computer Science, University of Bristol. December 2005. PDF, 2700 Kbytes.
Veronica Sundstedt, Kurt Debattista, Alan Chalmers, Tom Troscianko, Rendering and Evaluation of High-Fidelity Graphics using Region-of-Interest. CSTR-06-001, University of Bristol. December 2005. PDF, 4 Kbytes.
Igor Devetak, Aram Harrow, Andreas Winter, A Resource Framework for Quantum Shannon Theory. CSTR-05-008, . December 2005. No electronic version available. External information
Walterio Mayol-Cuevas, Takeshi Kurata, Tutorial: Computer Vision for Wearable Visual Interface. CSTR-07-010, University of Bristol/AIST Tsukuba. October 2005. PDF, 15162 Kbytes.
Kirsten Cater, Constance Fleuriot, Richard Hull, Josephine Reid, Experience Design Guidelines for Creating Situated Mediascapes. CSTR-06-009, . October 2005. PDF, 3734 Kbytes.
Michael McCarthy, Henk L. Muller, Positioning with Independent Ultrasonic Beacons. CSTR-05-005, Department of Computer Science, University of Bristol. September 2005. PDF, 130 Kbytes.
P. Grabher, D. Page, Hardware Acceleration of the Tate Pairing in Characteristic Three. , Department of Computer Science, University of Bristol. August 2005. PDF, 161 Kbytes.
Emma Tonkin, UDDI and IESR. CSTR-06-006, UKOLN. August 2005. No electronic version available. External information
Brian Kelly, Paul Shabajee, Emma Tonkin, Using Networked Technologies To Support Conferences. CSTR-06-003, EUNIS 2005 Conference Proceedings (CD-ROM). June 2005. No electronic version available. External information
Kerstin Eder, Hsiou-Wen Hsueh, Towards Inducing Stimulus Generation Directives from Functional Coverage Data. CSTR-05-004, University of Bristol. June 2005. No electronic version available.
Cliff Randell, Wearable Computing: A Review . CSTR-06-004, University of Bristol. April 2005. PDF, 1549 Kbytes.
Kurt Debattista, Veronica Sundstedt, Luis Paulo dos Santos, Alan Chalmers, Selective Rendering by Components. CSTR-05-002, University of Bristol. January 2005. No electronic version available.

2004

Dan Page, Parallel Solution of Sparse Linear Systems Defined Over GF(p). CSTR-05-003, University of Bristol. November 2004. PDF, 257 Kbytes.
Simon Price, A review of the state of the art in Machine Learning on the Semantic Web. , Department of Computer Science, University of Bristol. October 2004. PDF, 227 Kbytes.
Dave Bacon, Isaac Chuang, Aram Harrow, Efficient Quantum Circuits for Schur and Clebsch-Gordan Transforms. CSTR-05-007, . July 2004. No electronic version available. External information
Imran Ghory, Reinforcement Learning in Board Games. CSTR-04-004, Department of Computer Science, University of Bristol. May 2004. PDF, 1072 Kbytes.
J. Malone-Lee, Signcryption with Non-Interactive Non-Repudiation. CSTR-02-004, Department of Computer Science, University of Bristol. May 2004. PDF, 223 Kbytes.

2003

James Revell, Majid Mirmehdi, Donal McNally, Ultrasound Speckle Tracking For Strain Estimation. CSTR-04-005, Department of Computer Science, University of Bristol. December 2003. PDF, 388 Kbytes.
Oliver Ray, HAIL: Hybrid Abductive Inductive Learning. Technical Rept. , Department of Computing, Imperial College London. July 2003. PDF, 1172 Kbytes.
Martin Gaedke, Martin Nussbaumer, Emma Tonkin, WebComposition Service Linking System: Supporting development, federation and evolution of service-oriented Web applications. CSTR-06-002, Proceedings of the Third Int. Workshop on Web-oriented Software Technology (IWWOST 2003). June 2003. No electronic version available. External information
James Marshall, On the suitability of the 2 x 2 games for studying reciprocal cooperation and kin selection. CSTR-05-006, University of Bristol. June 2003. No electronic version available. External information
J. Irwin, H. L. Muller, D. Page, N. P. Smart, B. W. Silverman, Probabilistic Instruction Execution: The MAYBE Predicate. CSTR-03-005, Department of Computer Science, University of Bristol. March 2003. PDF, 85 Kbytes.
Simone Severini, On the Cayley digraphs that are patterns of unitary matrices. CSTR-03-004, Department of Computer Science, University of Bristol. March 2003. No electronic version available. External information
Dhiraj K Pradhan, Structural and Algebraic Coding Theory Based Approach to SAT Solvers. CSTR-03-003, Department of Computer Science, University of Bristol. March 2003. No electronic version available. External information
Johannes Furnkranz, Peter Flach, An Analysis of Rule Learning Heuristics. CSTR-03-002, Department of Computer Science, University of Bristol. February 2003. PDF, 178 Kbytes.
Tim Kovacs, Stuart I. Reynolds, A Proposal for Population-Based Reinforcement Learning. CSTR-03-001, Department of Computer Science, University of Bristol. January 2003. PDF, 184 Kbytes.

2002

Kate Devlin, A review of tone reproduction techniques. CSTR-02-005, Department of Computer Science, University of Bristol. November 2002. PDF, 100 Kbytes.
Tom Rodden, Adrian Friday, Henk Muller, Alan Dix, A lightweight approach to managing privacy in location-based services, Equator-02-058. CSTR-07-006, University of Nottingham and Lancaster University and University of Bristol. October 2002. PDF, 341 Kbytes.
D. Page, Theoretical Use of Cache Memory as a Cryptanalytic Side-Channel. CSTR-02-003, Department of Computer Science, University of Bristol. June 2002. PDF, 183 Kbytes.
John May, Component-Based Software Reliability Analysis. CSTR-02-002, Department of Computer Science, University of Bristol. May 2002. PDF, 186 Kbytes.
Annie Yao, Andrew Calway, Robust Estimation of 3-D Camera Motion for Uncalibrated Augmented Reality. CSTR-02-001, Department of Computer Science, University of Bristol. March 2002. PDF, 1312 Kbytes.

2001

J. Irwin, D. Page, N. P. Smart, Instruction Stream Mutation for Non-Deterministic Processors. CSTR-01-008, Department of Computer Science, University of Bristol. December 2001. PDF, 120 Kbytes.
D. Page, N. Sidwell, A Fetch Resident Split Jump Mechanism for Non-Deterministic Processors. CSTR-01-007, Department of Computer Science, University of Bristol. December 2001. PDF, 46 Kbytes.
Paul Clark, Majid Mirmehdi, On the Recovery of Oriented Documents from Single Images. CSTR-01-004, Department of Computer Science, University of Bristol. November 2001. PDF, 822 Kbytes.
Cliff Randell, Henk Muller, The eSleeve: An Arm Mounted Wearable Computing System. CSTR-01-002, Department of Computer Science, University of Bristol. November 2001. PDF, 501 Kbytes.
David May, Picochip Instruction Set Proposal. CSTR-06-012, . September 2001. No electronic version available.
Amelie Deltour, Tertius extension to Weka. CSTR-01-001, Department of Computer Science, University of Bristol. September 2001. PDF, 84 Kbytes.
John P. Gallagher, German Puebla, Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. CSTR-01-003, Department of Computer Science, University of Bristol. May 2001. PDF, 253 Kbytes.

2000

N. P. Smart, A note on the x-coordinate of points on an elliptic curve in characteristic two.. CSTR-00-019, Department of Computer Science, University of Bristol. December 2000. PDF, 126 Kbytes.
Peter A. Flach, On the state of the art in Machine Learning: a personal review. CSTR-00-018, Department of Computer Science, University of Bristol. December 2000. PDF, 120 Kbytes.
N. P. smart, How secure are elliptic curves over composite extension fields?. CSTR-00-017, Department of Computer Science, University of Bristol. November 2000. PDF, 198 Kbytes.
P. Gaudry, F. Hess, N. P. Smart, Constructive and Destructive Facets of Weil Descent on Elliptic Curves. CSTR-00-016, Department of Computer Science, University of Bristol. October 2000. PDF, 337 Kbytes.
John P. Gallagher, Julio C. Peralta, Regular Trees as an Abstract Domain for Program Specialisation . CSTR-00-010, Department of Computer Science, University of Bristol. September 2000. PDF, 334 Kbytes.
H. Barnum, C. M. Caves, C. A. Fuchs, R. Jozsa, B. W. Schumacher, On quantum coding for ensembles of mixed states. CSTR-00-015, Department of Computer Science, University of Bristol. August 2000. PDF, 242 Kbytes.
H. Barnum, H. J. Bernstein, L. Spector, Quantum circuits for OR and AND of OR's. CSTR-00-014, Department of Computer Science, University of Bristol. August 2000. PDF, 234 Kbytes.
H. Barnum, Information-disturbance tradeoff in quantum measurement on the uniform ensemble. CSTR-00-013, Department of Computer Science, University of Bristol. August 2000. PDF, 279 Kbytes.
H. Barnum, Quantum rate-distortion coding. CSTR-00-012, Department of Computer Science, University of Bristol. August 2000. PDF, 168 Kbytes.
Cliff Randell, Henk Muller, Context Awareness by Analysing Accelerometer Data. CSTR-00-009, Department of Computer Science, University of Bristol. August 2000. PDF, 107 Kbytes.
F. Hess, G. Seroussi, N. P. Smart, Two topics in hyperelliptic cryptography. CSTR-00-008, Department of Computer Science, University of Bristol. June 2000. PDF, 197 Kbytes.
N. P. Smart, A comparison of different finite fields for use in elliptic curve cryptosystems. CSTR-00-007, Department of Computer Science, University of Bristol. June 2000. PDF, 163 Kbytes.
H. Muller, N. P. Smart, A wearable public key infrastructure (WPKI). CSTR-00-006, Department of Computer Science, University of Bristol. June 2000. PDF, 111 Kbytes.
David May, Henk Muller, Shondip Sen, Hardware Migratable Channels. CSTR-00-005, Department of Computer Science, University of Bristol. March 2000. PDF, 70 Kbytes.
Edward Ross, Intelligent User Interfaces: Survey and Research Directions. CSTR-00-004, Department of Computer Science, University of Bristol. March 2000. PDF, 208 Kbytes.
Ljupco Todorovski, Peter Flach, Nada Lavrac, A report on experiments with weighted relative accuracy in CN2. CSTR-00-003, Department of Computer Science, University of Bristol. March 2000. PDF, 202 Kbytes.
Nada Lavrac, Peter Flach, An extended transformation approach to Inductive Logic Programming. CSTR-00-002, Department of Computer Science, University of Bristol. March 2000. PDF, 166 Kbytes.
Ian Holyer, Huseyin Pehlivan, An Automatic Make Facility. CSTR-00-001, Department of Computer Science, University of Bristol. January 2000. PDF, 138 Kbytes.

1999

Neil Davies, Judy Holyer, Peter Thompson, A Queueing Theory Model that Enables Control of Loss and Delay at a Network Switch. CSTR-99-011, Department of Computer Science, University of Bristol. November 1999. PDF, 266 Kbytes.
Neil Davies, Judy Holyer, Adam Stephens, Peter Thompson, Generating Service Level Agreements from User Requirements. CSTR-99-010, Department of Computer Science, University of Bristol. November 1999. PDF, 34 Kbytes.
Helen Wilson, Jeremy Bradley, A Note on the Proof of Reduction of Biconnected Digraphs to Normal Forms. CSTR-99-009, Department of Computer Science, University of Bristol. September 1999. PDF, 287 Kbytes.
Martijn Stam, Toggling schemes for electronic voting. CSTR-04-001, Technische Universiteit Eindhoven. June 1999. PDF, 822 Kbytes.
N Davies, J Holyer, P Thompson, End-to-End Management of Mixed Applications Across Networks. CSTR-99-008, Department of Computer Science, University of Bristol. May 1999. No electronic version available.
T. S. Dahl, Background Knowledge in the Tertius First Order Knowledge Discovery Tool . CSTR-99-006, Department of Computer Science, University of Bristol. March 1999. PDF, 109 Kbytes.
Neil Davies, Judy Holyer, Adam Stephens, Peter Thompson, Generating Service Level Agreements from User Requirements. CSTR-99-004, Department of Computer Science, University of Bristol. March 1999. No electronic version available.
Neil Davies, Judy Holyer, Peter Thompson, An Operational Model to Control Loss and Delay of Traffic at a Network Switch. CSTR-99-005, Department of Computer Science, University of Bristol. March 1999. No electronic version available.
J Bradley, N Davies, An Aggregation Technique for Analysing Some Generally Distributed Stochastic Processes. CSTR-99-003, Department of Computer Science, University of Bristol. March 1999. PDF, 705 Kbytes.
J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. CSTR-99-002, Department of Computer Science, University of Bristol. February 1999. PDF, 438 Kbytes.
Peter A. Flach, Nada Lavrac, Blaz Zupan, Decompositions, dependencies, and Bayesian networks. CSTR-99-001, Department of Computer Science, University of Bristol. February 1999. PDF, 21 Kbytes.

1998

J Bradley, N Davies, Performance Modelling and Synchronisation. CSTR-98-009, Superseded by CSTR-99-002, Department of Computer Science, University of Bristol. December 1998. PDF, 433 Kbytes.
Henk Muller, David May, James Irwin, Dan Page, Novel Caches for Predictable Computing. CSTR-98-011, Department of Computer Science, University of Bristol. October 1998. PDF, 90 Kbytes.
David May, Dan Page, James Irwin, Henk L Muller, Microcaches. CSTR-98-010, Department of Computer Science, University of Bristol. October 1998. PDF, 113 Kbytes.
Peter A. Flach, Antonis Kakas, . , . August 1998. No electronic version available. External information
T. S. Dahl, Eel, a Declarative Language for Programming Adaptive Agents. CSTR-98-008, Department of Computer Science, University of Bristol. August 1998. PDF, 66 Kbytes.
Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.
John May, Silke Kuball, Gordon Hughes, Test Statistics for System Design Failure. CSTR-98-006, Department of Computer Science, University of Bristol. April 1998. No electronic version available.
J Bradley, N Davies, Compositional BDD Construction: A Lazy Algorithm. CSTR-98-005, Department of Computer Science, University of Bristol. April 1998. PDF, 226 Kbytes.
Ian Holyer, Eleni Spiliopoulou, The Brisk Machine: A Simplified STG Machine. CSTR-98-003, Department of Computer Science, University of Bristol. March 1998. PDF, 213 Kbytes.
Neil Pollard, David May, Using Interval Arithmetic to Calculate Data Sizes for Compilation to Multimedia Instruction Sets. CSTR-98-004, Department of Computer Science, University of Bristol. February 1998. PDF, 204 Kbytes.
David May, Henk L. Muller, Using Channels for Multimedia Communication. CSTR-98-002, Department of Computer Science, University of Bristol. February 1998. PDF, 52 Kbytes.
Henk L. Muller, David May, A Simple Protocol to Communicate Channels over Channels. CSTR-98-001, Department of Computer Science, University of Bristol. January 1998. PDF, 168 Kbytes.

1997

Peter A. Flach, Nicolas Lachiche, Cooking up integrity constraints with PRIMUS (preliminary report). CSTR-97-009, Department of Computer Science, University of Bristol. December 1997. PDF, 68 Kbytes.
Huseyin Saglam, John Gallagher, Constrained Regular Approximation of Logic Programs. CSTR-97-008, Department of Computer Science, University of Bristol. October 1997. PDF, 235 Kbytes.
Peter A. Flach, Nada Lavrac, Proceedings of the CompulogNet Area Meeting on Representation issues in reasoning and learning. CSTR-97-005, Department of Computer Science, University of Bristol. September 1997. No electronic version available. External information
J Bradley, N Davies, Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design. CSTR-97-006, Department of Computer Science, University of Bristol. August 1997. PDF, 201 Kbytes.
Peter A. Flach, Antonis Kakas, Proceedings of the IJCAI'97 workshop on Abduction and Induction in AI. CSTR-97-004, Department of Computer Science, University of Bristol. August 1997. No electronic version available. External information
Chris Dornan, Monadic Programming. CSTR-97-002, Department of Computer Science, University of Bristol. July 1997. No electronic version available.
Julio C. Peralta, John P. Gallagher, Towards Semantics-Based Partial Evaluation of Imperative Programs. CSTR-97-003, Department of Computer Science, University of Bristol. April 1997. PDF, 156 Kbytes.
L. Lafave, J. P. Gallagher, Partial Evaluation of Functional Logic Programs in Rewriting-based Languages. CSTR-97-001, Department of Computer Science, University of Bristol. March 1997. PDF, 252 Kbytes.
David May, Henk L Muller, Icarus language definition. CSTR-97-007, Department of Computer Science, University of Bristol. January 1997. No electronic version available.

1996

Peter A. Flach, Antonis Kakas, . , . August 1996. No electronic version available. External information
Brian R. Stonebridge , Angle Trisection by Construction of a Well-Defined Locus and a Simple Arc . CSTR-96-004, Department of Computer Science, University of Bristol. June 1996. No electronic version available.
Huseyin Saglam, John Gallagher, Static Analysis of Logic Programs Using CLP as a Meta-language. CSTR-96-003, Department of Computer Science, University of Bristol. June 1996. PDF, 224 Kbytes.
Stefan Kruger, Andrew Calway, Multiresolution Motion Estimation Using an Affine Model. CSTR-96-002, Department of Computer Science, University of Bristol. June 1996. PDF, 843 Kbytes.
Brian R. Stonebridge, The Principle of Linearity: A Short Cut to Determine Dependent Angles . CSTR-96-005, Department of Computer Science, University of Bristol. May 1996. PDF, 116 Kbytes.
C. J. Burgess, A. G. Chalmers, The Optimisation of Irregular Multiprocessor Computer Architectures using Genetic Algorithms. CSTR-96-006, Department of Computer Science, University of Bristol. March 1996. PDF, 141 Kbytes.
John Gallagher, Laura Lafave, Regular Approximation of Computation Paths in Logic and Functional Languages. CSTR-96-001, Department of Computer Science, University of Bristol. March 1996. PDF, 227 Kbytes.
Erik Reinhard, Hybrid Scheduling for Parallel Ray Tracing. , Faculty of Technical Mathematics and Informatics, Delft University of Technology. January 1996. PDF, 487 Kbytes.

1995

C. J. Burgess, A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture. CSTR-95-024, Department of Computer Science, University of Bristol. December 1995. PDF, 113 Kbytes.
Laura Lafave, A System for the Verification of Phylogenetic Trees in Godel. CSTR-95-023, Department of Computer Science, University of Bristol. November 1995. PDF, 129 Kbytes.
Estrella Pulido, Database query evaluation with the STARBASE method. CSTR-95-022, Department of Computer Science, University of Bristol. October 1995. No electronic version available.
Brian R. Stonebridge, The Animation of Geometric Proofs. CSTR-95-020, Department of Computer Science, University of Bristol. September 1995. No electronic version available.
Brian R Stonebridge, A Proof of "Triangular Thoughts". CSTR-95-019, Department of Computer Science, University of Bristol. September 1995. No electronic version available.
Brian R Stonebridge, A Short Proof of Morley's Trisector Theorem. CSTR-95-018, Department of Computer Science, University of Bristol. August 1995. No electronic version available.
Huseyin Saglam, John P. Gallagher, Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. CSTR-95-017, Department of Computer Science, University of Bristol. July 1995. PDF, 235 Kbytes.
John Gallagher, A Bottom-Up Analysis Toolkit. CSTR-95-016, Department of Computer Science, University of Bristol. July 1995. PDF, 200 Kbytes.
Jeremy Bradley, Neil Davies, Analysis of the SSL Protocol. CSTR-95-021, Department of Computer Science, University of Bristol. June 1995. PDF, 145 Kbytes.
J. W. Lloyd, Declarative Programming in Escher. CSTR-95-013, Department of Computer Science, University of Bristol. June 1995. PDF, 457 Kbytes.
Ian Holyer, Neil Davies, Chris Dornan, The Brisk Project: Concurrent and Distributed Functional Systems. CSTR-95-015, Department of Computer Science, University of Bristol. June 1995. PDF, 126 Kbytes.
Estrella Pulido, Compiling deductive queries with the STARBASE compilation technique. CSTR-95-014, Department of Computer Science, University of Bristol. June 1995. No electronic version available.
John Gallagher, Dmitri Boulanger, Huseyin Saglam, Practical Model-Based Static Analysis for Definite Logic Programs. CSTR-95-011, Department of Computer Science, University of Bristol. June 1995. PDF, 296 Kbytes.
Neil Davies, Andrew Jones, GSPN Models of C104 Networks. CSTR-95-010, Department of Computer Science, University of Bristol. June 1995. PDF, 59 Kbytes.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, The Role of Associative Memory in VSM Architectures: A Price-Performance Comparison. CSTR-95-009, Department of Computer Science, University of Bristol. May 1995. PDF, 100 Kbytes.
Estrella Pulido, Recursive query processing with the STARBASE method. CSTR-95-08, Department of Computer Science, University of Bristol. May 1995. No electronic version available.
Christophe Giraud-Carrier, Tony Martinez, ILA: Combining Inductive Learning with Prior Knowledge and Reasoning. CSTR-95-003, Department of Computer Science, University of Bristol. March 1995. PDF, 81 Kbytes.
Brian R. Stonebridge, Maximal Chained Networks of Given Diameter with transputer examples. CSTR-95-004, Department of Computer Science, University of Bristol. March 1995. PDF, 138 Kbytes.

1994

Bern Martens, John Gallagher, Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. CSTR-94-016, Department of Computer Science, University of Bristol. December 1994. PDF, 234 Kbytes.
Neil Davies, Use of an Observationally-based Performance Model for Informing Scheduling Decisions. CSTR-94-11, Department of Computer Science, University of Bristol. September 1994. PDF, 134 Kbytes.

1993

Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, The Data Diffusion Machine with a Scalable Point-to-Point Network. CSTR-93-17, Department of Computer Science, University of Bristol. October 1993. PDF, 131 Kbytes.
Matthew E. J. Wood, Eric Lewis, PACE - Grammatical Recognition in Computer Aided Conversation. ACRC-93:SP-01, Department of Computer Science, University of Bristol. September 1993. PDF, 159 Kbytes.

1992

Sanjay Raina, Virtual Shared Memory: A Survey of Techniques and Systems. CSTR-92-36, Department of Computer Science, University of Bristol. December 1992. PDF, 251 Kbytes.

1991

Rong Yang, Ines Dutra, Vitor Santos Costa, Design of the Andorra-I System. CSTR-91-PEPMA, Department of Computer Science, University of Bristol. January 1991. PDF, 418 Kbytes.