| id | title | authors | date | group |
|---|
| 0001 | A motivation for Education based Research: Factors Affecting Student Learning of the Unified Modelling Language | Pauline Wilcox | 2003-10-15 | HWISE |
| 0002 | Towards Automated Change Propagation; the value of traceability | MJ Smith, RG Dewar, K Kowalczykiewicz, D Weiss | 2003-10-01 | HWISE |
| 0003 | Effective Communication of Scenarios of Usage | Pauline Wilcox | 2003-10-15 | HWISE |
| 0004 | People Create Software for People:
A manifesto for Software Engineering research
| Rob Pooley, Lachlan MacKinnon, Pauline Wilcox, Rick Dewar | 2003-10-20 | HWISE |
| 0005 | Experiences Applying Communication & Information Technology Resources | Pauline Wilcox | 2003-11-14 | HWISE |
| 0006 | Event-Driven Metrics | C.R. Russell, M.J. Smith, A.D. Smith, R.G. Dewar, P.A. Wilcox, L.M. MacKinnon, R.J. Pooley | 2003-11-20 | HWISE |
| 0007 | XML Encoded Reverse Engineering of Java to UML | C.R. Russell, R.G. Dewar | 2003-11-20 | HWISE |
| 0008 | Object-Oriented Software Design Metrics from XMI | T. Paterson, C.R. Russell, R.G. Dewar | 2003-11-20 | HWISE |
| 0009 | The Use of Artificial Neural Networks for Automatic Modulation Recognition | Alexander Iversen | 2003-12-16 | ISL |
| 0010 | Automation for Exception Freedom Proofs | Bill J. Ellis, Andrew Ireland | 2004-01-12 | DSG |
| 0011 | Invariant Patterns for Program Reasoning | Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen | 2004-01-12 | DSG |
| 0012 | Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction | Sebastien Carlier, J.B. Wells | 2004-01-19 | ULTRA |
| 0013 | Type Inference for PolyA | Henning Makholm, J.B. Wells | 2004-01-16 | ULTRA |
| 0014 | An Integration of Program Analysis and Automated Theorem Proving | Bill J. Ellis, Andrew Ireland | 2004-01-27 | DSG |
| 0015 | PolyA: True Type Polymorphism for Mobile Ambients | Torben Amtoft, Henning Makholm, J.B. Wells | 2004-02-17 | ULTRA |
| 0016 | Classification of Digital Modulation Schemes Using Multi-Layered Perceptions | Alexander Iversen | 2004-02-20 | ISL |
| 0017 | Detection and Resolution of Data Inconsistencies, and Data Integration
using Information Quality Criteria | Maria del Pilar Angeles | 2004-06-08 | Databases and Knowledge Based Systems |
| 0018 | The Relational Grid Monitoring Architecture: Mediating Information about the Grid | Andy Cooke, Alasdair Gray, Werner Nutt, James Magowan, Manfred Oevers, Paul Taylor, Roney Cordenonsi, Rob Byrom, Linda Cornwall, Abdeslem Djaoui, Laurence Field, Steve Fisher, Steve Hicks, Jason Leake, Robin Middleton, Antony Wilson, Xiaomei Zhu, Norbert Podhorszki, Brian Coghlan, Stuart Kenny, David O'Callaghan, John Ryan | 2004-06-11 | Databases |
| 0019 | Data Integration Techniques in Grid Monitoring | Andy Cooke, Alasdair J G Gray, Werner Nutt | 2004-06-10 | Databases |
| 0020 | How do joint image statistics change with illumination? | Ondrej Drbohlav, Mike Chantler | 2004-08-11 | Vision |
| 0021 | Tool Integration in Software Engineering: The State of the Art in 2004 | Mike Wicks | 2004-09-01 | HWISE |
| 0022 | Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
| Henning Makholm, J.B. Wells | 2004-11-05 | ULTRA |
| 0023 | Requirements Capture in Natural Language Problem Statements | Ke Li, R.G. Dewar, R.J. Pooley | 2004-10-25 | HWISE |
| 0024 | A Technical Report "Off the Record": Using Alternative Data Models to increase Data Density in Data Warehouse Environments. | Victor Gonzalez-Castro, Lachlan MacKinnon | 2004-11-01 | Databases |
| 0025 | A Practical Perspective on the Verifying Compiler Proposal | Andrew Ireland | 2004-11-01 | Dependable Systems |
| 0026 | Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis | Andrew Ireland, Jamie Stark | 2004-11-11 | Dependable Systems |
| 0027 | An Integrated Approach to High Integrity Software Verification | Andrew Ireland, Bill Ellis, Andrew Cook, Roderick Chapman, Janet Barnes | 2004-12-01 | Dependable Systems |
| 0028 | Semantics of Stream Operators for Continuous Queries Over Distributed Data Streams
| Lisha Ma | 2005-01-21 | Databases |
| 0029 | Expansion: the Crucial Mechanism for Type Inference with Intersection Types: Survey and Explanation | Sébastien Carlier, J.B. Wells | 2005-03-18 | ULTRA |
| 0030 | Type Inference and Principal Typings for Symmetric Record Concatenation and Mixin Modules | Henning Makholm, J.B. Wells | 2005-03-29 | ULTRA |
| 0031 | Republishers in a Publish/Subscribe Architecture for Data Streams
| Alasdair J G Gray, Werner Nutt | 2005-04-21 | Databases |
| 0032 | Model Checking Hw-Hume | Gudmund Grov, Andrew Ireland, Greg Michaelson | 2005-10-27 | Dependable Systems |
| 0033 | Object-Oriented Analysis Using Natural Language Processing | K Li, R G Dewar, R J Pooley | 2005-10-28 | HWISE |
| 0034 | Managing Software Engineering Artefact Metadata | R G Dewar | 2005-10-28 | Dependable Systems |
| 0035 | A mean-shift tracker: implementations in C++ and Hume | Iain Wallace | 2005-10-28 | |
| 0036 | A Software Engineering Survey | Michael Wicks | 2005-10-28 | Dependable Systems |
| 0037 | Verifying Temporal Properties in HW-Hume | Gudmund Grov, Andrew Ireland, Greg Michaelson, Kevin Hammond (St. Andrews) | 2006-02-08 | Dependable Systems |
| 0038 | On the Power of Deterministic and Sequential Communicating P Systems | Ludek Cienciala, Lucie Ciencialova, Pierluigi Frisco, Petr Sosík | 2006-06-20 | Intelligent Systems Laboratory |
| 0039 | Towards Automatic Assertion Refinement for Separation Logic | Andrew Ireland | 2006-06-16 | Dependable Systems |
| 0040 | Performance Analysis Of Real-Time Embedded Systems | Benjamin Gorry, Andrew Ireland, Peter King | 2006-08-17 | DSG |
| 0041 | Tool Integration within Software Engineering Environments: An Annotated Bibliography
| Michael Wicks | 2006-08-15 | Dependable Systems |
| 0042 | Condensative Stream Query Language for Data Streams | Lisha Ma, Hamish Taylor | 2006-08-15 | Databases |
| 0043 | Experiences with Online Programming Examinations | Monica Farrow, Peter King | 2006-10-02 | DSG |
| 0044 | On s-sum vectors - version 1 | Pierluigi Frisco | 2006-11-03 | Intelligent Systems Laboratory |
| 0045 | Nominal Algebra | Murdoch J. Gabbay, Aad Mathijssen | 2006-12-21 | ULTRA |
| 0046 | On Hume Scheduling | Gudmund Grov, Robert Pointon, Greg Michaelson, Andrew Ireland | 2007-01-26 | DSG |
| 0047 | An Hierarchy of Recognising Computational Processes | Pierluigi Frisco | 2007-02-12 | Intelligent Systems Laboratory |
| 0048 | On s-sum vectors - version 2 | Pierluigi Frisco | 2007-02-19 | Intelligent Systems Laboratory |
| 0049 | MAGIK-I Report: April - July 2004 | Andy Cooke | 2007-03-16 | Databases |
| 0050 | Answering Queries over Incomplete Data Stream Histories | Alasdair J. G. Gray, Werner Nutt, M. Howard Williams | 2007-03-16 | Databases |
| 0051 | Cost-Driven Autonomous Mobility | Xiao Yan Deng, Greg Michaelson, Phil Trinder | 2007-05-30 | DSG |
| 0052 | A Formal Account of Hume Scheduling | Gudmund Grov | 2007-06-18 | DSG |
| 0053 | Capture-Avoiding Substitution as a Nominal Algebra | Murdoch J Gabbay, Aad Mathijssen | 2007-08-30 | ULTRA |
| 0054 | Preserving Coordination Properties when Transforming Concurrent System Components | Gudmund Grov, Robert Pointon, Greg Michaelson, Andrew Ireland | 2007-10-26 | Dependable Systems Group |
| 0055 | Nominal Algebra and the HSP Theorem | Murdoch J. Gabbay, Aad Mathijssen | 2007-11-05 | Dependable Systems Group |
| 0056 | Nominal Renaming Sets | Murdoch J. Gabbay | 2007-12-20 | Dependable Systems Group |
| 0057 | A Hierarchy of Computational Processes | Pierluigi Frisco | 2008-04-07 | Intelligent Systems Laboratory |
| 0058 | On s-sum Vectors | Pierluigi Frisco | 2008-04-07 | Intelligent Systems Laboratory |
| 0059 | Pre-proceedings of the 9th Edition of the Workshop on Membrane Computing | P Frisco, D W Corne, G Paun | 2008-06-11 | |
| 0060 | Towards a Reference Model for M-Commerce over Ad Hoc Wireless Networks | Husna Osman, Hamish Taylor | 2008-09-29 | Databases |
| 0061 | On Stateless Multihead Finite Automata and Multihead Pushdown Automata | Pierluigi Frisco, Oscar H Ibarra | 2008-10-13 | Intelligent Systems Laboratory |
| 0062 | Permissive nominal terms and their unification | Gilles Dowek, Murdoch J Gabbay, Dominic P Mulligan | 2009-02-27 | Dependable Systems Group |
| 0063 | Sealife Evaluation | Gus Ferguson, Kenneth McLeod, Karen Sutherland, Albert Burger | 2009-03-24 | BISEL |
| 0064 | On languages accepted by
P/T systems composed by join | Pierluigi Frisco | 2009-03-20 | ISL |
| 0065 | Simulation Modelling of Autonomous Mobile Programs on a LAN. | N Chechina, P.J.B. King, P.W. Trinder, R.J. Pooley | 2009-04-09 | DSG |
| 0066 | On languages accepted by
P/T systems composed by join | Pierluigi Frisco, Oscar H. Ibarra | 2009-04-16 | ISL |
| 0067 | The Expressiveness of Poly*, a Generic Process Calculus Type System
| Jan Jakubuv, J.B Wells | 2009-05-15 | ULTRA |
| 0068 | Low Pain vs No Pain Multi-core Haskells | M. KH. Aswad, P. W. Trinder, , A. D. AlZain, , G. J. Michaelson 1, , J. Berthold 2 | 2009-06-09 | DSG Group |
| 0069 | The Expressiveness of Generic Process Shape Types
| Jan Jakubuv, J.B. Wells | 2009-07-30 | ULTRA |
| 0070 | Greedy Effect in Autonomous Mobility: Complete Experimental Investigation and Theoretical Analysis.
| Natalia Chechina, Peter King, Rob Pooley, Phil Trinder | 2009-08-21 | DSG |
| 0071 | Deleted | J. B. Wells, Vincent Rahli, Fairouz Kamareddine | 2010-08-03 | |
| 0072 | Title: Reducing Redundant Autonomous Mobile Program Movements by Negotiation. | Natalia Chechina, Peter King, Phil Trinder | 2010-06-10 | DSG |
| 0073 | Complete Experimental and Theoretical Analysis of Greedy Effects in Autonomous Mobility.
| Natalia Chechina, Peter King, Phil Trinder | 2010-06-10 | |
| 0074 | Dynamics of Randomly Constructed Computational Systems | Miguel A. Pena, Pierluigi Frisco | 2010-04-13 | Intelligent Systems Laboratory |
| 0075 | Solving the Hamiltonian Path Problem Using Viral DNA and Bacteria | Pierluigi Frisco, Peter Cook, Paul A. Hoskisson | 2010-04-27 | Intelligent Systems |
| 0076 | Automatic Guidance for Refinement Based Formal Methods | Maria Teresa Llano, Gudmund Grov, Andrew Ireland | 2011-02-24 | DSG |
| 0077 | An Observation on Support and Freshness in Nominal Sets | Murdoch J. Gabbay | 2010-05-20 | DSG |
| 0078 | Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance | Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael Butler | 2010-06-10 | DSG |
| 0079 | A constraint system for a SML type error slicer | Vincent Rahli, J. B. Wells, Fairouz Kamareddine | 2010-08-19 | ULTRA |
| 0080 | Identity Support in a Security and Trust Service for Ad Hoc M-Commerce Trading Systems | Husna Osman, Hamish Taylor | 2010-10-19 | DSG |
| 0081 | Design of a Reputation System for M-Commerce by Ad Hoc Networking | Husna Osman, Hamish Taylor | 2010-12-17 | DSG |
| 0082 | A Network Model with Structured Nodes | Pierluigi Frisco | 2011-01-18 | Intelligent Systems |
| 0083 | A Structured Evolution of the Rich Picture | Tessa Berg, Rob Pooley | 2011-03-01 | DSG |
| 0084 | Achieving consensus within SSM | Tessa Berg, Rob Pooley | 2011-03-01 | DSG |
| 0085 | Contemporary Iconography for Rich Picture Construction | Tessa Berg, Rob Pooley | 2011-03-30 | DSG |
| 0086 | Architecture Aware Parallel Programming in
Glasgow Parallel Haskell (GPH) | M.KH Aswad, P.W. Trinder, H.W. Loidl | 2011-04-04 | DSG |
| 0087 | Verification and Synthesis of Functional Correctness of Pointer Programs | Ewen Maclean, Andrew Ireland, Gudmund Grov | 2011-04-12 | DSG |
| 0088 | Towards an understanding of the creative process of classroom based computer game design | Judy Robertson | 2011-04-15 | Visage |
| 0089 | Promoting Self Directed Learning Skills in First Year Students | Judy Robertson | 2011-04-18 | Visage |
| 0090 | Mutation in Linked Data Structures | Ewen Maclean, Andrew Ireland | 2011-07-05 | DSG |
| 0091 | Implementing a High-level Distributed-Memory Parallel Haskell in Haskell | Patrick Maier, Phil Trinder | 2011-12-01 | DSG |
| 0092 | Refinement Plans for Informed Formal Design | Gudmund Grov, Andrew Ireland and Maria Teresa Llano | 2012-02-10 | DSG |
| 0093 | Discovery of Invariants through Automated Theory Formation | Maria Teresa Llano, Andrew Ireland and Alison Pease | 2012-02-10 | DSG |
| 0094 | Evolution Program for Network Model | Xenos Alexandros Orestis | 2012-04-18 | ISL |
| 0095 | Summary of results from RP Legend Experiment 2010 | Tessa Berg | 2012-05-29 | DSG |
| 0096 | Comparing Fork/Join and MapReduce | Robert Stewart and Jeremy Singer | 2012-08-28 | DSG |
| 0097 | Contributions of the 4th International Workshop on Invariant Generation (WING 2012) | Gudmund Grov and Thomas Wies | 2012-09-19 | DSG |
