Computing Science Research Reports

Computing Science has continued the Programming Research Group series of "Research Reports". This series replaces the Technical Monographs series and the Technical Reports series.

2008

RR-08-07

GREENSIM: A GENETIC REGULATORY NETWORK SIMULATOR
Christopher Fogelberg, Vasile Palad May 2008, 14pp.

RR-08-06

A GAME-BASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES
Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker April 2008, 33pp.

RR-08-05

Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham April 2008, 16pp.

RR-08-04

Machine Learning and Genetic Regulatory Networks: A Review and a Roadmap
Christopher Fogelberg, Vasile Palade April 2008, 68pp.

RR-08-01

GAME-BASED PROBABILISTIC PREDICATE ABSTRACTION IN PRISM
M. Kattenbelt M. Kwiatkowska G. Norman D. Parker February 2008, 25pp.

2007

RR-07-08

Full Abstraction for Nominal Exceptions and General References
Nikos Tzevelekos October 2007, 35pp.

RR-07-07

Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials
Chris Jefferson, Peter Jeavons, Martin J. Green and M.R.C. van Dongen October 2007, 22pp.

RR-07-06

Paper withdrawn

RR-07-05

Complete Positivity Without Positivity and Without Compactness
Bob Coecke September 2007, 8pp.

RR-07-04

An Analogue Solution to the Problem of Factorization
Ed Blakey July 2007, 15pp.

RR-07-03

The Expressive Power of Valued Constraints: Hierarchies and Collapses
David A Cohen, Peter G Jeavons and Stanislav Zivny April 2007, 25pp.

RR-07-02

Paper withdrawn

RR-07-01

Learning to Extract Significant Phrases from Text
Yuan J. Lui. February 2007, 14pp.

2006

RR-06-06

Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms
David A Cohen, Martin C Cooper and Peter G Jeavons. December 2006, 29pp.

RR-06-05

Proceedings of the Oxford University Computing Laboratory Programming Research Group Student Conference '06
Program Chair: Yong Xie, Organizational Chair: Mila Katzarova, Steering Committee Chair: Tom Melham and Duncan Coutts, October 2006, 44pp.

RR-06-04

Using CSP to decide safety problems for access control policies
E. Kleiner and T. Newcomb, Janauary 2006, 23pp.

RR-06-03

Derivation of Error Distribution in Least Squares Steganalysis
Andrew D Ker, July 2006, 19pp.

RR-06-02

Quantum measurements without sums
Bob Coeck and Dusko Pavlovic, July 2006, 30pp.

RR-06-01

Partially Interactive Threshold RSA Signatures
Long Hoang Nguyen, March 2006, 17pp.

2005

RR-05-07

Scientific Middleware for Abstracted Parallisation
Daniel Goodman and Andrew Martin, Nov 2005, 25pp.

RR-05-06

Martlet: A Scientific Work-Flow Language for Abstracted Parallisation
Daniel Goodman, Jan 2006, 11pp.

RR-05-05

A computational justification for guessing attack formalisms
Tom Newcomb and Gavin Lowe, Oct 2005, 29pp.

RR-05-03

Exact and Heuristic approaches for identifying diease-associated SNP motifs
Gaofeng Huang, Peter Jeavons and Dominic Kwiatkowski, July 2005, 17pp.

RR-05-02

Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Joe Hurd, Edward Smith and Ashish Darbari, July 2005, 243pp.

2004

RR-04-26

Object Models: Job Submission in DataGrids
Lee Momtahan and Andrew Martin, Feb 2004, 19pp.

RR-04-24

Information categorisation in biological sequence aalignments
Sumedha Gunewardena and Peter Jeavons, November 2004, 57pp.

RR-04-23

Safety is not a restriction at level 2 for string languages
K. Aehlig, J. G. de Miranda, C.-H. L. Ong, October 2004, 43pp.

RR-04-22

A taxonomy of web services using CSP
Lee Momtahan, Andrew Martin and A. W. Roscoe, October 2004, 13pp.

RR-04-21

Investigations on the Dual Calculus
Nikos Tzevelekos, November 2004, 63pp.

RR-04-20

Size-Change Termination of Higher-Order Functional Programs
Damien Sereni, October 2004, 91pp.

RR-04-19

Typing Template Haskell: Soft Types
Ian Lynagh, October 2004, 22pp.

RR-04-18

Believe it or not, Bell states are a model of multiplicative linear logic.
Ross Duncan, October 2004, 20pp.

RR-04-17

Using Haskell to model tree obfuscations
Stephen Drape, August 2004, 32pp.

RR-04-15

Semantics and type checking of dependently-typed lazy functional programs
Yorck Hünke, July 2004, 69pp.

RR-04-14

Parallel absolute irreducibility testing via polytopes
Fatima Abu Salem, June 2004, 33pp.

RR-04-13

An efficient sparse adaptation of the polytope method over F_p and a record-high binary bivariate factorisation
Fatima Abu Salem, June 2004, 51pp.

RR-04-12

The Matrix Obfuscated
Stephen Drape, June 2004, 36pp.

RR-04-11

A simple small theorem for Alloy
Lee Momtahan, June 2004, 36pp.

RR-04-09

Obfuscating Set Representations
Stephen Drape, May 2004, 26pp.

RR-04-08

The Complexity of Constraint Satisfaction: An Algebraic Approach
Andrei Krokhin, Andrei Bulatov and Peter Jeavons May 2004, 36pp.

RR-04-07

Factoring Polynomials via Polytopes: Extended version
Fatima Abu Salem, Shuhong Gao and Alan G. B. Lauder, April 2004, 27pp.

RR-04-06

A continuous domain of classical states
Keye Martin, April 2004, 18pp.

RR-04-05

Wronski brackets and the ferris wheel
Keye Martin, April 2004, 15pp.

RR-04-04

The Complexity of Partition Functions
Andrei Bulatov and Martin Grohe, July 2004, 45pp.

RR-04-03

A Calculational Approach to Program Inversion
Shin-Cheng Mu, March 2004, 153pp.

RR-04-02

A Categorical semantics of Quantum Protocols
Samson Abramsky and Bob Coecke, February 2004, 25pp.

RR-04-01

Supermodular Functions and the Complexity of Max CSP
David Cohen, Martin Cooper, Peter Jeavons and Andrei Krokhin, January 2004, 21pp.

2003

RR-03-22

Combining Memoisation and Change Propagation
Oege de Moor and Ganesh Sittampalam, October 2003, 24pp.

RR-03-21

Finding Transcription Factor Binding Sites in DNA Sequences: A template based approach
Sumedha Gunewardena, Peter Jeavons, October 2003, 11pp.

RR-03-19

Architectures for Secure Delegation Within Grids
Philippa J. Broadfoot and Gavin Lowe, September 2003, 15pp.

RR-03-18

A New Sparse Gaussian Elimination Algorithm and the Niederreiter Linear System for Trinomials over F₂
Fatima Abu Salem , revised August 2003, 26pp.

RR-03-17

Formalization and Execution of STE in HOL (extended version)
Ashish Darbari, March 2005, 24pp.

RR-03-16

A Reflective Functional Language for Hardware Design and Theorem Proving
Jim Grundy, Tom Melham and John O'Leary, October 2003, 39pp.

RR-03-15

A critical survey of Grid security requirements and technologies
Philippa J. Broadfoot and Andrew P. Martin , August 2003, 18pp.

RR-03-14

A BSP parallel model of the Göttfert algorithm for polynomial factorization over F₂
Fatima Abu Salem , July 2003, 23pp.

RR-03-13

Towards a dichotomy theorem for the counting constraint satisfaction problem
Andrei A.Bulatov, Victor Dalmau , July 2003, 37pp.

RR-03-12

The Logic of Entaglement. An invitation. (Version 0.9999)
Bob Coecke, Oct 2003, 23pp.

RR-03-11

Game-based software model checking: case studies and methodological considerations
Dan R. Ghica, May 2003, 161pp.

RR-03-10

Deformation theory and the computation of zeta functions II
Alan G.B. Lauder, April 2003, 39pp.

RR-03-09

Note on the use of statistical procedures as background predicates in ILP
Ashwin Srinivasan, June 2003, 18pp.

RR-03-08

Translating CSP trace refinement to unity unreachability : a study in data independence
Xu Wang, A.W. Roscoe, and R.S. Lazic, April 2003, 26pp.

RR-03-07

Fractals and domain theory
Keye Martin, April 2003, 23pp.

RR-03-06

Epistemic motion in quantum searching
Keye Martin, March 2003, 19pp.

RR-03-05

Entropy as a fixed point
Keye Martin, February 2003, 43pp.

RR-03-04

Informatic vs. classical differentiability on the real line
Keye Martin and Joel Ouaknine, February 2003, 7pp.

RR-03-03

B-sides
Keye Martin, January 2003, 31pp.

RR-03-02

A game semantics for generic polymorphism
Samson Abramsky and Radha Jagadeesan, January 2003, 38pp.

RR-03-01

Tractable conservative constraint satisfaction problems
Andrei A. Bulatov, June 2003, 75pp.

2002

RR-02-15

Deformation theory and the computation of zeta functions
Alan G.B. Lauder, December 2002, 36pp.

RR-02-14

The hyperfine semantics of non-interference
Dan R. Ghica, November 2002, 19pp.

RR-02-13

A games-based foundation for compositional software model checking
Dan R. Ghica, November 2002, 177pp.

RR-02-12

Entropic geometry from logic
Bob Coecke, November 2002, 14pp.

RR-02-11

Quantified constraints and surjective polymorphisms
Ferdinand Borner, Andrei Krokhin, Andrei Bulatov, and Peter Jeavons, November 2002, 25pp.

RR-02-07

A partial order on classical and quantum states
Bob Coecke and Keye Martin, August 2002, 91pp.

RR-02-06

Tractable constraint satisfaction problems on a 3-element set
Andrei A. Bulatov, April 2002, 47pp.

RR-02-05

Malt'sev constraints are tractable
Andrei A. Bulatov, April 2002, 36pp.

RR-02-04

Topological games in domain theory
Keye Martin, January 2002, 10pp.

RR-02-03

Applying ILP to the learning of intrusion strategies
Steve Moyle and John Heasman, October 2002, 20pp.

RR-02-02

On model checking data-independent systems with arrays without reset
R.S. Lazic, T.C. Newcomb, and A.W. Roscoe, January 2002, 31pp.

RR-02-01

Improving the sensitivity of multiple-sequence alignments by incorporating prior knowledge
Sumedha Gunewardena and Peter Jeavons, January 2002, 20pp.

2001

RR-01-22

A pattern for concurrency in UML
Charles Crichton, Jim Davies, and Alessandra Cavarra, December 2001, 15pp.

RR-01-21

Intentional Programming: a host of language features
Eric Van Wyk, Oege de Moor, Ganesh Sittampalam, Ivan Sanabria-Piretti, Kevin Backhouse, and Paul Kwiatkowski, December 2001, 48pp.

RR-01-20

Polyanna technical manual (version 1.00)
Richard Gault, December 2001, 53pp.

RR-01-18

An algebraic approach to multi-sorted constraints
Andrei Bulatov and Peter Jeavons, October 2001, 21pp.

RR-01-16

Digitisation and full abstraction for dense-time model checking
Joël Ouaknine, October 2001, 16pp.

RR-01-15

Computing zeta functions of Artin-Schreier curves over finite fields
Alan G.B. Lauder and Daqing Wan, October 2001, 22pp.

RR-01-14

An idea for a blind watermarking scheme resistant to StirMark
Andrew D. Ker, August 2001, 30pp.

RR-01-13

Sensor-based motion planning in SE(2) and SE(3) via nonsmooth analysis
Shawn Rusaw, August 2001, 21pp.

RR-01-12

Reasoning about temporal relations : the tractable subalgebras of Allen's interval algebra
Andrei Krokhin, Peter Jeavons and Peter Jonsson, July 2001, 54pp.

RR-01-11

A singleton failures semantics for communicating sequential processes
Christie Bolton, Jim Davies, June 2001, 96pp.

RR-01-09

A structural approach to reversible computation
Samson Abramsky, May 2001, 15pp.

RR-01-08

Sequentiality and concurrency in games and logic
Samson Abramsky, April 2001, 35pp.

RR-01-07

Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01)
David Nowak (editor), April 2001

RR-01-06

Discrete analysis of continuous behaviour in real-time concurrent systems
Joël Ouaknine, Michaelmas 2000, 178pp.

RR-01-05

Formal reasoning for quantum mechanical nonlocality
Paolo Zuliani, February 2001, 28pp.

RR-01-04

Generic compositions
Yifeng Chen, February 2001, 22pp.

RR-01-03

The complexity of maximal constraint languages
Andrei Bulatov, Andrei Krokhin and Peter Jeavons, February 2001, 14pp.

RR-01-02

Reasoning about temporal constraints : classifying the complexity of Allen's algebra by using an algebraic technique
Andrei Krokhin, Peter Jeavons and Peter Jonsson, February 2001, 21pp.

RR-01-01

Logic of global synchrony
Yifeng Chen and J.W. Sanders, January 2001, 30pp.