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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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