Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

501 - 600 out of 3,580Page size: 100
RSS feed of this list
  1. Published

    Preliminaries to classical first order model theory

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

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

  2. Published

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

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

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

  3. Published

    Basic first-order model theory in Mizar

    Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1

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

  4. Published

    Einstein Podolsky Rosen correlations involving mesoscopic quantum systems

    Caminati, M., De Martini, F. & Sciarrino, F., 10/07/2006, AIP Conference Proceedings. 1 ed. American Institute of Physics, Vol. 844.

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

  5. Published

    Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning

    Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556

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

  6. Published

    Nonseparable Werner states in spontaneous parametric down-conversion

    Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .

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

  7. Published

    PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

    Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.

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

  8. Published

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

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

    Research output: Working paper › Preprint

  9. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paper › Preprint

  10. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

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

  11. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

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

  12. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

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

  13. Published

    A probabilistic hypothesis density filter for traffic flow estimation in the presence of clutter

    Canaud, M., Mihaylova, L., El Faouzi, N.-E., Billot, R. & Sau, J., 4/09/2012, Sensor Data Fusion: Trends, Solutions, Applications (SDF), 2012 Workshop on. IEEE, p. 31-36 6 p.

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

  14. Published

    Probability hypothesis density filtering for real-time traffic state estimation and prediction

    Canaud, M., Mihaylova, L., Sau, J. & El Faouzi, N.-E., 09/2013, In: Network and Heterogeneous Media. 8, 3, p. 825-842 18 p.

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

  15. Published

    Performance analysis under finite load and improvements for multirate 802.11

    Cantieni, G. R., Ni, Q., Barakat, C. & Turletti, T., 16/06/2005, In: Computer Communications. 28, 10, p. 1095-1109 15 p.

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

  16. Published

    Shielding noises from spins

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

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

  17. Published

    Statistical CSIT Aided User Scheduling for Broadcast MU-MISO System

    Cao, Q., Sun, Y., Ni, Q., Li, S. & Tan, Z., 07/2017, In: IEEE Transactions on Vehicular Technology. 66, 7, p. 6102-6114 13 p.

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

  18. Published

    Optical identification using imperfections in 2D materials

    Cao, Y., Robson, A. J., Alharbi, A., Roberts, J., Woodhead, C., Noori, Y., Bernardo Gavito, R., Roedig, U., Falko, V. & Young, R. J., 28/09/2017, In: 2D Materials. 4, 4, 8 p., 045021.

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

  19. Published

    Personality and language

    Caplan, J. E., Adams, K. & Boyd, R. L., 1/10/2020, The Wiley Encyclopedia of Personality and Individual Differences: Models and Theories. Carducci, B. J. & Nave, C. S. (eds.). John Wiley & Sons, p. 311-316 6 p.

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

  20. Published

    Sexual offences

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

    Research output: Book/Report/Proceedings › Book

  21. Published

    Agile collaborative autonomous agents for robust underwater classification scenarios

    Carline, D., Angelov, P. & Clifford, R., 06/2005. 6 p.

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

  22. Published

    Agile collaborative agents for classification of underwater targets

    Carline, D., Angelov, P. & Clifford, R., 21/06/2005, Proceedings of the Undersea Defense Technology Conference 2005. Amsterdam, The Netherlands

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

  23. Published

    MCMC-Based Tracking and Identification of Leaders in Groups

    Carmi, A., Mihaylova, L., Septier, F., Pang, S. K. & Godsill, S., 7/11/2011, IEEE International Conference on Computer Vision Workshops (ICCV Workshops), 2011 . IEEE, p. 112-119 8 p.

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

  24. Published

    Unscented compression sensing

    Carmi, A., Mihaylova, L. & Kanevsky, D., 1/03/2012, Acoustics, Speech and Signal Processing (ICASSP), 2012 IEEE International Conference on. Kyoto, Japan: IEEE, p. 5249-5252 4 p.

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

  25. Published

    Compressed sensing and sparse filtering

    Carmi, A., Mihaylova, L. & Godsill, S., 30/06/2013, Springer. 526 p. (Signals and Communication Technology)

    Research output: Book/Report/Proceedings › Book

  26. Published

    Mimicry in online conversations: an exploratory study of linguistic analysis techniques

    Carrick, T., Rashid, A. & Taylor, P. J., 18/08/2016, Advances in Social Networks Analysis and Mining (ASONAM), 2016 IEEE/ACM International Conference on. IEEE

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

  27. Published

    Long-Wavelength Photoluminescence from Stacked Layers of High-Quality Type-II GaSb/GaAs Quantum Rings

    Carrington, P. J., Young, R. J., Hodgson, P. D., Sanchez, A. M., Hayne, M. & Krier, A., 03/2013, In: Crystal Growth and Design. 13, 3, p. 1226-1230 5 p.

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

  28. Published

    Concatenated wavelet-based ring-TCM

    Castineira Moreira, J., Honary, B. & Farrell, P., 08/2002, In: IEE Proceedings - Communications. 149, 4, p. 189-194 6 p.

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

  29. Published

    A new signal set for ring-BCM

    Castineira Moreira, J., Honary, B. & Farrell, P., 07/2001, Proceedings of the 6th International Symposium on Communication Theory and Applications (ISCTA 2001). Lancaster: HW Communications Limited, p. 353–357 5 p.

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

  30. Published

    A Key Exchange Protocol for Wireless Ad-hoc Networks Using ECC

    Catterall, N., Katsaros, I. & Honary, B., 12/2004, First International Symposium on Broadband Communications. Harrogate, p. 30

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

  31. Published

    IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

    Chan, A., Winter, S., Saissi, H., Pattabiraman, K. & Suri, N., 13/03/2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 184-195 12 p.

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

  32. Published

    Weak signals as predictors of real-world phenomena in social media

    Charitonidis, C., Rashid, A. & Taylor, P. J., 2015, ASONAM '15 Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2015. New York: ACM, p. 864-871 8 p. (ASONAM '15).

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

  33. Published

    Predicting Collective Action from Micro-Blog Data

    Charitonidis, C., Rashid, A. & Taylor, P. J., 18/03/2017, Prediction and Inference from Social Networks and Social Media. Kawash, J., Agarwal, N. & Özyer, T. (eds.). Springer, Cham, p. 141-170 30 p. (Lecture Notes in Social Networks).

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

  34. Published

    Review of Child Pornography: Law and Policy, by Alisdair A Gillespie

    Chatterjee, B., 2012, In: International Journal of Law and Information Technology. 20, 3, p. 245-248 4 p.

    Research output: Contribution to Journal/Magazine › Book/Film/Article review › peer-review

  35. Published

    International law and cyber warfare: an agenda for future research

    Chatterjee, B. B., 21/07/2014, Lancaster: Lancaster University. 45 p.

    Research output: Book/Report/Proceedings › Other report

  36. Published

    Postcards from Ivory Towers: Report of the SLSA Postgraduate forum held at the IALS in London on 16th December 1998

    Chatterjee, B. B., 03/1999, Vol 27 March 1999 ed. Socio Legal Studies Association. 1 p.

    Research output: Book/Report/Proceedings › Other report

  37. Published

    Ready, aim, click – digital weapons of destruction

    Chatterjee, B. B., 21/08/2014

    Research output: Other contribution

  38. Published

    Ready, aim, click: we need new laws to govern cyberwarfare

    Chatterjee, B. B., 21/08/2014, The Conversation.

    Research output: Other contribution

  39. Published

    Rethinking Alcock in the new media age

    Chatterjee, B. B., 12/2016, In: Journal of European Tort Law . 7, 3, p. 272-299 28 p.

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

  40. Published

    Combats, the A-Team and a note on sexuality

    Chatterjee, B. B., 17/05/2017

    Research output: Other contribution

  41. Published

    Essay writing

    Chatterjee, B. B., 2017

    Research output: Other contribution

  42. Published

    Time-critical fog computing for vehicular networks

    Chebaane, A., Khelil, A. & Suri, N., 5/05/2020, Fog Computing: Theory and Practice. Zomaya, A., Abbas, A. & Khan, S. (eds.). London: Wiley, p. 431-458 28 p.

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

  43. Published

    An Efficient Visual Tracking Method for Multiple Moving Targets

    Chen, X., Bull, D. R., Mihaylova, L. & Canagarajah, N., 2007, Computational Intelligence and Security Workshops, 2007. CISW 2007. International Conference on. Washington, DC, USA: IEEE Computer Society, p. 267-270 4 p.

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

  44. Published

    Differential space-time block-coded OFDMA for frequency-selective fading channels

    Chen, Z., Zhu, G., Cai, W. & Ni, Q., 2003, Personal, Indoor and Mobile Radio Communications, 2003. PIMRC 2003. 14th IEEE Proceedings on. IEEE, p. 2171-2175 5 p.

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

  45. Published

    A systematic review of evaluation of variability management approaches in software product lines

    Chen, L. & Babar, M. A., 04/2011, In: Information and Software Technology. 53, 4, p. 344-362 19 p.

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

  46. Published

    Coverage and Handoff Analysis of 5G Fractal Small Cell Networks

    Chen, J., Ge, X. & Ni, Q., 02/2019, In: IEEE Transactions on Wireless Communications. 18, 2, p. 1263 - 1276 14 p.

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

  47. Published

    Resource Cube: Multi-Virtual Resource Management for Integrated Satellite-Terrestrial Industrial IoT Networks

    Chen, D., Yang, C., Gong, P., Chang, L., Shao, J., Ni, Q., Anpalagan, A. & Guizani, M., 22/10/2020, In: IEEE Transactions on Vehicular Technology. 69, 10, p. 11963-11974 12 p.

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

  48. Published

    Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation

    Chen, D., Wang, J., Ruan, W., Ni, Q. & Helal, S., 30/04/2021, In: ACM Transactions on Computing for Healthcare. 2, 2, p. 1-19 19 p., 11.

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

  49. Published

    SlowCoach: Mutating Code to Simulate Performance Bugs

    Chen, Y., Schwahn, O., Natella, R., Bradbury, M. & Suri, N., 21/12/2022, 33rd IEEE International Symposium on Software Reliability Engineering. New York: IEEE, p. 274-285 12 p. (2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)).

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

  50. Published

    Towards Effective Performance Fuzzing

    Chen, Y., Bradbury, M. & Suri, N., 26/12/2022, 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 128-129 2 p. (Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022).

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

  51. Published

    Towards More Effective Performance Testing

    Chen, Y., 2023, Lancaster University. 160 p.

    Research output: Thesis › Doctoral Thesis

  52. Published

    Communication and Control Co-Design in 6G: Sequential Decision-Making with LLMs

    Chen, X., Wu, C., Shen, Y., Ji, Y., Yoshinaga, T., Ni, Q., Zarakovitis, C. C. & Zhang, H., 31/07/2025, In: IEEE Network. 39, 4, p. 131-138 8 p.

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

  53. Published

    Towards Reactive Acoustic Jamming for Personal Voice Assistants

    Cheng, P., Bagci, I. E., Yan, J. & Roedig, U., 15/10/2018, 2nd International Workshop on Multimedia Privacy and Security. ACM Press, 6 p.

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

  54. Published

    SonarSnoop: active acoustic side-channel attacks

    Cheng, P., Bagci, I., Roedig, U. & Yan, J., 1/03/2020, In: International Journal of Information Security. 19, p. 213-228 16 p.

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

  55. Published

    Smart Speaker Privacy Control - Acoustic Tagging for Personal Voice Assistants

    Cheng, P., Bagci, I., Yan, J. & Roedig, U., 20/05/2019. 2 p.

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

  56. Published

    Smart Speaker Privacy Control - Acoustic Tagging for Personal Voice Assistants

    Cheng, P., Bagci, I. E., Yan, J. & Roedig, U., 23/05/2019, SafeThings 2019 : IEEE Workshop on the Internet of Safe Things. IEEE

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

  57. Published

    Acoustic-channel attack and defence methods for personal voice assistants

    Cheng, P., 2020, Lancaster University. 232 p.

    Research output: Thesis › Doctoral Thesis

  58. Published

    A Low-Latency Interference Coordinated Routing for Wireless Multi-hop Networks

    Cheng, J., Yang, P., Navaie, K., Ni, Q. & Yang, H., 15/03/2021, In: IEEE Sensors Journal. 21, 6, p. 8679 - 8690 12 p.

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

  59. Published

    DCACA: Dual-Model Consensus-Based Anti-Risk Confidence Allocation Trust Management in IoVs

    Cheong, C., Song, Y., Cao, Y., Zhang, Y., Wang, H. & Ni, Q., 15/01/2025, In: IEEE Internet of Things Journal. 12, 2, p. 1890-1906 17 p.

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

  60. Published

    Design with care

    Cheverst, K., Clarke, K., Cobb, S., Hemmings, T., Kember, S., Mitchell, K., Phillips, P., Procter, R., Rodden, T. & Rouncefield, M., 2001, In: New Technology in the Human Services. 14, 1 & 2, p. 39-47 9 p.

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

  61. Unpublished

    Design For Digital Care

    Cheverst, K., Friday, A., Phillips, P. & Rouncefield, M., 09/2001, (Unpublished).

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

  62. Unpublished

    When Geography Matters - Location Awareness and Community Care

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M. & Hemmings, T., 07/2002, (Unpublished).

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

  63. Unpublished

    Probing for Information

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Rodden, T., Crabtree, A. & Hemmings, T., 08/2002, (Unpublished).

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

  64. Unpublished

    Getting the Message: SMS Messaging and Community Care

    Cheverst, K., Dewsbury, G., Fitton, D. & Rouncefield, M., 10/2002, (Unpublished).

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

  65. Unpublished

    Exploring Situated interaction with Ubiquitious Office Door Displays

    Cheverst, K., Fitton, D., Dix, A. & Rouncefield, M., 11/2002, (Unpublished).

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

  66. Unpublished

    Cultural probes: Eliciting Requirements for Dependable Ubiquitous Computing in the Home

    Cheverst, K., Clarke, K., Dewsbury, G., Fitton, D., Rouncefield, M., Sommerville, I. & Hughes, J., 01/2003, (Unpublished). 0 p.

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

  67. Unpublished

    Gathering Requirements for Inclusive Design

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Blythe, M., Baxter, G. & Wright, P., 01/2003, (Unpublished).

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

  68. Unpublished

    Designing Assistive Technologies for Medication Regimes in Care Settings

    Cheverst, K., Clarke, K., Dewsbury, G., Kember, S., Rouncefield, M., Rodden, T. & Hemmings, T., 01/2003, (Unpublished) In: Universal Access in the Information Society. 2, 3

    Research output: Contribution to Journal/Magazine › Journal article

  69. Unpublished

    Exploring the use of Remote Messaging and situated Displays

    Cheverst, K., Fitton, D., Dix, A. & Rouncefield, M., 01/2003, (Unpublished).

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

  70. Published

    Exploring the utility of remote messaging and situated office door displays

    Cheverst, K., Dix, A., Fitton, D., Friday, A. & Rouncefield, M., 8/09/2003, Fifth International Symposium on Human Computer Interaction with Mobile Devices and Services. 2003 ed. Springer-Verlag, Vol. 2795. p. 336-341 6 p.

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

  71. Unpublished

    Designing with Care: Adapting Cultural Probes to Inform Design in Sensitive Settings

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Rodden, T., Hughes, J., Crabtree, A. & Hemmings, T., 11/2003, (Unpublished).

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

  72. Published

    Working Text: Texting Work

    Cheverst, K., Fitton, D. & Rouncefield, M., 2005, The Inside Text: Social, Cultural and Design Perspectives on SMS. Harper, R., Palen, L. & Taylor, A. (eds.). Dordrecht: Springer, p. 253-269 17 p. ( The Kluwer International Series on Computer Supported Cooperative Work ; vol. 4).

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

  73. Unpublished

    HEAT & SPAM: SMS messaging and community care

    Cheverst, K., Fitton, D. & Rouncefield, M., 03/2004, (Unpublished).

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

  74. Unpublished

    Smart mobs and technology probes: evaluating texting at work

    Cheverst, K., Fitton, D., Rouncefield, M. & Graham, C., 11/2004, (Unpublished)

    Research output: Other contribution

  75. Unpublished

    Exploring Mobile Phone Interaction with Situated Displays

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Sheridan, J. & Saslis-Lagoudakis, G., 01/2005, (Unpublished).

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

  76. Unpublished

    How Do You Turn a Duck Into A Soul Singer? Put It Into The Microwave Until Its Bill Withers

    Cheverst, K., Fitton, D., Rouncefield, M. & Graham, C., 01/2005, (Unpublished).

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

  77. Unpublished

    Going More Public: Situated Display Design through Co-realisation

    Cheverst, K., Rouncefield, M. & Graham, C., 01/2005, (Unpublished).

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

  78. Unpublished

    Probing Designs: Designing Probes

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Graham, C. & Saslis-Lagoudakis, G., 12/2005, (Unpublished).

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

  79. Unpublished

    Whose Probe is it Anyway?

    Cheverst, K., Rouncefield, M. & Graham, C., 12/2005, (Unpublished).

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

  80. Published

    Exploring awareness related messaging through two situated-display-based systems.

    Cheverst, K., Dix, A., Fitton, D., Rouncefield, M. & Graham, C., 05/2007, In: Human-Computer Interaction. 22, 1-2, p. 173-220 48 p.

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

  81. Published

    The Challenge of Evaluating Situated Display based Technology Interventions Designed to Foster a Sense of Community

    Cheverst, K., Taylor, N., Rouncefield, M., Galani, A. & Kray, C., 21/09/2008. 5 p.

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

  82. Published

    Exploring Bluetooth based Mobile Phone Interaction with the Hermes Photo Display

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Sas, C., Sheridan, J. & Saslis-Lagoudakis, G., 01/2005, MobileHCI '05 Proceedings of the 7th international conference on Human computer interaction with mobile devices & services. New York: ACM, p. 47-54 8 p.

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

  83. Unpublished

    SPAM on the Menu: the practical use of remote messaging in community care

    Cheverst, K., Clarke, K., Fitton, D., Rouncefield, M., Crabtree, A. & Hemmings, T., 01/2003, (Unpublished) CUU '03 Proceedings of the 2003 conference on Universal usability. ACM, p. 23-29 6 p.

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

  84. Published

    Situatedness of Awareness Information: Impact on the Design and Usage of Awareness Systems

    Cheverst, K., Dix, A., Fitton, D., Graham, C. & Rouncefield, M., 2009, Awareness Systems: Advances in Theory, Methodology and Design. Markopoulos, P., Mackay, W. & Ruyter, B. (eds.). London: Springer Verlag, p. 397-422 26 p. (Human–Computer Interaction Series).

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

  85. Published

    Design with care: technology, disability and the home

    Cheverst, K., Clarke, K., Dewsbury, G., Hemmings, T., Hughes, J. & Rouncefield, M., 01/2001, Inside the smart home. Harper, R. (ed.). London: Springer, p. 163-179 17 p.

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

  86. Published

    Stochastic Asymmetric Blotto Game Approach for Wireless Resource Allocation Strategies

    Chien, S. F., Zarakovitis, C. C., Ni, Q. & Xiao, P., 1/12/2019, In: IEEE Transactions on Wireless Communications. 18, 12, p. 5511 - 5528 18 p.

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

  87. Published

    The factor structure of the PHQ-9 in palliative care

    Chilcot, J., Rayner, L., Lee, W., Price, A., Goodwin, L., Monroe, B., Sykes, N., Hansford, P. & Hotopf, M., 31/07/2013, In: Journal of Psychosomatic Research. 75, 1, p. 60-64 5 p.

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

  88. Published

    Evaluating EA-Miner: Are Early Aspect Mining Techniques Effective?

    Chitchyan, R., Sampaio, A., Rashid, A. & Rayson, P., 07/2006, p. 5-8. 4 p.

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

  89. Published

    Semantics-Based Composition for Aspect-Oriented Requirements Engineering

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

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

  90. Published

    A Tool Suite for Aspect-Oriented Requirements Engineering

    Chitchyan, R., Sampaio, A., Rashid, A. & Rayson, P., 05/2006, EA '06 Proceedings of the 2006 international workshop on Early aspects at ICSE. ACM, p. 19-26 8 p.

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

  91. Published

    Quantum information to the home

    Choi, I., Young, R. & Townsend, P., 06/2011, In: New Journal of Physics. 13, 6, 13 p., 063039.

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

  92. Published

    Quantum key distribution on a 10Gb/s WDM-PON

    Choi, I., Young, R. J. & Townsend, P. D., 26/04/2010, In: Optics Express. 18, 9, p. 9600-9612 13 p.

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

  93. Published

    D-DEMOS: a distributed, end-to-end verifiable, internet voting system

    Chondros, N., Zhang, B., Zacharias, T., Diamantopoulos, P., Maneas, S., Patsonakis, C., Delis, A., Kiayias, A. & Roussopoulos, M., 27/06/2016, Proceedings of the 36th IEEE International Conference on Distributed Computing Systems (ICDCS 2016) . IEEE, p. 711-720 10 p. (2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), ).

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

  94. Published

    An upbringing to violence? identifying the likelihood of violent crime among the 1966 birth cohort in Denmark.

    Christoffersen, M. N., Francis, B. & Soothill, K., 2003, In: Journal of Forensic Psychiatry and Psychology. 14, 2, p. 367-381 15 p.

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

  95. Published

    When insight just won’t come: The failure of visual cues in the nine-dot problem.

    Chronicle, E. P., Ormerod, T. C. & MacGregor, J. N., 2001, In: Quarterly Journal of Experimental Psychology Series a Human Experimental Psychology. 54 A, 3, p. 903-919 17 p.

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

  96. Published

    What makes an insight problem? The roles of heuristics, goal conception and solution recoding in knowledge-lean problems.

    Chronicle, E. P., MacGregor, J. N. & Ormerod, T. C., 01/2004, In: Journal of Experimental Psychology: Learning, Memory, and Cognition. 30, 1, p. 14-27 14 p.

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

  97. Published

    It looks easy! Heuristics for combinatorial optimization problems.

    Chronicle, E. P., MacGregor, J. N., Ormerod, T. C. & Burr, A., 2006, In: The Quarterly Journal of Experimental Psychology . 39, 4, p. 783 -800

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

  98. Published

    Challenges in Identifying Network Attacks Using Netflow Data

    Chuah, E., Suri, N., Jhumka, A. & Alt, S., 31/01/2022, 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA). IEEE

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

  99. Published

    Failure Diagnosis for Cluster Systems using Partial Correlations

    Chuah, E., Jhumka, A., Alt, S., Evans, R. T. & Suri, N., 22/12/2021, 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom). IEEE, p. 1091-1101 11 p.

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

  100. Published

    A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems

    Chuah, E., Jhumka, A., Malek, M. & Suri, N., 29/12/2022, In: IEEE Access. 10, p. 133487-133503 17 p.

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

Previous 12 3 4 5 6 7 8 9 ...36 Next

Back to top