Issue Date	Title	Author(s)
1-Jan-2002	An enhanced piecewise linear dual phase-1 algorithm for the simplex method	Maros, I
1-Jan-2002	An enhanced piecewise linear dual phase-1 algorithm for the simplex method	Maros, I
1-Jan-2013	An observationally complete program logic for imperative higher-order functions	Honda, K; Yoshida, N; Berger, M
1-Jan-2008	An operational semantics for JavaScript	Maffeis, S; Mitchell, JC; Taly, A
1-Jun-2000	An outer approximation based branch and cut algorithm for convex 0-1 MINLP problems	Akrotirianankis, I; Maros, I; Rustem, B
1-Jan-2006	Anisotropic multidimensional savitzky Golay kernels for smoothing, differentiation and reconstruction	Thornley, D
1-Jan-2011	Applications of Legendre-Fenchel transformation to computer vision problems	Handa, A; Newcombe, RA; Angeli, A; Davison, A
17-Feb-2000	Approach to a theory of software process and software evolution	Lehman, MM
1-Nov-2011	ASPAL. Proof of soundness and completeness	Corapi, D; Russo, A
1-Jan-2000	Auto-regressive spectral line analysis of piano tones	Van Schroeter, T
1-Jan-2008	Automatic parallelization with separation logic	Raza, M; Calcagno, C; Gardner, P
1-Jan-1996	Balloon types: controlling sharing of state in data types	Almeida, PS
16-Apr-1999	Bounding the Attractor of an IFS	Edalat, A; Sharp, WN; While, RL
1-Jan-1997	BPMPD User's Manual, Version 2.20	Meszaros, C
Jun-2004	(C+)++: An action language for modelling norms and institutions	Sergot, M
1-Jan-2000	CCS with priority guards	Phillips, I
1-Jan-1998	Checking progress with aAction priority: is it fair?	Giannakopoulou, D; Magee, J; Kramer, J
1-Jan-2002	Closed loop machine learning: complexity of ASE-progol	Tamaddoni Nezhad, A; Muggleton, S
1-Jan-2002	Closed-loop machine learning: reproduction and evaluation of phase a results	Tamaddoni Nezhad, A; Muggleton, S
1-Jan-2002	Combining abductive reasoning and inductive learning to evolve requirements specifications	D'Avilla Garcez, AS; Russo, A; Nuseibeh, B; Kramer, J