Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
81851 - 81875 out of 98,786Page size: 25
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    A co-contextual formulation of type rules and its application to incremental type checking

    Erdweg, S., Bračevac, O., Kuci, E., Krebs, M. & Mezini, E., 25/10/2015, OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York: ACM, p. 880-897 18 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1...3271 3272 3273 3274 3275 3276 3277 3278 ...3952 Next

Back to top