Computer Science


TitleComputer Science
AlternativeS&T - CS
FacultyFaculty of Science and Technology

Latest research outputs

Sort by Date Title
Design for all in ICT training and education.
Keith, S. and Whitney, G. 2009. Design for all in ICT training and education. in: Lanyi, C. (ed.) Principles and practice in Europe for e-accessibility. Veszprém, Hungary Pannonian University Press. pp. 63-72

Book chapter

Visualisation of the complexome.
Li, S., Xu, K. and Wilkins, M. 2010. Visualisation of the complexome. Human Proteome Organisation 9th Annual World Congress. Sydney Convention and Exhibition centre

Conference poster

Genetic sequences: tracing the mutations of a disease.
Mitchell, I., Passmore, P. and Xu, K. 2010. Genetic sequences: tracing the mutations of a disease. IEEE VAST Symposium 2010 Challenge. Salt Lake City, Utah, USA 24 - 29 Oct 2010

Conference poster

Hospitalization records: characterization of pandemic spread.
Passmore, P., Zheng, Y., Rooney, C., Al-Sheikh, T. and Xu, K. 2010. Hospitalization records: characterization of pandemic spread. IEEE VAST Symposium 2010 Challenge. Salt Lake City, Utah, USA 24 - 29 Oct 2010

Conference poster

The I5P visualisation framework for performance estimation through the alignment of process maturity and knowledge sharing
Georgiadou, E., Siakas, K. and Balstrup, B. 2011. The I5P visualisation framework for performance estimation through the alignment of process maturity and knowledge sharing. International Journal of Human Capital and Information Technology Professionals. 2 (2), pp. 37-47. https://doi.org/10.4018/jhcitp.2011040104

Article

Web service management system for bioinformatics research: a case study.
Xu, K., Yu, Q., Liu, Q., Zhang, J. and Bouguettaya, A. 2011. Web service management system for bioinformatics research: a case study. Service Oriented Computing and Applications. 5 (1), pp. 1-15. https://doi.org/10.1007/s11761-011-0076-9

Article

Investigating the perceptions of failure and success in information systems.
Drevin, L. and Dalcher, D. 2010. Investigating the perceptions of failure and success in information systems. 19th International Conference on Information Systems Development. Prague, Czech Republic 25 - 27 Aug 2010

Conference paper

Cultural impacts on knowledge sharing: empirical data from EU project collaboration.
Siakas, K., Georgiadou, E. and Balstrup, B. 2010. Cultural impacts on knowledge sharing: empirical data from EU project collaboration. VINE. 40 (3/4), pp. 376-389. https://doi.org/10.1108/03055721011071476

Article

KASL-II: a dynamic four-loop model for knowledge sharing and learning
Georgiadou, E. and Siakas, K. 2012. KASL-II: a dynamic four-loop model for knowledge sharing and learning. Journal of Software: Evolution and Process. 24 (5), pp. 573-583. https://doi.org/10.1002/smr.503

Article

Functional active objects: typing and formalisation
Henrio, L. and Kammueller, F. 2009. Functional active objects: typing and formalisation. Elsevier. https://doi.org/10.1016/j.entcs.2009.10.026

Conference paper

Feature link propagation across variability representations with Isabelle/HOL
Kammueller, F., Rein, A. and Reiser, M. 2010. Feature link propagation across variability representations with Isabelle/HOL. Rubin, J., Botterweck, G., Mezini, M., Maman, I. and Lero, A. (ed.) New York Association for Computing Machinery (ACM). pp. 48-53

Conference paper

Checking the TWIN elevator system by translating object-Z to SMV
Preibusch, S. and Kammueller, F. 2008. Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science. 4916, pp. 38-55. https://doi.org/10.1007/978-3-540-79707-4

Article

Composing safely: a type system for aspects
Kammueller, F. and Sudhof, H. 2008. Composing safely: a type system for aspects. Lecture Notes in Computer Science. 4954, pp. 231-247. https://doi.org/10.1007/978-3-540-78789-1_18

Article

Security analysis of private data enquiries in Erlang
Kammueller, F. and Kammueller, R. 2009. Security analysis of private data enquiries in Erlang. International Journal on Advances in Security. 2 (2&3), pp. 242-255.

Article

An asynchronous distributed component model and its semantics
Henrio, L., Kammueller, F. and Rivera, M. 2009. An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science. 5751, pp. 159-179. https://doi.org/10.1007/978-3-642-04167-9_9

Article

A framework for reasoning on component composition
Henrio, L., Kammueller, F. and Khan, M. 2010. A framework for reasoning on component composition. Lecture Notes in Computer Science. 6286, pp. 1-20. https://doi.org/10.1007/978-3-642-17071-3_1

Article

Formalizing non-interference for a simple bytecode language in Coq
Kammueller, F. 2008. Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing. 20 (3), pp. 259-275.

Article

Mechanical analysis of finite idempotent relations
Kammueller, F. 2011. Mechanical analysis of finite idempotent relations. Fundamenta Informaticae. 107 (1), pp. 43-65. https://doi.org/10.3233/FI-2011-392

Article

Antenarrative and narrative: the experience of actors involved in the development and use of information systems.
Drevin, L. and Dalcher, D. 2011. Antenarrative and narrative: the experience of actors involved in the development and use of information systems. in: Boje, D. (ed.) Storytelling and the future of organizations: the antenarrative handbook. New York Psychology Press.

Book chapter

Software project success: moving beyond failure.
Dalcher, D. 2009. Software project success: moving beyond failure. Upgrade: the European online magazine for the IT professional.. 10 (5), pp. 42-50.

Article

The LAS story: learning from failure.
Dalcher, D. 2010. The LAS story: learning from failure. in: Turner, R. (ed.) Perspectives on Projects. London Routledge. pp. 296-322

Book chapter

The paradox of uncertainty: when less means more.
Dalcher, D. 2010. The paradox of uncertainty: when less means more. Upgrade: the European online magazine for the IT professional.. 11 (5), pp. 72-78.

Article

Making sense of IS failures.
Dalcher, D. 2009. Making sense of IS failures. in: Khosrow-Pour, M. (ed.) Encyclopaedia of information science and technology. Hershey Information Science.

Book chapter

Beyond agile project management: the way forward.
Dalcher, D. 2008. Beyond agile project management: the way forward. Cutter IT Journal. 21 (5), pp. 28-34.

Article

Privacy enforcement and analysis for functional active objects
Kammueller, F. 2011. Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science. 6514, pp. 93-107. https://doi.org/10.1007/978-3-642-19348-4_8

Article

Discovering our own theories of project management.
Dalcher, D. 2010. Discovering our own theories of project management. Project Manager Today. XXII (3), pp. 4-6.

Article

Improving quality in business processes, products and organisational systems.
Dalcher, D. and Fernandez-Sanz, L. 2009. Improving quality in business processes, products and organisational systems. Upgrade: the European online magazine for the IT professional.. X (5), pp. 2-5.

Article

The role of project collaboration quality and knowledge integration capability in multi-partner projects.
Dietrich, P., Dalcher, D., Eskerod, P. and Sandhawalia, B. 2010. The role of project collaboration quality and knowledge integration capability in multi-partner projects. in: PMI: Research and Education Conference 2010: Defining the Future of Project Management: Proceedings CD Pennsylvania Project Management Institute.

Book chapter

Knowledge management capability framework.
Sandhawalia, B. and Dalcher, D. 2008. Knowledge management capability framework. in: Ackerman, M. (ed.) Knowledge management in action New York Springer Verlag. pp. 165-180

Book chapter

Developing knowledge management capabilities: a structured approach.
Sandhawalia, B. and Dalcher, D. 2011. Developing knowledge management capabilities: a structured approach. Journal of Knowledge Management. 15 (2), pp. 313-328. https://doi.org/10.1108/13673271111119718

Article

El exito en los proyectos de software: yendo mas alla del fracaso.
Dalcher, D. 2009. El exito en los proyectos de software: yendo mas alla del fracaso. Novatica.

Article

Y-Comm research [web page]
Mapp, G., Middlesex University, University of Cambridge, University of Sao Paulo and Loughborough University 2008. Y-Comm research [web page]. Middlesex University.

Other

Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk.
Attfield, S., Makri, S., Kalbach, J., Blandford, A., De Gabrielle, S. and Edwards, M. 2008. Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-87599-4_12

Article

Improving the cost structure of sensemaking: analysing user concepts to inform information systems design
Attfield, S. and Blandford, A. 2009. Improving the cost structure of sensemaking: analysing user concepts to inform information systems design. Lecture Notes in Computer Science. 5726. https://doi.org/10.1007/978-3-642-03655-2_60

Article

Sense-making in visual analytics: processes and challenges
Attfield, S., Hara, S. and Wong, B. 2010. Sense-making in visual analytics: processes and challenges. EuroVAST 2010: The 1st European Symposium on Visual Analytics Science and Technology.. Bordeaux, France 08 Jun 2010

Conference paper

Electronic resource discovery systems: from user behaviour to design.
Stelmaszewska, H., Wong, B., Attfield, S. and Chen, R. 2010. Electronic resource discovery systems: from user behaviour to design. in: Hvannberg, E., Larusdottir, M., Blandford, A. and Gulliksen, J. (ed.) NordiCHI '10 6th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery (ACM). pp. 483-492

Book chapter

Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design.
Attfield, S. and Blandford, A. 2010. Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design. Artificial Intelligence and Law. 18 (4), pp. 387-412. https://doi.org/10.1007/s10506-010-9091-y

Article

Conceptual misfits in email-based current awareness interaction
Attfield, S. and Blandford, A. 2010. Conceptual misfits in email-based current awareness interaction. Journal of Documentation. 67 (1), pp. 33-55. https://doi.org/10.1108/00220411111105443

Article

Making sense of digital footprints in team-based legal investigations: the acquisition of focus
Attfield, S. and Blandford, A. 2011. Making sense of digital footprints in team-based legal investigations: the acquisition of focus. Human Computer Interaction. 26 (1-2), pp. 38-71. https://doi.org/10.1080/07370024.2011.556548

Article

Evaluation of face recognition system in heterogeneous environments (visible vs NIR)
Goswami, D., Chan, C.H., Windridge, D. and Kittler, J. 2011. Evaluation of face recognition system in heterogeneous environments (visible vs NIR). 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops). Barcelona, Spain 06 - 13 Nov 2011 IEEE. pp. 2160-2167 https://doi.org/10.1109/ICCVW.2011.6130515

Conference paper

  • 443495
    total views
  • 90005
    total downloads
  • 11499
    views this month
  • 2862
    downloads this month