Home > Research > Security Lancaster (Systems Security) > Publications & Outputs

Research

View graph of relations

Security Lancaster (Systems Security)

431 - 440 out of 2,561Page size: 10
RSS feed of this list
  1. 2018
  2. Published

    The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 11/10/2018, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham: Springer, p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    A Deep Rule-based Approach for Satellite Scene Image Analysis

    Gu, X. & Angelov, P. P., 7/10/2018, 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, p. 2778-2783 6 p. (2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    A Generalized Methodology for Data Analysis

    Angelov, P. P., Gu, X. & Principe, J., 10/2018, In: IEEE Transactions on Cybernetics. 48, 10, p. 2981-2993 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Deep rule-based classifier with human-level performance and characteristics

    Angelov, P. P. & Gu, X., 10/2018, In: Information Sciences. 463-464, p. 196-213 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Stability of Evolving Fuzzy Systems based on Data Clouds

    Rong, H., Angelov, P. P., Gu, X. & Bai, J., 10/2018, In: IEEE Transactions on Fuzzy Systems. 26, 5, p. 2774-2784 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Foldwatch: using origami-inspired paper prototypes to explore the extension of output space in smartwatches

    Fuchs, A., Sturdee, M. & Schöning, J., 29/09/2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction. New York: ACM, p. 47-59 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    ReasoNet: Inferring Network Policies Using Ontologies

    Rotsos, C., Farshad, A., King, D. & Hutchison, D., 13/09/2018, 2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft). IEEE, p. 159-167 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Stochastic Modelling of Aircraft Queues

    Shone, R., Glazebrook, K. D. & Zografos, K., 13/09/2018.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract

  10. Published

    Stochastic Modelling of Aircraft Queues: A Review

    Shone, R., Glazebrook, K. D. & Zografos, K., 11/09/2018, OR60: The OR Society Annual Conference: Keynote Papers. Kheiri, A. (ed.). p. 61-83 23 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper

  11. Published

    Quantum Confinement in Security Elements

    McGrath, T., Bernardo Gavito, R., Bagci, I. E., Wang, C., Astbury, B., Young, R. J. & Roedig, U., 9/09/2018.

    Research output: Contribution to conference - Without ISBN/ISSN › Poster

Previous 1...40 41 42 43 44 45 46 47 ...257 Next

Back to top