Issue Date	Title	Author(s)
1-Feb-2012	Discovering service dependencies in mobile ad hoc networks	Novotny, P; Ko, BJ; Wolf, A
Jun-2011	Disease re-classi cation via integration of biological networks	Sun, K; Larminie, C; Przulj, N
1-Jan-2010	Distributed fault tolerant controllers	Mostarda, L; Ball, R; Dulay, N
1-Jan-2014	Dynamic deadlock verification for general barrier synchronisation	Cogumbreiro, T; Hu, R; Martins, F; Yoshida, N
1-Jan-2017	Dynamical SimRank search on time-varying networks	Yu, W; Lin, X; Zhang, W; McCann, JA
1-Jan-2011	EBS: decentralised slot synchronisation for broadcast messaging for low-power wireless embedded systems	Yadav, P; McCann, J
1-Jan-2014	Efficient PartialPairs SimRank search on large graphs	Yu, W; McCann, J
1-Jan-2006	Efficient re-indexing of automatically annotated image collections using keyword combination	Yavlinsky, A; Stefan, R
9-Oct-1996	Enhancements to a pitch detection system	Sharp, DWN
21-Mar-1997	Exact real computer arithmetic	Potts, PJ; Edalat, A
1-Jan-2008	Executable specication of open multi-agent systems	Artikis, A; Sergot, M
1-Jan-2004	Expressiveness and complexity of graph logic	Dawar, A; Gardner, P; Ghelli, G
1-Jan-1999	Fairness and priority in progress property analysis	Giannakopoulou, D; Magee, J; Kramer, J
1-Jan-2013	Fatal attractors in parity games	Huth, M; Kuo, H-P; Piterman, N
1-Dec-1998	FEAST/1 final report	Lehman, MM
1-Jan-2000	Feature reduction for document clustering and classification	Ruger, SM; Gauch, SE
1-Jan-1995	Finite Algorithms for decoding recurrent iterated function systems	Edalat, A
1-Jan-2005	Formal analysis of a distributed object-oriented language and runtime	Ahern, A; Yoshida, N
1-Jan-2009	From MTL to deterministic timed automata	Nickovic, D; Piterman, N
12-Jul-1995	GEM - A generalised event monitoring language for distributed systems	Mansouri-Samani, M; Sloman, M