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

Security Lancaster

  1. Blog
  2. Published

    What would immigration look like under a progressive coalition?

    Consterdine, E., 17/04/2015

    Research output: Exhibits, objects and web-based outputsBlog

  3. Published

    Where do the Labour leader contenders stand on immigration?

    Consterdine, E., 9/01/2015

    Research output: Exhibits, objects and web-based outputsBlog

  4. Podcast
  5. Published

    Sea Blindness: The Cyber Briefing

    Germond, B., 25/05/2023

    Research output: Exhibits, objects and web-based outputsPodcast

  6. Published

    Irregular warriors and mercenary soldiers

    Ryder, M. & Hughes, J., 4/02/2020

    Research output: Exhibits, objects and web-based outputsPodcast

  7. Published

    Terrorism and technology

    Ryder, M., Hughes, J. & Mutton, R., 29/10/2019

    Research output: Exhibits, objects and web-based outputsPodcast

  8. Published

    Women and terrorism

    Ryder, M., Hughes, J. & Mutton, R., 8/10/2019

    Research output: Exhibits, objects and web-based outputsPodcast

  9. Preprint
  10. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paperPreprint

  11. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paperPreprint

  12. 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

Previous 1...349 350 351 352 353 Next

Back to top