Home > Research > Security Lancaster > Publications & Outputs
View graph of relations

Security Lancaster

  1. 2008
  2. Published

    Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

    Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Book review of Phil Hadfield (2006) Bar wars: contesting the night in contemporary British cities

    Moore, K., 12/2008, In: British Journal of Sociology. 59, 4, p. 809-810 2 p.

    Research output: Contribution to Journal/MagazineBook/Film/Article reviewpeer-review

  4. Published

    Design, implementation and applications of low-complexity LDPC codes

    Honary, B., Momahed Heravi, B., Kariyawasam Katukolihe Ga, S. & Pandya, N., 12/2008, 2nd International Conference on Signal Processing and Telecommunication Systems, ICSPCS'2008. Gold Coast, Australia: IEEE, 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNAbstract

  5. Published

    Quasi-Cyclic LDPC Code Design for Practical Applications

    Momahed Heravi, B., Kariyawasam Katukolihe Ga, S., Pandya, N. & Honary, B., 11/2008, Congreso Internacional de Telecomunicaciones SENACITEL 2008. Valdivia, Chile

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Specifying and Constructing a Fault-Tolerant Composite Service

    Onditi, V., Dobson, G., Hutchinson, J., Walkerdine, J. & Sawyer, P., 11/2008, IEEE Sixth European Conference on Web Services, 2008. ECOWS '08. . Dublin: IEEE, p. 135-142 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Next generation network management of heterogeneous mobile users

    Rocha Sa e Moura, J. A., Dunmore, M. & Edwards, C., 30/10/2008, MobiWac '08 Proceedings of the 6th ACM international symposium on Mobility management and wireless access. New York: ACM, p. 111-118 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Evolution of Entanglement Between Distinguishable Light States

    Stevenson, R. M., Hudson, A. J., Bennett, A. J., Young, R. J., Nicoll, C. A., Ritchie, D. A. & Shields, A. J., 24/10/2008, In: Physical review letters. 101, 17, p. - 4 p., 170501.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Summation of perceptual cues in natural visual scenes

    To, M., Lovell, P. G., Troscianko, T. & Tolhurst, D. J., 22/10/2008, In: Proceedings of the Royal Society B: Biological Sciences. 275, 1649, p. 2299-308 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paperPreprint

  11. Published

    A Semi-autonomic Framework for Intrusion Tolerance in Heterogeneous Networks

    D'Antonio, S., Romano, S., Simpson, S., Smith, P. & Hutchison, D., 10/2008, Self-Organizing Systems: Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings. Hummel, K. A. & Sterbenz, J. P. G. (eds.). Berlin: Springer, p. 230-241 12 p. (Lecture Notes in Computer Science; vol. 5343).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top