Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

82581 - 82590 out of 98,622Page size: 10
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    A study of user interaction with context aware electronic updates from a Moodle learning environment

    Crane, L., Benachour, P. & Coulton, P., 15/07/2013, Advanced Learning Technologies (ICALT), 2013 IEEE 13th International Conference on . Beijing: IEEE Computer Society, p. 50-52 3 p.

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

  3. Published

    Motivating the adoption and usage of corporate web 2.0 systems using fitness gamification practices

    Blagov, E., Simeonova, B. & Bogolyubov, P., 15/07/2013, Business Informatics (CBI), 2013 IEEE 15th Conference on. IEEE

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

  4. Published

    On the comprehension of DSL SyncTrap events in IPTV networks

    Marnerides, A., Malinowski, S., Morla, R., Rodrigues, M. R. D. & Kim, H. S., 7/07/2013, 2013 IEEE Symposium on Computers and Communications (ISCC) . IEEE, p. 670-675 6 p.

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

  5. Published

    A qualitative comparison of the suitability of four theorem provers for basic auction theory

    Lange, C., Caminati, M. B., Kerber, M., Mossakowski, T., Rowat, C., Wenzel, M. & Windsteiger, W., 1/07/2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6. Springer, Vol. 7961. p. 200-215

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

  6. Published

    D-branes and cosmic structure

    Wills, D., Dimopoulos, K. & Zavala, I., 07/2013, Proceedings of the Barcelona Postgrad Encounters in Fundamental Physics. Fernandez, D., Frob, M. B., Letella, I. & Dektor, A. (eds.). Spain: Daniel Fernandez Moreno, p. 179-190 12 p.

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

  7. Published

    A multilevel approach towards challenge detection in cloud computing

    Shirazi, S. N. U. H., Watson, M., Marnerides, A., Mauthe, A. & Hutchison, D., 07/2013, Cyberpatterns 2013 : Proceedings of the Second International Workshop on Cyberpatterns . Oxford: Oxford Brookes University, p. 103-107 5 p.

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

  8. Published

    Detecting changes in wave spectra using the total variation distance

    Euán, C., Ortega, J. & Esteban, P. C. A., 30/06/2013, Proceedings of the 23rd International Offshore and Polar Engineering Conference, ISOPE 2013. p. 824-830 7 p. (Proceedings of the International Offshore and Polar Engineering Conference).

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

  9. Published

    Combined secure storage and communication for the Internet of Things

    Bagci, I. E., Raza, S., Chung, A., Roedig, U. & Voigt, T., 24/06/2013, 10th Annual IEEE Communications Society Conference on Sensing, Communication, and Networking (SECON 2013). Piscataway, N.J.: IEEE, p. 523-531 9 p.

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

  10. Published

    Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach

    Tan, F., Wang, Y., Wang, Q., Bu, L., Zheng, R. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

  11. Published

    SimFI: From single to simultaneous software fault injections

    Winter, S., Tretter, M., Sattler, B. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

Previous 1...8255 8256 8257 8258 8259 8260 8261 8262 ...9863 Next

Back to top