Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

82301 - 82310 out of 99,295Page size: 10
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

Previous 1...8227 8228 8229 8230 8231 8232 8233 8234 ...9930 Next

Back to top