Technical Reports
Year: 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware management of customer streams. School of Computing Science. 2012. School of Computing Science Technical Report Series 1330 (download PDF).
- Suresh V, Blythe PT, Hill G, Huebner Y, Robinson A. Effects of Electric Vehicle Deployment on Energy Demand and CO2 Emission. School of Computing Science. 2012. School of Computing Science Technical Report Series 1328 (download PDF).
- Missier P, Belhajjame K. A PROV encoding for provenance analysis using deductive rules. School of Computing Science. 2012. School of Computing Science Technical Report Series 1327 (download PDF).
- Missier P, Randell B, Koutny M. Modelling Provenance using Structured Occurrence Networks. School of Computing Science. 2012. School of Computing Science Technical Report Series 1326 (download PDF).
- Suresh V, Ezhilchelvan P, Watson P. Scalable and Responsive Event Processing in the Cloud. School of Computing Science. 2012. School of Computing Science Technical Report Series 1324 (download PDF).
- Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconfiguration in BP-calculus. School of Computing Science. 2012. School of Computing Science Technical Report Series 1322 (download PDF).
- Ingram C, Riddle S. Using Early Stage Project Data to Predict Change-Proneness. School of Computing Science. 2012. School of Computing Science Technical Report Series 1321 (download PDF).
- Payne R, Bryans J. Modelling the Major Incident Procedure Manual: A System of Systems Case Study. School of Computing Science. 2012. School of Computing Science Technical Report Series 1320 (download PDF).
- Goulding D, Smith R, Clark L, Ushaw G, Morgan G. Real-time ambient occlusion on the Playstation 3. School of Computing Science. 2012. School of Computing Science Technical Report Series 1319 (download PDF).
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric Resource Accounting in the Cloud. Computing Laboratory. . Computing Laboratory Technical Report Series 1318 (download PDF).
- Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications. School of Computing Science. 2012. School of Computing Science Technical Report Series 1317 (download PDF).
- Smith C, van Moorsel A. Driving Privacy Controls with Social Context. School of Computing Science. 2012. School of Computing Science Technical Report Series 1316 (download PDF).
- Phithakkitnukoon S, Leong TW, Smoreda Z, Olivier P. Weather Effects on Mobile Social Interaction: A case study of mobile phone users in Lisbon, Portugal. School of Computing Science. 2012. School of Computing Science Technical Report Series 1315 (download PDF).
- Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. School of Computing Science. 2012. School of Computing Science Technical Report Series 1314 (download PDF).
- Hao F, Clarke D. Security Analysis of a Multi-Factor Authenticated Key Exchange Protocol. School of Computing Science. 2012. School of Computing Science Technical Report Series 1312 (download PDF).
- Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. School of Computing Science. 2012. School of Computing Science Technical Report Series 1309 (download PDF).