Computer Science

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

Latest research outputs

Sort by Date Title

Interaction log and provenance for sensemaking

Nguyen, P., Xu, K. and Wong, B. 2016. Interaction log and provenance for sensemaking. LIVVIL: Logging Interactive Visualizations & Visualizing Interaction Logs. Baltimore, MD, USA 23 Oct 2016 pp. 5-8

Conference paper

Elaborating the frames of data-frame theory

Attfield, S. and Baber, C. 2017. Elaborating the frames of data-frame theory. Gore, J. and Ward, P. (ed.) 13th Bi-annual International Conference on Naturalistic Decision Making (NDM13). University of Bath, Bath, United Kingdom 20 - 23 Jun 2017 The University of Bath. pp. 25-32

Conference paper

A proof-theoretic trust and reputation model for VANET

Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64

Conference paper

Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management

Dafoulas, G., Cardoso Maia, C., Ali, A., Augusto, J. and Lopez, V. 2017. Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management. IE 2017 - 13th International Conference on Intelligent Environments (IE’17). Seoul, Korea (South) 21 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 114-121 https://doi.org/10.1109/IE.2017.40

Conference paper

Creating smarter teaching and training environments: innovative set-up for collaborative hybrid learning

Dafoulas, G., Cardoso Maia, C., Loomes, M., Serce, F., Swigger, K., Brazile, R., Lopez, V., Alpaslan, F. and Milewski, A. 2016. Creating smarter teaching and training environments: innovative set-up for collaborative hybrid learning. Novais, P. and Konomi, S. (ed.) 12th International Conference on Intelligent Environments (IE16) - Workshop. London, United Kingdom 12 - 13 Sep 2016 IOS Press. https://doi.org/10.3233/978-1-61499-690-3-238

Conference paper

A process for designing and developing interactive learning objects for organisations

Esterhuyse, M., Scholtz, B. and Dafoulas, G. 2016. A process for designing and developing interactive learning objects for organisations. 10th Mediterranean Conference on Information Systems (MCIS). Paphos, Cyprus 04 - 06 Sep 2016 University of Nicosia.

Conference paper

Investigating the educational value of social learning networks: a quantitative analysis

Dafoulas, G. and Shokri, A. 2016. Investigating the educational value of social learning networks: a quantitative analysis. Interactive Technology and Smart Education. 13 (4), pp. 305-322. https://doi.org/10.1108/ITSE-09-2016-0034

Article

Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education

Dafoulas, G., Cardoso Maia, C. and Loomes, M. 2016. Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 159-162 https://doi.org/10.1109/IE.2016.34

Conference paper

Using data analytics for collaboration patterns in distributed software team simulations: the role of dashboards in visualizing global software development patterns

Dafoulas, G., Serce, F., Swigger, K., Brazile, R., Alpaslan, F., Lopez, V. and Milewski, A. 2016. Using data analytics for collaboration patterns in distributed software team simulations: the role of dashboards in visualizing global software development patterns. 2016 IEEE 11th International Conference on Global Software Engineering Workshops (ICGSEW). Irvine, CA, USA 02 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 43-48 https://doi.org/10.1109/ICGSEW.2016.15

Conference paper

Developing an implementation framework for the future internet using the Y-Comm architecture, SDN and NFV

Mapp, G., Sardis, F. and Crowcroft, J. 2016. Developing an implementation framework for the future internet using the Y-Comm architecture, SDN and NFV. 2nd International Conference on Network Softwarization, IEEE NetSoft 2016. Seoul, South Korea 06 - 10 Jun 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 43-47 https://doi.org/10.1109/NETSOFT.2016.7502440

Conference paper

Exploring a security protocol for secure service migration in commercial cloud environments

Karthick, G., Mapp, G., Kammueller, F. and Aiash, M. 2017. Exploring a security protocol for secure service migration in commercial cloud environments. 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017). Churchill College, University of Cambridge, United Kingdom 22 - 23 Mar 2017 Association for Computing Machinery (ACM). https://doi.org/10.1145/3018896.3056795

Conference paper

Exploring a new security framework for cloud storage using capabilities

Mapp, G., Aiash, M., Ondiege, B. and Clarke, M. 2014. Exploring a new security framework for cloud storage using capabilities. 1st International Workshop on Cyber Security and Cloud Computing, a workshop of SOSE. Oxford, United Kingdom 07 - 11 Apr 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 484-489 https://doi.org/10.1109/SOSE.2014.69

Conference paper

Supporting the externalisation of thinking in criminal intelligence analysis

Passmore, P., Attfield, S., Kodagoda, N., Groenewald, C. and Wong, B. 2015. Supporting the externalisation of thinking in criminal intelligence analysis. European Intelligence and Security Informatics Conference (EISIC) 2015. Manchester, United Kingdom 07 - 09 Sep 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 16-23 https://doi.org/10.1109/EISIC.2015.35

Conference paper

Dynamic traffic management for interactive cloud services: localising traffic based on network throughput and user mobility

Sardis, F., Mapp, G., Loo, J. and Aiash, M. 2014. Dynamic traffic management for interactive cloud services: localising traffic based on network throughput and user mobility. 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC),. London, UK 08 - 11 Dec 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 298-306 https://doi.org/10.1109/UCC.2014.39

Conference paper

Developing a comprehensive information security framework for mHealth: a detailed analysis

Vithanwattana, N., Mapp, G. and George, C. 2017. Developing a comprehensive information security framework for mHealth: a detailed analysis. Journal of Reliable Intelligent Environments. 3 (1), pp. 21-39. https://doi.org/10.1007/s40860-017-0038-x

Article

Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services

Gemikonakli, E., Ever, E., Mapp, G. and Gemikonakli, O. 2017. Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services. Telecommunication Systems. 65 (4), pp. 663-675. https://doi.org/10.1007/s11235-016-0259-y

Article

Dynamic probabilistic linear discriminant analysis for video classification

Fabris, A., Nicolaou, M., Kotsia, I. and Zafeiriou, S. 2017. Dynamic probabilistic linear discriminant analysis for video classification. ICASSP 2017: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). New Orleans, USA 05 - 09 Mar 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 2781-2785 https://doi.org/10.1109/ICASSP.2017.7952663

Conference paper

SenseMap: supporting browser-based online sensemaking through analytic provenance

Nguyen, P., Xu, K., Bardill, A., Salman, B., Herd, K. and Wong, B. 2016. SenseMap: supporting browser-based online sensemaking through analytic provenance. VIS 2016: IEEE Visualization Conference. Baltimore, Maryland, USA 23 - 28 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 91-100 https://doi.org/10.1109/vast.2016.7883515

Conference paper

Neuron-based control mechanisms for a robotic arm and hand

Singh, N., Huyck, C., Gandhi, V. and Jones, A. 2017. Neuron-based control mechanisms for a robotic arm and hand. International Journal of Computer, Electrical, Automation, Control and Information Engineering. 11 (2), pp. 221-229. https://doi.org/10.5281/zenodo.1128871

Article

Model based analysis of insider threats

Chen, T., Han, T., Kammueller, F., Nemli, I. and Probst, C. 2016. Model based analysis of insider threats. 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security). London, United Kingdom 13 - 14 Jun 2016 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CyberSecPODS.2016.7502350

Conference paper

Formal modeling and analysis with humans in infrastructures for IoT health care systems

Kammueller, F. 2017. Formal modeling and analysis with humans in infrastructures for IoT health care systems. 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017. Vancouver, BC, Canada 09 - 14 Jul 2017 Springer. pp. 339-352 https://doi.org/10.1007/978-3-319-58460-7_24

Conference paper

Human centric security and privacy for the IoT using formal techniques

Kammueller, F. 2018. Human centric security and privacy for the IoT using formal techniques. 3rd International Conference on Human Factors in Cybersecurity. Los Angeles, CA, United States 17 - 21 Jul 2017 Springer. pp. 106-116 https://doi.org/10.1007/978-3-319-60585-2_12

Conference paper

Insider threats for auctions: formalization, mechanized proof, and code generation

Kammueller, F., Kerber, M. and Probst, C. 2017. Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA). 8 (1), pp. 44-78. https://doi.org/10.22667/JOWUA.2017.03.31.044

Article

Machine learning based botnet identification traffic

Azab, A., Alazab, M. and Aiash, M. 2016. Machine learning based botnet identification traffic. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-2016). Tianjin, China 23 - 26 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1788-1794 https://doi.org/10.1109/TrustCom.2016.0275

Conference paper

Insight/inside learning: a participatory app for analysing the effectiveness of school environments

Szynalska, K., Fields, B. and Bardill, A. 2017. Insight/inside learning: a participatory app for analysing the effectiveness of school environments. People, Personal Data and the Built Environment: A DIS2017 Workshop. Edinburgh 10 Jun 2017

Conference paper

Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids

Kenaza, T., Bennaceur, K., Labed, A. and Aiash, M. 2016. Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-16). Tianjin, China 23 - 25 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1765-1770 https://doi.org/10.1109/TrustCom.2016.0271

Conference paper

Toward an efficient ontology-based event correlation in SIEM

Kenazag, T. and Aiash, M. 2016. Toward an efficient ontology-based event correlation in SIEM. 7th International Conference on Ambient Systems, Networks and Technologies (ANT2016). Madrid, Spain 23 - 26 May 2016 Elsevier. pp. 139-146 https://doi.org/10.1016/j.procs.2016.04.109

Conference paper

Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant

Nurgaliyev, K., Di Mauro, D., Khan, N. and Augusto, J. 2017. Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant. 13th International Conference on Intelligent Environments (IE’17). Seoul, South Korea 23 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 100-107 https://doi.org/10.1109/IE.2017.21

Conference paper

Implementing virtual pheromones in BDI robots using MQTT and Jason

Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22

Conference paper

From raw data to agent perceptions for simulation, verification, and monitoring

Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66

Conference paper

Trust and distrust in contradictory information transmission

Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0

Article

Heuristics for ethical development and use of MOOCs

Rahanu, H., Georgiadou, E. and Siakas, K. 2017. Heuristics for ethical development and use of MOOCs. British Computer Society INSPIRE 2017 conference. Southampton Solent University, United Kingdom 11 Apr 2017 Southampton Solent University. pp. 73-83

Conference paper

Examining the interaction between fourth estate and Twitter: an exploratory case study

Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 IARIA. pp. 11-17

Conference paper

Software defined networking for wireless sensor networks: a survey

Hassan, M., Vien, Q. and Aiash, M. 2017. Software defined networking for wireless sensor networks: a survey. Advances in Wireless Communications and Networks. 3 (2), pp. 10-22. https://doi.org/10.11648/j.awcn.20170302.11

Article

New methods for stress assessment and monitoring at the workplace

Carneiro, D., Novais, P., Augusto, J. and Payne, N. 2019. New methods for stress assessment and monitoring at the workplace. IEEE Transactions on Affective Computing. 10 (2), pp. 237-254. https://doi.org/10.1109/TAFFC.2017.2699633

Article

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z

Article

Distance constraint satisfaction problems

Bodirskya, M., Dalmau, V., Martin, B., Mottet, A. and Pinsker, M. 2016. Distance constraint satisfaction problems. Information and Computation. 247, pp. 87-105. https://doi.org/10.1016/j.ic.2015.11.010

Article

Data Warehouse and BI to catalize information use in health sector for decision making: a case study

Slum Ally, S. and Khan, N. 2016. Data Warehouse and BI to catalize information use in health sector for decision making: a case study. The 2016 International Conference on Computational Science and Computational Intelligence. Las Vegas, USA 15 - 17 Dec 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 92-97 https://doi.org/10.1109/CSCI.2016.0025

Conference paper

Is Context-aware Reasoning = Case-based Reasoning?

Khan, N., Alegre, U., Kramer, D. and Augusto, J. 2017. Is Context-aware Reasoning = Case-based Reasoning? Tenth Interdisciplinary Conference on Modelling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 418-431 https://doi.org/10.1007/978-3-319-57837-8_35

Conference paper