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

Security Lancaster

  1. 2014
  2. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

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

  3. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

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

  4. Published

    Multi-tenancy in cloud computing

    AlJahdali, H., Albatli , A., Garraghan, P., Townend, P., Lau, L. & Xu, J., 12/06/2014, 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE). IEEE, p. 344-351 8 p.

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

  5. Published

    Dynamically evolving clustering for data streams

    Dutta Baruah, R., Angelov, P. & Baruah, D., 2/06/2014, Proceedings 2014 IEEE Symposium on Evolving and Intelligent Systems, EAIS2014. IEEE Xplore, p. 1-6 6 p.

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

  6. Published

    Robust evolving cloud-based PID control adjusted by gradient learning method

    Skrjanc, I., Blazic, S. & Angelov, P., 2/06/2014, Proceedings 2014 IEEE Symposium on Evolving and Intelligent Systems, EAIS-2014. IEEE Xplore, p. 1-8 8 p.

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

  7. Published

    Researcher bias: The use of machine learning in software defect prediction

    Shepperd, M., Bowes, D. & Hall, T., 1/06/2014, In: IEEE Transactions on Software Engineering. 40, 6, p. 603-616 14 p., 6824804.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Three dimensions of religious place-making in diaspora

    Vasquez, M. A. & Knott, K., 1/06/2014, In: Global Networks. II, p. 326-347 21 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    A survey of privacy in multi-agent systems

    Such, J. M., Espinosa, A. & Garcia-Fornes, A., 06/2014, In: Knowledge Engineering Review. 29, 3, p. 314-344 31 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Can SPDY really make the web faster?

    Elkhatib, Y., Tyson, G. & Welzl, M., 06/2014, Networking Conference, 2014 IFIP. IFIP, p. 1-9 9 p.

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

  11. Published

    Concrete governmentality: shelters and the transformations of preparedness

    Deville, J., Guggenheim, M. & Hrdličková, Z., 06/2014, In: The Sociological Review. 62, Supp. S1, p. 183-210 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top