Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Investigations within investigations: a recursive framework for scalable sensemaking support
Attfield, S., Blandford, A. and De Gabrielle, S. 2008. Investigations within investigations: a recursive framework for scalable sensemaking support. CHI 2008. Florence, Italy 05 - 10 Apr 2008Conference paper
E-disclosure viewed as ‘Sensemaking’ with computers: the challenge of ‘frames’
Attfield, S. and Blandford, A. 2008. E-disclosure viewed as ‘Sensemaking’ with computers: the challenge of ‘frames’. in: Digital evidence and electronic signature law review Bedfordshire, UK Pario Communicaitons Limited.Book chapter
The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work
Blandford, A., Adams, A., Attfield, S., Buchanan, G., Gow, J., Makri, S., Rimmer, J. and Warwick, C. 2008. The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work. Information Processing and Management. 44 (1), pp. 4-21. https://doi.org/10.1016/j.ipm.2007.01.021Article
Exploring the importance of reflection in the control room
Back, J., Furniss, D., Attfield, S., Hassard, S. and Blandford, A. 2009. Exploring the importance of reflection in the control room. CHI 2009 Workshop on Designing for Reflection on Experience. Boston, MA, USA 04 Apr 2009Conference paper
A classification of sensemaking representations
Faisal, S., Attfield, S. and Blandford, A. 2009. A classification of sensemaking representations. CHI 2009 Workshop on Sensemaking. Boston, MA, USA 04 - 05 Apr 2009Conference paper
Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing
Attfield, S., Fegan, S. and Blandford, A. 2009. Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing. Cognition, Technology and Work. 11 (3), pp. 227-239. https://doi.org/10.1007/s10111-008-0111-6Article
The centrality of user modeling to high recall with high precision search
Brassil, D., Hogan, C. and Attfield, S. 2009. The centrality of user modeling to high recall with high precision search. in: IEEE International Conference on Systems, Man and Cybernetics, 2009 IEEE. pp. 91-96Book chapter
Exploring sensemaking through an Intelligence Analysis exercise
Baber, C., Attfield, S., Wong, B. and Rooney, C. 2013. Exploring sensemaking through an Intelligence Analysis exercise. in: Chaudet, H., Pellegrin, L. and Bonnardel, N. (ed.) Proceedings of the 11th International Conference on Naturalistic Decision Making Paris Arpege Science Publishing. pp. 125-131Book chapter
Conceptual design for sensemaking
Blandford, A., Faisal, S. and Attfield, S. 2014. Conceptual design for sensemaking. in: Huang, W. (ed.) Handbook of human centric visualization New York Springer. pp. 253-283Book chapter
The case for integrating needs and preferences in the internet of things
Heath, A., Whitney, G., Kolar, I. and Springett, M. 2013. The case for integrating needs and preferences in the internet of things. The Sixth International Conference on Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services: CENTRIC 2013. Venice, Italy 27 Oct - 01 Nov 2013Conference paper
A framework for digital investigations: a case study using BPB modifications
Mitchell, I. 2011. A framework for digital investigations: a case study using BPB modifications. 6th International Annual Workshop on Digital Forensics and Incident Analysis (WDFIA 2011). Kingston University, London Jul 2011Conference paper
Fractal property of generalized M-set with rational number exponent
Liu, S., Cheng, X., Lan, C., Fu, W., Zhou, J., Li, Q. and Gao, G. 2013. Fractal property of generalized M-set with rational number exponent. Applied Mathematics and Computation. 220, pp. 668-675. https://doi.org/10.1016/j.amc.2013.06.096Article
Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness
Kodagoda, N., Attfield, S., Choudhury, S., Rooney, C., Mapp, G., Nguyen, P., Slabbert, L., Wong, B., Aiash, M., Zheng, Y., Xu, K. and Lasebae, A. 2014. Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization. 13 (4), pp. 346-360. https://doi.org/10.1177/1473871613490291Article
Working internationally to meet the academic needs of accessibility professionals
Whitney, G. 2013. Working internationally to meet the academic needs of accessibility professionals. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 1092-1095 https://doi.org/10.3233/978-1-61499-304-9-1092Conference paper
The use and usability of accessibility standardization
Whitney, G. 2013. The use and usability of accessibility standardization. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 298-302 https://doi.org/10.3233/978-1-61499-304-9-298Conference paper
Model checking for communicating quantum processes
Davidson, T., Gay, S., Mlnařík, H., Nagarajan, R. and Papanikolaou, N. 2012. Model checking for communicating quantum processes. International Journal of Unconventional Computing. 8 (1), pp. 73-98.Article
Visualization of data for ambient assisted living services
Mulvenna, M., Carswell, W., McCullagh, P., Augusto, J., Zheng, H., Jeffers, P., Wang, H. and Martin, S. 2011. Visualization of data for ambient assisted living services. IEEE Communications Magazine. 49 (1), pp. 110-117. https://doi.org/10.1109/MCOM.2011.5681023Article
Radio dispatchers' interruption recovery strategies
Mancero, G., Wong, B. and Loomes, M. 2009. Radio dispatchers' interruption recovery strategies. in: Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group on Design: Open 24/7 - OZCHI '09 New York Association for Computing Machinery (ACM). pp. 113-120Book chapter
Mechanical verification of cryptographic protocols
Cheng, X., Ma, X., Huang, S. and Cheng, M. 2010. Mechanical verification of cryptographic protocols. Network Security. https://doi.org/10.1007/978-0-387-73821-5_5Article
Mass function derivation and combination in multivariate data spaces
Wang, H., Liu, J. and Augusto, J. 2010. Mass function derivation and combination in multivariate data spaces. Information Sciences. 180 (6), pp. 813-819. https://doi.org/10.1016/j.ins.2009.08.027Article
Lossless quantum prefix compression for communication channels that are always open
Müller, M., Rogers, C. and Nagarajan, R. 2009. Lossless quantum prefix compression for communication channels that are always open. Physical Review A. 79 (1). https://doi.org/10.1103/PhysRevA.79.012302Article
The nature of the instrument: Luciano Berio, instrumental thought and Schaefferian theory
Dack, J. 2012. The nature of the instrument: Luciano Berio, instrumental thought and Schaefferian theory. in: De Benedictis, A. (ed.) Luciano Berio: nuove prospettive / new perspectives Florence, Italy Leo S. Olschki.Book chapter
Instrument, que nous veux-tu?
Dack, J. 2008. Instrument, que nous veux-tu? in: Pierre Schaeffer France Ina GRM.Book chapter
Equivalence checking of quantum protocols
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2013. Equivalence checking of quantum protocols. in: Piterman, N. and Smolka, S. (ed.) Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Berlin Springer.Book chapter
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system
Muñoz, A., Augusto, J., Villa, A. and Botía, J. 2011. Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing. 15 (4), pp. 377-387. https://doi.org/10.1007/s00779-010-0361-1Article
A multi-resolution surface distance model for k-NN query processing
Deng, K., Zhou, X., Shen, H., Liu, Q., Xu, K. and Lin, X. 2008. A multi-resolution surface distance model for k-NN query processing. VLDB Journal. 17 (5), pp. 1101-1119. https://doi.org/10.1007/s00778-007-0053-2Article
Variable uncertainty: scenario design for training adaptive and flexible skills
Field, J., Rankin, A., Van der Pal, J., Eriksson, H. and Wong, B. 2011. Variable uncertainty: scenario design for training adaptive and flexible skills. in: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics - ECCE '11 New York Association for Computing Machinery (ACM). pp. 27-34Book chapter
Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task
Attfield, S., Blandford, A., Dowell, J. and Cairns, P. 2008. Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task. International Journal of Human-Computer Studies. 66 (6), pp. 410-424. https://doi.org/10.1016/j.ijhcs.2007.12.001Article
Specification-based IDS for securing RPL from topology attacks
Le, A., Loo, J., Luo, Y. and Lasebae, A. 2011. Specification-based IDS for securing RPL from topology attacks. Wireless Days (WD), 2011 IFIP. https://doi.org/10.1109/WD.2011.6098218Article
Exchange routing information between new neighbor nodes to improve AODV performance
Le, A. and Luo, Y. 2009. Exchange routing information between new neighbor nodes to improve AODV performance. in: 6th international conference on Information Technology: New Generations, 2009. Proceedings IEEE Computer Society. pp. 1661-1662Book chapter
Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6
Georgiades, A., Luo, Y., Lasebae, A. and Comley, R. 2008. Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6. International Journal of Communications. 2 (3), pp. 185-194.Article
Separation logic and concurrency
Bornat, R. 2010. Separation logic and concurrency. in: Boca, P., Bowen, J. and Siddiqi, J. (ed.) Formal Methods: State of the Art and New Directions London Springer Verlag. pp. 217-248Book chapter
Semi-bipartite graph visualization for gene ontology networks
Xu, K., Williams, R., Hong, S., Liu, Q. and Zhang, J. 2010. Semi-bipartite graph visualization for gene ontology networks. in: Graph drawing : 17th International Symposium (GD 2009) Revised Papers Springer.Book chapter
QMC: a model checker for quantum systems
Gay, S., Nagarajan, R. and Papanikolaou, N. 2008. QMC: a model checker for quantum systems. in: Gupta, A. and Malik, S. (ed.) Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings Berlin Springer.Book chapter
Modelling mixed access-patterns in network-based systems
Thakker, D., Mapp, G. and Gemikonakli, O. 2009. Modelling mixed access-patterns in network-based systems. in: 11th International Conference on Computer Modelling and Simulation (UKSIM '09) IEEE. pp. 514-519Book chapter
Inter-process buffers in separation logic with rely-guarantee
Bornat, R. and Amjad, H. 2010. Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing. 22 (6), pp. 735-772. https://doi.org/10.1007/s00165-009-0141-8Article
Integrating mobility, quality-of-service and security in future mobile networks
Aiash, M., Mapp, G., Lasebae, A., Phan, R. and Loo, J. 2013. Integrating mobility, quality-of-service and security in future mobile networks. in: Ao, S. and Gelman, L. (ed.) Electrical Engineering and Intelligent Systems New York Springer.Book chapter
Gene specific co-regulation discovery: an improved approach
Zhang, J., Liu, Q. and Xu, K. 2009. Gene specific co-regulation discovery: an improved approach. in: Allen, G., Nabrzyski, J., Seidel, E. and Albada, G. (ed.) Computational Science – ICCS 2009 : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I Berlin Springer.Book chapter
Explanation of two non-blocking shared-variable communication algorithms
Bornat, R. and Amjad, H. 2011. Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing. https://doi.org/10.1007/s00165-011-0213-4Article
Hierarchies in fragments of monadic strict NP
Martin, B. and Madelaine, F. 2007. Hierarchies in fragments of monadic strict NP. in: Cooper, B., Löwe, B. and Sorbi, A. (ed.) Computation and logic in the real world: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings Springer Berlin. Heidelberg.Book chapter
440305
total views89890
total downloads8309
views this month2747
downloads this month