Home > Publications

Publications

34101 - 34200 out of 36,755Page size: 100
  1. Conference contribution › Research
  2. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

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

  3. Published

    Solving SAT for CNF formulas with a one-sided variable occurrence restriction

    Johannsen, D., Razgon, I. & Wahlström, M., 2009, Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. Kullmann, O. (ed.). Swansea, Wales, United Kingdom: Springer, Vol. 5584. p. 80-85 6 p. (Lecture Notes in Computer Science).

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

  4. Published

    Some Algebraic Aspects of the Advanced Encryption Standard

    Cid, C., 2004, Advanced Encryption Standard - AES 2004, 4th International Conference. Berlin: Springer, Vol. 3373. p. 58-66 9 p. (Lecture Notes in Computer Science; vol. 3373).

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

  5. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  6. Published

    Some Security Aspects of the MIST Randomized Exponentiation Algorithm

    Walter, C. D., 2003, CHES 2002. Jr., B. S. K., Koç, Ç. K. & Paar, C. (eds.). Springer, Vol. 2523. p. 276-290 15 p. (Lecture Notes in Computer Science).

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

  7. Published

    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

    Fiadeiro, J. L. & Maibaum, T. S. E., 1994, ICTL. Springer, Vol. 827. p. 48-66 19 p. (Lecture Notes in Computer Science).

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

  8. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

  9. Published

    South Asia and West Asia from the Delhi Sultanate to the Present: Security, Resources and Influence

    Robinson, F., 2012, Working Papers: Symposium on the Academic Chairs of His Majesty Sultan Qaboos bin Said and their Contribution to the Development of Human Knowledge. Muscat: Ministry of Higher Education, Oman, p. 74-86 13 p.

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

  10. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Spiegelman, A., Cassuto, Y., Chockler, G. & Keidar, I., 25 Jul 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  11. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., 25 Jul 2017, The 36th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2017)). ACM, p. 83-92 10 p.

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

  12. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS).

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

  13. Unpublished

    Speaking-in-the-last-instance: Non-Standard Usage, Superposition, and the (H)interlinguistic State

    Hazell, C., 2019, (Unpublished) TUJ Philosophy Lecture Series. 12 p.

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

  14. Published

    Specialist Experts for Prediction with Side Information

    Kalnishkan, Y., Adamskiy, D., Chernov, A. & Scarfe, T., 2016, 2015 IEEE International Conference on Data Mining Workshop (ICDMW). IEEE, p. 1470-1477 8 p.

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

  15. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  16. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  17. Published

    Specifying and enforcing constraints in role-based access control

    Crampton, J., 2003, Proceedings of 8th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 43-50 8 p.

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

  18. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, International Joint Conference on Neural Networks. p. 161-166

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

  19. Published

    Spectral clustering of protein sequences using sequence-profile scores

    Sasidharan, R., Gerstein, M. B. & Paccanaro, A., 2006, Proceedings of ICNPSC – 3rd International Conference on Neural Parallel and Scientific Computations.

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

  20. Published

    Speculation by the 1% and the financialization of art

    Chong, D., 2013, 38th Annual Macromarketing Conference (Toronto: York University).

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

  21. Published

    Speculative Landscapes: H.P. Lovecraft’s Weird System

    Gene-Rowe, F., Nov 2013, The Weird: Fugitive Fictions/Hybrid Genres. Senate House Library, London

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

  22. Published

    Speculative Landscapes: H.P. Lovecraft’s Weird System

    Gene-Rowe, F., Nov 2013, The Weird: Fugitive Fictions/Hybrid Genres. Senate House Library, London

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

  23. Published

    Speech security and permanents of (0,1) matrices

    Mitchell, C. J., 1989, Cryptography and Coding: Proceedings of the IMA Cryptography and Coding Conference, Cirencester, December 1986. Beker, H. J. & Piper, F. C. (eds.). Oxford University Press, p. 231-240 10 p.

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

  24. Published

    Sports and Fitness Wellness Tourism: Segmenting Muay Thai Tourists by Travel Motivation and Quality of Life Perception

    Hosany, S. & Deesilatham, S., 2017, 50th Academy of Marketing Conference, Hull, 3-6 July.

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

  25. Published

    Spy agents: Evaluating trust in remote environments

    Kalogridis, G., Mitchell, C. J. & Clemo, G., 2005, Proceedings of the 2005 International Conference on Security and Management (SAM '05), June 2005, Las Vegas, USA. Arabnia, H. R. (ed.). CSREA Press, p. 405-411 7 p.

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

  26. Published

    SSL/TLS session-aware user authentication using a GAA bootstrapped key

    Chen, C., Mitchell, C. J. & Tang, S., 2011, Information Security Theory and Practice: Security and Privacy of Mobile Devices in Wireless Communication, 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011, Proceedings. Ardagna, C. & Zhou, J. (eds.). Springer-Verlag, Vol. 6633. p. 54-68 15 p. (Lecture Notes in Computer Science).

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

  27. Published

    Stability of Power Network State Estimation Under Attack

    Baiocco, A. & Wolthusen, S. D., 2014, Proceedings of the 2014 IEEE PES Innovative Smart Grid Technologies Conference Asia (ISGT Asia 2014). IEEE Press, p. 441 446 p.

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

  28. Published

    Stable multi-agent systems

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Engineering Societies in the Agents World V. Springer-Verlang, Vol. 3451. p. 322-334 13 p.

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

  29. Published

    Stack Object Protection with Low Fat Pointers

    Duck, G., Yap, R. & Cavallaro, L., 27 Feb 2017, NDSS Symposium 2017. p. 1-15 15 p.

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

  30. Published

    Static Analysis on x86 Executable for Preventing Automatic Mimicry Attacks

    Bruschi, D., Cavallaro, L. & Lanzi, A., 12 Jul 2007, In the Proceedings of the GI SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA).

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

  31. Published

    Statistical applications of algorithmic randomness

    Vovk, V. & Gammerman, A., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session: Contributed Papers. book 3 ed. Vol. 58. p. 469-470 2 p.

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

  32. Published

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, International Joint Conference on Artificial Intelligence (IJCAI 2019). International Joint Conferences on Artificial Intelligence, p. 1-8 8 p.

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

  33. Published

    Status of and Future Plans for the CERN LINAC4 Emittance Meter based on Laser Electron-Detachment and a Diamond Strip-Detector

    Hofmann, T., Bravin, E., Raich, U., Roncarolo, F., Zocca, F., Boorman, G., Bosco, A., Gibson, S., Kruchinin, K. & Griesmayer, E., 18 Sep 2014, 3rd International Beam Instrumentation Conference: Monterey, CA, USA, September 14-18, 2014.. p. 83-87 5 p. MOPF15

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

  34. Published

    Status of the FETS Project

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 5 Sep 2014, 27th Linear Accelerator Conference: LINAC14, Geneva, Switzerland, 31 August - 5 September 2014. p. 361-363 3 p. MOPP129

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

  35. Published

    Status of the LUX Dark Matter Search

    Fiorucci, S., Akerib, D. S., Bedikian, S., Bernstein, A., Bolozdynya, A., Bradley, A., Carr, D., Chapman, J., Clark, K., Classen, T., Curioni, A., Dahl, E., Dazeley, S., de Viveiros, L., Druszkiewicz, E., Gaitskell, R., Hall, C., Faham, C. H., Holbrook, B., Kastens, L. & 27 others, Kazkaz, K., Lander, R., Lesko, K., Malling, D., Mannino, R., McKinsey, D., Mei, D., Mock, J., Nikkel, J., Phelps, P., Schroeder, U., Shutt, T., Skulski, W., Sorensen, P., Spaans, J., Stiegler, T., Svoboda, R., Sweany, M., Thomson, J., Toke, J., Tripathi, M., Walsh, N., Webb, R., White, J., Wolfs, F., Woods, M. & Zhang, C., 2009, SUSY09: THE 17TH INTERNATIONAL CONFERENCE ON SUPERSYMMETRY AND THE UNIFICATION OF FUNDAMENTAL INTERACTIONS. Nath, P., Alverson, G. & Nelson, B. (eds.). MELVILLE: AMER INST PHYSICS, p. 977-980 4 p.

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

  36. Published

    Status of the RAL Front End Test Stand

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 8 May 2015, 6th International Particle Accelerator Conference: IPAC2015, Richmond, VA, USA. p. 3959-3961 3 p. THPF105

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

  37. Published

    Status of the RAL Front End Test Stand

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 17 May 2013, 4th International Particle Accelerator Conference: Shanghai, China, 12-17 May 2013. p. 3963-3965 3 p. THPWO086

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

  38. Published

    Status Report of the FETS Photo Detachment Emittance Instrument at RAL

    Gabor, C., Letchford, A., Bosco, A., Boorman, G., Gibson, S., Savage, P. & Scarpine, V., 17 May 2013, 4th International Particle Accelerator Conference: Shanghai, China, 12-17 May 2013. p. 783-785 3 p. MOPWA049

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

  39. Published

    Staying with the inbetween

    Coppard, H., 12 Jun 2015, Philosophy at Play conference.

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

  40. E-pub ahead of print

    Stealthy Injection Attacks Against IEC61850’s GOOSE Messaging Service

    Wright, J. & Wolthusen, S., 13 Dec 2018, Proceedings of the 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe. IEEE Press, p. 1-6 6 p.

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

  41. Published

    STFT-based denoising of elastograms

    Hon, T. K., Subramaniam, S. R., Georgakis, A. & Alty, S., 12 Jul 2011, 2011 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2011 - Proceedings. p. 677-680 4 p. 5946494

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

  42. Published

    Sticking and Making: Technology as glue for families separated by prison

    Coles-Kemp, L. & Kotova, A., 2014, UK Academy for Information Systems Conference Proceedings 2014. p. 1-28 28 p.

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

  43. Published

    Stochastic simulation in mixed graphical association models

    Brewer, M., Aitken, C., Luo, Z. & Gammerman, A., 1992, Computational Statistics. Dodge, K. & Whittaker, F. (eds.). Vol. 1. p. 257-262

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

  44. Unpublished

    Stock Market Liquidity and The Business Cycle: An Empirical Study of Asia-Pacific countries

    Lim, S. & Giouvris, E., 2015, (Unpublished) Stock Market Liquidity and The Business Cycle: An Empirical Study of Asia-Pacific countries.

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

  45. Published

    Storage and search in dynamic peer-to-peer networks

    Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '13, Montreal, QC, Canada - July 23 - 25, 2013. p. 53-62 10 p.

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

  46. Published

    Stored products research in Europe – a very personal perspective!

    Credland, P., 2010, Proceedings of the 10th International Working Conference on Stored Product Protection. Carvalho et al., M. O. (ed.). Berlin: Julius Kühn-Institut, p. 14-25 12 p.

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

  47. Published

    Strangeness minimisation feature selection with confidence machines

    Bellotti, T., Luo, Z. & Gammerman, A., 2006, Lecture Notes in Computer Science. Vol. 4224. p. 978-985

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

  48. Published

    Strategic CSR? Innovative CSR!

    Preuss, L., Mar 2010, annual meeting of the International Association for Business and Society (IABS).

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

  49. Published

    Strategic Discovery and Sharing of Vulnerabilities in Competitive Environments

    Rezaei Khouzani, M., Pham, V. & Cid, C., Nov 2014, Proceedings of GameSec 2014 - Fifth Conference on Decision and Game Theory for Security. Springer, Vol. 8840. p. 59-78 20 p. (Lecture Notes in Computer Science - LNCS; vol. 8840).

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

  50. Published

    Strategies to encourage local ownership of online collaboration technologies in West Africa

    Bentley, C., 2008, Proceedings from ALT-C 2008: Rethinking the Digital Divide, the 15th Association for Learning Technology Conference. Whitton, N. & McPherson, M. (eds.). ALT

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

  51. Published

    Strategy Implementation as a System

    Aboutalebi, R. & Tan, H., 8 Sep 2013, In: UK Systems Society, 17th Annual Conference of the UK Systems Society: Systems and Society- Ideas from Practice. 08-10 September 2013, St Anne’s College, Oxford University, UK.

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

  52. E-pub ahead of print

    Strong Post-Compromise Secure Proxy Re-Encryption

    Davidson, A., Deo, A., Lee, E. & Martin, K., 30 May 2019, Information Security and Privacy - 24th Australasian Conference, ACISP 2019, Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Springer-Verlag, p. 58-77 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11547 LNCS).

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

  53. Published

    Strongly-Resilient and Non-interactive Hierarchical Key-Agreement in MANETs

    Gennaro, R., Halevi, S., Krawczyk, H., Rabin, T., Reidt, S. & Wolthusen, S. D., 6 Oct 2008, Computer Security - ESORICS 2008: Proc. 13th European Symposium on Research in Computer Security. Springer-Verlag, p. 49-65

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

  54. Published

    Structural Controllability Analysis Via Embedding Power Dominating Set Approximation in ErdHos-Rènyi Graphs

    Alwasel, B. & Wolthusen, S. D., 30 Apr 2015, The proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015). IEEE, p. 418-423 6 p.

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

  55. Published

    Structural Controllability of Networks for Non-Interactive Adversarial Vertex Removal

    Alcaraz, C., Etchevés Miciolino, E. & Wolthusen, S. D., 2013, Proceedings of the 8th International Workshop on Critical Information Infrastructures Security. Springer-Verlag, p. 120-132

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

  56. Published

    Structural data from the Trollaskagi peninsula, North Iceland

    Langbacka, B. & Gudmundsson, A., 1989, Nordic Volcanological Institute Report 9301. Reykjavik, p. 1-39 39 p.

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

  57. Published

    Structural Style and Evolution of the Songkhla Basin, western Gulf of Thailand

    Kaewkor, C., Watkinson, I. & Burgess, P., 23 Nov 2015, Proceedings of the International Conference on Geology, Geotechnology, and Mineral Resources of INDOCHINA. Khon Kaen, Thailand, 12 p.

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

  58. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J. L., Rajper, N. & Reiff-Marganiec, S., 2009, FAVO. Vol. 16. p. 26-40 15 p. (EPTCS).

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

  59. Unpublished

    Structure and internal politics in MNCs: three case studies

    Edwards, T. & Rees, C., Aug 1997, (Unpublished) International Industrial Relations Association (IIRA) 5th European Congress. Dublin.

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

  60. Forthcoming

    Structuring Time Series Data to Gain Insight into Agent Behaviour

    Al-Baghdadi, N., Wisniewski, W., Lindsay, D., Lindsay, S., Kalnishkan, Y. & Watkins, C., 28 Oct 2019, (Accepted/In press) Proceedings of the 3rd International Workshop on Big Data for Financial News and Data. IEEE

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

  61. Forthcoming

    Studies of top quark production with the ATLAS detector at the LHC

    Spano, F., 2014, (Accepted/In press) Proceedings for Les Rencontres de Physique de la Vall\'ee d'Aoste, La Thuile, Vall\'ee d'Aoste, Italy, February 23rd - March 1st 2014. In press by Nuovo Cimento C.. 9 p.

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

  62. Published

    Subexponential Parameterized Odd Cycle Transversal on Planar Graphs

    Lokshtanov, D., Saurabh, S. & Wahlström, M., 2012, FSTTCS.

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

  63. Published

    Sublinear Bounds for Randomized Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. p. 348-362 15 p.

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

  64. Published

    Submarine Slide and Slump Complexes, Exmouth Plateau, NW Shelf of Australia

    Scarselli, N., McClay, K. & Elders, C., 31 Aug 2013, Preoceedings of the Western Australian Basins Conference. 20 p.

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

  65. Published

    SUB-MICROMETER RESOLUTION TRANSVERSE ELECTRON BEAM SIZE MEASUREMENT SYSTEM BASED ON OPTICAL TRANSITION RADIATION

    Boogert, S., Aryshev, A., Terunuma, N., Urakawa, J., Karataev, P. & Howell, D., 2010, Proceedings of IPAC'10, Kyoto, Japan.

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

  66. Published

    Sub-micrometre resolution laser wire transverse beam size measurement system

    Nevay, L. J., Blair, G. A., Boogert, S. T., Karataev, P., Kruchinin, K., Corner, L. & Walczak, R., 24 Dec 2013, IPAC 2013 - 4th International Particle Accelerator Conference. 3 p.

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

  67. Published

    Subscriber Centric Conditional Access System for Pay-TV Systems

    Msgna, M., Markantonakis, K., Mayes, K. & Akram, R. N., 11 Sep 2013, IEEE 10th International Conference on e-Business Engineering (ICEBE): IEEE Computer Society. p. 459-455 5 p.

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

  68. Published

    Subsets More Representative Than Random Ones

    Nouretdinov, I., 2007, 7th Industrial Conference on Data Mining 2007 Proceedings. p. 15-20 6 p.

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

  69. Published

    Subsidiary Embeddedness, Subsidiary Strategy and Subsidiary HR: Exploring an extended model of strategic HR in MNCs

    Zheng, Y., Nov 2012, 29th Annual Conference of EAMSA, National University of Singapore, Singapore.

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

  70. Published

    SUBTERRANEAN INSECTS AND FUNGI - HIDDEN COSTS AND BENEFITS TO THE GREENKEEPER

    Gange, A., 1994, SCIENCE AND GOLF II. NEW YORK: Routledge, p. 461-466 6 p.

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

  71. Published

    Sums of two numbers having only prime factors congruent to one modulo four

    Dietmann, R. & Elsholtz, C., 2018, Proceedings of the Number Theory Week 2017 conference: Banach Center Publications.

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

  72. Published

    Supermartingales in Prediction with Expert Advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 2008, Lecture Notes in Articial Intelligence. Springer, Vol. 5254. p. 199-213 15 p.

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

  73. Published

    Superposing Connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 2000, IWSSD. IEEE Computer Society Press, p. 87-94 8 p.

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

  74. Published

    Supply Chain Strategies: New Taxonomy

    Aboutalebi, R., 8 Sep 2015, In: BAM (British Academy of Management), 29th Annual Conference of BAM: The Value of Pluralism in Advancing Management Research, Education and Practice. 08-10 September 2015, The University of Portsmouth, England, UK..

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

  75. Published

    Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). p. 113-122

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

  76. Published

    Supporting institutional decision making with an intelligent student engagement tracking system

    Ong, V., Duan, Y. & Jackson, S., 2012, IADIS International Conference: Information Systems 2012, Berlin, DE, 10 - 12 Mar .

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

  77. Published

    Surface Potential Variations in Epitaxial Graphene Devices Investigated by Electrostatic Force Spectroscopy

    Panchal, V., Burnett, T. L., Pearce, R., Cedergren, K., Yakimova, R., Tzalenchuk, A. & Kazakova, O., 2012, 2012 12TH IEEE CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO). NEW YORK: IEEE, 5 p.

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

  78. Published

    SVM Venn Machine with k-Means Clustering

    Zhou, C., Nouretdinov, I., Luo, Z. & Gammerman, A., 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 251-260 10 p.

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

  79. Published

    Swarm intelligence based dynamic routing and wavelength assignment for wavelength constrained all-optical networks

    Hassan, A., Luo, Z. & Phillips, C., 2009, Proceedings of the 9th international conference on Communications and information technologies . IEEE, p. 987-992

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

  80. Published

    Switching Investments

    Koolen, W. M. & Rooij, S. D., 1 Oct 2010, Proceedings of the 21st International Conference on Algorithmic Learning Theory (ALT 2010). Hutter, M., Stephan, F., Vovk, V. & Zeugman, T. (eds.). Springer Berlin / Heidelberg, p. 239-254 16 p. (LNAI 6331).

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

  81. Published

    Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

    Hague, M. & Ong, C-H. L., 2007, FoSSaCS: Foundations of Software Science and Computation Structures.

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

  82. Published

    Symmetry Breaking in the Congest Model: Time- and Message-Efficient Algorithms for Ruling Sets

    Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P., 2017, 31st International Symposium on Distributed Computing: DISC 2017. LIPIcs, Vol. 91. p. 38:1-38:16 16 p.

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

  83. Published

    SYMPOSIUM PRESENTATION (one of three): Decision Making in Social Work: Analytic, Moral and Emotional Dimensions: Troubling narratives - the emotional dimensions of practitioner decision-making in social work

    Leonard, K. & O'Connor, L., 2015, European Social Work Research Association Conference April 2015 Ljubljana, Slovenia.

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

  84. Published

    Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters

    Hague, M. & Lin, A., 2012, CAV: Computer Aided Verification.

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

  85. E-pub ahead of print

    Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

    Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N. & Whitby, M., 13 Jul 2017, International Conference on Computer Aided Verification. Majumdar, R. & Kunčak, V. (eds.). p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 10427).

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

  86. Published

    Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Chapman & Hall, Vol. 95. p. 240-264 25 p. (IFIP Conference Proceedings).

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

  87. Published

    Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods

    Crampton, J. & Huth, M., 2011, Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems.

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

  88. Published

    Synthesizing stealthy reprogramming attacks on cardiac devices

    Paoletti, N., Jiang, Z., Islam, M. A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. & Smolka, S. A., 16 Apr 2019, 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019). ACM, p. 13-22 10 p.

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

  89. E-pub ahead of print

    Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

    Radwan, G. S. & Shanahan, H., 24 Aug 2018, Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Proceedings. Springer-Verlag, Vol. 11095 LNBI. p. 318-321 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11095 LNBI).

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

  90. Published

    Systems Security at VU University Amsterdam

    Bos, H. J. & Cavallaro, L., 1 Jul 2011, 1st SysSec Workshop on Systems Security.

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

  91. Forthcoming

    Tag Group Authentication using Bit Collisions

    Leng, X., Hancke, G., Mayes, K. & Markantonakis, K., Oct 2012, (Accepted/In press) Information Security South Africa (ISSA). IEEE

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

  92. Published

    Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol

    Paterson, K. G., Ristenpart, T. & Shrimpton, T., 2011, Advances in Cryptology – ASIACRYPT 2011: 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011: Proceedings. Lee, D. H. & Wang, X. (eds.). Springer, p. 372-389 (Lecture Notes in Computer Science; vol. 7073).

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

  93. Published

    Tailoring authentication protocols to match underlying mechanisms

    Chen, LI., Gollmann, D. & Mitchell, C. J., 1996, Information Security and Privacy - Proceedings: First Australasian Conference, Wollongong, NSW, Australia, June 1996. Pieprzyk, J. & Seberry, J. (eds.). Springer-Verlag, p. 121-133 13 p. (Lecture Notes in Computer Science; no. 1172).

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

  94. Published

    Taint-Enhanced Anomaly Detection

    Cavallaro, L. & Sekar, R., 2011, ICISS. p. 160-174 15 p.

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

  95. Published

    Take a Deep Breath: a Stealthy, Resilient and Cost-Effective Botnet Using Skype

    Nappa, A., Fattori, A., Balduzzi, M., Dell'Amico, M. & Cavallaro, L., 1 Jul 2010, GI SIG SIDAR Conference on Detection of Intrusions and Malware Vulnerability Assessment (DIMVA).

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

  96. Published

    Taking photos might not impair memory

    Nightingale, S., Wade, K., Watson, D., Mills, A., Zajac, R., Henkel, L. & Garry, M., Jul 2016, International Conference on Memory.

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

  97. Published

    TALEN-directed genome surgery of the DMD gene

    Popplewell, L., Marsh, J., Kymalainen, H., Yanez, R. & Dickson, J., 15 May 2013, Human Gene Therapy. Mary Ann Liebert Inc., Vol. 24. p. A21 1 p.

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

  98. Published

    Task Facilitation and Navigation via a Mediator: An Application from Software Integration

    Stathis, K., 1 Dec 1995, Proceedings of the 5th Hellenic Conference on Informatics.

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

  99. Published

    Taste and Toasts in Early Eighteenth-Century Club Culture

    Hawley, J., 2011, Taste and the Senses in the Eighteenth Century. Wagner, P. & Ogée, F. (eds.). Trier: Wissenschaftlicher Verlag Trier, p. 299-318 20 p. (LAPASEC: Landau Paris Studies on the Eighteenth Century; vol. 3).

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

  100. Published

    Taxonomy of Barriers to Strategy Implementation

    Aboutalebi, R., 8 Sep 2015, BAM (British Academy of Management), 29th Annual Conference of BAM: The Value of Pluralism in Advancing Management Research, Education and Practice. 08-10 September 2015, The University of Portsmouth, England, UK..

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

  101. Published

    Tear-Insert-Fold grammars

    Johnstone, A. & Scott, E., 28 Mar 2010, LDTA '10 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 6

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