Issue Date	Title	Author(s)
1-Jan-2022	Java is type safe -- probably	Drossopoulou, S; Eisenbach, S
1-Nov-1997	Labelled natural deduction for substructural logics	Broda, K; Finger, M; Russo, A
1-Jan-2009	Language-based isolation of untrusted JavaScript	Maffeis, S; Mitchell, JC; Taly, A
1-Jan-2004	Leader election in rings of ambient processes	Phillips, I; Vigliotti, MG
1-Jan-2016	Let it recover: multiparty protocol-induced recovery	Neykova, R; Yoshida, N
1-Jan-2018	LibSEAL: revealing service integrity violations using trusted execution	Aublin, P-L; Kelbert, F; O'Keffe, D; Muthukumaran, D; Priebe, C, et al
1-Jan-2002	Lifting assertion and consistency checkers from single to multiple viewpoints	Huth, M; Pradhan, S
1-Jan-2015	Lightweight session programming in scala	Scalas, A; Yoshida, N
1-Jan-2010	Local reasoning about mashups	Gardner, P; Smith, G; Wright, A
21-Feb-1997	Localic completion of quasimetric spaces	Vickers, S
1-Jan-2010	Locality refinement	Dinsdale-Young, T; Gardner, P; Wheelhouse, M
1-Jan-2005	Logical properties of nonmonotonic causal theories and the action language C+	Craven, R; Sergot, M
15-Sep-1995	Management policy service for distributed systems	Marriott, DA; Sloman, M; Yialelis, N
13-Oct-1995	Managing inconsistent specifications: reasoning, analysis and action	Hunter, A; Nuseibeh, B
1-Jan-2004	Manipulating trees with hidden labels	Gardelli, L; Gardner, P; Ghelli, G
1-Jan-2003	Mapping UML models incorporating OCL constraints into object-Z	Roe, D; Broda, K; Russo, A
1-Jan-2014	Memory-aware sizing for in-memory databases	Molka, K; Casale, G; Molka, T; Moore, L
1-Oct-1995	Modal labelled deductive systems	Russo, A
1-Jan-2000	Model-based assessment of software evolution processes	Kahen, G; Lehman, MM; Ramil, JF
1-Jan-2006	Modelling and analysis of PKI-based systems using process calculi	Aziz, B; Hamilton, G