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

    Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 27/09/2017, ATVA 2017: Automated Technology for Verification and Analysis . Springer, p. 380-399 20 p.

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

  3. Published

    Canary: Extracting Requirements-Related Information from Online Discussions

    Kanchev, G. M., Murukannaiah, P. K., Chopra, A. K. & Sawyer, P., 26/09/2017, Proceedings of the 25th IEEE International Requirements Engineering Conference. Lisbon: IEEE, p. 31-40 10 p.

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

  4. Published

    Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums

    Kanchev, G. M., Murukannaiah, P. K., Chopra, A. K. & Sawyer, P., 26/09/2017, Proceedings of the 25th IEEE International Requirements Engineering Conference. Lisbon: IEEE, p. 470-471 2 p.

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

  5. Published

    An approach for managing a distributed feature model to evolve self-adaptive dynamic software product lines

    De Abreu Iizuka Moritani, B. & Lee, J., 25/09/2017, SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B. New York: ACM, p. 107-110 4 p.

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

  6. Published

    On Linear Algebraic Representation of Time-span and Prolongational Trees

    Marsden, A. A., Tojo, S. & Hirata, K., 25/09/2017, Proceedings of the 13th International Symposium on Computer Music Multidisciplinary Research. Kronkland-Martinet, R., Ystad, S. & Aramaki, M. (eds.). Marseille: Les éditions de PRISM, p. 126-136 11 p.

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

  7. Published

    Developers Need Support, Too: A Survey of Security Advice for Software Developers

    Acar, Y., Stransky, C., Wermke, D., Weir, C. A. F., Mazurek, M. & Fahl, S., 24/09/2017, Proceedings of the IEEE Secure Development Conference 2017. Jaeger, T. (ed.). IEEE, p. 22-26 5 p. 17

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

  8. Published

    Multi-Operator Spectrum Sharing Models under Different Cooperation Schemes for Next Generation Cellular Networks

    Patwary, M. N., Abozariba, R. & Asaduzzaman, M., 24/09/2017, 2017 IEEE 86th Vehicular Technology Conference (VTC-Fall). IEEE, 7 p.

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

  9. Published

    Close the energy performance gap, a window at a time

    Pradana, M., Gauthier, S. & Bourikas, L., 22/09/2017, Proceedings of the 7th Masters Conference: People and Buildings. London, UK, 22th September 2017. Network for Comfort and Energy Use in Buildings.

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

  10. Published

    Developing MOOC pedagogy: Gamification and Intelligent Tutoring Systems

    Sime, J-A., 20/09/2017, Digital Universities in the MOOC Era: Redesigning Higher Education. Naples: University of Naples Federico II

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

  11. Published

    Visual Experiential Learning in MOOCs: The Vili Project

    Themelis, C. & Sime, J-A., 20/09/2017, Digital Universities in the MOOC Era: Redesigning Higher Education. Naples: University of Naples Federico II

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

Back to top