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