Computer Science


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

Latest research outputs

Sort by Date Title
Enhancing privacy implementations of database enquiries
Kammueller, F. and Kammueller, R. 2009. Enhancing privacy implementations of database enquiries. IEEE. pp. 45-50 https://doi.org/10.1109/ICIMP.2009.15

Conference paper

Implementing privacy with Erlang active objects
Fleck, A. and Kammueller, F. 2010. Implementing privacy with Erlang active objects. International Conference on Internet Monitoring and Protection. Barcelona 09 - 15 May 2010 IEEE. pp. 141-146 https://doi.org/10.1109/ICIMP.2010.27

Conference paper

Privacy by flexible parameterization with Erlang active objects.
Fleck, A. and Kammueller, F. 2010. Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software. 3 (3-4), pp. 461-473.

Article

Project management for computing students.
Dalcher, D., Dawson, C. and Palmer, G. 2003. Project management for computing students. London Middlesex University.

Book

Successful IT projects.
Dalcher, D. and Brodie, L. 2007. Successful IT projects. London Thomson Publishing.

Book

Mainstreaming accessibility? Multidisciplinary problems or technical solutions.
Keith, S. and Whitney, G. 2011. Mainstreaming accessibility? Multidisciplinary problems or technical solutions. International Journal of Knowledge and Web Intelligence. 2 (1), pp. 53-63. https://doi.org/10.1504/IJKWI.2011.038628

Article

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

Fuzzy CMAC with incremental Bayesian Ying–Yang learning and dynamic rule construction
Shi, D., Nguyen, M., Zhou, S. and Yin, G. 2010. Fuzzy CMAC with incremental Bayesian Ying–Yang learning and dynamic rule construction. IEEE Transactions on Systems, Man and Cybernetics, Part B. 40 (2), pp. 548-552. https://doi.org/10.1109/TSMCB.2009.2030333

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