Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

1401 - 1410 out of 3,580Page size: 10
RSS feed of this list
  1. 2015
  2. Published

    IPv6 AS relationships, cliques, and congruence

    Giotsas, V., Luckie, M., Huffaker, B. & Claffy, K., 2015, Passive and Active Measurement: 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings. Mirkovic, J. & Liu, Y. (eds.). Berlin: Springer, p. 111-122 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8995).

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

  3. Published

    Leveraging SDN to provide an in-network QoE measurement framework

    Farshad, A., Georgopoulos, P., Broadbent, M., Mu, M. & Race, N., 2015, Computer Communications Workshops (INFOCOM WKSHPS), 2015 IEEE Conference on. IEEE, p. 239-244 6 p.

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

  4. Published

    Lived economies of default: consumer credit, debt collection, and the capture of affect

    Deville, J., 2015, London: Routledge. 212 p. (CRESC Culture, Economy and the Social)

    Research output: Book/Report/Proceedings › Book

  5. Published

    On the feasibility of side-channel attacks in a virtualized environment

    Vateva-Gurova, T., Luna, J., Pellegrino, G. & Suri, N., 2015, E-Business and Telecommunications: 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. Springer-Verlag, Vol. 554. p. 319-339 21 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. Published

    Open challenges in relationship-based privacy mechanisms for social network services

    Fogues, R. L., Such, J. M., Espinosa, A. & Garcia-Fornes, A., 2015, In: International Journal of Human-Computer Interaction. 31, 5, p. 350-370 21 p.

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

  7. Published

    Optimization studies on CSRR loaded waveguide for particle accelerator applications

    Sharples, E. & Letizia, R., 2015, Abstracts 2015 IEEE International Conference on Plasma Sciences (ICOPS). IEEE, 1 p.

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

  8. Published

    PBMC: Symbolic slicing for the verification of concurrent programs

    Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

    Research output: Exhibits, objects and web-based outputs › Software

  10. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: Thesis › Doctoral Thesis

  11. Published

    ProTec - A Normal-Conducting Cyclinac for Proton Therapy Research and Radioisotope Production

    Apsimon, R. J., Burt, G. C., Mitchell, J., Pitman, S., Owen, H. & Degiovanni, A., 2015, Proceedings of the 6th International Particle Accelerator Conference. JACoW, p. 3883-3885 3 p. THPF084

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

Previous 1...137 138 139 140 141 142 143 144 ...358 Next

Back to top