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

Security Lancaster

  1. 2001
  2. Published

    On simplifying modular specification and verification of distributed protocols

    Sinha, P. & Suri, N., 22/10/2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering: Special Topic: Impact of Networking. IEEE, p. 173-181 9 p.

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

  3. Published

    Planar contour tracking in the presence of pose and model errors by Kalman filtering techniques

    Mihaylova, L., Bruyninckx, H., De Schutter, J. & Staffetti, E., 21/10/2001, Multisensor Fusion and Integration for Intelligent Systems, 2001. MFI 2001. International Conference on. p. 329-334 6 p.

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

  4. Published

    Fast Chase algorithm with an application in turbo decoding.

    Hirst, S. A., Honary, B. & Markarian, G., 1/10/2001, In: IEEE Transactions on Communications. 49, 10, p. 1693-1699 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    A Class of Composite Codes with Minimum Distance 8.

    Boyarinov, I., Martin, I. & Honary, B., 10/2001, In: Problems of Information Transmission. 37, 4, p. 353-364 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Unpublished

    Keep Taking the Medication: Assistive Technologies for Medication Regimes in Care Settings

    Kember, S., Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Rodden, T. & Hemming, T., 10/2001, (Unpublished).

    Research output: Working paper

  7. Unpublished

    Safety in Numbers: Calculation and Document Re-Use in Knowledge Work

    Harper, R., Procter, R., Randall, D. & Rouncefield, M., 10/2001, (Unpublished) GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work. New York: ACM, p. 242-251 10 p.

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

  8. Published

    Security engineering with patterns

    Schumacher, M. & Roedig, U., 1/09/2001, Proceedings of the 8th Conference on Pattern Languages of Programs (PLoP 2001).

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

  9. Published

    Characterising Software Control of the Physical Reconfigurable Radio Subsystem

    Lund, D., Honary, B. & Madani, K., 09/2001, IST mobile communications summit 2001 expanding the wireless universe : Sitges, Barcelona, Spain 9-12 September.. Sitges, Barcelona: Information Society Technologies, p. 357-362 6 p.

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

  10. Published

    Component Selection for Heterogeneous Active Networking

    Simpson, S., Banfield, M., Smith, P. & Hutchison, D., 09/2001, p. 84-100. 17 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  11. Unpublished

    Design and Digital Care

    Rouncefield, M., Cheverst, K., Friday, A., Kember, S., Mitchell, K., Phillips, P. & EPSRC (Funder), 09/2001, (Unpublished). 0 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

Back to top