Issue Date	Title	Author(s)
1-Jan-2002	Compiled only knowing	Bjurling, B; Broda, K
1-Jan-2014	Compositional reliability analysis using probabilistic component automata	Rodrigues, P; Lupu, E; Kramer, J
1-Jan-2008	Compositional shape analysis	Calcagno, C; Distefano, D; O'Hearn, P; Yang, H
1-Jan-2006	Computational study of the GMDPO dual phase-1 algorithm	Maros, I
1-Jan-1995	Computer-aided inconsistency management in software development	Nuseibeh, B
1-Jan-2009	Concise cplex	Spacey, SA
1-Jan-2014	Control in the π-calculus	Honda, K; Yoshida, N; Berger, M
1-Dec-1998	Cooperating sparse simplex algorithm for a distributed memory multiprocessor	Maros, I; Mitra, G
1-Jan-2015	Core higher-order session processes: tractable equivalences and relative expressiveness	Kouzapas, D; Pérez, JA; Yoshida, N; , et al
1-Jan-2010	Cost-effective solution to synchronised audio-visual data capture using multiple sensors	Lichtenauer, JF; Shen, J; Valstar, MF; Pantic, M
1-Jan-2011	Craig interpolation in displayable logics	Brotherston, J; Gore, R
1-Jan-2008	Cut elimination in coalgebraic logics	Pattinson, D; Shroder, L
1-Jan-1995	Decentralised process enactment	Leonhardt, U; Finkelstein, A; Kramer, J; Nuseibeh, B
1-Jan-2010	DEFCON: high-performance event processing with information security	Migliavacca, M; Papagiannis, I; Eyers, DM; Shand, B; Bacon, J, et al
1-Jan-2009	Defining and estimating value to a mission	Thornley, DJ; James, JR
1-Jan-2006	Deriving event-based transition systems from goal-oriented requirements models	Leiter, E; Kramer, J; Magee, J; Uchitel, S
1-Jan-2006	Designing effective policies for minimal agents	Broda, K; Hogger, CJ
1-Jan-2003	Designing teleo-reactive programs	Broda, K; Hogger, CJ
1-Jan-2001	Detecting implied scenarios in MSCs using LTSA	Uchitel, S; Kramer, J; Magee, J
1-Jan-2009	Development of a Mission Abstraction Requirements Structure (MARS) and stochastic modelling for sensing service-driven mission performance prediction	Thornley, D; Young, R; Richardson, J