2007 Research Memoranda
Number |
Authors |
Title |
CS-07-16
|
S.Ali, K.Bogdanov and N.Walkinshaw |
A comparative study of methods for dynamic
reverse-engineering of state models |
CS-07-15
|
M.Al-Badawi, S.North and B.Eaglestone |
Indexing XML Databases: Classifications, Problems
Identification and a New Approach |
CS-07-14
|
P.McMinn |
IGUANA: Input Generation Using Automated Novel Algorithms. A
Plug and Play Research Tool |
CS-07-13
|
M.Salas and S.Maddock |
Segmenting the external surface of a human skull in MRI data
by adding shape information to gradient vector flow snakes |
CS-07-12
|
F.Bernardini, C. Biggs, J.Derrick, M.Gheorghe, M.Niranjan and
G.Sanguinetti |
Parameter Estimation and Model Checking in a Model of
Prokaryotic Autoregulation |
CS-07-11
|
A.J.Cowling |
Normal Forms in the Dataflow Algebra |
CS-07-10
|
G.Struth |
Reasoning Automatically about Termination and Refinement |
CS-07-09
|
A.Hughes |
Timed Mobile Systems |
CS-07-08
|
P.Hofner and G.Struth |
Can Refinement be Automated? |
CS-07-07 |
S.D.Foster |
A Timed Process Calculus with Localised Interruption |
CS-07-06 |
R.W.Mill |
Statistics of interval receivers in gaussian noise |
CS-07-05
|
A.BinSubaih, S.C.Maddock and D.M.Romano |
A Survey of 'Game' Portability |
CS-07-04
|
P.Hofner and G.Struth |
Automated Reasoning in Kleene Algebra. |
CS-07-03
|
M.Abdul Aziz and S.North |
Retrieving Software Component using Clone Detection and
Program Slicing. |
CS-07-02
|
G.Sanguinetti |
Dimensional reduction of clustered data sets. |
CS-07-01
|
M.Gamito |
Grid Computing Techniques for Synthetic Procedural Planets. |
|