Home > Publications

Publications

38001 - 38500 out of 43,258Page size: 500
  1. Conference contribution › Research
  2. Published

    A Unifying Theory of Dependent Types: the schematic approach

    Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    A Universal Client-based Identity Management Tool

    Al-Sinani, H. S. & Mitchell, C. J., 2012, Public Key Infrastructures, Services and Applications - 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers: 8th European Workshop on Public Key Infrastructures, Services and Applications, Leuven, Belgium, 15th/16th September 2011. Petkova-Nikova, S., Pashalidis, A. & Pernul, G. (eds.). Springer-Verlag, p. 49-74 26 p. (Lecture Notes in Computer Science; no. 7163).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    A user-centric m-payment solution

    Zhang, Q., Mayes, K. & Markantonakis, K., 1 Nov 2005, Mobile Technology, Applications and Systems, 2005 2nd International Conference on. p. 8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    A User-Centric Solution To Realise M-Payment

    Zhang, Q. & Mayes, K., 2005, A User-Centric Solution To Realise M-Payment. Belgium

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    A viable grid marketplace

    Li, Q. & Martin, K. M., 2010, Proceedings of IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2010). IEEE Computer Society Press, p. 427-432

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    A Vulnerability in the Song Authentication Protocol for Low-Cost RFID Tags

    Abu Ghazalah, S., Markantonakis, K. & Mayes, K., 8 Jul 2013, The 25th IFIP International Information Security Conference (SEC 2013). Springer-Verlag, Vol. 405. p. 102-110 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. de Nicola, R. & Hennicker, R. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Abstract object types – a temporal perspective

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 324-350 27 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem

    Wahlström, M., 2013, STACS. p. 341-352 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Access control and authorization constraints for WS-BPEL

    Bertino, E., Crampton, J. & Paci, F., 2006, Proceedings of IEEE International Conference on Web Services. IEEE Computer Society Press, p. 275-284 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    Access Control and Availability Vulnerabilities in the ISO/IEC 61850 Substation Automation Protocol

    Wright, J. & Wolthusen, S., 2017, Critical Information Infrastructures Security: 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers. Havarneanu, G., Setola, R., Nassopoulos, H. & Wolthusen, S. (eds.). Springer, p. 239-251 13 p. (Lecture Notes in Computer Science; vol. 10242).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Access control in a distributed object environment using XML and roles

    Crampton, J. & Khambhammettu, H., 2003, Proceedings of 3rd Annual Information Security South Africa Conference (ISSA 2003). p. 75-88 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Access Control in Publicly Verifiable Outsourced Computation

    Alderman, J., Janson, C., Cid, C. & Crampton, J., 14 Apr 2015, Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2015. ACM, p. 657-662 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    Accessibility and Adoption of Industry 4.0 Technologies for Small Manufacturing Firms

    Shah, S., Samadi, S. & Lin, T. F., Nov 2021, IEEE Int. Conference on Technology Management Operations and Decisions. IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Published

    Accessing a New Land: Designing for a Social Conceptualisation of Access

    Coles-Kemp, L. & Jensen, R. B., 2 May 2019, CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. ACM, p. 1-12 12 p. 181

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Published

    Accessing External Applications from Knowledge-Based Systems

    Cosmadopoulos, Y., Southwick, R. & Stathis, K., 1990, Proceedings of Expert Systems 90, Research and Development in Expert Systems VII. Addis, T. R. & Muir, R. M. (eds.). p. 54-65 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Unpublished

    Accreditation of Hospitals in Iran” Presented at the Critical Perspectives on Accounting Conference, Toronto, Canada, (International conference: July, 2014).

    Agyemang, G. & Agrizzi, D., 8 Jul 2014, (Unpublished) Critical Perspectives on Accounting Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Published

    Achieving Context Awareness and Intelligence in Distributed Cognitive Radio Networks: A Payoff Propagation Approach

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2011, 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011. p. 210-215 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Published

    Achieving Efficient and Optimal Joint Action in Distributed Cognitive Radio Networks Using Payoff Propagation

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2010, Proceedings of IEEE International Conference on Communications, ICC 2010, Cape Town, South Africa, 23-27 May 2010. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. In preparation

    Achieving secure and efficient lattice-based public-key encryption: the impact of the secret-key distribution

    Bhattacharya, S., Garcia-Morchon, O., Player, R. & Tolhuizen, L., 2019, (In preparation) Eprint.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Published

    Achieving social integration to implement ERP systems

    Elbanna, A., 2003, The European Conference of Information Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Achieving strategic growth in microenterprises through information technology: UK micro enterprise case study

    Shah, S., Long, M. & Ganji, E. N., 9 Feb 2018, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society Press, p. 1133-1137 5 p. (IEEE International Conference on Industrial Engineering and Engineering Management; vol. 2017-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Published

    Action-Based Environment Modeling for Maintaining Trust

    Kafali, O. & Yolum, P., 2008, Trust in Agent Societies. Vol. 5396. p. 81-98 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Published

    Active Disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D., 1 Jan 2002, Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing (PODC 2002). p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Published

    Activity Recognition for an Agent-oriented Personal Health System

    Kafali, O., Romero, A. E. & Stathis, K., Dec 2014, Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA 2014. Khanh Dam, H., Pitt, J., Xu, Y., Governatori, G. & Ito, T. (eds.). Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Published

    Actor-Network Procedures

    Pavlovic, D. & Meadows, C., 2012, Distributed Computing and Internet Technology: 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012: Proceedings. Ramanujam, R. & Ramaswamy, S. (eds.). Springer-Verlag, p. 7-26 (Lecture Notes in Computer Science; vol. 7154).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Published

    Acts of Omission and Commission: Lack of Marketplace Representation

    Bennett, A., Menzel Baker, S., Cross, S., Hutton, M., Stovall, T. & Ekpo, A., 2016, AMA Marketing and Public Policy Conference, California Polytechnic State University, U.S., June 23-25, 2016.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Published

    Actual and perceived levels of risk in consumer e-commerce

    Jarupunphol, P. & Mitchell, C. J., 2001, Proceedings - 2nd International We-B Conference 2001, Perth, Western Australia, November 2001. p. 207-216 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Published

    Adapting Reinforcement Learning For Trust: Effective Modeling in Dynamic Environments (Short Paper)

    Kafali, O. & Yolum, P., 2009, IEEE / WIC / ACM International Conference on Web Intelligence. p. 383-386 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    Adaptive bone abnormality detection in medical imagery using deep neural networks

    Storey, O., Wei, B., Zhang, L. & Romuald Fotso Mtope, F., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 915-922 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Adaptive Hedge

    Erven, T. V., Rooij, S. D., Koolen, W. M. & Grünwald, P., 1 Dec 2011, Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Published

    Adaptive totally ordered multicast protocol that tolerates partitions

    Chockler, G. V., Huleihel, N. & Dolev, D., 1998, Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC '98). ACM, p. 237-246 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Published

    Addressing privacy issues in CardSpace

    Alrodhan, W. & Mitchell, C. J., 2007, Proceedings of IAS '07, Third International Symposium on Information Assurance and Security, Manchester, UK, August 2007. IEEE Computer Society Press, p. 285-291 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Published

    Addressing privacy issues in location-based collaborative and distributed environments

    Saracino, A., Sgandurra, D. & Spagnuelo, D., 2014, 2014 International Conference on Collaboration Technologies and Systems, CTS 2014. IEEE Computer Society, p. 166-172 7 p. 6867560

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Published

    Addressing Threats to Real-World Identity Management Systems

    Li, W. & Mitchell, C., 16 Oct 2015, ISSE 2015: Highlights of the Information Security Solutions Europe 2015 Conference. Reimer, H., Pohlmann, N. & Schneider, W. (eds.). Wiesbaden: Springer Vieweg, p. 251-259 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Published

    Administrative scope and hierarchy operations

    Crampton, J. & Loizou, G., 2002, Proceedings of 7th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 145-154 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Published

    Adopting a ‘Search’ Lens in Exploration of How Organisations Transform Digitally

    Hafezieh, N. & Eshraghian, F., 2022, European Conference on Information Systems. Association for Information Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Adoption of Additive Manufacturing Approaches: The Case of Manufacturing SMEs

    Shah, S. & Mattiuzza, S., 13 Aug 2018, 2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings. IEEE, 8436257. (2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Published

    Adoption of mobile technologies in Malawian academic libraries: the case of Mzuzu University Library

    Kapondera, S. K. & Ngalande, E., 2016, Standing Conference of Eastern, Central and Southern African Library and Information Associations. p. 165-174 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Advanced technology integration in food manufacturing supply chain environment: Pathway to sustainability and companies' prosperity

    Ojo, O. O., Shah, S., Zigan, S. & Orchard, J., Jun 2019, 2019 IEEE Technology and Engineering Management Conference, TEMSCON 2019. Institute of Electrical and Electronics Engineers Inc., 8813713. (2019 IEEE Technology and Engineering Management Conference, TEMSCON 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Published

    Adventures with Lucos Cozza: a conduit beneath the grounds of the Villa Wolkonsky - the Lateran branch of the Acqua Felice (1586-88)

    Claridge, A., 20 Apr 2014, Scritti in onore di Lucos Cozza. Coates-Stephens, R. & Cozza, L. (eds.). Rome: Edizioni Quasar Rome, p. 192-197 5 p. (Lexicon Topographicum Urbis Romae Supplementum; vol. VII).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. E-pub ahead of print

    Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols

    Nweke, L. O., Kahsay Weldehawaryat, G. & Wolthusen, S. D., 11 May 2020, (E-pub ahead of print) 2020 16th International Conference on the Design of Reliable Communication Networks, DRCN 2020. Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. 9089346. (2020 16th International Conference on the Design of Reliable Communication Networks, DRCN 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Unpublished

    Aesthetics of Conventionalisation and the Contributions to Xiqu's Intercultural Communication

    Li, X., 2018, (Unpublished) Intercultural Communications, Translation, and Methods of Teaching Foreign Languages.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Published

    Affordance Theory in Social Media Research: Systematic Review and Synthesis of The Literature

    Hafezieh, N. & Eshraghian, F., 2017, European Conference on Information Systems Proceedings. Association for Information Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Published

    'Affordance’-what does this mean?

    Hafezieh, N. & Harwood, S., 2017, Proceedings of Twenty Second UK Academy of Information Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Published

    After Beckett: Edward Bond’s Post-Auschwitz Dramaturgy of Ruins

    Chen, C-C., 5 Sep 2016, TaPRA.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Unpublished

    Agency and institutions in MNC research: the contribution of critical realism

    Rees, C., Jul 2012, (Unpublished) 28th European Group for Organizational Studies (EGOS) Colloquium. Helsinki

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Unpublished

    Agency Issues and Investment: A Comparative Analysis of the UK and Pakistani Listed firms

    Naeem, K. & Li, M. C., 2018, (Unpublished) Proceedings of New York International Business and Social Science Research Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Forthcoming

    Agent Interaction and State Determination in SCADA Systems

    Mcevoy, R. & Wolthusen, S. D., 2012, (Accepted/In press) Proceedings of the Sixth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Published

    Agent-based host enumeration and vulnerability scanning using dynamic topology information

    Al-Salloum, Z. & Wolthusen, S. D., Aug 2010, Information Security for South Africa 2010 (ISSA). IEEE Computer Society Press, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Published

    Aggregating strategies

    Vovk, V., 1990, Proceedings of the Third Annual Workshop on Computational Learning Theory. Fulk, M. & Case, J. (eds.). San Mateo, CA: Morgan Kaufmann, p. 371-383 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Published

    Aggregation Algorithm vs. Average For Time Series Prediction

    Jamil, W., Kalnishkan, Y. & Bouchachia, H., 23 Sep 2016, Proceedings of the ECML PKDD 2016 Workshop on Large-scale Learning from Data Streams in Evolving Environments, STREAMEVOLV-2016. p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. Published

    Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Published

    Algebraic Cryptanalysis and RFID Authentication

    Cid, C., Ferreira, L., Procter, G. & Robshaw, M., 21 Nov 2015, The 11th Workshop on RFID Security - RFIDSec 2015. Springer, p. 104-121 18 p. (Lecture Notes in Computer Science; vol. 9440).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. E-pub ahead of print

    Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

    Albrecht, M., Cid, C., Grassi, L., Khovratovich, D., Lüftenegger, R., Rechberger, C. & Schofnegger, M., 22 Nov 2019, (E-pub ahead of print) ASIACRYPT 2019. p. 371-397 17 p. (Lecture Notes in Computer Science; vol. 11923).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Published

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Published

    Algebraic Precomputations in Differential and Integral Cryptanalysis

    Albrecht, M., Cid, C., Dullien, T., Faugere, J-C. & Perret, L., 2010, Information Security and Cryptology - 6th International Conference, Inscrypt 2010. Springer, Vol. 6584. p. 387-403 17 p. (Lecture Notes in Computer Science - LNCS; vol. 6584).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 2017, Electronic Colloquium on Computation Complexity .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108. p. 60 71 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Published

    Algebraic Semantics of Coordination or What Is in a Signature

    Fiadeiro, J. L. & Lopes, A., 1999, AMAST. Springer, Vol. 1548. p. 293-307 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Algebraic Software Architecture Reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, ESEC / SIGSOFT FSE. Springer, Vol. 1687. p. 393-409 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Published

    Algebraic Techniques in Differential Cryptanalysis

    Albrecht, M. & Cid, C., 2009, Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009: Revised Selected Papers. Dunkelman, O. (ed.). Springer, p. 193-208 16 p. (Lecture Notes in Computer Science - LNCS; vol. 5665).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. E-pub ahead of print

    Algebras for Tree Decomposable Graphs

    Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, (E-pub ahead of print) Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 203-220 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Published

    Algorithms for Advanced Clandestine Tracking in Short-Range Ad Hoc Networks

    Wolthusen, S. D. & Al-Kuwari, S., May 2010, Security and Privacy in Mobile Information and Communication Systems: Second International ICST Conference (MobiSec 2010). Springer-Verlag, p. 67-79

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. Published

    Alternating Control Flow Reconstruction

    Kinder, J. & Kravchenko, D., Jan 2012, Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Published

    Amino acids in the asteroidal water-bearing salt crystals hosted in the Zag meteorite

    Chan, QHS., Zolensky, ME., Burton, AS. & Locke, DR., 2016, 47th Lunar and Planetary Science Conference, held March 2016, at The Woodlands, Texas.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Published

    Amnesic distributed storage

    Chockler, G., Guerraoui, R. & Keidar, I., 1 Jan 2007, Proceedings of the 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Vol. 4731 LNCS. p. 139-151 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Published

    An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

    Kinder, J., Zuleger, F. & Veith, H., 2009, Proc. 10th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2009). Springer, p. 214-228

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Published

    An Agent Development Framework based on Social Positions

    Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. Published

    An Algebra for the Detection and Prediction of Malicious Activity in Concurrent Systems

    Mcevoy, R. & Wolthusen, S. D., May 2010, Proceedings of the 2010 Fifth International Conference on Systems (ICONS 2010). IEEE Computer Society Press, p. 125-133

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  73. Published

    An Algebraic Approach to the Analysis of Constrained Workflow Systems

    Crampton, J., 2004, Proceedings of 3rd Workshop on Foundations of Computer Security (FCS'04). p. 61-74 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Published

    An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection

    Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  75. Published

    An Algorithm for the SAT Problem for Formulae of Linear Length

    Wahlström, M., 2005, ESA. p. 107-118 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Published

    An Analysis of Cyclical Interdependencies in Critical Infrastructures

    Svendsen, N. & Wolthusen, S. D., 3 Oct 2007, Proc. Second International Workshop on Critical Information Infrastructures Security (CRITIS 2007). Springer-Verlag, p. 25-36

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. Published

    An Analysis of DepenDNS

    Alfardan, N. & Paterson, K., 2010, Information Security. Springer, Vol. 6531. p. 31-37 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Published

    An Analysis of Phishing Blacklists: Google Safe Browsing, OpenPhish, and PhishTank

    Bell, S. & Komisarczuk, P., 4 Feb 2020, Proceedings of the Australasian Computer Science Week Multiconference 2020, ACSW 2020. Association for Computing Machinery (ACM), p. 1-11 11 p. 3. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Published

    An Analysis of Service Degradation Attacks against Real-Time MPLS Networks

    Almutairi, A. & Wolthusen, S. D., 2013, Proceedings of the 2013 Information Security South Africa Conference (ISSA 2013). IEEE Computer Society Press, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. Published

    An analysis of the 3gpp-MAC scheme

    Knudsen, L. R. & Mitchell, C. J., 2001, Proceedings of WCC 2001, Paris, France, 8-12 January 2001. Augot, D. & Carlet, C. (eds.). p. 319-328 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. Published

    An Analysis of the Hermes8 Stream Ciphers

    Babbage, S., Cid, C., Pramstaller, N. & Raddum, H., 2007, Proceedings of the 12th Australasian Conference on Information Security and Privacy, ACISP 2007. Springer, Vol. 4586. p. 1-10 11 p. (Lecture Notes in Computer Science - LNCS; vol. 4586).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    An analysis of the moderating effect of age on smartphone adoption and use in the United Arab Emirates: UK Academy of Information Systems (UKAIS)

    Ameen, N. & Willis, R., 2018, An analysis of the moderating effect of age on smartphone adoption and use in the United Arab Emirates: UK Academy of Information Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. Published

    An Analysis of the Perceived Value of Using Knowledge Management Systems in Supporting Decision Making Processes

    Abdelrahman, M., Papamichail, K. & French, S., 2010, 11th European Conference on Knowledge Management ECKM . p. 1115-1128

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Published

    An Analysis of the XSL Algorithm

    Cid, C. & Gaetan, L., Dec 2005, Advances in Cryptology - ASIACRYPT 2005. Springer, Vol. 3788. p. 333-352 20 p. (Lecture Notes in Computer Science - LNCS; vol. 3788).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. Published

    An anonymous and undeniable payment scheme

    Chen, LI. & Mitchell, C. J., 1997, Proceedings of the First International Conference on Information and Communications Security, ICICS '97, Beijing, China, November 1997. Han, Y., Okamoto, T. & Qing, S. (eds.). Springer-Verlag, p. 478-482 5 p. (Lecture Notes in Computer Science; no. 1334).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  86. Published

    An Architecture for Audit Logging in a Smart Card Environment

    Markantonakis, K., Mar 1999, An Architecture for Audit Logging in a Smart Card Environment.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Published

    An Architecture to Support Multiple Subscriber Identity Applications Accessing Multiple Mobile Telecommunication Access Network Systems

    Francis, L., Mayes, K. & Markantonakis, K., 2008, THIRD 2008 INTERNATIONAL CONFERENCE ON CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, VOL 2, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 386-395 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. Published

    An Argumentative Model for Service-oriented Agents

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P. & Stathis, K., 1 Mar 2008, Proc. of the International Symposium on Architectures for Intelligent Theory-Based Agents. Balduccini, M. & Baral, C. (eds.). p. 6 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Published

    An Asymmetric Cryptography Secure Channel Protocol for Smart Cards.

    Rantos, K. & Markantonakis, K., 2004, SEC'04. p. 351-366 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. Forthcoming

    An Attack Analysis of Managed Pressure Drilling Systems on Oil Drilling Platforms

    McEvoy, R. & Wolthusen, S. D., 2014, (Accepted/In press) Proceedings of the 9th International Workshop on Critical Information Infrastructures Security. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Published

    An authorization framework resilient to policy evaluation failures

    Crampton, J. & Huth, M., 2010, Computer Security – ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010: Proceedings. Springer, p. 472-487 16 p. (Lecture Notes in Computer Science; vol. 6345).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. Published

    An Auto-Delegation Mechanism for Access Control Systems

    Crampton, J. & Morisset, C., 2010, Proceedings of 6th International Workshop on Security and Trust Management.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. Published

    An Efficient Technique for Preventing Mimicry and Impossible Paths Execution Attacks

    Bruschi, D., Cavallaro, L. & Lanzi, A., 2007, 3rd International Workshop on Information Assurance (WIA 2007), April 11-13 2007, New Orleans, Louisiana, USA. IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Published

    An Efficient Toolkit for Computing Private Set Operations

    Davidson, A. & Cid, C., 2017, Information Security and Privacy: 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II. Pieprzyk, J. & Suriadi, S. (eds.). Springer Heidelberg, Vol. 2. p. 261-278 18 p. (Lecture Notes in Computer Science; vol. 10343).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. E-pub ahead of print

    An efficient, secure and trusted channel protocol for avionics wireless networks

    Akram, R., Markantonakis, K., Mayes, K., Bonnefoi, P-F., Sauveron, D. & Chaumette, S., 12 Dec 2016, (E-pub ahead of print) 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC). Roy, A. & Schuster, W. (eds.). IEEE Computer Society, p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Published

    An electronic array on liquid helium

    Rees, D. G., Glasson, P., Antonov, V., Bennett, R., Fozooni, P., Frayne, P. G., Lea, M. J., Meeson, P. J., Simkins, L. & Mukharsky, Y., 2006, Low Temperature Physics, Pts A and B. Takano, Y., Hershfield, SP., Hirschfeld, PJ. & Goldman, AM. (eds.). MELVILLE: AMER INST PHYSICS, p. 1464-1465 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. Published

    An Emerging research Program on Employment Relations in Small Firms in Advanced Capitalist Economies

    Edwards, P., Sen Gupta, S. & Tsai, C-J., 2006, Academy of Management Conference (AOM), Atlanta.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  98. Published

    An Empirical Study of Messaging Passing Concurrency in Go Projects

    Dilley, N. & Lange, J., 18 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 377-387 11 p. 8668036. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  99. An evaluation of demand focused chain contribution to industrial sustainability

    Naghi Ganji, E., Shah, S. & Coutroubis, A., 15 Nov 2017, Advances in Manufacturing Technology XXXI : Proceedings of the 15th International Conference on Manufacturing Research, ICMR 2017, Incorporating the 32nd National Conference on Manufacturing Research. El Souri, M., Gao, J. & Keates, S. (eds.). United Kingdom: IOS Press BV, Vol. 6. p. 359-364 6 p. (Advances in Transdisciplinary Engineering; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Published

    An examination of computer-mediated communication for engineering-related tasks

    Lee, J. Y. H. & Panteli, N., 2010, Proceedings of the Annual Hawaii International Conference on System Sciences. 5428613

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  101. Published

    An Examination of the Impacts of a Learning Management System: A Case from Jamaica

    Craig, J. & Harindranath, G., Aug 2015, Proceedings of the 2015 Americas Conference on Information Systems (AMCIS), Puerto Rico, Auguest..

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  102. Published

    An experimental comparison of different carbon and glass laminates for ballistic protection

    Zhou, F., Zhang, C., Chen, X., Zhu, C. & Hogg, P. J., 1 Dec 2011, ICCM International Conferences on Composite Materials.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  103. Published

    An Exploration of Consumers' Use of Disposing Practices in their Daily Lives

    Türe, M. & Ger, G., 2011, NA - Advances in Consumer Research. Vol. 39. p. 32-33

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  104. Published

    An exploration of the dependence relationships between self-reported aggression and interpersonal style

    Glorney, E., Lyons, E. & Fritzon, K., 2006, Proceedings of the Conference of the European Association of Psychology and Law: University of Liverpool.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  105. E-pub ahead of print

    An Exploratory Analysis of the Security Risks of the Internet of Things in Finance

    Shepherd, C., Petitcolas, F., Akram, R. N. & Markantonakis, K., 27 Jul 2017, (E-pub ahead of print) Trust, Privacy and Security in Digital Business: 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings. Lopez, J., Fischer-Hübner, S. & Lambrinoudakis, C. (eds.). Springer-Verlag, p. 164-179 16 p. (Lecture Notes in Computer Science; vol. 10442).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  106. Published

    An Exploratory Analysis on Drug Target Locality

    Caceres Silva, J. & Paccanaro, A., Sep 2017, AGRANDA - Simposio Argentino de GRANdes DAtos 2017.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  107. An Exploratory Study to Examine Big Data Application on Services and SCM

    Shah, S. & Theodosoulaki, A., 15 Apr 2019, 2018 IEEE International Conference on Technology Management, Operations and Decisions, ICTMOD 2018. Institute of Electrical and Electronics Engineers Inc., p. 155-159 5 p. 8691279. (2018 IEEE International Conference on Technology Management, Operations and Decisions, ICTMOD 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  108. An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System

    Fett, D., Küsters, R. & Schmitz, G., 13 Nov 2014, Proceedings - IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers Inc., p. 673-688 16 p. 6956594. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  109. Published

    An extensible, self contained, layered approach to context acquisition

    Kramer, D., Kocurova, A., Oussena, S., Clark, T. & Komisarczuk, P., 2011, Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing. p. 6 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  110. Published

    An Identity for Kernel Ridge Regression

    Zhdanov, F. & Kalnishkan, Y., 2010, Learning Theory 21st International Conference, ALT 2010, Proceedings: volume 6331 of Lecture Notes in Computer Science. Springer, p. 405-419 (Lecture Notes in Computer Science; vol. 6331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  111. Published

    An improved restricted growth function genetic algorithm for the consensus clustering of retinal nerve fibre data

    Swift, S., Tucker, A., Crampton, J. & Garway-Heath, D., 2007, Proceedings of Genetic and Evolutionary Computation Conference, GECCO 2007. Lipson, H. (ed.). ACM Press, p. 2174-2181 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  112. Published

    An In-Depth Symbolic Security Analysis of the ACME Standard

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13 Nov 2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 2601-2617 17 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  113. Published

    An information-theoretic characterization of quantum chaos

    Schack, R. & Caves, C. M., 1997, Quantum Classical Correspondence: Proceedings of the 4th Drexel Symposium on Quantum Nonintegrability. Feng, D. H. & Hu, B. L. (eds.). Cambridge, Massachusetts: International Press, p. 339-353

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  114. Published

    An Innovative Heuristic for Planning-Based Urban Traffic Control

    Franco, S., Lindsay, A., Vallati, M. & McCluskey, T. L., 2018, Computational Science - ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, p. 181-193 13 p. (Lecture Notes in Computer Science; vol. 10860).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  115. Published

    An institutionalist perspective of IT-enabled change of Health Management Information Systems in Africa: implications for the Open-Source Software

    Bernardi, R., 2009, 10th International Conference on Social Implications of Computers in Developing Countries: Assessing the Contribution of ICT to Development Goals. Byrne, E., Nicholson, B. & Salem, F. (eds.). IFIP WG9.4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  116. Published

    An Interactive Evolution Strategy based Deep Convolutional Generative Adversarial Network for 2D Video Game Level Procedural Content Generation

    Jiang, M. & Zhang, L., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  117. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2011, Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 6603).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  118. Published

    An NFC based consumer-level counterfeit detection framework

    Saeed, Q., Walter, C. & Bilal, Z., 2013, The 11th International Conference on Privacy, Security and Trust (PST 2013). IEEE, p. 135-142

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  119. Published

    An Obfuscation-Based Approach against Injection Attacks

    Baiardi, F. & Sgandurra, D., 1 Aug 2011, 2011 Sixth International Conference on Availability, Reliability and Security. p. 51-58 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  120. Published

    An online secret sharing scheme which identifies all cheaters

    Yeun, C. Y., Mitchell, C. J. & Burmester, M., 1998, Proceedings of NORDSEC '98, Trondheim, Norway, November 1998. 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  121. Published

    An optimal-control application of two paradigms of on-line learning

    Vovk, V., 1994, Proceedings of the Seventh Annual Workshop on Computational Learning Theory. New York: ACM Press, p. 98-109 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  122. Published

    An Optimization Approach to Robust Goal Obfuscation

    Bernardini, S., Fagnani, F. & Franco, S., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoningg. International Joint Conferences on Artificial Intelligence, p. 119-129 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  123. Published

    An overview of change management within manufacturing environment

    Syed, M. H. & Shah, S., 2013, Manufacturing Science and Technology (ICMST2013). p. 1205-1209 5 p. (Advanced Materials Research; vol. 816-817).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  124. Published

    An Overview of RFID Technology in Field Material Transfer Management

    Shah, S. & Shim, J., Aug 2021, IEEE International Conference on Management in Emerging Markets.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  125. An Overview of Smart Manufacturing for Competitive and Digital Global Supply Chains

    Menon, S., Shah, S. & Coutroubis, A., 2 Jul 2018, 2018 IEEE International Conference on Technology Management, Operations and Decisions, ICTMOD 2018. Institute of Electrical and Electronics Engineers Inc., p. 178-183 6 p. 8691224. (2018 IEEE International Conference on Technology Management, Operations and Decisions, ICTMOD 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  126. An overview of sustainable practices in food processing supply chain environments

    Ojo, O. O., Shah, S. & Coutroubis, A., 9 Feb 2018, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society Press, p. 1792-1796 5 p. (IEEE International Conference on Industrial Engineering and Engineering Management; vol. 2017-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  127. Published

    An RFID distance bounding protocol

    Hancke, G. & Kuhn, M. G., 2005, Conference on Security and Privacy for Emerging Areas in Communication Networks (Securecomm). p. 67-73

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  128. Published

    An upgraded scanning wire beam profile monitoring system for the ISIS high energy drift space

    Harryman, D., Sep 2017, International Beam Instrumentation Conference 2017. p. 401-405 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  129. Published

    An Upper Bound for Aggregating Algorithm for Regression with Changing Dependencies

    Kalnishkan, Y., 2016, Algorithmic Learning Theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9925. p. 238-252 15 p. (Lecture Notes in Computer Science; vol. 9925).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  130. Published

    Analysing and modelling the growth and efficiency of urban transportation infrastructures

    Mohajeri, N., Gudmundsson, A. & Scartezzini, J., 2014, Symposium on Applied Urban Modelling-Planning Urban Infrustructure, Cambridge University.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  131. Published

    Analysing evolvable cell design for optimisation of routing options

    Ellin, D. & Flockton, S., Jul 2007, Proceedings Genetic and Evolutionary Computation Conference 2007 (GECCO2007). p. 2687-2694 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  132. Published

    Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)

    Hague, M. & Ong, C-H. L., 2010, SPIN.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  133. Published

    Analysing the IOBC Authenticated Encryption Mode

    Mitchell, C. J., 2013, Information Security and Privacy: 18th Australasian Conference, ACISP 2013, Brisbane, QLD, Australia, July 2013, Proceedings. Boyd, C. & Simpson, L. (eds.). Springer-Verlag, Vol. 7959. p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 7959).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  134. Published

    Analysing the Resilience of the Internet of Things Against Physical and Proximity Attacks

    Xu, H., Sgandurra, D., Mayes, K., Li, P. & Wang, R., 2017, The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage. p. 291-301 11 p. (Lecture Notes in Computer Science; vol. 10658).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  135. E-pub ahead of print

    Analysing the security of Google's implementation of OpenID Connect

    Li, W. & Mitchell, C. J., 12 Jun 2016, (E-pub ahead of print) Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference, DIMVA 2016, Donostia-San Sebastián, Spain, July 7-8, 2016, Proceedings. Caballero, J., Zurutuza, U. & Rodriguez, R. J. (eds.). Springer-Verlag, p. 357-376 20 p. (Lecture Notes in Computer Science; vol. 9721).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  136. Published

    Analysis and implementation of reinforcement learning on a GNU Radio cognitive radio platform

    Ren, Y., Dmochowski, P. A. & Komisarczuk, P., 2010, 5th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, CROWNCOM 2010, Cannes, France, June 9-11, 2010. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  137. Published

    Analysis of an innovation-driven supply chain using supply chain innovations from a “low-tech” sector: a perspective from the composites materials sector

    Coronado Mondragon, A. E. & Coronado Mondragon, C. E., 6 Aug 2014, 2014 International Conference on Business Information and Cultural Creativity Industry. Tsai, J. (ed.). Taipei, Taiwan, 11 p. 229

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  138. Published

    Analysis Of Electronic Voting Schemes In The Real World

    Augoye, V. & Tomlinson, A., 12 Feb 2020, Social Transformation - Proceedings of the 23rd {UK} Academy for Information Systems Conference. 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  139. Published

    Analysis of faunal remains: insect analysis

    Elias, S., 2008, Encyclopedia of Archaeology. Persall, D. M. (ed.). Elsevier Science Publishers B.V. (North-Holland), p. 1521-1524

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  140. Published

    Analysis of Message Injection in Stream Cipher-based Hash Functions

    Nakano, Y., Cid, C., Fukushima, K. & Kiyomoto, S., 2011, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011. Springer, Vol. 6715. p. 498-513 15 p. (Lecture Notes in Computer Science - LNCS; vol. 6715).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  141. Published

    Analysis of the Bit-Search Generator and sequence compression techniques

    Gouget, A., Sibert, H., Berbain, C., Courtois, N., Debraize, B. & Mitchell, C. J., 2005, Fast Software Encryption: 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers. Gilbert, H. & Handschuh, H. (eds.). Springer-Verlag, Vol. 3557. p. 196-214 19 p. (Lecture Notes in Computer Science; vol. 3557).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  142. Published

    Analyzing ‘IS in developing countries’ research: A bibliometric study

    Choudrie, J. & Harindranath, G., 2011, Proceedings of the 11th IFIP TC 9/WG 9.4 International Conference on Social Implications of Computers in Developing Countries, Kathmandu, Nepal. IFIP9.4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  143. Published

    Analyzing and Synthesizing Genomic Logic Functions

    Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M. & Kugler, H., 2014, Computer Aided Verification. p. 343-357 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  144. Published

    Analyzing Multi-key Security Degradation

    Luykx, A., Mennink, B. & Paterson, K. G., 2017, Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings. Springer-Verlag, Vol. 10625 LNCS. p. 575-605 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10625 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  145. Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web

    Fett, D., Küsters, R. & Schmitz, G., 2015, Computer Security – ESORICS 2015 - 20th European Symposium on Research in Computer Security, Proceedings. Ryan, P. Y. A., Pernul, G. & Weippl, E. (eds.). Springer-Verlag, p. 43-65 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9326).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  146. Published

    Anatomy of Drive-by Download Attack

    Le, V. L., Welch, I., Gao, X. & Komisarczuk, P., 2013, Eleventh Australasian Information Security Conference, AISC 2013, Adelaide, Australia, February 2013. p. 49-58 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  147. Published

    Anomalous Taint Detection (Extended Abstract)

    Cavallaro, L. & Sekar, R., 2008, 11th International Symposium on Recent Advances in Intrusion Detection.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  148. Published

    Anomaly Detection for Ephemeral Cloud IaaS Virtual Machines

    Alarifi, S. & Wolthusen, S. D., 2013, Proceedings of the 7th International Conference on Network and System Security (NSS 2013. Springer-Verlag, p. 321-335

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  149. Published

    Anomaly Detection of Trajectories with Kernel Density Estimation by Conformal Prediction

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece: Springer, p. 271-280 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  150. E-pub ahead of print

    Anonymity and Rewards in Peer Rating Systems

    Garms, L., Ng, S-L., Quaglia, E. & Traverso, G., 7 Sep 2020, (E-pub ahead of print) Security and Cryptography for Networks: 12th International Conference, SCN 2020, Amalfi, Italy, September 14–16, 2020, Proceedings. Galdi, C. & Kolesnikov, V. (eds.). Springer, p. 277-297 21 p. (Lecture Notes in Computer Science; vol. 12238).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  151. Published

    Anonymous Broadcast Encryption: Adaptive Security and Efficient Constructions in the Standard Model

    Libert, B., Paterson, K. & Quaglia, E., 2012, Public Key Cryptography. Fischlin, M., Buchmann, J. & Manulis, M. (eds.). Springer, Vol. 7293. p. 206-224 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  152. Published

    Anonymous User Revocation for Using Attribute-Based Signature in Cloud Computing

    Xu, Z. & Martin, K. M., 2014, The 6th IEEE International Conference on Cloud Computing Technology and Science. IEEE, p. 358-365

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  153. Published

    Another Look at Privacy Threats in 3G Mobile Telephony

    Alam, S. & Mitchell, C. J., 2014, Information Security and Privacy - 19th Australasian Conference, ACISP 2014, Wollongong, NSW, Australia, July 7-9, 2014. Proceedings. Susilo, W. & Mu, Y. (eds.). Berlin: Springer-Verlag, p. 386-396 11 p. (Lecture Notes in Computer Science; vol. 8544).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  154. Published

    AntiCheetah: An Autonomic Multi-round Approach for Reliable Computing

    Pietro, R. D., Lombardi, F., Martinelli, F. & Sgandurra, D., 1 Dec 2013, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing. p. 371-379 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  155. Published

    Anything but not food: Acculturation and food consumption practices amongst Chinese students in the UK

    Cappellini, B. & Yen, D. A., 2010, Global Marketing conference proceedings .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  156. Published

    Aperture Measurements with AC Dipole at the Large Hadron Collider

    Fuster-Martinez, N., Bruce, R., Dilly, J., Maclean, E., Persson, T., Redaelli, S., Tomás, R. & Nevay, L., Jun 2018, 9th International Particle Accelerator Conference. JACoW Publishing, p. 212-215 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  157. Published

    Applicability of Digital Tracking System on Third Party Logistics (TPL) Services

    Shah, S., See, H. H. & Samadi, S., 11 Apr 2022, 2021 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  158. Published

    Application Management Framework in User Centric Smart Card Ownership Model

    Akram, R. N., Markantonakis, K. & Mayes, K., 1 Aug 2009, The 10th International Workshop on Information Security Applications (WISA09). YOUM, H. Y. & Yung, M. (eds.). Busan, Korea: Springer, Vol. 5932/2009. p. 20-35 16 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  159. Published

    Application of conformal predictors to tea classification based on electronic nose

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2010, Artificial Intelligence Applications and Innovations. Springer, p. 303-310

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  160. Published

    Application of divide-and-conquer algorithm paradigm to improve the detection speed of high interaction client honeypots

    Seifert, C., Welch, I. & Komisarczuk, P., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. p. 1426-1432 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  161. Published

    APPLICATION OF GENETIC ALGORITHMS TO INFINITE IMPULSE-RESPONSE ADAPTIVE FILTERS

    FLOCKTON, S. J. & WHITE, M. S., 1993, SCIENCE OF ARTIFICIAL NEURAL NETWORKS II. Ruck, DW. (ed.). BELLINGHAM: SPIE - INT SOC OPTICAL ENGINEERING, p. 414-419 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  162. Published

    Application of Inductive Confidence Machine to ICMLA competition data

    Nouretdinov, I., Burford, B. & Gammerman, A., 2009, Proceedings of The Eighth International Conference on Machine Learning and Applications. p. 435-438 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  163. Published

    Application of optical diffraction radiation to a non-invasive low-emittance high-brightness beam diagnostics

    Karataev, P., Hamatsu, R., Muto, T., Araki, S., Hayano, H., Urakawa, J., Naumenko, G., Potylitsyn, A. & Hirose, T., 2004, QUANTUM ASPECTS OF BEAM PHYSICS. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 111-118 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  164. Published

    Application of Value Stream Mapping in Global Manufacturing Environment

    Shah, S. & Goh, C., 15 Nov 2021, 2021 26th International Conference on Automation and Computing (ICAC). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  165. Published

    Application-Binding Protocol in the User Centric Smart Card Ownership Model

    Akram, R. N., Markantonakis, K. & Mayes, K., 1 Jul 2011, the 16th Australasian Conference on Information Security and Privacy (ACISP). Parampalli, U. & Hawkes, P. (eds.). Melbourne, Australia: Springer, p. 208-225 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  166. Published

    Applications of reinforcement learning to cognitive radio networks

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2010, Communications Workshops (ICC), 2010 IEEE International Conference on. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  167. Published

    Applications of the oriented permission role-based access control model

    Crampton, J. & Chen, L., 2007, Proceedings of the 26th IEEE International Performance Computing and Communications Conference. IEEE Computer Society Press, p. 387-394 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  168. Published

    Applying Conformal Prediction to the Bovine TB Diagnosing

    Adamskiy, M., Nouretdinov, I., Mitchell, A., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15--18, 2011, Proceedings , Part II. . p. 449-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  169. Published

    Applying hierarchial and role-based access control to XML documents

    Crampton, J., 2004, Proceedings of 2004 ACM Workshop on Secure Web Services. ACM Press, p. 37-46 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  170. Published

    Approaches to integration of uncertain and temporal information in diagnostic reasoning

    Bigham, J., Luo, Z., Cayrac, D., Nordbo, I. & Bouyssounous, B., 1994, Proceedings of Information Processing and the Management of Uncertainty in Knowledge Based Systems. p. 250-255

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  171. E-pub ahead of print

    Approximation algorithms for general cluster routing problem

    Zhang, X., Du, D., Gutin, G., Ming, Q. & Sun, J., 27 Aug 2020, (E-pub ahead of print) Computing and Combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer, p. 472-483 12 p. (Lecture Notes in Computer Science; vol. 12273).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  172. Published

    APRIL: Interactively Learning to Summarise by Combining Active Preference Learning and Reinforcement Learning

    Gao, Y., Meyer, C. M. & Gurevych, I., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Brussels, Belgium: Association for Computational Linguistics, p. 4120-4130 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  173. Published

    Architectural Handling of Management Concerns in Service-Driven Business Processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, MSVVEIS. INSTICC Press, p. 111-120 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  174. Published

    Architecture Migration driven by Code Categorization

    Correia, R., Matos, C., Heckel, R. & El-Ramly, M., 2007, Proceedings of the European Conference on Software Architecture (ECSA). Oquendo, F. (ed.). Springer-Verlag, Vol. 4758. p. 115-122 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  175. Published

    Architecture of the ATLAS online physics-selection software at LHC

    Armstrong, S., Baines, J. T., Bee, C. P., Biglietti, M., Bogaerts, A., Boisvert, V., Bosman, M., Brandt, S., Caron, B., Casado, P., Cataldi, G., Cavalli, D., Cervetto, M., Comune, G., Corso-Radu, A., Di Mattia, A., Gomez, M. D., dos Anjos, A., Drohan, J., Ellis, N. & 58 others, Elsing, M., Epp, B., Etienne, F., Falciano, S., Farilla, A., George, S., Ghete, V., Gonzalez, S., Grothe, M., Kaczmarska, A., Karr, K., Khomich, A., Konstantinidis, N., Krasny, W., Li, W., Lowe, A., Luminari, L., Ma, H., Meessen, C., Mello, A. G., Merino, G., Morettini, P., Moyse, E., Nairz, A., Negri, A., Nikitin, N., Nisati, A., Padilla, C., Parodi, F., Perez-Reale, V., Pinfold, J. L., Pinto, P., Polesello, G., Qian, Z., Rajagopalan, S., Resconi, S., Rosati, S., Scannicchio, D. A., Schiavi, C., Schoerner-Sadenius, T., Segura, E., de Seixas, J. M., Shears, T., Sivoklokov, S., Smizanska, M., Soluk, R., Stanescu, C., Tapprogge, S., Touchard, F., Vercesi, V., Watson, A., Wengler, T., Werner, P., Wheeler, S., Wickens, F. J., Wiedenmann, W., Wielers, M. & Zobernig, H., 2004, ASTROPARTICLE, PARTICLE AND SPACE PHYSICS , DETECTORS AND MEDICAL PHYSICS APPLICATIONS. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 255-259 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  176. Published

    Are Dynamic Capabilities Idiosyncratic? A Mixed Method Study of UK High-Tech SMEs

    Senaratne, P., Wang, C. L. & Sarma, M., 2015, British Academy of Management Annual Conference. Portsmouth

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  177. Are SMEs Ready for Industry 4.0 Technologies: An Exploratory Study of i 4.0 Technological Impacts

    Menon, S. & Shah, S., 2 Apr 2020, Proceedings of International Conference on Computation, Automation and Knowledge Management, ICCAKM 2020. Institute of Electrical and Electronics Engineers Inc., p. 203-208 6 p. 9051550. (Proceedings of International Conference on Computation, Automation and Knowledge Management, ICCAKM 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  178. Published

    Are We Compromised? Modelling Security Assessment Games

    Pham, V. & Cid, C., Nov 2012, Decision and Game Theory for Security - Third International Conference, GameSec 2012. Springer, p. 234-247 14 p. (Lecture Notes in Computer Science - LNCS; vol. 7638).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  179. Published

    Arguing over Motivations within the V3A-Architecture for Self-Adaptation

    Morge, M., Stathis, K. & Vercouter, L., 2009, ICAART 2009: Proceedings of the International Conference on Agents and Artificial Intelligence. SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL, p. 214-219 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  180. Published

    Argumentation accelerated reinforcement learning for cooperative multi-agent systems

    Gao, Y. & Toni, F., 18 Aug 2014, ECAI'14 Proceedings of the Twenty-first European Conference on Artificial Intelligence. IOS Press, p. 333-338 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  181. Published

    Argumentation sur les motivations propres dans l'architecture V3A pour des agents auto-adaptatifs

    Morge, M., Stathis, K. & Vercouter, L., 2008, Actes des 16ème Journées Francophones sur les Systèmes Multi-Agen ts (JFSMA). France: Cepudes

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  182. Published

    Argumentation-Based Multi-Agent Decision Making with Privacy Preserved

    Gao, Y., Toni, F., Wang, H. & Xu, F., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1153-1161 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  183. Published

    argXtract: Deriving IoT Security Configurations via Automated Static Analysis of Stripped ARM Cortex-M Binaries

    Sivakumaran, P. & Blasco, J., 6 Dec 2021, Proceedings of the 37th Annual Computer Security Applications Conference: ACSAC 2021. Association for Computing Machinery (ACM), p. 861-876 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  184. Published

    Ariosto o Boiardo? Giovan Battista Giraldi Cinzio critico dell’Orlando furioso

    Jossa, S., 2011, Volteggiando in su le carte. Ludovico Ariosto e i suoi lettori. Garavelli, E. (ed.). University of Helsinki Press, p. 45-72 28 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  185. Published

    ARPPM: Administration in the RPPM model

    Crampton, J. & Sellwood, J., 9 Mar 2016, CODASPY 2016 - Proceedings of the 6th ACM Conference on Data and Application Security and Privacy. ACM, p. 219-230 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  186. Published

    Art, finance, politics, and the art museum as a public institution

    Chong, D., 2018, Market orientation of cultural institutions (University of Borås).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  187. Published

    Artificial Ambient Environments for Proximity Critical Applications

    Gurulian, I., Markantonakis, K., Akram, R. & Mayes, K., 29 Aug 2017, ARES '17: Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, p. 1-10 10 p. 5

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  188. Published

    Artistic versus the commercial logics: A comparitive analysis of the UK and Indian creative and media industry

    Sen Gupta, S., 2011, Society for the Advancement of Socio Economics, Madrid Spain.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  189. Published

    ASICS: Authenticated Key Exchange Security Incorporating Certification Systems

    Boyd, C., Cremers, C., Feltz, M., Paterson, K., Poettering, B. & Stebila, D., Sep 2013, ESORICS 2013. Springer, Vol. 8134. p. 381-399 19 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  190. Published

    Aspects of terrorism and martyrdom: Seminar one - What roles are played by religious beliefs and identity in supporting views of violent activists as terrorists or martyrs?

    Cinnirella, M., Ansari, H., Rogers, M. B., Lewis, C. A. & Loewenthal, K. M., 2006, Proceedings of the British Psychological Society Seminar Series Aspects of Terrorism and Martyrdom. Rogers, M. B., Lewis, C. A., Loewenthal, K. M., Cinnirella, M., Amlot, R. & Ansari, H. (eds.). (eCOMMUNITY: International Journal of Mental Health & Addiction).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  191. Published

    Aspects of terrorism and martyrdom: Seminar three - Exploring organisational contributory factors and socio-religious outcomes of terrorism and martyrdom

    Cinnirella, M., Ansari, H., Lewis, C. A., Rogers, M. B., Amlot, R. & Loewenthal, K. M., 2006, Proceedings of the British Psychological Society Seminar Series Aspects of Terrorism and Martyrdom. (eCOMMUNITY: International Journal of Mental Health & Addiction).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  192. Published

    Assessing Electronic Portfolios -- Now that we have them, what can we do with them?

    Bures, E. & Bentley, C., 2007, Proceedings from World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2007. Bastiaens, T. & Carliner, S. (eds.). AACE, p. 7030-7038

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  193. Published

    Asymmetric Sneutrino Dark Matter

    West, S., 13 May 2006, 41st Rencontres de Moriond on Electroweak Interactions and Unified Theories.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  194. Published

    Asymptotic optimality of transductive confidence machine

    Vovk, V., 2002, Lecture Notes in Articial Intelligence. Vol. 2533. p. 336-350 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  195. Published

    Asynchronous Binary Byzantine Consensus over Graphs with Power Law Degree Sequence

    Wolthusen, S. D., 2014, Proceedings of the 8th Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection. Springer-Verlag, p. 263 276 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  196. Published

    Asynchronous Message-Passing Binary Consensus over Non-Complete Graphs

    Weldehawaryat, G. & Wolthusen, S. D., 2013, Proceedings of the 2013 IEEE 2nd International Workshop on Network Science (NSW 2013). IEEE Computer Society Press, p. 9-15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  197. Published

    Attacks against GSMA’s M2M Remote Provisioning

    Quaglia, E., Smyth, B. & Meyer, M., 2018, Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers. Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  198. Published

    Attacks on time-of-flight distance bounding channels

    Hancke, G. P. & Kuhn, M. G., 2008, Proceedings of the first ACM conference on Wireless network security. New York, NY, USA: ACM, p. 194-202 9 p. (WiSec '08).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  199. Published

    Attacks Only Get Better: Password Recovery Attacks Against RC4 in TLS

    Garman, C., Paterson, K. & Van Der Merwe, T., Aug 2015, Proceedings of the 24th USENIX Security Symposium. USENIX Association, p. 113-128 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  200. Published

    Attainment, ability and adjustment in a metropolitan setting. I: The prevalence of...

    Berger, M. & Yule, W., 1972, Conference, Nottingham.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  201. E-pub ahead of print

    Attention Guidance Agents with Eye-tracking: A use-case based on the MATBII cockpit task

    Durant, S., Wilkins, B., Woods, C., Uliana, E. & Stathis, K., 10 Mar 2022, (E-pub ahead of print) Post-Proceedings of EMAS'21. Springer, (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  202. Published

    Attribute Expressions, Policy Tables and Attribute-Based Access Control

    Crampton, J. & Williams, C., 7 Jun 2017, SACMAT'17: Proceedings of the 22nd ACM Symposium on Access Control Models and Technologies. ACM Press, p. 79-90 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  203. Published

    Attribute-Based Encryption for Access Control Using Elementary Operations

    Crampton, J. & Pinto, A., 2014, 27th Computer Security Foundations Symposium. IEEE, p. 125-139

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  204. Unpublished

    Audience familiarity and children's understanding of disclaimers

    Watling, D. & Nesbit, R., 2015, (Unpublished) Audience familiarity and children's understanding of disclaimers.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  205. Published

    AudioNode : Prototypical Affective Modelling in Experience-driven Procedural Music Generation

    Plans, E., Morelli, D. & Plans, D., 28 Jun 2015, COMPUTATIONAL CREATIVITY & GAMES WORKSHOP.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  206. Published

    Authenticated-Encryption with Padding: A Formal Security Treatment

    Paterson, K. G. & Watson, G. J., 2012, Cryptography and Security. Naccache, D. (ed.). Springer, Vol. 6805. p. 83-107 25 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  207. Published

    Authentication with Weaker Trust Assumptions for Voting Systems

    Quaglia, E. & Smyth, B., 2018, Progress in Cryptology – AFRICACRYPT 2018: 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings. Springer, p. 322-343 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  208. Published

    Authorization and Certificates: Are We Pushing When We Should Be Pulling?

    Crampton, J. & Khambhammettu, H., 2003, Proceedings of IASTED Conference on Network and Information Security. p. 62-66 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  209. Published

    Authorization recycling in RBAC systems

    Wei, Q., Crampton, J., Beznosov, K. & Ripeanu, M., 2008, Proceedings of 13th ACM Symposium on Access Control Models and Technologies. Ray, I. & Li, N. (eds.). ACM Press, p. 63-72 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  210. Published

    Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication

    Cremers, C., Horvat, M., Scott, S. & Van Der Merwe, T., 18 Aug 2016, IEEE Symposium on Security and Privacy 2016. p. 470-485 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  211. Published

    Automated Debugging for Arbitrarily Long Executions

    Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G., May 2013, Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  212. E-pub ahead of print

    Automated peripheral neuropathy assessment of diabetic patients using optical imaging and binary processing techniques

    Siddiqui, H. U. R., Alty, S. R., Spruce, M. & Dudley, S. E., 14 Feb 2013, (E-pub ahead of print) IEEE EMBS Special Topic Conference on Point-of-Care (POC) Healthcare Technologies: Synergy Towards Better Global Healthcare, PHT 2013. p. 200-203 4 p. 6461319

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  213. Published

    Automated Planning for Urban Traffic Management

    McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  214. Published

    Automated Semmes Weinstein monofilament examination replication using optical imaging and mechanical probe assembly

    Siddiqui, H. U. R., Spruce, M., Alty, S. R. & Dudley, S., 21 Jul 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging, ISBI 2015. IEEE Computer Society, Vol. 2015-July. p. 552-555 4 p. 7163933

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  215. Published

    Automated taxonomy extraction from semantic business process models

    De Cesare, S., Juric, D. & Lycett, M., 7 Mar 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE Computer Society, Vol. 2016-March. p. 4394-4403 10 p. 7427732

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  216. Published

    Automated Transformation of PDDL Representations

    Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  217. Published

    Automated Workflows using Dialectical Argumentation

    McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  218. Published

    Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, R. & Brotherston, J., 16 Jan 2017, CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, p. 53-65 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  219. Published

    Automatic path generation for multirotor descents through varying air masses above Ascension Island

    Greatwood, C., Richardson, T., Freer, J., Thomas, R., Brownlow, R., Lowry, D., Fisher, R. E. & Nisbet, E. G., 2016, AIAA Atmospheric Flight Mechanics Conference. American Institute of Aeronautics and Astronautics Inc, AIAA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  220. Published

    Automating Malware Scanning Using Workflows

    Stirling, D., Welch, I., Komisarczuk, P. & Seifert, C., 2009, 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2009, Shanghai, China, 18-21 May 2009. p. 562-567 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  221. Published

    Automating the evaluation of trustworthiness

    Sel, M. & Mitchell, C. J., 1 Sep 2021, Trust, Privacy and Security in Digital Business - 18th International Conference, TrustBus 2021, September 2021, Proceedings. Fischer-Huebner, S., Lambrinoudakis, C., Kotsis, G., Min Tjoa, A. & Khalil, I. (eds.). Springer-Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  222. Published

    Autonomous Building of Structures in Unstructured Environments via AI Planning

    Roberts, J., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021).. 1 ed. Vol. 31. p. 491-499 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  223. Published

    AutoPass: An automatic password generator

    Al Maqbali, F. & Mitchell, C. J., 7 Dec 2017, 2017 International Carnahan Conference on Security Technology (ICCST): Proceedings. IEEE Press, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  224. Published

    Avoiding key redistribution in key assignment schemes

    Rowe, H. & Crampton, J., 2007, Proceedings of the Fourth International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security. p. 127-140 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  225. Published

    BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews

    Rizzo, C., Cavallaro, L. & Kinder, J., 2018, 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, p. 25-46 22 p. (Lecture Notes in Computer Science (LNCS); vol. 11050).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  226. Published

    Back to basics: Sharing goals and developing trust in global virtual teams

    Tucker, R. & Panteli, N., 2003, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 126. p. 85-98 14 p. (IFIP Advances in Information and Communication Technology; vol. 126).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  227. Published

    Backoff protocols for distributed mutual exclusion and ordering

    Chockler, G., Malkhi, D. & Reiter, M. K., 1 Jan 2001, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  228. Published

    Ballistic impact of composite laminates: Experiments and simulations

    Guild, F. J., El-Habti, M. & Hogg, P. J., 1 Dec 2007, ICCM International Conferences on Composite Materials.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  229. Published

    Bank Mergers’ Risks: the Macro and Micro Prudential approaches and their determinants

    Hassan, M. & Giouvris, E., 18 Jun 2019, The 12th International Risk Management Conference. Altman, E., Brenner, M., Dalocchio, M. & Gabbi, G. (eds.). Italy: The Risk, Banking and Finace Society

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  230. Published

    Bark beetle fossils from two early post-glacial age sites at high altitude in the Colorado Rocky Mountains

    Elias, S., 1982, Journal of Paleontology: 1982 North American Paleontological Convention Proceedings Volume . Vol. 1. p. 53-57

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  231. Published

    Barriers for Digital Transformation: The role of industry

    Linderoth, H. C. J., Jacobsson, M. & Elbanna, A., 2018, Australisian Conference on Information Systems, Sydney.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  232. Published

    Barriers to Absorptive Capacity and Capability Upgrading in Developing Country Multinationals

    Cuervo-Cazurra, A. & Rui, H., 2013, Proceedings of the 55th Annual Meeting of the Academy of International Business: "Bridging the Divide: Linking IB to Complementary Disciplines and Practice". McDougall-Covin, P. & Kiyak, T. (eds.). 2013 Academy of International Business, p. 263 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  233. Published

    Basin-scale salt tectonic processes of the Laurentian Basin, Eastern Canada: insights from integrated regional 2D seismic interpretation and 4D physical experiments

    Adam, J. & Krezsek, C., 2012, Salt tectonics, Sediments and Prospectivity. Alsop, G. I., Archer, S. G., Grant, N. T. & Hodgkinson, R. (eds.). Geological Society of London Special Publication, Vol. 363. p. 331 360 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  234. Bayesian inferencing for wind resource characterisation

    Miranda, M. S., Shaddick, G., Dunn, R. W., Li, F. & Bell, K. R. W., 2006, 2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS. 4202219. (2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  235. Published

    Bayesian probability in quantum mechanics

    Schack, R., 2007, Bayesian Statistics 8: Proceedings of the Eighth Valencia International Meeting. Bernardo, J. M., Bayarri, M. J., Berger, J. O., Dawid, A. P., Heckerman, D., Smith, A. F. M. & West, M. (eds.). Oxford: Oxford University Press, p. 453-464

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  236. Published

    Bayesian versus frequentist predictions in quantum tomography

    Schack, R., 2007, Foundations of Probability and Physics 4: AIP Conference Proceedings Vol.~889. Adenier, G., Fuchs, C. A. & Khrennikov, A. (eds.). Melville, New York: American Institute of Physics, p. 230-234

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  237. Published

    BBOB: Nelder-Mead with resize and halfruns

    Doerr, B., Fouz, M., Schmidt, M. & Wahlström, M., 2009, Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference (GECCO 2009). Rothlauf, F. (ed.). Montreal, Québec, Canada: ACM, p. 2239-2246 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  238. Published

    BDSIM: Recent Developments and New Features Beyond V1.0

    Nevay, L., Abramov, A., Joshua, A., Alden, S., Boogert, S., Garcia Morales, H., Gibson, S., Shields, W., Walker, S. & Snuverink, J., 21 Jun 2019, 10th International Particle Accelerator Conference. JACoW Publishing, p. 1-4 4 p. WEPTS058

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  239. Published

    Beam Delivery Simulation - Recent Developments and Optimization

    Snuverink, J., Boogert, S., Garcia Morales, H., Gibson, S., Kwee-Hinzmann, R., Nevay, L. & Deacon, L., Jun 2015, 6th International Particle Accelerator Conference: IPAC2015, Richmond, VA, USA. JACoW Publishing, p. 499-501 3 p. MOPJE078

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  240. Published

    Beam Delivery Simulation (BDSIM): A Geant4 Based Toolkit for Diagnostics and Loss Simulation

    Boogert, S., Gibson, S., Kwee-Hinzmann, R., Nevay, L., Snuverink, J. & Deacon, L., 19 Sep 2013, 2nd International Beam Instrumentation Conference: 16-19 September 2013, Oxford, UK. p. 799-802 4 p. WEPC46

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  241. Published

    Beam Delivery Simulation: BDSIM - Automatic Geant4 Models of Accelerators

    Nevay, L., Boogert, S., Garcia Morales, H., Gibson, S., Kwee-Hinzmann, R., Shields, W., Snuverink, J. & Deacon, L., Jun 2016, 7th International Particle Accelerator Conference: May 8-13, 2016, Busan, Korea. JACoW Publishing, p. 1-3 3 p. WEPOY046

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  242. Published

    Beam Delivery Simulation: BDSIM - Development & Optimisation

    Nevay, L., Boogert, S., Garcia Morales, H., Gibson, S., Kwee-Hinzmann, R. & Deacon, L., 20 Jun 2014, 5th International Particle Accelerator Conference: 15-20 June 2014 Dresden, Germany. p. 182-184 3 p. MOPRO045

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  243. Published

    Beam Induced Background Simulation Studies at IR1 with New High Luminosity LHC Layout

    Kwee-Hinzmann, R., Gibson, S., Bruce, R., Cerutti, F., Esposito, L. & Lechner, A., Jun 2015, 6th International Particle Accelerator Conference: IPAC2015, Richmond, VA, USA. JACoW Publishing, p. 2184-2187 4 p. TUPTY067

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  244. Published

    Beam loss monitoring in the ISIS synchrotron main dipole magnets

    Harryman, D., Sep 2018, International Beam Instrumentation Conference 2018.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  245. Published

    Beam loss monitors for energy measurements in diamond light source

    Vitoratou, N., Karataev, P. & Rehm, G., 2017, Proceedings of the 6th International Beam Instrumentation Conference, IBIC 2017. Joint Accelerator Conferences Website (JACoW), p. 482-486 5 p. (Proceedings of the 6th International Beam Instrumentation Conference, IBIC 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  246. Published

    Beam Measurements at the CERN SPS Using Interferometric Electro-Optic Pickups

    Arteche, A., Bashforth, S., Bosco, A., Gibson, S., Krupa, M. & Lefevre, T., 12 Sep 2019, 8th International Beam Instrumentation Conference 2019. Malmö, Sweden: JACoW Publishing, 3 p. WEAO04

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  247. Published

    Beam test proposal of an ODR beam size monitor at SLAC FFTB

    Fukui, Y., Cline, D., Zhou, F., Ross, M., Bolton, P., Urakawa, J., Tobiyama, M., Muto, T., Karataev, P., Aryshev, A., Hamatsu, R., Potylitsyn, A., Naumenko, G. & Sharafutdinov, A., 2005, IEEE. p. 1922-1924 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  248. Published

    Beam-Gas Background Observations at LHC

    Gibson, S. & LHC Background Study Group, 19 May 2017, 8th International Particle Accelerator Conference: Copenhagen, Denmark 2017, May 14-19. Geneva: JACoW Publishing, p. 1-4 4 p. TUPVA032

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  249. Published

    Beam-line Diagnostics at the Front End Test Stand (FETS), Rutherford Appleton Laboratory, Oxfordshire, UK

    Boorman, G., Gibson, S., D'Arcy, R., Jolly, S., Gabor, C., Lawrie, S. & Letchford, A., 19 Sep 2013, 2nd International Beam Instrumentation Conference: 16-19 September 2013, Oxford, UK.. p. 431-434 4 p. TUPC26

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  250. Published

    Behaviour of a building block for intrinsic evolution of analogue signal shaping and filtering circuits

    Flockton, S. J. & Sheehan, K., 2000, SECOND NASA/DOD WORKSHOP ON EVOLVABLE HARDWARE, PROCEEDINGS. Lohn, J., Stoica, A., Keymeulen, D. & Colombano, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 117-123 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  251. Published

    Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Aspects in Information Systems. p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  252. Published

    Behavioural control in the classroom

    Berger, M., 1971, Proceedings of the Conference on Behaviour Modification . Dublin: Papers in Psychology

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  253. Published

    Bench-marking of 3D preforming strategies

    Potluri, P., Sharif, T., Jetavat, D., Aktas, A., Choudhry, R., Hogg, P., Foreman, A., Stringer, G. & Starink, L., 1 Dec 2009, ICCM International Conferences on Composite Materials.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  254. Published

    Better Rewards Yield Better Summaries: Learning to Summarise Without References

    Böhm, F., Gao, Y., Meyer, C. M., Shapira, O., Dagan, I. & Gurevych, I., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019) . p. 3101–3111 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  255. Published

    Better Than Optimal: Fast Identification of Custom Instruction Candidates

    Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A., 2009, CSE '09: International Conference on Computational Science and Engineering, 2009. Vol. 2. p. 17-24 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  256. Unpublished

    Between the Stranger and the Thief: A Non-Standard Reading of Bill Griffiths's Liam's Song

    Hazell, C., 2018, (Unpublished) Between the Stranger and the Thief: A Non-Standard Reading of Bill Griffiths's Liam's Song.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  257. Published

    Beyond autonomy and control: An identity-based view of information privacy on social media

    Wu, P., Jun 2016, The 24th European Conference on Information Systems (ECIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  258. Published

    Beyond the enterprise-Widening the Horizons of International HRM

    Delbridge, R., Hauptmeier, M. & Sen Gupta, S., 2010, European research unit annual conference (ERU), Cardiff.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  259. Unpublished

    Beyond the Hashtag: Opportunities and Challenges for Youth Political Participation in Zimbabwe

    Zigomo, K., 16 Jun 2018, (Unpublished) Youth & Experience.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  260. Published

    Bias in the Mifare DESFire EV1 TRNG

    Hurley-Smith, D. & Hernandez-Castro, J., 2016, International Workshop on Radio Frequency Identification: Security and Privacy Issues (RFIDSec 2016). Hancke, G. P. & Markantonakis, K. (eds.). Springer, p. 123-133 11 p. (Lecture Notes in Computer Science; vol. 10155).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  261. Published

    Big Bias Hunting in Amazonia: Large-Scale Computation and Exploitation of RC4 Biases (Invited Paper)

    Paterson, K. G., Poettering, B. & Schuldt, J. C. N., 2014, Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I. Sarkar, P. & Iwata, T. (eds.). Springer, p. 398-419 22 p. (Lecture Notes in Computer Science; vol. 8873).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  262. Published

    Big data and humanitarian supply networks: Can Big Data give voice to the voiceless?

    Monaghan, A. & Lycett, M., 2013, Global Humanitarian Technology Conference (GHTC). IEEE Xplore, p. 432-437

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  263. Published

    Binding Hardware and Software to Prevent Firmware Modification and Device Counterfeiting

    Lee, R., Markantonakis, K. & Akram, R., 30 May 2016, CPSS '16 Proceedings of the 2nd ACM International Workshop on Cyber-Physical System Security. ACM Press, p. 70-81 12 p. (Proceedings of the 2nd ACM International Workshop on Cyber-Physical System Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  264. Published

    Biogas potential of residues generated by the tomato processing industry under different substrate and inoculum conditions

    Martínez, M., Driller, L., Chamy, R., Schuch, W., Nogueira, M. & Fraser, P., 1 May 2017, 14th International Symposium on Processing Tomato. International Society for Horticultural Science, Vol. 1159. p. 151-157 7 p. (Acta Horticulturae; vol. 1159).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  265. E-pub ahead of print

    Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    Gaina, D. & Tutu, I., 14 Aug 2019, (E-pub ahead of print) The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, p. 277-293 17 p. (Lecture Notes in Computer Science; vol. 11714).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  266. Published

    B-ISDN implementation via satellite: the catalyst project

    Komisarczuk, P., Hadjitheodosiou, MH., Coakley, F. & Smythe, C., 1993, Teletraffic Symposium, 10th. Performance Engineering in Telecommunications Network, Tenth UK. 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  267. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., May 2000, Models for Credit Risk. London: UNICOM Seminars, p. 149-154 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  268. Published

    Blasting Open the Historical Continuum: Antihistoricism in Benjamin, Dick & Le Guin

    Gene-Rowe, F., Mar 2015, Sideways in Time Conference. Liverpool

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  269. Published

    BLOCH OSCILLATIONS IN A JOSEPHSON CIRCUIT

    Boulant, N., Ithier, G., Nguyen, F., Bertet, P., Pothier, H., Vion, D., Urbina, C. & Esteve, D., 2007, CONTROLLABLE QUANTUM STATES: MESOSCOPIC SUPERCONDUCTIVITY AND SPRINTRONICS. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 71-76 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  270. Published

    BNA 2017 Festival of Neuroscience: Abstract Book: Using in vitro systems to study the role of isoform-specific Apolipoprotein E processing in Alzheimer’s Disease

    Marsh, J., Dickson, J. & Alifragis, P., 7 Apr 2017, Brain and Neuroscience Advances. Dalley, J. (ed.). SAGE Publications Ltd, Vol. 1. p. 173 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  271. Published

    BOOM: Taking boolean program model checking one step further

    Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T. & Zhao, H., 2010, TACAS: Tools and Algorithms for the Construction and Analysis of Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  272. Published

    Boomerang Connectivity Table: A New Cryptanalysis Tool

    Cid, C., Huang, T., Peyrin, T., Sasaki, Y. & Song, L., 2018, Advances in Cryptology – EUROCRYPT 2018. Rijmen, V. & Nielsen, J. B. (eds.). Springer Heidelberg, p. 683–714 32 p. (Lecture Notes in Computer Science; vol. 10821).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  273. Published

    Boosting search guidance in problems with semantic attachments

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 5 Jun 2017, Proceedings International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 29-37 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  274. Published

    Bounded and Approximate Strong Satisfiability in Workflows

    Crampton, J., Gutin, G. & Majumdar, D., 28 May 2019, Proceedings of ACM SACMAT 2019. ACM, p. 179-184 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  275. Published

    Brand Extension Fit And Tourist Inspiration: The Moderation Effects Of Brand Familiarity And Implicit Beliefs

    Yuen, T. W. & Liu, Y., 2022, ISMS Marketing Science Conference 2022.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  276. Published

    Brand Meanings in Kinetic Circulation: Consumer Reception of Brand Paratexts

    Hackley, C., Jun 2019, Consumer Culture Theory Conference 2019: Concordia University, Montreal, Canada.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  277. Published

    Brand Switching: Background to Contestable Customer–Brand Relationships

    Appiah, D. & Ozuem, W., 2019, Global Business and Technology Association (GBATA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  278. Published

    Brand Switching in the Smartphone Industry: A Preliminary Study

    Appiah, D., Ozuem, W. & Howell, K. E., 2017, Global Business and Technology Association. GBATA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  279. Published

    Breaking An Identity-Based Encryption Scheme based on DHIES

    Albrecht, M. & Paterson, K., 2011, IMA International Conference on Cryptography and Coding. Chen, L. (ed.). Springer, Vol. 7089. p. 344-355 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  280. Published

    Breaking Bridgefy, again: Adopting libsignal is not enough

    Albrecht, M., Eikenberg, R. & Paterson, K., 12 Aug 2022, USENIX Security'22.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  281. Published

    Breaking the Liardet-Smart Randomized Exponentiation Algorithm

    Walter, C. D., 2002, CARDIS '02. USENIX, p. 59-68 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  282. Published

    Brief Announcement: Gossiping with Latencies

    Gilbert, S., Robinson, P. & Sourav, S., 25 Jul 2017, PODC '17 : Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 255-257 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  283. Published

    Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures

    Schwarz, M., Winkler, K., Schmid, U., Biely, M. & Robinson, P., 2014, Proceedings of the 2014 ACM symposium on Principles of distributed computing. p. 341-343 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  284. Published

    Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2010, Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. p. 89-91 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  285. Published

    Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., Oct 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363. p. 673-674 2 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  286. Published

    Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2009, Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer Berlin / Heidelberg, p. 360-361 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  287. E-pub ahead of print

    Bright ICT and Unbounded Employment: Typology of Crowdworkers and Their Lived and Envisaged Career Trajectory in Nigeria

    Idowu, A. & Elbanna, A., 19 May 2019, (E-pub ahead of print) IFIP WG 8.6 Conference 2019. p. 470-486 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  288. Published

    Bright Stuff on Ceres = Sulfates and Carbonates on CI Chondrites

    Zolensky, M., Chan, Q. HS., Gounelle, M. & Fries, M., 21 Mar 2016, 47th Lunar and Planetary Science Conference, held March 2016, at The Woodlands, Texas.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  289. Published

    Bringing back joy to ‘leftover women’: The Impact of SK-II Marriage Market Takeover Campaign on the perception of women in China and PR practice

    Chmiel, M. & Yung-Chun, C., Jul 2020, 27th BledCom international conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  290. Published

    Broken hearted: How to attack ECG biometrics

    Eberz, S., Paoletti, N., Roeschlin, M., Patanè, A., Kwiatkowska, M. & Martinovic, I., 27 Feb 2017, Network and Distributed System Security Symposium. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  291. Published

    Buddhist Monks' Performance and a Play in the Context of the Buddhist Ritual Event of Giving

    Utairat, M., 2014, Theatre and Stratification, IFTR World Congress, Warwick, UK.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  292. Published

    Buffered Communication Analysis in Distributed Multiparty Sessions

    Denielou, P-M. & Yoshida, N., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  293. Published

    Building Attacker Personas in Practice - a Digital Banking Example

    Moeckel, C., 4 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018). British Computer Society (BCS), p. 1-5 5 p. (Electronic Workshops in Computing (eWiC)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  294. Published

    Building Brand Loyalty: Identity Theory Perspective

    Appiah, D., 2014, Institute of Economic Research. Prishtine, Albania..

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  295. Published

    Building general-purpose security services on EMV payment cards

    Chen, C., Tang, S. & Mitchell, C. J., 2013, Security and Privacy in Communication Networks : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers. Springer-Verlag, p. 29-44 16 p. (LNICST; vol. 106).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  296. Published

    Building next generation Service-Oriented Architectures using Argumentation Agents

    Curcin, V., Ghanem, M., Guo, Y., Stathis, K. & Toni, F., 1 Sep 2006, 3rd International Conference on Grid Services Engineering and Management (GSEM 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  297. Published

    Building Power Consumption Models from Executable Timed I/O Automata Specifications

    Barbot, B., Kwiatkowska, M., Mereacre, A. & Paoletti, N., 11 Apr 2016, Hybrid Systems : Computation and Control. p. 195-204 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  298. Published

    Building the Bridges -- A Proposal for Merging different Paradigms in Mobile NFC Ecosystem

    Akram, R. N., Markantonakis, K. & Mayes, K., Nov 2012, The 8th International Conference on Computational Intelligence and Security (CIS 2012). Xie, S. (ed.). IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  299. Published

    Building Trustworthy Intrusion Detection through VM Introspection

    Baiardi, F. & Sgandurra, D., 1 Aug 2007, Third International Symposium on Information Assurance and Security. p. 209-214 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  300. Published

    Business ethics doesn’t reside in tax havens, does it?

    Preuss, L., Apr 2009, annual conference of the UK Association of the European Business Ethics Network (EBEN-UK).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  301. Published

    Business Intelligence at Telenor Pakistan

    Shaikh, S. E., Hassan, Z., Farooq, B. & Shahid, A. R., 2012, 33rd International Conference on Information Systems (ICIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  302. Published

    Business Success as Network of Networks

    Aboutalebi, R., 22 Oct 2009, In: EAMSA (Euro-Asia Management Studies Association), 26th Annual Conference: Globalization of Technology, Innovation & Knowledge: The Euro-Asia Connection. 22-24 October 2009, Lausanne, Switzerland.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  303. Forthcoming

    Buy low, sell high

    Koolen, W. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 335 - 349 15 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  304. Published

    Bylands: reverse engineering safety-critical systems

    Bull, T., Younger, E., Bennett, K. & Luo, Z., 1995, Proc. of Inter. Conf. on Software Maintenance.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  305. Published

    Byzantine disk Paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G. V., Keidar, I. & Malkhi, D., 2004, Proceedings of the 23rd Annual ACM SIGACT-SIGOPS Symposium on. Principles of Distributed Computing (PODC 2004). ACM, p. 226-235 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  306. Published

    C 2 net: A Cross-Layer Quality of Service (QoS) Architecture for Cognitive Wireless Ad Hoc Networks

    Yau, A. K-L., Komisarczuk, P. & Teal, P. D., 2008, Telecommunication Networks and Applications Conference, 2008. ATNAC 2008. Australasian. p. 306-311 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  307. Published

    C chondrite clasts in H chondrite regolith breccias: something different

    Zolensky, M. E., Fries, M., Utas, J., Chan, QH-S., Kebukawa, Y., Steele, A., Bodnar, R. J., Ito, M., Nakashima, D., Nakamura, T., Greenwood, R., Rahman, Z., Le, L. & Ross, D. K., 2016, 79th Annual Meeting of the Meteoritical Society.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  308. Published

    Caching and Auditing in the RPPM Model

    Crampton, J. & Sellwood, J., 2014, Security and Trust Management - 10th International Workshop. Springer, p. 49-64 16 p. (Lecture Notes in Computer Science; vol. 8743).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  309. Published

    CALF: Categorical automata learning framework

    Van Heerdt, G., Sammartino, M. & Silva, A., Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-24 24 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  310. Published

    Can Being Similar in Product Category a Liability for Cross-gender Brand Extension?

    Yuen, T. W., Nieroda, M., He, H. & Park, Y., 28 May 2019, Proceedings of the European Marketing Academy.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  311. Unpublished

    Can Digital Inclusion promote freedom? Development as freedom, Freedom as Critical Awakening

    Poveda Villalba, S., 2012, (Unpublished) Can Digital Inclusion promote freedom? Development as freedom, Freedom as Critical Awakening. Department of Geography, Royal Holloway, University of London

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  312. Published

    Can shadows and reflections help in the detection of photo forgeries?

    Nightingale, S., Wade, K., Faird, H. & Watson, D., 6 Jan 2017, Society for Applied Research in Memory and Cognition.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  313. Published

    Can Upward Brand Extensions be an Opportunity for Marketing Managers During the Covid-19 Pandemic and Beyond?

    Yuen, T. W. & Mount, P., Jun 2021, ISMS Marketing Science Conference 2021.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  314. Published

    Can We Operate in a Shared Economy: Insights from Global Logistics Sector

    Shah, S. & Wong, S., Aug 2021, IEEE International Conference on Management in Emerging Markets. IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  315. Published

    Can you call the software in your device firmware?

    Hassan, M., Markantonakis, K. & Akram, R., 9 Jan 2017, e-Business Engineering (ICEBE), 2016 IEEE 13th International Conference on. Macau, China: IEEE Computer Society Press, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  316. E-pub ahead of print

    Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control

    Crampton, J. & Williams, C., 22 Mar 2017, (E-pub ahead of print) 7th ACM Conference on Data and Application Security and Privacy. ACM Press, p. 47-58 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  317. Published

    Capability Building of Developing Country MNEs: the Chinese Experience

    Rui, H., 2015, Proceedings of the 57th Annual Meeting of the Academy of International Business: "Global Networks: Organizations and People". Mudambi, R. & Kiyak, T. (eds.). 2015 Academy of International Business, p. 103 1 p. ID#1653

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  318. Published

    Capturing sensemaking patterns during data analysis: A conceptual framework

    Lycett, M. & Marshan, A., 24 Aug 2016, 25th International Conference on Information Systems Development, ISD 2016. Association for Information Systems, p. 106-116 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  319. Published

    Carbon Nanotube Bolometer: Transport Properties and Noise Characteristics

    Rod, I., Wirtz, C., Kazakova, O., Panchal, V., Cox, D., Zaehres, H., Posth, O., Lindner, J., Meckenstock, R. & Farle, M., 2012, MAGNETISM AND MAGNETIC MATERIALS V. Perov, N. & Rodionova (eds.). STAFA-ZURICH: TRANS TECH PUBLICATIONS LTD, p. 510-513 4 p. (Solid State Phenomena; vol. 190).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  320. Published

    Carbonate budgets for carbonate mounds, Florida, USA

    Bosence, D., 1988, Proceedings of the 6th International Coral Reef Symposium. Choat, J. H., Barnes, D., Borowitzka, M. A., Coll, J. C., Davies, P. J., Flood, P., Hatcher, B. G., Hopley, D., Hutchings, P. A., Kinsey, D., Orme, G. R., Pichon, M., Sale, P. F., Sammarco, P., Wallace, C. C., Wilkinson, C., Wolanski, E. & Bellwood, O. (eds.). Vol. 2. p. 529-534 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  321. Published

    Card-present Transactions On The Internet Using The Smart Card Web Server

    Kyrillidis, L., Chazalet, B., Mayes, K. & Markantonakis, K., 2013, Proceedings of TrustCom 2013. IEEE Computer Society, p. 611-619 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  322. Published

    CardSpace-Liberty Integration for CardSpace Users

    Al-Sinani, H., Alrodhan, W. & Mitchell, C. J., 2010, Proceedings of the 9th Symposium on Identity and Trust on the Internet 2010 (IDtrust 2010), Gaithersburg, MD, USA, 13-15 April 2010. ACM Press, p. 12-25 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  323. Published

    Case Study: Analysis and Mitigation of a Novel Sandbox-Evasion Technique

    Alper Genç, Z., Lenzini, G. & Sgandurra, D., 14 Nov 2019, Central European Cybersecurity Conference 2019. ACM, p. 1-4 4 p. 9

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  324. Published

    Case Study Analysis on Readiness of 3PL Industry in Fruit Distribution Company

    Shah, S. & Huey Yin, L., 17 Mar 2021, Proceedings of 2nd IEEE International Conference on Computational Intelligence and Knowledge Economy, ICCIKE 2021. Naranje, V., Singh, B. & Velan, S. (eds.). IEEE, p. 175-180 6 p. 9410788. (Proceedings of 2nd IEEE International Conference on Computational Intelligence and Knowledge Economy, ICCIKE 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  325. Published

    Casting the Outcast: Perspectives on Acting Style

    Conroy, C., 2003, Conference Proceedings: Finding The Spotlight.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  326. Published

    Causality Re-Ordering Attacks on the IEC 60870-5-104 Protocol

    Baiocco, A. & Wolthusen, S., 24 Dec 2018, Proceedings of the 2018 IEEE PES General Meeting. IEEE Press, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  327. Published

    Cavity Beam Position Monitor System for ATF2

    Boogert, S., Ainsworth, R., Boorman, G., Swinson, C., Molloy, S., Aryshev, A., Honda, Y., Tauchi, T., Terunuma, N., Urakawa, J., Frisch, J., May, J., McCormick, D., Nelson, J., Smith, T., Smith, G., Woodley, M., Heo, A., Kim, E-S., Kim, H-S. & 5 others, Kim, Y., Lyapin, A., Park, H., Ross, M. & Shin, S., 2010, Proceedings of IPAC'10, Kyoto, Japan.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  328. Published

    Cérémonie et néoclassicisme à Fontainebleau

    Charlton, D., 2014, D'un 'Orphée', l'autre: 1762-1859...Métamorphoses d'un mythe . Ramaut, A. & Saby, P. (eds.). Saint-Étienne : Publications de l'Université de Saint-Étienne, p. 57-68 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  329. Published

    Ceres Revealed in a Grain of Salt

    Zolensky, ME., Bodnar, RJ., Fries, M., Chan, QH-S., Kebukawa, Y., Mikouchi, T., Hagiya, K., Komatsu, M., Ohsumi, K. & Steele, A., Jun 2016, 26th Goldschmidt Conference, June 2016.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  330. Published

    Certificate translation

    Borselius, N. & Mitchell, C. J., 2000, Proceedings of NORDSEC 2000 - 5th Nordic Workshop on Secure IT Systems, Reykjavik, Iceland, 12/13 October 2000. p. 289-300 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  331. Published

    Certifying RSA

    Kakvi, S. A., Kiltz, E. & May, A., 2012, Advances in Cryptology, ASIACRYPT 2012 - 18th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. p. 404-414 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7658 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  332. Published

    Challenges and Opportunities in Last Mile Delivery: A Malaysian Case Study

    Shah, S. & Chan, M., 15 Nov 2021, 2021 26th International Conference on Automation and Computing (ICAC). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  333. Published

    Challenges in developing Capture-HPC exclusion lists

    Puttaroo, M., Komisarczuk, P. & Amorim, R. C. D., 2014, Proceedings of the 7th International Conference on Security of Information and Networks, Glasgow, Scotland, UK, September 9-11, 2014. p. 334 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  334. Published

    Challenges of security and trust in Avionics Wireless Networks

    Akram, R., Markantonakis, K., Kariyawasam, S., Ayub, S., Seem, A. & Atkinson, R., 13 Sep 2015, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC). IEEE Computer Society, p. 4B1-1-4B1-12

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  335. Published

    Challenges of security and trust of mobile devices as digital avionics component

    Akram, R. & Markantonakis, K., 9 Jun 2016, Integrated Communications Navigation and Surveillance (ICNS), 2016. IEEE Computer Society, p. 1C4-1-1C4-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  336. Unpublished

    'Changing Measurement Boundaries in Banks'

    Anagnostopoulos, I., 2009, (Unpublished) BAA: South East Accounting Group, Kingston University, 10 September 2009 .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  337. Published

    Changing patterns of employment in privatised Czech enterprises: management action in a transitional context

    Soulsby, A. & Clark, E., 2002, Personalmanagement im transformationsprozess. Lang, R. (ed.). Munich: Rainer Hampp Verlag, p. 201-223 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  338. Published

    Changing societies, changing images: Masculinities and gender relations in Greek cinema, 1950-67

    Hadjikyriacou, A., 2012, Update! Perspektiven der Zeitgeschichte. Erker-Alexander, L., Dreidemy, S-L. & Sabo, K. (eds.). Vienna: Studienverlag, p. 241-248 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  339. Published

    Characterisation of Electro-Optic Pickups for High Bandwidth Diagnostics at the High Luminosity LHC

    Arteche, A., Bashforth, S., Bosco, A., Gibson, S., Penman, I., Krupa, M. & Lefevre, T., 21 Jun 2019, 10th International Particle Accelerator Conference. JACoW Publishing, p. 1-4 4 p. WEPGW088

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  340. Published

    Characterising renaming within OCaml's module system: theory and implementation

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 8 Jun 2019, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 950-965 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  341. Published

    Characterising the Signal Processing System for Beam Position Monitors at the Front End Test Stand

    Boorman, G., Gibson, S., Gale, J., Rajaeifar, N., Jolly, S., Lawrie, S. & Letchford, A., Jan 2016, 4th International Beam Instrumentation Conference : IBIC2015, Melbourne, Australia. Geneva: JACoW Publishing, p. 526-529 4 p. TUPB073

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  342. Published

    Characteristic formulae for session types

    Lange, J. & Yoshida, N., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 833-850 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  343. Published

    Characteristics of Smith-Purcell radiation in millimeter wavelength region

    Naumenko, G., Potylitsyn, A., Karataev, P., Bleko, V., Sukhikh, L., Shevelev, M. & Popov, Y., 1 Jul 2016, Journal of Physics: Conference Series. Karataev, P., Potylitsyn, A., Tyukhtin, A. & Strikhanov, M. (eds.). UK: IOP PUBLISHING LTD, Vol. 732. p. 1-9 9 p. 012018. (Radiation from Relativistic Electrons in Periodic Structures; vol. 732).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  344. Published

    Characterization of Organic Materials in the Xenolithic Clasts in Sharps (H3.4) Meteorite Using Microraman Spectroscopy

    Chan, QHS., Zolensky, ME., Bodnar, RJ. & Kebukawa, Y., Jun 2015, Astrobiology Science Conference 2015.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  345. Published

    Chatbots at Work: An Employees’ Perspective

    Gkinko, L. & Elbanna, A., 2020, IFIP Joint Working Conference 2020.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  346. Published

    Checking cryptographic API usage with composable annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  347. E-pub ahead of print

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  348. Published

    CheR: Cheating resilience in the cloud via smart resource allocation

    Roberto, D. P., Lombardi, F., Martinelli, F. & Sgandurra, D., 2014, Foundations and Practice of Security - 6th International Symposium, FPS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8352 LNCS. p. 339-352 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8352 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  349. Published

    Child, adolescent and family psychiatry and psychology services: psychology departments: some issues in setting up information systems.

    Berger, M., 1989, Clinic Services: Monitoring, Evaluation and Microcomputers: Occasional Papers, No.1. Berger, M. (ed.). Association for Child Psychology and Psychiatry

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  350. Unpublished

    Children, childhood and youth: online and offline

    Kleine, D., Hollow, D. & Poveda Villalba, S., 2014, (Unpublished) Children, childhood and youth: online and offline. Royal Geographical Society (with IBG)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  351. Published

    Choreographing Space for Living One’s Calling: Lessons from COVID-19 Paper presentation

    Costales, E., Zeyen, A. & Branzei, O., 6 Jul 2022, Academy of Management Annual Meeting Proceedings: Contribution to the 82nd Annual Meeting of the Academy of Management. 1 ed. Academy of Management, Vol. 2022.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  352. Published

    CIM Justification

    Pilkington, A., 1989, IFS.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  353. Published

    Ciphers for MPC and FHE

    Albrecht, M., Rechberger, C., Schneider, T., Tiessen, T. & Zohner, M., 14 Apr 2015, Advances in Cryptology -- EUROCRYPT 2015. Oswald, E. & Fischlin, M. (eds.). Springer, p. 430-454 25 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  354. Published

    Circumventing Cheating on Power Auctioning in Resource Constrained Micro-Grids

    Marufu, A., Kayem, A. V. D. M. & Wolthusen, S., 26 Jan 2017, Proceedings of the 14th International Conference of Smart City (SmartCity 2016). IEEE Press, p. 1380-1387 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  355. Unpublished

    Citizen and Subject in an Age of Migration & Digital Media: The Case of Zimbabwe

    Zigomo, K., 30 Jun 2017, (Unpublished) Urban Africa- Urban Africans: New Encounters of the Urban and the Rural.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  356. Published

    Civic Empowerment through Digitalisation: The Case of Greenlandic Women

    Wendt, N., Jensen, R. B. & Coles-Kemp, L., Apr 2020, ACM CHI Conference on Human Factors in Computing Systems: CHI'20. ACM, p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  357. Unpublished

    Civil society organisations shaping corporate social responsibility: a comparison of NGO and trade union involvement

    Preuss, L., Rees, C. & Gold, M., Jul 2014, (Unpublished) 30th European Group for Organizational Studies (EGOS) Colloquium. Rotterdam

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  358. Unpublished

    Civil society organisations shaping CSR: what role for organised labour?

    Preuss, L., Rees, C. & Gold, M., Aug 2015, (Unpublished) Academy of Management (AoM) Annual Meeting. Vancouver

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  359. Unpublished

    Civil society organizations shaping CSR: what role for trade unions?

    Preuss, L., Rees, C. & Gold, M., Jun 2015, (Unpublished) 65th British Universities Industrial Relations Association (BUIRA) Annual Conference. Leicester

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  360. Published

    Class War on Wonga: morality of inequality

    Chong, D., 2014, 6th Critical Finance Studies Conference (Amsterdam: University of Amsterdam).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  361. Published

    Classification of acute leukaemia from gene expression data using confidence machines

    Bellotti, T., Luo, Z. & Gammerman, A., May 2006, IEEE International Conference on Granular Computing . p. 148-153

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  362. Classification of aortic stiffness from eigendecomposition of the digital volume pulse waveform

    Angarita-Jaimes, N., Alty, S. R., Millasseau, S. C. & Chowienczyk, P. J., 2006, 2006 IEEE International Conference on Acoustics, Speech, and Signal Processing - Proceedings. p. II1168-II1171 1660556. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  363. E-pub ahead of print

    Classification of Malware Families Based on Runtime Behaviour

    Geden, M. & Happa, J., 23 Sep 2018, (E-pub ahead of print) International Symposium on Cyberspace Safety and Security. p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 11161).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  364. Published

    Classifying android malware through subgraph mining

    Martinelli, F., Saracino, A. & Sgandurra, D., 2014, Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. Springer-Verlag, Vol. 8247 LNCS. p. 268-283 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8247 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  365. Published

    Client-based CardSpace-OpenID Interoperation

    Al-Sinani, H. S. & Mitchell, C. J., 2011, Proceedings of ISCIS, 26th International Symposium on Computer and Information Sciences, London, UK, 26-28 September 2011. Gelenbe, E., Lent, R. & Sakellari, G. (eds.). London: Springer-Verlag, p. 387-393 (Lecture Notes in Electrical Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  366. Published

    Clinical translation of Raman-based multimodal spectral histopathology for margin assessment during surgery of basal cell carcinoma

    Boitor, R., Kong, K., Varma, S., Koloydenko, A., Williams, H. & Notingher, I., 22 Jul 2019, Proceedings SPIE, Medical Laser Applications and Laser-Tissue Interactions IX, 110790G . SPIE - INT SOC OPTICAL ENGINEERING, Vol. 11079. p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  367. Published

    Clique Cover and Graph Separation: New Incompressibility Results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 254-265 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  368. Published

    Cloud Security is Not (Just) Virtualization Security: A Short Paper

    Christodorescu, M., Sailer, R., Schales, D. L., Sgandurra, D. & Zamboni, D., 2009, Proceedings of the 2009 ACM Workshop on Cloud Computing Security. New York, NY, USA: ACM, p. 97-102 6 p. (CCSW '09).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  369. Published

    Cloud Storage File Recoverability

    Gorke, C., Janson, C., Armknecht, F. & Cid, C., 2 Apr 2017, SCC '17 Proceedings of the Fifth ACM International Workshop on Security in Cloud Computing. New York, NY, USA: ACM, p. 19-26 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  370. Published

    CloudSafetyNet: Detecting Data Leakage between Cloud Tenants

    Priebe, C., Muthukumaran, D., O'Keeffe, D., Eyers, D. M., Shand, B., Kapitza, R. & Pietzuch, P. R., 2014, Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14, Scottsdale, Arizona, USA, November 7, 2014. p. 117-128 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  371. Published

    Coding schemes for two-dimensional position sensing

    Burns, J. & Mitchell, C. J., 1993, Cryptography and Coding III: Proceedings of the third IMA Cryptography and Coding Conference, Cirencester, December 1991. Ganley, M. J. (ed.). Oxford University Press, p. 31-66 36 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  372. Published

    Coercions in Hindley-Milner systems

    Kießling, R. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  373. Published

    Coercive subtyping and lexical semantics (extended abstract)

    Luo, Z. & Callaghan, P., 1998, Logical Aspects of Computational Linguistics (LACL'98).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  374. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  375. Published

    Coercive subtyping in type theory

    Luo, Z., 1997, CSL'96, LNCS'1258.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  376. Published

    Cognitive assessment in MS

    Langdon, D., Dec 2015, Neurodegenerative disease management. 6S ed. Vol. 5. p. 43-45 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  377. Published

    Cognitive Radio-based Wireless Sensor Networks: Conceptual design and open issues

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2009, The 34th Annual IEEE Conference on Local Computer Networks, LCN 2009, 20-23 October 2009, Zurich, Switzerland, Proceedings. p. 955-962 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  378. Published

    Cognitive strategic groups: Real or artefact?

    Robson, J. & van der Heijden, H., 2012, British Academy of Management (BAM) conference. Cardiff

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  379. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  380. Published

    Coherent Cherenkov radiation as an intense THz source

    Bleko, V., Karataev, P., Konkov, A., Kruchinin, K., Naumenko, G., Potylitsyn, A. & Vaughan, T., 1 Jul 2016, Journal of Physics: Conference Series. Karataev, P., Potylitsyn, A., Tyukhtin, A. & Strikhanov, M. (eds.). IOP PUBLISHING LTD, Vol. 732. p. 1-7 7 p. 012006. (Radiation from Relativistic Electrons in Periodic Structures; vol. 732).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  381. Published

    COHERENT DIFFRACTION RADIATION AS A TOOL FOR LONGITUDINAL BEAM PROFILE DIAGNOSTICS AT CTF3

    Lekomtsev, K., Blair, G., Boorman, G., Karataev, P., Micheler, M., Corsini, R. & Lefevre, T., Sep 2010, Proceedings of Linear Accelerators Conference: LINAC'10, Tsukuba, Japan.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  382. Published

    Coherent Diffraction Radiation Longitudinal Beam Profile Monitor for CTF3.

    Micheler, M., Blair, G., Boorman, G., Karataev, P., Lekomtsev, K., Molloy, S., Corsini, R., Lefevre, T. & Dabrowski, A., May 2010, Proceedings of 1st International Particle Accelerator Conference: IPAC'10. p. 1143-1145 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  383. Published

    Cold Boot Attacks on NTRU

    Paterson, K. G. & Villanueva-Polanco, R., 2017, Progress in Cryptology – INDOCRYPT 2017 - 18th International Conference on Cryptology in India, Proceedings. Springer-Verlag, Vol. 10698 LNCS. p. 107-125 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10698 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  384. Published

    Cold Boot Key Recovery by Solving Polynomial Systems with Noise

    Albrecht, M. & Cid, C., 2011, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011. Springer, p. 57-72 16 p. (Lecture Notes in Computer Science - LNCS; vol. 6715).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  385. Published

    Coleoptera and Trichoptera

    Elias, S., 2001, Tracking Environmental Change Using Lake Sediments: Biological And Statistical Techniques. Smol, J. P. & Last, W. M. (eds.). Kluwer Academic Publishers, Vol. 4. p. 67-80

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  386. Published

    Collaborative and Ubiquitous Consumer Oriented Trusted Service Manager

    Akram, R. N., Markantonakis, K. & Sauveron, D., 1 Sep 2014, The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14). Liu, Y. (ed.). IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  387. Published

    Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)

    Kafali, O., Toni, F. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1167-1168 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  388. Published

    Collaborative value co-creation in crowd-sourced online communities- acknowledging and resolving competing commercial and communal orientations

    Whalley, A., 1 Oct 2011, Research In Consumer Behaviour. Emerald Group Publishing Ltd., Vol. 13. p. 1 18 p. 1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  389. E-pub ahead of print

    Collaborative Verifiable Delay Functions

    Medley, L. & Quaglia, E., 18 Oct 2021, (E-pub ahead of print) Inscrypt 2021: 17th International Conference on Information Security and Cryptology . p. 507-530 24 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  390. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A. S., Ong, C-H. L. & Serre, O., 2008, LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 452-461

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  391. Published

    Collective Information Security in Large-Scale Urban Protests: the Case of Hong Kong

    Albrecht, M., Blasco Alis, J., Jensen, R. B. & Marekova, L., Aug 2021, Proceedings of the 30th USENIX Security Symposium. USENIX

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  392. Published

    Collimation of Partially Stripped Ion Beams in the LHC

    Abramov, A., Nevay, L., Bruce, R., Fuster-Martinez, N., Gorzawski, A., Krasny, M., Molson, J., Redaelli, S. & Schaumann, M., 21 Jun 2019, 10th International Particle Accelerator Conference. JACoW Publishing, p. 700-703 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  393. Published

    Co-location epidemic tracking on London public transports using low power mobile magnetometer

    Nguyen, D. K. A., Watkins, C. & Luo, Z., 23 Nov 2017, The 8th International Conference on Indoor Positioning and Indoor Navigation, Sept 18-21, 2017, Japan. IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  394. Published

    Combination of Conformal Predictors for Classification

    Toccaceli, P. & Gammerman, A., 13 Jun 2017, Proceedings of Machine Learning Research. Lawrence, N. & Reid, M. (eds.). Vol. 60. p. 39-61 23 p. (The Proceedings of Machine Learning Research; vol. 60).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  395. Published

    Combining Distributional and Morphological Information for Part of Speech Induction

    Clark, A., 2003, Proceedings of the tenth Annual Meeting of the {European Association for Computational Linguistics: EACL-03. p. 59--66

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  396. Published

    Combining Expert Advice Efficiently

    Koolen, W. M. & Rooij, S. D., 1 Jun 2008, Proceedings of the 21st Annual Conference on Learning Theory (COLT 2008). Servedio, R. & Zang, T. (eds.). p. 275-286 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  397. Published

    Combining incoherent coercions for Sigma-types

    Luo, Y. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  398. Published

    Combining Initial Segments of Lists

    Warmuth, M., Koolen, W. M. & Helmbold, D. P., 1 Oct 2011, Proceedings of the 22nd International Conference on Algorithmic Learning Theory (ALT 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  399. Published

    Combining uncertain and temporal reasoning

    Ramparany, F., Lorquet, V., Bouyssounous, B., Bigham, J. & Luo, Z., 1994, Proceedings of Information Processing and Management of Uncertainty in Knowledge-based System. p. 256-261

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  400. Published

    Comeld™ joints: A novel technique for bonding composites and metal

    Guild, F. J., Hogg, P. J. & Tu, W., 1 Dec 2009, ICCM International Conferences on Composite Materials.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  401. Published

    Coming of Age: A Longitudinal Study of TLS Deployment

    Kotzias, P., Razaghpanah, A., Amann, J., Paterson, K. G., Vallina-Rodriguez, N. & Caballero, J., 31 Oct 2018, Proceedings of the Internet Measurement Conference 2018, IMC 2018, Boston, MA, USA, October 31 - November 02, 2018. p. 415-428 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  402. Published

    Commissioning of the Operational Laser Emittance Monitors for LINAC4 at CERN

    Hofmann, T., Boorman, G., Bosco, A., Gibson, S. & Roncarolo, F., Jun 2018, 9th International Particle Accelerator Conference. JACoW Publishing, p. 1-4 4 p. WEPAL074

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  403. Published

    Commissioning of the Timepix3 based Beam Gas Ionisation Profile Monitors for the CERN Proton Synchrotron

    Sandberg, H., Bertsche, W., Bodart, D., Jensen, S., Gibson, S., Levasseur, S., Satou, K., Schneider, G., Storey, J. & Veness, R., 14 Oct 2021, 10th International Beam Instrumentation Conference 2021. Pohang, Korea: JACoW Publishing, p. 172-175 4 p. TUOA05

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  404. E-pub ahead of print

    Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, (E-pub ahead of print) American Control Conference 2019. p. 4765-4772 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  405. Published

    Communication-efficient probabilistic quorum systems for sensor networks

    Chockler, G., Gilbert, S. & Patt-Shamir, B., 2006, Proceedings of the 1st Annual IEEE International Workshop on "Foundation and Algorithms for Wireless Networking" (FAWN'2006). p. 111-115 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  406. Published

    Communities of different size create different categorization systems

    Lev - Ari, S., 2020, The Evolution of Language: Proceedings of the 13th International Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  407. Published

    Community response grid (CRG) for a university campus: Design requirements and implications

    Wu, P. F., Qu, Y., Preece, J., Fleischmann, K. R., Golbeck, J., Jaeger, P. T. & Shneiderman, B., 1 Jan 2008, Proceedings of ISCRAM 2008 - 5th International Conference on Information Systems for Crisis Response and Management. Information Systems for Crisis Response and Management, ISCRAM, p. 34-43 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  408. Published

    Community response grids for older adults: Motivations, usability, and sociability

    Wu, P. F., Preece, J., Shneiderman, B., Jaeger, P. T. & Qu, Y., 1 Dec 2007, Association for Information Systems - 13th Americas Conference on Information Systems, AMCIS 2007: Reaching New Heights. Vol. 5. p. 3022-3031 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  409. Published

    Community size influences word order

    Lev - Ari, S., Sep 2022, The Evolution of Language. Proceedings of the Joint Conference on Language Evolution (JCoLE). Ravignani, A. (ed.). p. 458 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  410. Published

    Community-centric engagement: lessons learned from privacy awareness intervention design

    Coles-Kemp, L. & Ashenden, D., 1 Sep 2012, Proceedings of BCS HCI 2012 Workshops: Designing Interactive Secure Systems. p. 4:1-4:4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  411. Published

    Comparing the Bayes and typicalness frameworks

    Melluish, T., Saunders, C., Nouretdinov, I. & Vovk, V., 2001, Lecture Notes in Articial Intelligence. Vol. 2167. p. 360-371

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  412. Published

    Comparison of Messaging Protocols for Emerging Wireless Networks

    Bagale, J. N., Moore, J. P. T., Kheirkhahzadeh, A. D. & Komisarczuk, P., 2012, 5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  413. Published

    Compensating through the employee ownership program

    Yoon, Y. J. & Sen Gupta, S., 4 Aug 2019, Academy of Management Conference, Boston, USA.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  414. Published

    Competence checking for the global e-service society using games

    Stathis, K., Lekeas, G. & Kloukinas, C., 2007, Engineering societies in the agents world VII. Vol. 4457. p. 384-400 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  415. Published

    Competent agents and customising protocols

    Endriss, U., Lu, W. J., Maudet, N. & Stathis, K., 2003, Engineering societies in the agents world IV. Springer-Verlag, Vol. 3071. p. 168-181 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  416. Published

    Competing commensurate and incommensurate magnetic structures in dhcp Ce/Nd superlattices

    Clegg, P. S., Goff, J. P., McIntyre, G. J., Ward, R. C. C. & Wells, M. R., 2001, EUROPEAN MAGNETIC MATERIALS AND APPLICATIONS. Baryakhtar, VG. (ed.). ZURICH-UETIKON: TRANS TECH PUBLICATIONS LTD, p. 205-208 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  417. Published

    Competing with stationary prediction strategies

    Vovk, V., 2007, Proceedings of the Twentieth Annual Conference on Learning Theory . Bshouty, N. & Gentile, C. (eds.). p. 439-453 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  418. Published

    Competing with wild prediction rules

    Vovk, V., 2006, Proceedings of the Nineteenth Annual Conference on Learning Theory. Lugosi, G. & Simon, H. (eds.). Berlin: Springer, p. 559-573 15 p. (Lecture Notes in Articial Intelligence; vol. 4005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  419. Published

    Competitive Learning Organizations – A Way Forward in the European Construction Industry

    Jashapara, A., 1993, Proceedings of the CIB W-65 Symposium on ‘Organization and Management of Construction – The Way Forward’. p. 653-670

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  420. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Proceedings of IJCNN 2019. IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  421. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Competitive Online Generalised Linear Regression with Multidimensional Outputs. Proceedings of IJCNN 2019. IEEE, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  422. Published

    Competitive online generalized linear regression under square loss

    Zhdanov, F. & Vovk, V., 2010, Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2010. Balcazar, J., Bonchi, F., Gionis, A. & Sebag, M. (eds.). Springer, p. 531-546 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  423. Published

    Competitive on-line linear regression

    Vovk, V., 1998, Advances in Neural Information Processing Systems. Jordan, M., Kearns, M. & Solla, S. (eds.). Cambridge, MA: MIT Press, p. 364-370 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  424. E-pub ahead of print

    Competitive online quantile regression

    Dzhamtyrova, R. & Kalnishkan, Y., 5 Jun 2020, (E-pub ahead of print) Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I. Lesot, M-J., Vieira, S., Reformat, M., Carvalho, J. P., Wilbik, A., Bouchon-Meunier, B. & Yager, R. R. (eds.). 1st ed. Springer, p. 499-512 14 p. (Communications in Computer and Information Science; vol. 1237).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  425. Published

    Competitive Online Regression under Continuous Ranked Probability Score

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, Conformal and Probabilistic Prediction and Applications, 9-11 September 2019, Golden Sands, Bulgaria. Proceedings of Machine Learning Research, Vol. 105. p. 178-195 18 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  426. Published

    Competitive on-line statistics

    Vovk, V., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session. Vol. Tome 58, Book 1. p. 231-234

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  427. Published

    Complex Event as an Core Aspect of Enterprise Architecture - EDEMF: Event Driven Enterprise Architecture Modeling Framework

    Kim, H., Oussena, S. & Komisarczuk, P., 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 3, Angers, France, 4-7 July, 2013. p. 292-301 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  428. Published

    Complex urban transport in Europe: Tackling problems. Finding solutions

    Anastasiadis, S., Jönson, G. (ed.) & Tengström, E. (ed.), 2005, Urban transport development: A complex issue. Springer-Verlag, p. 219-244

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  429. Published

    Complexity Approximation Principle and Rissanen's Approach to Real-Valued Parameters

    Kalnishkan, Y., 2000, Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Proceedings: volume 1810 of Lecture Notes in Artificial Intelligence. Springer, p. 203-210 (Lecture Notes in Artificial Intelligence; vol. 1810).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  430. Published

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 4 Dec 2020, Proceedings of IPEC 2020, LIPIcs . Vol. 180. p. 2:1-2:16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  431. Published

    Compression via matroids: a randomized polynomial kernel for odd cycle transversal

    Kratsch, S. & Wahlström, M., 2012, SODA. p. 94-103 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  432. Published

    Computational and Algebraic Aspects of the Advanced Encryption Standard

    Cid, C., Murphy, S. & Robshaw, M. J. B., 2004, Proceedings of the Seventh International Workshop on Computer Algebra in Scientific Computing, CASC 2004. p. 93-103 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  433. Published

    Computational systems for mixed graphical models

    Gammerman, A., Luo, Z., Aitken, C. & Brewer, M., 1994, UNICOM Adaptive Computing and Information Processing Seminar . p. 143-163

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  434. Published

    Computationally efficient time-varying ISAR imaging

    Alty, S. R. & Jakobsson, A., 2006, 2006 IEEE International Conference on Acoustics, Speech, and Signal Processing - Proceedings. Vol. 3. 1660620

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  435. Published

    Computationally efficient transductive machines

    Saunders, C., Gammerman, A. & Vovk, V., 2000, Proceedings of the Eleventh International Conference on Algorithmic Learning Theory. Arimura, H., Jain, S. & Sharma, A. (eds.). Berlin: Springer, p. 325-333 9 p. (Lecture Notes in Artificial Intelligence; vol. 1968).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  436. Published

    Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P., Jul 2019, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). p. 1-14 14 p. 138

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  437. Published

    CONAN: a heuristic strategy for COncurrent Negotiating AgeNts

    Alrayes, B., Kafali, O. & Stathis, K., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. ACM, p. 1585-1586

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  438. Published

    Conceptualising the role of intermediaries in developing SMEs’ ICT capabilities

    Dyerson, R., Harindranath, G. & Levy, M., 2009, Proceedings of the 2009 Institute for Small Business & Entrepreneurship Conference, Liverpool. ISBE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  439. Published

    Conditional prediction intervals for linear regression

    McCullagh, P., Vovk, V., Nouretdinov, I., Devetyarov, D. & Gammerman, A., 2009, Proceedings of the International Conference on Machine Learning and Applications. p. 131-138 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  440. Published

    Confidence in Ability: The Non-Traditional University Student

    Chaney, I., 12 Nov 2018, 11th International Conference of Education, Research and Innovation, Seville, 12-14 November 2018. p. 7206-7211 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  441. Published

    Confidence Machine and its application to medical diagnosis

    Devetyarov, D., Nouretdinov, I. & Gammerman, A., 2009, International Conference on Bioinformatics and Computational Biology. p. 448-454 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  442. Published

    Confidence Predictions for the Diagnosis of Acute Abdominal Pain

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2009, Artificial Intelligence Applications & Innovations III. Iliadis, L., Vlahavas, I. & Bramer, M. (eds.). Springer, Vol. 296. p. 175-184 10 p. (IFIP International Federation for Information Processing; vol. 296).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  443. Published

    Conformal anomaly detection for visual reconstruction using gestalt principles

    Nouretdinov, I., Balinsky, A. & Gammerman, A., 21 Aug 2020, Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 151-170 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  444. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 281-290 10 p. (Lecture Notes in Computer Science; vol. 9047).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  445. Published

    Conformal Clustering and Its Application to Botnet Traffic

    Cherubin, G., Nouretdinov, I., Gammerman, A., Jordaney, R., Wang, Z., Papini, D. & Cavallaro, L., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 313-322 10 p. (Lecture Notes in Computer Science; vol. 9047).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  446. Published

    Conformal Prediction for Indoor Localisation with Fingerprinting Method

    Nguyen, K. & Luo, Z., Sep 2012, Artificial Intelligence Applications and Innovations: First Conformal Prediction and Its Applications Workshop (COPA 2012). Halkidiki, Greece: Springer, p. 214-223 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  447. Published

    Conformal prediction under hypergraphical models

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 371-383 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  448. Published

    Conformal Prediction under Probabilistic Input

    Nouretdinov, I., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 291-300 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  449. Published

    Conformal prediction with Neural Networks

    Papadopoulos, H., Vovk, V. & Gammerman, A., 2007, Proceedings of the Nineteenth IEEE International Conference on Tools with Artificial Intelligence. Vol. 2. p. 388-395 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  450. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., 23 Aug 2018, (E-pub ahead of print) Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman’s Decease, Invited Talks. Springer-Verlag, Vol. 11100 . p. 103-121 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11100 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  451. Published

    Conformal predictor combination using Neyman–Pearson Lemma

    Toccaceli, P., 2019, Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Proceedings of Machine Learning Research, Vol. 105. p. 66-88 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  452. Published

    Conformal Predictors for Compound Activity Prediction

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 51-66 16 p. (Lecture Notes in Computer Science; vol. 9653).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  453. Published

    Conformal testing: binary case with Markov alternatives

    Vovk, V., Nouretdinov, I. & Gammerman, A., 26 Aug 2022, 2022 Conformal and Probabilistic Prediction and Applications. Proceedings of Machine Learning Research, 2022 Conformal and Probabilistic Prediction and Applications, Vol. 179. 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  454. Published

    Conjuring Bambi: Cuteness, incantation and reclamation in Pascale Petit’s Mama Amazonica

    Harris, C., 1 Oct 2020, Love Spells & Rituals for Another World. Markaki, L. & Harris, C. (eds.). UK, p. 42-47 6 p. (Love Spells & Rituals for Another World).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  455. Published

    Connectivity augmentation in tactical mobile ad hoc networks

    Reidt, S. & Wolthusen, S. D., 16 Nov 2008, Proc. 2008 IEEE Military Communications Conference. IEEE Computer Society Press, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  456. Published

    Conquering Generals: an NP-Hard Proof of Useful Work

    Loe, A. & Quaglia, E., 15 Jun 2018, CryBlock'18: Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems. ACM, p. 54-59 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  457. Published

    Consensus and collision deteotors in wireless ad hoc networks

    Chockler, G., Demirbas, M., Gilbert, S., Newport, C. & Nolte, T., 1 Jan 2005, Proceedings of the 24th annual ACM symposium on Principles of distributed computing (PODC '05). p. 197-206 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  458. Published

    Consistency Conditions for a CORBA Caching Service

    Chockler, G., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, p. 374-388 15 p. (Lecture Notes In Computer Science; no. 1914).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  459. Published

    Constant inapproximability for PPA

    Deligkas, A., Fearnley, J., Hollender, A. & Melissourgos, T., 10 Jun 2022, ACM SIGACT Symposium on Theory of Computing, STOC 2022. p. 1010–1023

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  460. Published

    Constrained Dynamic Tree Networks

    Hague, M. & Penelle, V., 2018, 12th International Conference on Reachability Problems. Springer International Publishing, p. 45-58 14 p. (Lecture Notes in Computer Science; vol. 11123).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  461. E-pub ahead of print

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 20 Oct 2021, (E-pub ahead of print) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, p. 604-616 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  462. Published

    Constrained LMS for Dynamic Flow Networks

    Eftaxias, K., Cheong Took, C., Venturini, B. & Arscott, D., 3 Jul 2017, 2017 International Joint Conference on Neural Networks (IJCNN). IEEE, p. 3254-3258 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  463. Published

    Constraining Thermal Processing of Carbon-Rich Aggregates in Xenolithic Clasts from Sharps (H3.4) Meteorite

    Kebukawa, Y., Zolensky, ME., Chan, QHS., Fries, M., Steele, A., Kilcoyne, ALD., Rahman, Z. & Cody, GD., 2015, 78th Annual Meeting of the Meteoritical Society. Vol. 1856. 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  464. E-pub ahead of print

    Constraint Analysis for Security Policy Partitioning Over Tactical Service Oriented Architectures

    Gkioulos, V. & Wolthusen, S., 25 Dec 2016, (E-pub ahead of print) Advances in Network Systems : Architectures, Security, and Applications. AISC ed. Springer-Verlag, Vol. 461. p. 149-166 18 p. (Advances in Intelligent Systems and Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  465. Published

    Constraint Branching in Workflow Satisfiability Problem

    Gutin, G. & Karapetyan, D., Jun 2020, SACMAT 2020: Symposium on Access Control Models and Technologies. p. 93-103 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  466. Published

    Constraint Expressions and Workflow Satisability

    Crampton, J. & Gutin, G., 2013, 18th ACM SACMAT. p. 73-84

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  467. Forthcoming

    Constraint satisfaction problems parameterized above or below tight bounds: a survey

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) Fellows Festschrift. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  468. Published

    Constraints on autonomous use of standard GPU components for asynchronous observations and intrusion detection

    Seeger, M., Baier, H., Busch, C. & Wolthusen, S. D., 26 May 2010, Proc. 2010 2nd International Workshop on Security and Communication Networks (IWSCN). IEEE Computer Society Press, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  469. Published

    Constructing corporate social responsibility: A discursive and multi-level institutional approach

    Preuss, L. & Schaefer, A., Jul 2011, 27th colloquium of the European Group for Organisation Studies (EGOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  470. Published

    Constructing Key Assignment Schemes from Chain Partitions

    Crampton, J., Daud, R., Martin, K. M., Foresti, S. (ed.) & Jajodia, S. (ed.), 2010, Data and Applications Security and Privacy XXIV. Springer, Vol. 6166. p. 130-145 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  471. Published

    Constructing scalable overlays for pub-sub with many topics

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R., 1 Jan 2007, Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing: PODC 2007. p. 109-118 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  472. E-pub ahead of print

    Consumer attention towards brands and products versus human face in video advertisement: An eye tracking study

    Rizvi, W. & Ameen, N., Aug 2020, (E-pub ahead of print) American Marketing Association Summer Academic Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  473. Published

    Consumer risk perceptions in e-commerce

    Jarupunphol, P. & Mitchell, C. J., 2002, Proceedings of UKAIS 2002, Leeds, UK, April 2002. p. 308-315 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  474. Published

    Consumer-Centric Protection for Online Social Networks

    Akram, R. N., Ko, R. K. L. & Law, T. F., 2014, 1st Workshop on Social Network Security (SocialSec 2014) in conjunction with 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI 2014). Hasan, R. (ed.). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  475. Published

    Consumers’ Emotional Responses to Brand Extensions: An Examination of the Cognition-Emotion-Action Process Using the Cognitive Appraisal Theory

    Yuen, T. W., He, H. & Nieroda, M., Jun 2019, ISMS Marketing Science Conference 2019.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  476. Published

    Consuming Stress: Exploring the Intersection of Female Poverty and Consumption-related Strain

    Hutton, M., 2014, 12th ACR Gender, Marketing and Consumer Behaviour Conference, Aalto University Business School, Helsinki, June 2014.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  477. Published

    Consuming Sustainability Narratives

    Haynes, P., 2015, Advances in Consumer Research. Diehl, K. & Yoon, C. (eds.). NA-43 ed. Duluth, MN, Vol. 43. p. 364-367 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  478. Published

    Context-aware content-centric collaborative workflow management for mobile devices

    Kocurova, A., Oussena, S., Komisarczuk, P. & Clark, T., 2012, Proceedings of the 2nd International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA?12). p. 54-57 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  479. Published

    Context-awareness and intelligence in distributed cognitive radio networks: A reinforcement learning approach

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2010, Communications Theory Workshop (AusCTW), 2010 Australian. p. 35-42 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  480. Published

    Contextual analysis of word meanings in type-theoretical semantics

    Luo, Z., 2011, Logical Aspects of Computational Linguistics:6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011: Proceedings. Pogodalla, S. & Prost, J-P. (eds.). Springer, p. 159-174 16 p. (Lecture Notes in Computer Science; vol. 6736).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  481. Published

    Continuous Beam Energy Measurements at Diamond Light Source

    Vitoratou, N., Karataev, P. & Rehm, G., 29 Jan 2019, International Beam Instrumentation Conference (7th) IBIC2018. JACoW Publishing, p. 107-110 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  482. Unpublished

    Contradictions and tensions in the experience of public sector work: an ethnographic study in UK local government

    Gatenby, M. & Rees, C., Apr 2010, (Unpublished) British Sociological Association (BSA) Annual Conference. Glasgow.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  483. Contribution of Additive Manufacturing Systems to Supply Chain

    Shah, S., Mattiuzza, S., Naghi Ganji, E. & Coutroubis, A., 19 Jul 2017, 2017 International Conference on Industrial Engineering, Management Science and Application, ICIMSA 2017. Institute of Electrical and Electronics Engineers Inc., 7985586. (2017 International Conference on Industrial Engineering, Management Science and Application, ICIMSA 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  484. Published

    Coopetitive Architecture to Support a Dynamic and Scalable NFC based Mobile Services Architecture

    Akram, R. N., Markantonakis, K. & Mayes, K., Oct 2012, The 2012 International Conference on Information and Communications Security (ICICS 2012). Chow, K. P. & Hui, L. C. K. (eds.). Springer, (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  485. Published

    Coordination: The evolutionary dimension

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 136-147 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  486. Published

    Coordination Durative Actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION. Springer, Vol. 1282. p. 115-130 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  487. Published

    Coordination for Distributed Business Systems

    Andrade, L. F., Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 2003, CAiSE Workshops. CEUR-WS.org, Vol. 75. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  488. Published

    Coordination Technologies for Managing Information System Evolution

    Andrade, L. F. & Fiadeiro, J. L., 2001, CAiSE. Springer, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  489. Published

    CopperDroid: Automatic Reconstruction of Android Malware Behaviors

    Tam, K., Khan, S., Fattori, A. & Cavallaro, L., 7 Feb 2015, NDSS Symposium 2015. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  490. Published

    Coreset-based Conformal Prediction for Large-scale Learning

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Sep 2019, Proceedings of Machine Learning Research: Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 105. p. 142-162 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  491. Published

    Corporate engagement with the challenge of corruption

    Barkemeyer, R., Preuss, L. & Lee, L., Jan 2014, Africa Academy of Management.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  492. Published

    Corporate engagement with the challenge of corruption: An international comparison

    Preuss, L. & Barkemeyer, R., Oct 2011, 10th annual colloquium of the Academy of Business in Society .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  493. Published

    Corporate Investment Efficiency: The Role of Financial Development in Firms with Financeing and Agency Issues

    Naeem, K. & Li, M. C., 28 Oct 2018, Proceedings of 10th Economics & Finance Conference, Rome (Italy).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  494. Unpublished

    Corporate investment efficiency: The role of financial development in firms with financing constraints and agency issues in OECD non-financial firms

    Li, M. C., 2018, (Unpublished) New York International Business and Social Science Research Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  495. Published

    Corporate reporting on corruption: An international comparison

    Barkemeyer, R. & Preuss, L., Aug 2012, Annual Meeting of the Academy of Management.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  496. Published

    Corporate social responsibility and discursive control of corporations

    Schaefer, A. & Preuss, L., Aug 2008, annual meeting of the Academy of Management.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  497. Published

    Corporate social responsibility in the management of supply chains: Toward a holistic framework

    Preuss, L. & Seuring, S., Aug 2008, annual meeting of the Academy of Management.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  498. Unpublished

    Corporate social responsibility: the challenge for trade unions in Europe

    Preuss, L., Rees, C. & Gold, M., Jun 2012, (Unpublished) British Universities Industrial Relations Association (BUIRA) 62nd Annual Conference. Bradford

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  499. Published

    Correspondence between Johann George Roellig and the Court of Anhalt-Zerbst: musical responsibilities in the 1780s and the Swedish connection

    Springthorpe, N., 2015, Fasch Studien 13: 'Zerbst zur Zeit Faschs - ein anhaltinischer Musenhof'', Bericht über die Internationale Wissenschaftliche Konferenz am 17. bis 18. April 2015 im Rahmen der 13. Internationalen Fasch-Festtage in Zerbst. : Fasch-Studien Herausgegeben von der Internationale Fasch-Gesellschaft e.V. Band XIII. Siegmund, B., Musketa, K. & Reul, B. M. (eds.). Beeskow: Ortus Musikverlag, p. 229-246 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  500. Published

    Corruption: What do multinationals have to say in the emerging debate?

    Preuss, L. & Barkemeyer, R., Jun 2012, annual meeting of the International Association for Business and Society (IABS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  501. Published

    Cough-based COVID-19 detection with audio quality clustering and confidence measure based learning

    Ashby, A., Meister, J., Nguyen, K., Luo, Z. & Gentzke, W., Aug 2022, Proceedings of Machine Learning Research: 11th Symposium on Conformal and Probabilistic Prediction with Applications. Johansson, U., Bostrom, H., Nguyen, K. A., Luo, Z. & Carlsson, L. (eds.). Vol. 179. 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution