Issue Date	Title	Author(s)
1-Jan-2000	A piecewise linear dual phase-1 algorithm for the simplex method with all types of variable	Maros, I
1-Jul-1997	A repository of convex quadratic programming problems	Maros, I; Meszaros, C
15-Sep-1995	A security framework supporting domain based access control in distributed systems	Yialelis, N; Sloman, M
1-Jan-2011	A simple abstraction for complex concurrent indexes	Da Rocha Pinto, PM; Dinsdale-Young, T; Dodds, M; Gardner, P; Wheelhouse, M
1-Jan-2010	A simple and efficient supervised method for spatially weighted PCA in face image analysis	Thomaz, CE; Giraldi, GA; Da Costa, JFP; Gillies, D
1-Aug-1995	A simple declarative language for describing narratives with actions	Kakas, A; Miller, R
1-Jan-2006	A static analysis of the applied Pi calculus	Aziz, B
1-Jan-2002	A stochastic action language A	Watanabe, H; Muggleton, S
1-Jan-2009	A symmetry reduction technique for model checking temporal-epistemic logic	Cohen, M; Dam, M; Lomuscio, A; Qu, H
1-Oct-1997	A unified compilation style labelled deductive system for modal and substructural logic using natural deduction	Broda, K; Russo, A
1-Jan-2002	A uniform type structure for secure information flow	Yoshida, N; Honda, K
1-Jan-2011	Access control via belnap logic: intuitive, expressive, and analyzable policy composition	Bruns, G; Huth, M
1-Jan-1997	Adding learning to software process models	Wernick, P
1-Jan-2000	Advances in design and implementation of optimization software	Maros, I; Khaliq, MH
1-Jan-2008	Algebraic models and complete proof calculi for classical BI	Brotherston, J; Calcagno, C
Dec-2003	AML: Algebraic Markup Language	Ezechukwu, OC; Maros, I
1-Jan-2001	An abductive approach for analysing event-based requirements specifications	Russo, A; Miller, R; Nuseibeh, B; Kramer, J
1-Jan-2009	An approach to improve accuracy in probabilistic models using state refinement	Kramer, J; Maia, PH; Uchitel, S; Mendonca, NC
1-Jan-1995	An approach to role based management for distributed systems	Lupu, E; Sloman, M
15-Sep-1995	An authentication service supporting domain based access control policies	Yialelis, N; Sloman, M