Home > Research > Publications & Outputs
  1. Conference contribution/Paper
  2. Published

    Type systems for the masses: deriving soundness proofs and efficient checkers

    Grewe, S., Erdweg, S., Wittmann, P. & Mezini, E., 23/10/2015, Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). New York: ACM, p. 137-150 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    A Structural Equation Model of Credit Card Debt Among the Youth Market

    Awanis, S. & Cui, C. C., 21/10/2015, Thriving in a New World Economy: Proceedings of the 2012 World Marketing Congress/Cultural Perspectives in Marketing Conference. Plangger, K. (ed.). Cham: Springer, p. 61-64 4 p. (Developments in Marketing Science: Proceedings of the Academy of Marketing Science book series (DMSPAMS)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Different classifiers find different defects although with different level of consistency

    Bowes, D., Hall, T. & Petrić, J., 21/10/2015, PROMISE '15 Proceedings of the 11th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: Association for Computing Machinery, Inc, 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    What is the impact of imbalance on software defect prediction performance?

    Mahmood, Z., Bowes, D., Lane, P. C. R. & Hall, T., 21/10/2015, PROMISE '15 Proceedings of the 11th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: Association for Computing Machinery, Inc, 4

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Satellite and ground based seasonal variability of NO2 and SO2 over New Delhi, India

    Pandey, A. K., Kumar, R. P. & Kumar, K., 16/10/2015, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, Vol. 9640.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    DEMOS-2: scalable E2E verifiable elections without random oracles

    Kiayias, A., Zacharias, T. & Zhang, B., 12/10/2015, CCS '15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 352-363 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

    Fett, D., Küsters, R. & Schmitz, G., 12/10/2015, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15. New York: ACM, p. 1358-1369 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    HABOS: an exploratory study of haptic-audio based online shopping for the visually impaired

    Wong, E. J., Yap, K. M., Alexander, J. M. & Karnik, A., 11/10/2015, Haptic, Audio and Visual Environments and Games (HAVE), 2015 IEEE International Symposium on . Ottawa, Ontario: IEEE, p. 1-6 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Edge flow

    Morris, G. & Angelov, P. P., 9/10/2015, Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, p. 1942-1948 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    Multiple video object tracking using variational inference

    Kangin, D., Kolev, D. G. & Markarian, G., 6/10/2015, 2015 Sensor Data Fusion: Trends, Solutions, Applications (SDF 2015). IEEE, p. 47-52 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  12. Published

    Autonomous phase-sensitive radio echo sounder for monitoring and imaging antarctic ice shelves

    Lok, L. B., Brennan, P. V., Ash, M. & Nicholls, K. W., 5/10/2015, 2015 8th International Workshop on Advanced Ground Penetrating Radar, IWAGPR 2015. Institute of Electrical and Electronics Engineers Inc., 4 p. 7292636

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. Published

    Efficient mobility and multihoming support for mountain rescue

    Alsukayti, I. & Edwards, C., 5/10/2015, 2015 8th IFIP Wireless and Mobile Networking Conference (WMNC). IEEE, p. 128-135 8 p. 1570179155

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  14. Published

    Game of drones

    Lindley, J. & Coulton, P., 5/10/2015, CHI PLAY '15 Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play . New York: ACM, p. 613-618 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Arcade+: A Platform for Public Deployment and Evaluation of Multi-Modal Games

    Velloso, E., Oechsener, C., Sachmann, K., Wirth, M. & Gellersen, H.-W. G., 5/10/2015, CHI PLAY '15 . London: ACM, p. 271-275 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. Published

    Energy and spectrum efficiency trade-off for green small cell networks

    Pervaiz, H. B., Musavian, L. & Ni, Q., 1/10/2015, IEEE International Conference on Communications (ICC), 2015. IEEE, p. 5410-5415 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  17. Published

    Area energy and area spectrum efficiency trade-off in 5G heterogeneous networks

    Pervaiz, H. B., Musavian, L. & Ni, Q., 1/10/2015, Communication Workshop (ICCW), 2015 IEEE International Conference on . IEEE, p. 1178-1183 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    Foucault and Derrida in the Architectural Culture of the United States

    Canclini, A., 1/10/2015, ARCHTHEO ’15. Theory and History of Architecture Conference Proceedings. Tulum, H. (ed.). Istanbul: DAKAM Publishing

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  19. Published

    Assurance Techniques for Industrial Control Systems (ICS)

    Knowles, W., Such Aparicio, J. M., Gouglidis, A., Misra, G. & Rashid, A., 10/2015, CPS-SPC '15 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy. New York: ACM, p. 101-112 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    Operationalizing design fiction with anticipatory ethnography

    Lindley, J., Sharma, D. & Potts, R., 10/2015, Ethnographic Praxis in Industry Conference Proceedings. Wiley, p. 58-71 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  21. Published

    Shared ethnography of shared cities

    Potts, R., Sharma, D. & Lindley, J., 10/2015, EPIC 2015 Proceedings: Building Bridges. Wiley, p. 88-104 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    Inter-domain mobility with LISP-MN: a performance comparison with MIPv6

    Isah, M. & Edwards, C. J., 10/2015, IFIP Wireless and Mobile Networking Conference (WMNC), 2015 8th. IEEE, p. 80-87 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  23. Published

    PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation

    Germanus, D., Ismail, H. & Suri, N., 28/09/2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS). IEEE, p. 74-83 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Spectral evolution and freak wave occurrence in bimodal seas: laboratory and numerical experiments

    Ilic, S., Luxmoore, J. & Mori, N., 28/09/2015, Proceedings of 7th International Short Course and Conference on Applied Coastal Research.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Preliminary Results of the CASCADE Hidden Sector Photon Search

    Woollett, N., Bailey, I., Burt, G., Chattopadhyay, S., Dainton, J., Dexter, A., Goudket, P., Jenkins, M., Kalliokoski, M., Moss, A., Pattalwar, S., Thakker, T. & Williams, P., 25/09/2015, Unknown. Verlag Deutsches Elektronen-Synchrotron

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  26. Published

    All together now: collective intelligence for computer-supported collective action

    Valetto, G., Bucchiarone, A., Geihs, K., Buscher, M., Petersen, K. G., Nowak, A., Rychwalska, A., Pitt, J., Shalhoub, J., Rossi, F., Silingardi, P. & Bernardeschi, P., 21/09/2015, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems Workshops. IEEE, p. 13-18 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  27. Published

    A Cyber-Physical Security Analysis of Synchronous-Islanded Microgrid Operation

    Friedberg, I., Laverty, D. M., McLaughlin, K. & Smith, P., 17/09/2015, Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research 2015 (ICS-CSR 2015). p. 52-62 11 p. (Electronic Workshops in Computing (eWiC)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  28. Published

    Novel rectangular slow-wave circuit for THz traveling wave tubes

    Billa, L. R., Muhammad, N. A. & Chen, X., 14/09/2015, 2015 8th UK, Europe, China Millimeter Waves and THz Technology Workshop (UCMMT). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  29. Published

    A fast model of a 1-D nonlinear beam-wave interaction for a 225 GHz TWT

    Waring, R., Hu, Y. & Paoloni, C., 14/09/2015, 2015 8th UK, Europe, China Millimeter Waves and THz Technology Workshop (UCMMT). IEEE, p. 1-3 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  30. Published

    A lattice coding based non-orthogonal multiple access scheme

    Bao, J., Ma, Z., Zhu, Z., Mahamadu, M. A. & Ding, Z., 14/09/2015, 2015 Seventh International Workshop on Signal Design and its Applications in Communications (IWSDA). IEEE, p. 133-136 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  31. Published

    Simulation of 0.346 THz double corrugated waveguide BWO

    Malek Abadi, A., Mineo, M., Li, L., Gamzina, D., Popovic, B., Himes, L., Barchfeld, R., Letizia, R., Feng, J., Paoloni, C. & Luhmann Jr., N. C., 14/09/2015, 2015 8th UK, Europe, China Conference on Millimetre Waves & Terahertz Technology Workshop (UCMMT). IEEE, 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  32. Published

    Photonic bandgap coupler for 346 GHz sheet-beam BWO

    Letizia, R., Mineo, M. & Paoloni, C., 14/09/2015, 2015 8th UK, Europe, China Millimeter Waves and THz Technology Workshop (UCMMT). IEEE, 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  33. Published

    Operationalising design fiction for ethical computing

    Lindley, J. & Sharma, D., 14/09/2015, Proceedings of the 20th Conference for Ethical Computing (ETHICOMP). ACM

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  34. Published

    Perceptive media: adaptive storytelling for digital broadcast

    Gradinar, A., Burnett, D., Coulton, P., Forrester, I., Watkins, M., Scutt, T. & Murphy, E., 14/09/2015, Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Cham: Springer, p. 586-589 4 p. (Lecture Notes in Computer Science; vol. 9299).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  35. Published

    Physical playlist: bringing back the mix-tape

    Burnett, D., Gradinar, A., Porter, J., Stead, M., Coulton, P. & Forrester, I., 14/09/2015, Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Cham: Springer, p. 72-78 7 p. (Lecture Notes in Computer Science; vol. 9299).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Published

    Condition monitoring of wind turbines based on extreme learning machine

    Qian, P., Ma, X. & Wang, Y., 12/09/2015, ICAC2015: Proceedings of the 21st International Conference on Automation and Computing. IEEE, p. 37-42 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  37. Published

    Game-Theoretic Distributed Control with Information-Theoretic Security Guarantees

    Lu, Y., 11/09/2015, IFAC Workshop on Distributed Estimation and Control in Networked Systems. 22 ed. Elsevier, Vol. 48. p. 264-269 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  38. Published

    Secure Cloud Computing Algorithms for Discrete Constrained Potential Games

    Lu, Y. & Zhu, M., 11/09/2015, IFAC Workshop on Distributed Estimation and Control in Networked Systems. 22 ed. Elsevier, Vol. 48. p. 180-185 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  39. Published

    Having Fun With Evaluation

    Rouncefield, M. F., Race, N. J. P. & Hutchinson, J., 9/09/2015, Proceedings of the 28th International BCS Human Computer Interaction Conference (HCI 2014). BCS, p. 359-364 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  40. Published

    Energy efficiency in energy harvesting cooperative networks with self-energy recycling

    Hu, S., Ding, Z., Ni, Q., Yu, W. & Song, Z., 9/09/2015, 20th IEEE International Workshop on Computer Aided Modelling and Design of Communication Links and Networks. IEEE, p. 59-63 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  41. Published

    A rare-earth free SHEV powertrain and its control

    Fernando, N. & Gamage, K., 8/09/2015, 2015 17th European Conference on Power Electronics and Applications (EPE'15 ECCE-Europe). IEEE, p. 1-7 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    Beyond activity recognition: skill assessment from accelerometer data

    Khan, A., Mellor, S., Berlin, E., Thompson, R., McNaney, R., Olivier, P. & Plötz, T., 7/09/2015, UbiComp 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing. New York: Association for Computing Machinery, Inc, p. 1155-1166 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Published

    On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms

    Piper, T., Winter, S., Suri, N. & Fuhrman, T. E., 7/09/2015, 2015 11th European Dependable Computing Conference (EDCC). IEEE, p. 85-96 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  44. Published

    SmartCities'15: International workshop on smart cities: People, technology and data

    Matsuoka, M., Lea, R., Ueda, N., Muñoz, L. & Tokuda, H., 7/09/2015, UbiComp and ISWC 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 1509-1513 5 p. (UbiComp and ISWC 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the Proceedings of the 2015 ACM International Symposium on Wearable Computers).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  45. Published

    Understanding gaze and scrolling strategies in text consumption tasks

    Turner, J. P., Shamsi, I. & Dumais, S., 7/09/2015, UbiComp/ISWC'15 Adjunct . Osaka: ACM, p. 829-838 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  46. Published

    A collaborative gaze aware information display

    Pfeuffer, K., Zhang, Y. & Gellersen, H.-W. G., 7/09/2015, UbiComp/ISWC'15 Adjunct . Osaka: ACM, p. 389-391 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  47. Published

    The 5th international workshop on pervasive eye tracking and mobile eye-based interaction

    Kiefer, P., Zhang, Y. & Bulling, A., 7/09/2015, UbiComp/ISWC'15 Adjunct . Osaka: ACM, p. 825-828 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  48. Published

    Exploring (un)sustainable growth of digital technologies in the home

    Bates, O., Lord, C., Knowles, B., Friday, A., Clear, A. & Hazas, M., 7/09/2015, Proceedings of the Third International Conference on ICT for Sustainability (ICT4S). Atlantis Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  49. Published

    Smart cities: engaging users and developers to foster innovation ecosystems

    Lea, R., Blackstock, M., Vogt, D. & Giang, N., 7/09/2015, UbiComp '15 Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers . New York: Association for Computing Machinery (ACM) Press, p. 1535-1542 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  50. Published

    Showing mutual support through digital empathy badges

    de Jode, M., Hudson-Smith, A., Mavros, P., Coulton, P., Huck, J., Roberts, J. & Powell, P., 7/09/2015, UbiComp '15 Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers . New York: ACM, 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  51. Published

    Towards an architecture to support complex multihomed mobility scenarios

    Alsukayti, I. & Edwards, C., 7/09/2015, MobiArch '15 Proceedings of the 10th International Workshop on Mobility in the Evolving Internet Architecture . New York: ACM, p. 51-56 6 p. 6

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top