Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

2701 - 2800 out of 3,564Page size: 100
RSS feed of this list
Sort by: Title
  1. Published

    Scalable Bloom Filters

    Almeida, P. S., Baquero, C., Preguiça, N. & Hutchison, D., 31/03/2007, In: Information Processing Letters. 101, 6, p. 255-261 7 p.

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

  2. Published

    Scalable dynamic business process discovery with the constructs competition miner

    Redlich, D., Molka, T., Gilani, W., Blair, G. S. & Rashid, A., 2014, Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), Milan, Italy, November 19-21, 2014.. Accorsi, R., Ceravolo, P. & Russo, B. (eds.). p. 91-107 17 p.

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

  3. Published

    Scaled design and test of a coupler for micro-reentrant square-cavities for millimeter wave klystrons

    Paoloni, C., Mineo, M., Yin, H., Zhang, L., He, W., Robertson, C. W., Ronald, K., Phelps, A. D. R. & Cross, A. W., 2013, 14th IEEE International Vacuum Electronic Conference. IEEE, 2 p.

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

  4. Published

    Scamming the scammers: towards automatic detection of persuasion in advance fee frauds

    Edwards, M. J., Peersman, C. & Rashid, A., 3/04/2017, Second International Workshop on Computational Methods for CyberSafety (CyberSafety 2017) co-located with International Conference on World Wide Web (WWW). New York: ACM, p. 1291-1299 9 p.

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

  5. Published

    Scarecrows, robots and time machines

    Coulton, P., Race, N. & Burnett, D., 4/11/2013. 2 p.

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

  6. Published

    Scared stiff: The influence of anxiety on the perception of action capabilities

    Graydon, M. M., Linkenauger, S. A., Teachman, B. A. & Proffitt, D. R., 2012, In: Cognition and Emotion. 26, 7, p. 1301-1315 15 p.

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

  7. Published

    Scenarios and use cases in Tweether: W-band for Internet Everywhere

    Paoloni, C., Letizia, R., Ni, Q., Krozer, V., Andre, F., Magne, F., Marilier, M., Zimmerman, R., Ramirez, A., Vilar, R. & Burciu, I., 2015.

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

  8. Published

    Science fiction and making ethics futural: Critical response to Yannick Rumpala

    Moffat, L., 28/02/2021, In: Global Discourse. 11, 1-2, p. 267-269 3 p.

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

  9. Published

    SCRIPT/BILETA Response to the Government Consultation "A Communications Review for a Digital Age"

    Easton, C., 2011

    Research output: Other contribution

  10. Published

    Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas

    Serafini, M., Bokor, P., Dobre, D., Majuntke, M. & Suri, N., 28/06/2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). IEEE, p. 353-362 10 p.

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

  11. Published

    SDN-PANDA: Software-Defined Network Platform for ANomaly Detection Applications

    Granby, B., Askwith, R. & Marnerides, A., 10/11/2015, 2015 IEEE 23rd International Conference on Network Protocols (ICNP). IEEE, p. 463-466 4 p. (2015 IEEE 23rd International Conference on Network Protocols (ICNP)).

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

  12. Published

    SDQ: Enabling rapid QoE experimentation using Software Defined Networking

    Fawcett, L., Mu, M., Broadbent, M. H., Hart, N. P. & Race, N. J. P., 24/07/2017, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Lisbon, Portugal: IEEE, 4 p.

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

  13. Published

    Sea Blindness: The Cyber Briefing

    Germond, B. (Speaker), 25/05/2023

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

  14. Published

    Seapower in the age of global leadership challenge: A whole-system approach for the UK

    Germond, B., 11/04/2024, 2 p.

    Research output: Book/Report/Proceedings › Commissioned report

  15. Published

    Seapower in the Post-Modern World

    Germond, B., 30/04/2024, McGill-Queens University Press.

    Research output: Book/Report/Proceedings › Book

  16. Published

    Search+: A resource efficient Peer-to-Peer service discovery mechanism

    Skjegstad, M., Roedig, U. & Johnsen, F. T., 10/2009, IEEE Military Communications Conference, 2009. MILCOM 2009. . IEEE, 8 p.

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

  17. Published

    SecLA-based negotiation and brokering of cloud resources

    Luna, J., Vateva-Gurova, T., Suri, N., Rak, M. & De Benedictis, A., 2014, Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Springer-Verlag, Vol. 453. p. 1-18 18 p.

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

  18. Published

    Secrecy Spectrum and Energy Efficiency Analysis in Massive MIMO-enabled Multi-Tier Hybrid HetNets

    Umer, A., Hassan, S. A., Pervaiz, H., Musavian, L., Ni, Q. & Imran, M. A., 1/03/2020, In: IEEE Transactions on Green Communications and Networking. 4, 1, p. 246-262 17 p.

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

  19. Published

    Secure and privacy-aware cloud-assisted video reporting service in 5G enabled vehicular networks

    Hashem Eiza, M., Ni, Q. & Shi, Q., 10/2016, In: IEEE Transactions on Vehicular Technology. 65, 10, p. 7868-7881 14 p.

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

  20. Published

    Secure and privacy-aware proxy mobile IPv6 protocol for vehicle-to-grid networks

    Hashem-Eiza, M., Shi, Q., Marnerides, A. & Owens, T., 22/05/2016, 2016 IEEE International Conference on Communications (ICC). IEEE, 6 p. 7510934

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

  21. Published

    Secure and robust multi-constrained QoS aware routing algorithm for VANETs

    Hashem Eiza, M., Owens, T. & Ni, Q., 01/2016, In: IEEE Transactions on Dependable and Secure Computing. 13, 1, p. 32-45 14 p.

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

  22. Published

    Secure communication for the Internet of Things - a comparison of link-layer security and IPsec for 6LoWPAN

    Raza, S., Duquennoy, S., Höglund, J., Roedig, U. & Voigt, T., 12/2014, In: Security and Communication Networks. 7, 12, p. 2654-2668 15 p.

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

  23. Published

    Secure messaging and real time media streaming using enterprise PKI and ECC based certificates

    Ashraf, S., Shirazi, S. N., Nadeem, M. A. & Ikram, N., 2010, Computational Technologies in Electrical and Electronics Engineering (SIBIRCON), 2010 IEEE Region 8 International Conference on. IEEE, p. 159-161 3 p.

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

  24. Published

    Securing by design

    Weber, C. & Lacy, M., 07/2011, In: Review of International Studies. 37, 3, p. 1021-1043 23 p.

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

  25. Published

    Securing Communication in 6LoWPAN with Compressed IPsec

    Raza, S., Duquennoy, S., Chung, A., Yazar, D., Voigt, T. & Roedig, U., 1/06/2011, 2011 International Conference on Distributed Computing in Sensor Systems and Workshops (DCOSS). IEEE, p. 1-8 8 p.

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

  26. Published

    Securing GSM voice through scrambling

    Naeem, I. A., Rauf, U., Ahmad, S. F. & Shirazi, S. N., 2010, Proceedings - 2010 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-2010. IEEE, p. 156-158 3 p. 5555330

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

  27. Published

    Securing the cloud-assisted smart grid

    Demir, K., Ismail, H., Vateva-Gurova, T. & Suri, N., 1/12/2018, In: International Journal of Critical Infrastructure Protection. 23, p. 100-111 12 p.

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

  28. Published

    Securitization and the global politics of cybersecurity

    Lacy, M. J. & Prince, D. D. C., 1/03/2018, In: Global Discourse. 8, 1, p. 100-115 16 p.

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

  29. Published

    Security and resilience of cyber-physical infrastructures: Proceedings of the First International Workshop held on 06 April 2016 in conjunction with the International Symposium on Engineering Secure Software and Systems, London, UK

    Rashid, A. (Editor), Joosen, W. (Editor) & Foley, S. (Editor), 2016, Lancaster University School of Computing and Communications.

    Research output: Other contribution

  30. Published

    Security as a service using an SLA-based approach via SPECS

    Rak, M., Suri, N., Luna, J., Petcu, D., Casola, V. & Villano, U., 2/12/2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science. IEEE, p. 1-6 6 p.

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

  31. 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/ISSN › Conference contribution/Paper › peer-review

  32. Published

    Security enhancements for A5/1 without loosing hardware efficiency in future mobile systems

    Komninos, N., Honary, B. & Darnell, M., 05/2002, 3G Mobile Communication Technologies, 2002. Third International Conference on (Conf. Publ. No. 489). London, UK: IEEE, p. 324-328 5 p.

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

  33. Published

    Security issues in cloud federations

    Rak, M., Ghani, H., Ficco, M., Suri, N., Luna, J., Panica, S. & Petcu, D., 2012, Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice. IGI Global, p. 176-194 19 p.

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

  34. Published

    Security of the GPT cryptosystem and its applications to cryptography

    Rashwan, H., Gabidulin, E. M. & Honary, B., 08/2011, In: Security and Communication Networks. 4, 8, p. 937-946 10 p.

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

  35. Published

    Security policy verification for multi-domains in cloud systems

    Gouglidis, A., Mavridis, I. & Hu, V. C., 1/04/2014, In: International Journal of Information Security. 13, 2, p. 97-111 15 p.

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

  36. Published

    Security Requirements Engineering in Safety-Critical Railway Signalling Networks.

    Heinrich, M., Vateva-Gurova, T., Arul, T., Katzenbeisser, S., Suri, N., Birkholz, H., Fuchs, A., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Tverdyshev, S. & Schlehuber, C., 14/07/2019, In: Security and Communication Networks. 2019, 14 p., 8348925.

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

  37. Published

    Security, technology and global politics: thinking with Virilio

    Lacy, M. J., 2015, London: Routledge. 168 p. (Prio New Security Studies)

    Research output: Book/Report/Proceedings › Book

  38. Published

    SEED: a scalable approach for cyber-physical system simulation

    Garraghan, P., McKee, D., Ouyang, X., Webster, D. & Xu, J., 14/10/2015, In: IEEE Transactions on Services Computing. 9, 2, p. 199-212 14 p.

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

  39. Published

    Seeing the invisible algorithm: the practical politics of tracking the credit trackers

    Deville, J. & van der Velden, L., 8/12/2015, Algorithmic life: calculative devices in the age of big data. Amoore, L. & Piotukh, V. (eds.). London: Routledge

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

  40. Published

    Self-adaptive framelet-based communication for wireless sensor networks

    O'Donovan, T., Roedig, U., Benson, J. & Sreenan, C. J., 4/08/2011, In: Computer Networks. 55, 11, p. 2558-2575

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

  41. Published

    Self-Adaptive Power Control Mechanism in D2D Enabled Hybrid Cellular Network with mmWave Small Cells: An Optimization Approach

    Raza, S. A., Hassan, S. A., Pervaiz, H. B., Ni, Q. & Musavian, L., 4/12/2016, Globecom Workshops (GC Wkshps), 2016 IEEE. IEEE, 6 p.

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

  42. Published

    Self-disclosure decision making based on intimacy and privacy

    Such, J. M., Espinosa, A., Garcia-Fornes, A. & Sierra, C., 30/11/2012, In: Information Sciences. 211, p. 93-111 19 p.

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

  43. Published

    Self-organisation in wireless sensor networks for assisted living.

    Zvikhachevskaya, A. & Mihaylova, L., 25/03/2009, IET Conference on Assisted Living 2009: Proceedings of a meeting held 24-25 March 2009, London, United Kingdom. Curran Associates, Inc. , 4 p.

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

  44. Published

    Self-Organising Fuzzy Logic Classifier

    Gu, X. & Angelov, P. P., 06/2018, In: Information Sciences. 447, p. 36-51 16 p.

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

  45. Published

    Self-Organization and Resilience for Networked Systems: Design Principles and Open Research Issues

    Dobson, S., Hutchison, D., Mauthe, A. U., Schaeffer-Filho, A. E., Smith, P. & Sterbenz, J. P., 1/04/2019, In: Proceedings of the IEEE . 107, 4, p. 819-834 16 p.

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

  46. Published

    Self-organized Relay Selection for Cooperative Transmission in Vehicular Ad-hoc Networks

    Tian, D., Zhou, J., Sheng, Z., Chen, M., Ni, Q. & Leung, V. C. M., 10/2017, In: IEEE Transactions on Vehicular Technology. 66, 10, p. 9534-9549 16 p.

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

  47. Published

    SEM-ACSIT: Secure and Efficient Multiauthority Access Control for IoT Cloud Storage

    Xiong, S., Ni, Q., Wang, L. & Wang, Q., 14/04/2020, In: IEEE Internet of Things Journal. 7, 4, p. 2914-2927 14 p.

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

  48. Published

    Semantic categorization of web-based documents

    Evans, T. & Angelov, P., 16/12/2004, p. 500-505. 6 p.

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

  49. Published

    Semantic image retrieval using region-based relevance feedback

    Torres, J. M., Hutchison, D. & Reis, L. P., 2007, Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers. Marchand-Maillet, S., Bruno, E., Nürnberger, A. & Detyniecki, M. (eds.). Berlin: Springer, p. 192-206 15 p. (Lecture Notes in Computer Science; vol. 4398).

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

  50. Published

    Semantic tagging and early modern collocates

    Alexander, M., Baron, A., Dallachy, F., Piao, S., Rayson, P. & Wattam, S., 22/07/2015, p. 8-10. 3 p.

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

  51. Published

    Semantics-Based Composition for Aspect-Oriented Requirements Engineering

    Chitchyan, R., Rashid, A., Rayson, P. & Waters, R., 04/2007, AOSD '07 Proceedings of the 6th international conference on Aspect-oriented software development. ACM, p. 36-48 13 p.

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

  52. Published

    Semiconductor devices for quantum technologies

    Young, R., 22/09/2014.

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

  53. Published

    Semiconductor quantum dots for quantum light sources

    Young, M., Roberts, J. & Young, R., 4/10/2013.

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

  54. Published

    SENAMI: Selective Non-Invasive Active Monitoring for ICS Intrusion Detection

    Jardine, W., Frey, S., Green, B. & Rashid, A., 28/10/2016, CPS-SPC '16 Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy. New York: ACM, p. 23-34 12 p.

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

  55. Published

    Sender-adaptive and receiver-driven layered multicast for scalable video over the Internet

    Zhang, Q., Guo, Q., Ni, Q., Zhu, W. & Zhang, Y.-Q., 04/2005, In: IEEE Transactions on Circuits and Systems for Video Technology. 15, 4, p. 482-495 14 p.

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

  56. Published

    Sense and Avoid in UAS: Research and Applications

    Angelov, P., 1/04/2012, Hoboken, NJ: John Wiley and Sons. 384 p.

    Research output: Book/Report/Proceedings › Book

  57. Published

    Sense and semantic tagging

    Rayson, P. & Stevenson, M., 2008, Corpus Linguistics: An international handbook. Lüdeling, A. & Kytö, M. (eds.). Berlin: Mouton de Gruyter, (Handbooks of Linguistics and Communication Science Series).

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

  58. Published

    Sensor and Data Fusion: Taxonomy, Challenges and Applications

    Klein, L., Mihaylova, L. & El Faouzi, N.-E., 01/2012, Handbook on Soft Computing for Video Surveillance. Pal, S. K., Petrosino, A. & Maddalena, L. (eds.). USA: Chapman & Hall, p. 139-183 45 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed)

  59. Published

    Sensor Network Calculus - A Framework for Worst Case Analysis.

    Roedig, U. & Schmitt, J., 30/06/2005, Distributed Computing in Sensor Systems: First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings. Prasanna, V. K., Iyengar, S. S., Spirakis, P. G. & Welsh, M. (eds.). Berlin: Springer Verlag, p. 141-154 14 p. (Lecture Notes in Computer Science; vol. 3560).

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

  60. Published

    Sensor Network Calculus with Multiple Sinks

    Schmitt, J., Zdarsky, F. & Roedig, U., 05/2006, Proceedings of the Performance Control in Wireless Sensor Networks Workshop at the 2006 IFIP Networking Conference. p. 6-13 8 p.

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

  61. Published

    Sensor Placement Modes for Smartphone based Pedestrian Dead Reckoning

    Ayub, S., Zhou, X., Honary, S., Bahraminasab, A. & Honary, B., 09/2011, Computer, Informatics, Cybernetics and Applications: Proceedings of the CICA 2011. He, X., Hua, E., Lin, Y. & Liu, X. (eds.). Berlin: Springer Verlag, p. 123-132 10 p. (Lecture Notes in Electrical Engineering; vol. 107).

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

  62. Published

    Sentence memorability reveals the mental representations involved in processing spatial descriptions

    Fleming, P., Ball, L. J., Ormerod, T. C. & Collins, A. F., 2011, In: Thinking and Reasoning. 17, 1, p. 30-56 27 p.

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

  63. Published

    Sentencing for offences involving child pornography

    Gillespie, A., 2003, In: Criminal Law Review. p. 81-93 13 p.

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

  64. Published

    Sentiment Analysis based Error Detection for Large-Scale Systems

    Alharthi, K., Jhumka, A., Di, S., Cappello, F. & Chuah, E., 24/06/2021.

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

  65. Published

    Sentiment analysis tools should take account of the number of exclamation marks!!!

    Teh, P. L., Rayson, P. E., Pak, I. & Piao, S. S., 11/12/2015, iiWAS '15 Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services. New York: ACM, 6 p. 35

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

  66. Published

    SENTRY: A novel approach for mitigating application layer DDoS threats

    Zhang, H., Taha, A., Trapero, R., Luna, J. & Suri, N., 23/08/2016, 2016 IEEE Trustcom/BigDataSE/ISPA. IEEE, p. 465-472 8 p.

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

  67. Published

    Sequence Detection Based on a Variable State Trellis for Multidimensional ISI Channels

    Moinian, A., Fagoonee, L., Coene, W. M. J. & Honary, B., 02/2007, In: IEEE Transactions on Magnetics. 43, 2, p. 580-587 8 p.

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

  68. Published

    Sequent Calculus for Euler Diagrams

    Linker, S., 18/06/2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Cham: Springer, p. 399-407 9 p. (Lecture Notes in Computer Science; vol. 10871).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  69. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

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

  70. Published

    Sequential Monte Carlo algorithms for joint target tracking and classification using kinematic radar information

    Angelova, D. & Mihaylova, L., 1/07/2004, Proceedings of the Seventh International Conference on Information Fusion. p. 709-716 8 p.

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

  71. Published

    Sequential Monte Carlo methods for state and parameter estimation in abruptly changing environments

    Nemeth, C., Fearnhead, P. & Mihaylova, L., 1/03/2014, In: IEEE Transactions on Signal Processing. 62, 5, p. 1245-1255 11 p.

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

  72. Published

    Sequential Monte Carlo tracking by fusing multiple cues in video sequences

    Brasnett, P. & Mihaylova, L., 08/2007, In: Image and Vision Computing. 25, 8, p. 1217-1227 11 p.

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

  73. Published

    SeReCP: A secure and reliable communication platform for the smart grid

    Demir, K., Suri, N., M., K. (Editor), D.S., K. (Editor) & V., V. (Editor), 22/01/2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 175-184 10 p.

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

  74. Published

    Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers

    Malek, M. (Editor), Nett, E. (Editor) & Suri, N. (Editor), 2005, Springer.

    Research output: Book/Report/Proceedings › Proceedings

  75. Published

    Service Design, New Media and Community Development

    Bury, S., Cheverst, K., Ishmael, J., Mitchell, K., Race, N., Rouncefield, M., Smith, P. & Taylor, N., 2011, Design for services. Meroni, A. & Sangiorgi, D. (eds.). Farnham: Gower, p. 125-130 6 p. (Design for social responsibility).

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

  76. Published

    Service level agreement monitoring for resilience in computer networks

    Shirazi, S. N. U. H., Schaeffer-Filho, A. & Hutchison, D., 2012, 13th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting. Liverpool: Liverpool John Moores University, 5 p.

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

  77. Published

    Service Quality Measurements for IPv6 Inter-networks

    Pezaros, D., Hutchison, D., Garcia, F., Gardner, R. & Sventek, J., 9/06/2004.

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

  78. Published

    Session introduction : wireless sensor networks

    Roedig, U., 1/08/2004, Euromicro Conference, 2004. Proceedings. 30th. IEEE, p. 494 1 p.

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

  79. 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/ISSN › Conference contribution/Paper › peer-review

  80. Published

    Sex offender registers

    Gillespie, A., 2007, In: Irish Criminal Law Journal. 17, 1, p. 9-16 8 p.

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

  81. Published

    Sexual and general offending trajectories of men referred for civil commitment

    Francis, B., Harris, D., Wallace, S., Soothill, K. & Knight, R., 31/08/2014, In: Sexual Abuse. 26, 4, p. 311-329 19 p.

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

  82. Published

    Sexual exploitation

    Gillespie, A., 2015, International child law. Buck, T. (ed.). 3rd ed. London: Routledge, p. 333-383 51 p.

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

  83. Published

    Sexual exploitation

    Gillespie, A., 2011, International child law. Buck, T. (ed.). 2nd ed. London: Routledge, p. 262-284 23 p.

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

  84. Published

    Sexual exploitation of children: law and punishment

    Gillespie, A., 2008, Dublin: Thomson Reuters. 374 p.

    Research output: Book/Report/Proceedings › Book

  85. Published

    Sexual offences

    Card, R., Gillespie, A. & Hirst, M., 2008, Bristol: Jordans. 679 p.

    Research output: Book/Report/Proceedings › Book

  86. Published

    Sexual offences prevention orders and the right of entry

    Gillespie, A., 2009, In: Criminal Law Review. 8, p. 576-580 5 p.

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

  87. Published

    Sexual recidivism

    Francis, B. & Soothill, K., 11/2013, Encyclopedia of criminology and criminal justice. Bruinsma, G. & Weisburd, D. (eds.). New York: Springer, p. 4798-4809 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Entry for encyclopedia/dictionary

  88. E-pub ahead of print

    SFOM-DT: A Secure and Fair One-to-Many Data Trading Scheme Based on Blockchain

    Xiong, S., Chen, P., Ge, S. & Ni, Q., 7/10/2024, (E-pub ahead of print) In: IEEE Transactions on Information Forensics and Security.

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

  89. Published

    Shallow Knowledge as an Aid to Deep Understanding in Early-Phase Requirements Engineering

    Sawyer, P., Rayson, P. & Cosh, K., 11/2005, In: IEEE Transactions on Software Engineering. 31, 11, p. 969-981 13 p.

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

  90. Published

    Shape Display Shader Language (SDSL): a new programming model for shape changing displays

    Weichel, C., Alexander, J. & Hardy, J., 04/2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. New York: ACM, p. 1121-1126 6 p.

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

  91. Published

    ShapeCanvas: an exploration of shape-changing content generation by members of the public

    Everitt, A., Taher, F. & Alexander, J., 7/05/2016, CHI '16 Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. New York: ACM Press, p. 2778-2782 5 p.

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

  92. Published

    ShapeClip: towards rapid prototyping with shape-changing displays for designers

    Hardy, J., Weichel, C., Taher, F., Vidler, J. & Alexander, J., 18/04/2015, CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. New York: ACM, p. 19-28 10 p.

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

  93. Published

    Shard scheduler: Object placement and migration in sharded account-based blockchains

    Król, M., Ascigil, O., Rene, S., Sonnino, A., Al-Bassam, M. & Rivière, E., 23/11/2021, AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies. New York: ACM, p. 43-56 14 p.

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

  94. Published

    Sharing control of dispersed situated displays between nand residential users

    Kray, C., Cheverst, K., Fitton, D., Sas, C., Patterson, J., Rouncefield, M. & Stahl, C., 2006, MobileHCI '06: Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. New York: ACM, p. 61-68 8 p.

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

  95. Published

    Sharing Control of Dispersed Situated Displays between Nomadic and Residential Users

    Kray, C., Cheverst, K., Fitton, D., Sas, C., Patterson, J., Rouncefield, M. & Stahl, C., 2006, MobileHCI '06 Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. p. 61-68 8 p.

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

  96. Published

    Shielding noises from spins

    Cao, Y., Bennett, A. J., Ellis, D., Farrer, I., Ritchie, D. A., Shields, A. J., Noori, Y., Roberts, J., Woodhead, C. & Young, R. J., 22/03/2016.

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

  97. Unpublished

    Shome mistake surely?: Middle Muddlement in an FE College

    Iszatt White, M., Kelly, S., Rouncefield, M. & Randall, D., 09/2004, (Unpublished).

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

  98. Published

    Short paper: gathering tamper evidence in wi-fi networks based on channel state information

    Bagci, I. E., Roedig, U., Schulz, M. & Hollick, M., 23/07/2014, WiSec '14 Proceedings of the 2014 ACM conference on Security and privacy in wireless & mobile networks. New York: ACM Press, p. 183-188 6 p.

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

  99. Published

    Short term power load forecasting using Deep Neural Networks

    Ud Din, G. M. & Marnerides, A., 26/01/2017, 2017 International Conference on Computing, Networking and Communications (ICNC). IEEE

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

  100. Published

    Shortcuts to Geographic Profiling Success: A Reply to Rossmo (2005).

    Snook, B., Taylor, P. J. & Bennell, C., 07/2005, In: Applied Cognitive Psychology. 19, 5, p. 655-661 7 p.

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

Previous 1...24 25 26 27 28 29 30 31 ...36 Next

Back to top