Computer Science

Title	Computer Science
Alternative	S&T - CS
Faculty	Faculty of Science and Technology

Latest research outputs

Sort by Date Title

Formalization of quantum protocols using Coq

Boender, J., Kammueller, F. and Nagarajan, R. 2015. Formalization of quantum protocols using Coq. The 12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, United Kingdom 15 - 17 Jul 2015 pp. 71-83

Conference paper

Constraint satisfaction problems over the integers with successor

Bodirsky, M., Martin, B. and Mottet, A. 2015. Constraint satisfaction problems over the integers with successor. 42nd ICALP 2015. Kyoto, Japan 06 - 10 Jul 2015 Heidelberg, Germany Springer Berlin. Heidelberg. pp. 256-267 https://doi.org/10.1007/978-3-662-47672-7_21

Conference paper

Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making

Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making. Mittal, S., Moon, I. and Syriani, E. (ed.) SummerSim '15: 2015 Summer Simulation Multiconference. Chicago, Illinois, USA 26 - 29 Jul 2015 Society for Modeling and Simulation International. https://doi.org/10.5555/2874916.2874925

Conference paper

The application of mHealth to mental health: opportunities and challenges

Marzano, L., Bardill, A., Fields, B., Herd, K., Veale, D., Grey, N. and Moran, P. 2015. The application of mHealth to mental health: opportunities and challenges. The Lancet Psychiatry. 2 (10), pp. 942-948. https://doi.org/10.1016/S2215-0366(15)00268-0

Article

Hard-to-get-at data from difficult-to-access users

Fields, B., Bardill, A., Marzano, L. and Herd, K. 2015. Hard-to-get-at data from difficult-to-access users. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. and Winckler, M. (ed.) 15th IFIP TC 13 International Conference on Human-Computer Interaction. Bamberg, Germany 14 - 18 Sep 2015 Springer. pp. 409-416 https://doi.org/10.1007/978-3-319-22723-8_32

Conference paper

Towards relating delivery methods and examination success: lessons learned from the VALO LLP project case study

Rahanu, H., Georgiadou, E., Siakas, K., Ekert, D., Messanarz, R. and Abeysinghe, G. 2015. Towards relating delivery methods and examination success: lessons learned from the VALO LLP project case study. Journal of Software: Evolution and Process. 27 (8), pp. 555-564. https://doi.org/10.1002/smr.1726

Article

Exploring the challenges of implementing guidelines for the design of visual analytics systems

Haider, J., Pohl, M., Hillemann, E., Nussbaumer, A., Attfield, S., Passmore, P. and Wong, B. 2015. Exploring the challenges of implementing guidelines for the design of visual analytics systems. Human Factors and Ergonomics Society 59th International Annual Meeting, 2015. Los Angeles, California, USA 26 - 30 Oct 2015 Human Factors and Ergonomics Society. pp. 259-263 https://doi.org/10.1177/1541931215591053

Conference paper

Analytic provenance for sensemaking: a research agenda

Xu, K., Attfield, S., Jankun-Kelly, T., Wheat, A., Nguyen, P. and Selvaraj, N. 2015. Analytic provenance for sensemaking: a research agenda. IEEE Computer Graphics and Applications. 35 (3), pp. 56-64. https://doi.org/10.1109/MCG.2015.50

Article

eFRIEND: an ethical framework for intelligent environments development

Jones, S., Hara, S. and Augusto, J. 2015. eFRIEND: an ethical framework for intelligent environments development. Ethics and Information Technology. 17 (1), pp. 11-25. https://doi.org/10.1007/s10676-014-9358-1

Article

The use of social networking sites in eLearning

De Raffaele, C., Bugeja, L. and Smith, S. 2015. The use of social networking sites in eLearning. International Journal of Social, Behavioral, Educational, Economic and Management Engineering. 9 (4), pp. 1223-1228.

Article

The application of KAZE features to the classification echocardiogram videos

Li, W., Qian, Y., Loomes, M. and Gao, X. 2015. The application of KAZE features to the classification echocardiogram videos. First International Workshop Multimodal Retrieval in the Medical Domain (MRMD 2015). Vienna, Austria 29 Mar 2015 Springer. pp. 61-72 https://doi.org/10.1007/978-3-319-24471-6_6

Conference paper

Detection of face spoofing using visual dynamics

Tirunagari, S., Poh, N., Windridge, D., Iorliam, A., Suki, N. and Ho, A. 2015. Detection of face spoofing using visual dynamics. IEEE Transactions on Information Forensics and Security. 10 (4), pp. 762-777. https://doi.org/10.1109/TIFS.2015.2406533

Article

Human-computer interaction and international public policymaking: a framework for understanding and taking future actions. SIGCHI report: April 2015

Abascal, J., Barbosa, S., Barksdale, J., Friedman, B., Grossklags, J., Gulliksen, J., Johnson, J., Lazar, J., McEwan, T., Martínez-Normand, L., Michalk, W., Tsai, J., Van der Veer, G., Von Axelson, H., Walldius, A., Whitney, G., Winckler, M. and Wulf, V. 2015. Human-computer interaction and international public policymaking: a framework for understanding and taking future actions. SIGCHI report: April 2015. SIGCHI.

Project report

Low complexity sub-block perceptual distortion assessment for mode decision and rate-control

Joshi, Y., Loo, J., Shah, P., Rahman, S. and Tasiran, A. 2015. Low complexity sub-block perceptual distortion assessment for mode decision and rate-control. 10th IEEE International Symposium on Broadband Multimedia Systems and Broadcasting. Ghent, Belgium 17 - 19 Jun 2015 IEEE. pp. 1-9 https://doi.org/10.1109/BMSB.2015.7177262

Conference item

Supporting communication in information centric networks using the location/ID split protocol and time released caching

Aiash, M., Mapp, G. and Kallash, M. 2015. Supporting communication in information centric networks using the location/ID split protocol and time released caching. 2015 International Conference on Cloud Computing (ICCC). Riyadh, Saudi Arabia 26 - 29 Apr 2015 IEEE. pp. 233-238 https://doi.org/10.1109/CLOUDCOMP.2015.7149657

Conference paper

Introducing a hybrid infrastructure and information-centric approach for secure cloud computing

Aiash, M., Colson, R. and Kallash, M. 2015. Introducing a hybrid infrastructure and information-centric approach for secure cloud computing. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, Korea 24 - 27 Mar 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 154-159 https://doi.org/10.1109/WAINA.2015.80

Conference paper

On the perspective transformation for efficient relay placement in wireless multicast networks

Vien, Q., Nguyen, H., Barn, B. and Tran, X. 2015. On the perspective transformation for efficient relay placement in wireless multicast networks. IEEE Communications Letters. 19 (2), pp. 275-278. https://doi.org/10.1109/LCOMM.2014.2387163

Article

On the role of value sensitive concerns in software engineering practice

Barn, B., Barn, R. and Raimondi, F. 2015. On the role of value sensitive concerns in software engineering practice. 37th International Conference on Software Engineering, ICSE 2015. Florence, Italy 16 - 24 May 2015 IEEE. pp. 497-500 https://doi.org/10.1109/ICSE.2015.182

Conference paper

Intuitive learnability of touch gestures for technology-naïve older adults

Mihajlov, M., Lai-Chong Law, E. and Springett, M. 2015. Intuitive learnability of touch gestures for technology-naïve older adults. Interacting with Computers. 27 (3), pp. 344-356. https://doi.org/10.1093/iwc/iwu044

Article

An approach to early evaluation of informational privacy requirements

Barn, B., Primiero, G. and Barn, R. 2015. An approach to early evaluation of informational privacy requirements. 30th Annual ACM Symposium on Applied Computing. Salamanca, Spain 13 - 17 Apr 2015 Association for Computing Machinery (ACM). pp. 1370-1375 https://doi.org/10.1145/2695664.2695788

Conference paper

A formal analysis of authentication protocols for mobile devices in next generation networks

Aiash, M. 2015. A formal analysis of authentication protocols for mobile devices in next generation networks. Concurrency and Computation: Practice and Experience. 27 (12), pp. 2938-2953. https://doi.org/10.1002/cpe.3260

Article

An integrated authentication and authorization approach for the network of information architecture

Aiash, M. and Loo, J. 2015. An integrated authentication and authorization approach for the network of information architecture. Journal of Network and Computer Applications. 50, pp. 73-79. https://doi.org/10.1016/j.jnca.2014.06.004

Article

Challenges and solutions for secure information centric networks: a case study of the NetInf architecture

Loo, J. and Aiash, M. 2015. Challenges and solutions for secure information centric networks: a case study of the NetInf architecture. Journal of Network and Computer Applications. 50, pp. 64-72. https://doi.org/10.1016/j.jnca.2014.06.003

Article

Comparison between resource reservation protocol and next steps in signalling in mobile IP networks

Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2015. Comparison between resource reservation protocol and next steps in signalling in mobile IP networks. IET Networks. 4 (2), pp. 83-92. https://doi.org/10.1049/iet-net.2013.0028

Article

Modelling of chromatic contrast for retrieval of wallpaper images

Gao, X., Wang, Y., Qian, Y. and Gao, A. 2015. Modelling of chromatic contrast for retrieval of wallpaper images. Color Research and Application. 40 (4), pp. 361-373. https://doi.org/10.1002/col.21897

Article

A racket-based robot to teach first-year computer science

Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61

Conference paper

A secure framework for communications in heterogeneous networks

Aiash, M., Mapp, G., Lasebae, A. and Loo, J. 2014. A secure framework for communications in heterogeneous networks. WAINA 2014 28th International Conference on Advanced Information Networking and Applications Workshops. Victoria, BC 13 - 16 May 2014 pp. 841-846

Conference paper

Communication patterns in e-learning communities

Dafoulas, G. and Mimirinis, M. 2005. Communication patterns in e-learning communities. Interactive Technology and Smart Education. 2 (4), pp. 221-233. https://doi.org/10.1108/17415650580000046

Article

Enriching a pedagogical model for the implementation of a virtual training environment

Mimirinis, M. and Dafoulas, G. 2005. Enriching a pedagogical model for the implementation of a virtual training environment. Fifth IEEE International Conference on Advanced Learning Technologies (ICALT 2005). Kaohsiung, Taiwan 05 - 08 Jul 2005 pp. 419-420

Conference paper

Support mechanisms for web-enhanced learning in diverse cultural contexts

Frumkin, L., Mimirinis, M., Murphy, A., Dimitrova, M. and Dafoulas, G. 2005. Support mechanisms for web-enhanced learning in diverse cultural contexts. Web-based Education (WBE 2005). Grindelwald, Switzerland 21 - 23 Feb 2005 Acta Press.

Conference paper

Blended teaching: pedagogy and tools

Murphy, A., Dafoulas, G. and Mimirinis, M. 2006. Blended teaching: pedagogy and tools. MU Press.

Book

Investigating computer-supported cooperative learning: applications for flexible learning environments

Dafoulas, G., Frumkin, L., Mimirinis, M. and Murphy, A. 2005. Investigating computer-supported cooperative learning: applications for flexible learning environments. in: Proceedings of the 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2005) IEEE. pp. 847-852

Book chapter

Patterns of use of virtual learning environments and students’ approaches to learning: a case study of undergraduate students

Mimirinis, M. and Dafoulas, G. 2008. Patterns of use of virtual learning environments and students’ approaches to learning: a case study of undergraduate students. Luca, J. and Weippl, E. (ed.) Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. Vienna AACE. pp. 6349-6356

Conference paper

Evidence-based research in cross-cultural learning settings: variations in the use of technology, students’ expectations and the role of tutor

Mimirinis, M., Dafoulas, G., Murphy, A., Chan Wai Kuen, T. and Paranakian, K. 2006. Evidence-based research in cross-cultural learning settings: variations in the use of technology, students’ expectations and the role of tutor. in: Ong, S., Apfelthaler, G., Hansen, K. and Tapachai, N. (ed.) Intercultural communication competencies in higher education and management: proceedings of the International Conference on Intercultural Communication Competencies, October 6-7, 2005, Singapore Singapore Marshall Cavendish Academic. pp. 250-258

Book chapter

Multilevel Chinese takeaway process and label-based processes for rule induction in the context of automated sports video annotation

Khan, A., Windridge, D. and Kittler, J. 2014. Multilevel Chinese takeaway process and label-based processes for rule induction in the context of automated sports video annotation. IEEE Transactions on Cybernetics. 44 (10), pp. 1910-1923. https://doi.org/10.1109/TCYB.2014.2299955

Article