Issue Date	Title	Author(s)
1-Jan-2000	Modelling and analysis of the bounded-retransmission protocol: experience with discrete time in the LTSA	Giannakopoulou, D
1-Jan-1999	Modelling and analysis of workflow processes	Karamanolis, C; Giannakopoulou, G; Magee, J; Wheater, S
Oct-2003	Modelling dynamic web data	Gardner, P; Maffeis, S
1-Jan-2016	Modular termination veri cation for non-blocking concurrency (extended version)	Da Rocha Pinto, PM; Dinsdale-Young, T; Gardner, P; Sutherland, J
1-Jan-2013	Monitoring networks through multiparty session types	Bocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N
1-Jan-2007	Multiparty asynchronous session types	Honda, K; Yoshida, N; Carbone, M
1-Jan-2013	Multiparty compatibility in communicating automata: characterisation and synthesis of global session types	Denielou, P-M; Yoshida, N
1-Jan-2014	Multiparty session nets	Fossati, L; Hu, R; Yoshida, N
1-Jan-2009	Multiparty symmetric sum types	Yoshida, N; Nielsen, L; Honda, J
20-Jun-2004	Natural algorithms for optimisation problems final year project report	Gaertner, D
1-Jan-2005	Negotiating socially optimal allocations of resources: an overview	Endriss, U; Maudet, N; Sadri, F; Toni, F
1-Jan-2002	Network TraÆc behaviour in switched ethernet systems	Field, T; Harder, U; Harrison, P
2-Oct-2002	Nimble: a hybrid abductive-inductive learning algorithm	Ray, O
1-Jan-2010	Non-elementary speed up for model checking synchronous perfect recall	Cohen, M; Lomuscio, A
1-Jan-2002	Noninterference proofs through flow analysis	Honda, K; Yoshida, N
1-Jan-2000	Normalisation, approximation and semantics for typeable combinator systems	Van Bakel,S.; Fernndez,M.
1-Jan-2004	Novel intelligent wavelet filtering of embolic signals from TCD ultrasound	Marvasti, S; Gillies, D; Markus, HS
1-Jan-2010	Object capabilities and isolation of untrusted web applications	Maffeis, S; Mitchell, JC; Taly, A
1-Jan-2010	On asynchronous session semantics	Yoshida, N; Kouzapas, D; Hu, R; Honda, K
25-Mar-1996	On compromising updates in labelled databases	Dargam, FCC