Home > Research > Computing and Communications > Publications & Outputs
View graph of relations

Computing and Communications

  1. 2015
  2. Published

    Location-aware cooperative spectrum sensing within cognitive radio networks

    Abozariba, R., Patwary, M. N., Soliman, A.-H. & Abdel-Maguid, M., 2015, 2015 IEEE Jordan Conference on Applied Electrical Engineering and Computing Technologies (AEECT). IEEE, 7 p.

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

  3. Published

    Message from the general chairs

    Lea, R. & Gopalakrishnan, S., 2015, Middleware 2015 - Proceedings of the 16th Annual Middleware Conference. ACM

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

  4. Published

    Minimal model reasoning for modal logic

    Papacchini, F., 2015, University of Manchester. 170 p.

    Research output: ThesisDoctoral Thesis

  5. Published

    On the feasibility of side-channel attacks in a virtualized environment

    Vateva-Gurova, T., Luna, J., Pellegrino, G. & Suri, N., 2015, E-Business and Telecommunications: 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. Springer-Verlag, Vol. 554. p. 319-339 21 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  6. Published

    Open challenges in relationship-based privacy mechanisms for social network services

    Fogues, R. L., Such, J. M., Espinosa, A. & Garcia-Fornes, A., 2015, In: International Journal of Human-Computer Interaction. 31, 5, p. 350-370 21 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    PBMC: Symbolic slicing for the verification of concurrent programs

    Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  8. Published

    Preventing HIV spread in homeless populations using PSINET: emerging application case study

    Yadav, A., Soriano Marcolino, L., Rice, E., Petering, R., Winetrobe, H., Rhoades, H., Tambe, M. & Carmichael, H., 2015, Proceedings of the 27th Conference on Innovative Applications of Artificial Intelligence (IAAI 2015). IAAI, p. 4006-4011 6 p.

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

  9. Published

    Probabilidade De Uma Sequência Finita Recursivamente Aleatória

    Tavares Dos Passos, Y. & Lozada, E. G. M., 2015, Anais do III Seminário Estudantil de Pesquisa, Inovação e Pós-Graduação. Universidade Federal do Recôncavo da Bahia

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

  10. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

    Research output: Exhibits, objects and web-based outputsSoftware

  11. Published

    Proceedings of the Making Sense of Microposts Workshop (#Microposts2015) at the World Wide Web Conference

    Rowe, M. (Editor), Stankovic, M. (Editor) & Dadzie, A.-S. (Editor), 2015, CEUR Workshop Proceedings. 75 p.

    Research output: Book/Report/ProceedingsProceedings

  12. Published

    PSINET - an online POMDP solver for HIV prevention in homeless populations

    Yadav, A., Soriano Marcolino, L., Rice, E., Petering, R., Winetrobe, H., Rhoades, H., Tambe, M. & Carmichael, H., 2015, Proceedings of the AAAI-15 Workshop on Planning, Search, and Optimization (PlanSOpt-15).

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

  13. Published

    RDE with forgetting: an approximate solution for large values of k with an application to fault detection problems

    Bezerra, C. G., Costa, B., Guedes, L. A. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 169-178 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  14. Published

    Recursive SVM based on TEDA

    Kangin, D. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Cham: Springer, p. 156-168 13 p. (Lecture Notes in Computer Science; vol. 9047).

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

  15. Published

    Remains in the network: reconsidering thanatosensitive design in loss

    Ellis Gray, S., 2015, Lancaster University. 269 p.

    Research output: ThesisDoctoral Thesis

  16. Published

    Repairing the fictional fractures between art and science

    Lindley, J., 2015, Experimentation Online.

    Research output: Contribution to specialist publicationArticle

  17. Published

    Resilience of the internet: the case of the BGP backbone

    Frey, S., 2015.

    Research output: Contribution to conference - Without ISBN/ISSN Posterpeer-review

  18. Published

    Scaling out for extreme scale corpus data

    Coole, M., Rayson, P. E. & Mariani, J. A., 2015, Big Data (Big Data), 2015 IEEE International Conference on. IEEE, p. 1643-1649 7 p.

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

  19. Published

    Scenarios and use cases in Tweether: W-band for Internet Everywhere

    Paoloni, C., Letizia, R., Ni, Q., Krozer, V., Andre, F., Magne, F., Marilier, M., Zimmerman, R., Ramirez, A., Vilar, R. & Burciu, I., 2015.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  20. Published

    Self-adaptive volunteered services composition through stimulus-and time-awareness

    Elhabbash, A., Bahsoon, R., Tino, P. & Lewis, P. R., 2015, 2015 IEEE International Conference on Web Services. IEEE, p. 57-64 8 p.

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

  21. Published

    Self-defining memory cues: creative expression and emotional meaning

    Sas, C., Challioner, S., Clarke, C., Wilson, R., Coman, A., Clinch, S., Harding, M. & Davies, N., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. New York: ACM, p. 2013-2018 6 p.

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

  22. Published

    Smart Homes and Health Telematics: 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers

    Bodine, C. (Editor), Helal, S. (Editor), Gu, T. (Editor) & Mokhtari, M. (Editor), 2015, Cham: Springer. (Lecture Notes in Computer Science; vol. 8456)

    Research output: Book/Report/ProceedingsProceedings

  23. Published

    SmartE'15: The 2nd international workshop on smart environments: Closing the loop, 2015 - Welcome and committees: Welcome message from the workshop chairs

    Holder, L. & Helal, S., 2015, Pervasive Computing and Communication Workshops (PerCom Workshops), 2015 IEEE International Conference on. IEEE, p. 1-2 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNOther chapter contribution

  24. Published

    Social computing privacy and online relationships

    Misra, G. & Such, J. M., 2015, AISB Social Aspects of Cognition and Computing Symposium. p. 1-6 6 p.

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

  25. Published

    Social contexts and social pragmatics

    Baldoni, M., Baroglio, C., Chopra, A. K. & Singh, M. P., 2015, AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems . Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1739-1740 2 p.

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

  26. Published

    Social media through the requirements lens: a case study of Google Maps

    Kanchev, G. M. & Chopra, A. K., 2015, Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering. IEEE, p. 7-12 6 p.

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

Back to top