Issue Date | **Title** | Author(s) |

Jul-2008 | **24th UK performance engineering workshop** | *Katwala-Argent, A; Dingle, N; Harder, U* |

1-Jan-2008 | **3S: program instrumentation and characterisation framework** | *Spacey, SA* |

1-Jan-1995 | **A bounding circle for the attractor of an IFS** | *Edalat, A* |

25-Mar-1996 | **A compromised characterization to belief revision** | *Dargam, FCC* |

1-Jan-2002 | **A connectionist inductive learning system for modal logic programming** | *D'Avila Garcez, AS; Lamb, LC; Gabbay, DM* |

1-Jan-2009 | **A cut-free proof theory for boolean BI (via display logic)** | *Brotherston, J* |

1-Jan-2009 | **A first cut of the military QoI attribute space and hypothesis structure for abductive reasoning** | *Thornley, DJ; Harvey, MP* |

1-Jan-2013 | **A fluid model for closed queueing networks with PS stations** | *Perez, JF; Casale, G* |

1-Jan-2008 | **A formal framework for policy analysis** | *Craven, R; Lobo, J; Lupu, E; Ma, J; Russo, A, et al* |

1-Jan-2005 | **A framework for security analysis of mobile wireless networks** | *Nanz, S; Hankin, C* |

1-Jan-2008 | **A game-theoretic perspective on the notion of argument strength in abstract argumentation** | *Matt, P-A; Toni, F* |

1-Mar-2001 | **A general pricing scheme for the simplex method** | *Maros, I* |

1-Jan-2001 | **A generalized dual phase-2 simplex algorithm** | *Maros, I* |

1-Jan-2001 | **A generalized dual phase-2 simplex algorithm1** | *Maros, I* |

1-Jan-2007 | **A genetic algorithm for automated model formulation** | *Ezechukwu, O; Maros, I* |

1-Nov-1997 | **A globally convergent primal-dual interior point algorithm for general non-linear programming** | *Akrotirianakis, I; Rustem, B* |

1-Jan-2004 | **A maximum uncertainty LDA-based approach for limited sample size problems – with application to Face Recognition** | *Thomaz, CE; Gillies, D* |

1-Mar-1997 | **A methodology to assist with a distributed information discovery process for autonomous databases** | *Zisman, A* |

1-Jan-2007 | **A multiobjective dynamic nonlinear robot assignment problem** | *Ruuth, S; Maros, I; Nieminen, K* |

1-Jan-2001 | **A paradigm for the behavioural modelling of software processes using system dynamics** | *Lehman, MM; Ramil, JF; Kahen, G* |