City Research Online

Browse by Schools and Department by Authors

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Publication Type | Date | No Grouping
Jump to: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1986 | 1978
Number of items at this level: 1011.

2019

Adnan, M., Nguyen, H. P., Ruddle, R. and Turkay, C. ORCID: 0000-0001-6788-251X (2019). Visual Analytics of Event Data using Multiple Mining Methods. In: Turkay, C. ORCID: 0000-0001-6788-251X and Von Landesberger, T. (Eds.), EuroVis Workshop on Visual Analytics (EuroVA). . The Eurographics Association. ISBN 978-3-03868-087-1

Algaith, A. (2019). Assessing the security benefits of defence in depth. (Unpublished Doctoral thesis, City, University of London)

Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Garcia, J. M. C. and Scarlatti, D. (2019). Analysis of Flight Variability: a Systematic Approach. IEEE Transactions on Visualization and Computer Graphics, 25(1), pp. 54-64. doi: 10.1109/TVCG.2018.2864811

Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Patterson, F. and Stange, H. (2019). Visual Analysis of Place Connectedness by Public Transport. IEEE Transactions on Intelligent Transportation Systems, doi: 10.1109/tits.2019.2924796

Bauer, J., Broom, M. ORCID: 0000-0002-1698-5495 and Alonso, E. ORCID: 0000-0002-3306-695X (2019). The Stabilisation of Equilibria in Evolutionary Game Dynamics through Mutation: Mutation Limits in Evolutionary Games. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, doi: 10.1098/rspa.2019.0355

Bonnet, E. and Giannopoulos, P. ORCID: 0000-0002-6261-1961 (2019). Orthogonal Terrain Guarding is NP-complete. Journal of Computational Geometry, 10(2), pp. 21-44. doi: 10.20382/jocg.v10i2a3

Booth, T., Bird, J., Stumpf, S. ORCID: 0000-0001-6482-1973 and Jones, S (2019). Designing Troubleshooting Support Cards for Novice End-User Developers of Physical Computing Prototypes. In: Malizia, A., Valtolina, S., Morch, A., Serrano, A. and Stratton, A. (Eds.), End-User Development. IS-EUD 2019. Lecture Notes in Computer Science, 11553. (pp. 191-199). Cham: Springer. ISBN 978-3-030-24780-5

Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M., Reynolds, A., Barrett, C. and Tinelli, C. (2019). Invertibility Conditions for Floating-Point Formulae. In: Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, 11562. (pp. 116-136). Cham: Springer. ISBN 978-3-030-25542-8

Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and Sun, Y. (2019). Building Better Bit-Blasting for Floating-Point Problems. Tools and Algorithms for the Construction and Analysis of Systems, 11427, pp. 79-98. doi: 10.1007/978-3-030-17462-0_5

Braun, M. H. (2019). Enhancing User Experience with Olfaction in Virtual Reality. (Unpublished Doctoral thesis, City, University of London)

Carrera, A., Alonso, E. ORCID: 0000-0002-3306-695X and Iglesias, C. A. (2019). A Bayesian Argumentation Framework for Distributed Fault Diagnosis in Telecommunication Networks. Sensors, 19(15), 3408.. doi: 10.3390/s19153408

Caselles-Dupré, H., Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 and Filliat, D. (2019). Symmetry-Based Disentangled Representation Learning requires Interaction with Environments. Paper presented at the Workshop on Structure & Priors in Reinforcement Learning - ICLR 2019, 6 May 2019, New Orleans, USA.

Chen, J., Horrocks, I., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Sutton, C. (2019). Learning Semantic Annotations for Tabular Data. In: Kraus, S. (Ed.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. (pp. 2088-2094). International Joint Conferences on Artifical Intelligence (IJCAI). ISBN 978-0-9992411-4-1

Chen, J., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Horrocks, I. (2019). Canonicalizing Knowledge Base Literals. Lecture Notes in Computer Science(11779),

Chen, J., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Horrocks, I. and Sutton, C. (2019). ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 33, pp. 29-36. doi: 10.1609/aaai.v33i01.330129

Chen, S., Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Adilova, L., Barlet, J, Kindermann, J., Nguyen, P. H., Thonnard, O. and Turkay, C. ORCID: 0000-0001-6788-251X (2019). LDA Ensembles for Interactive Exploration and Categorization of Behaviors. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2019.2904069

Christensen, J. H., Pontoppidan, N. H., Bossing, R., Anisetti, M., Bamiou, D-E., Spanoudakis, G. ORCID: 0000-0002-0037-2600, Murdin, L., Bibas, T., Kikidiks, D., Dimakopoulos, N., Giotis, G. and Ecomomou, A. (2019). Fully Synthetic Longitudinal Real-World Data From Hearing Aid Wearers for Public Health Policy Modeling. Frontiers in Neuroscience, 13, 850.. doi: 10.3389/fnins.2019.00850

Daviaud, L. ORCID: 0000-0002-9220-7118, Jurdziński, M. and Lehtinen, K. (2019). Alternating Weak Automata from Universal Trees. Paper presented at the 30th International Conference on Concurrency Theory, 26-31 Aug 2019, Amsterdam, the Netherlands.

De Domenico, M. and Baronchelli, A. ORCID: 0000-0002-0255-0829 (2019). The fragility of decentralised trustless socio-technical systems. EPJ Data Science, 8, 2.. doi: 10.1140/epjds/s13688-018-0180-6

Denisova, A. and Cairns, P. (2019). Player experience and deceptive expectations of difficulty adaptation in digital games. Entertainment Computing, 29, pp. 56-68. doi: 10.1016/j.entcom.2018.12.001

Garcez, A., Gori, M., Lamb, L. C., Serafini, L., Spranger, M. and Tran, S. N. (2019). Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning. Journal of Applied Logics, 6(4), pp. 611-632.

Giannopoulos, P. ORCID: 0000-0002-6261-1961, Abrahamsen, M., Löffler, M. and Rote, G. (2019). Geometric Multicut. Paper presented at the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), 8 - 12 July 2019, Patras, Greece.

Giannopoulos, P. ORCID: 0000-0002-6261-1961, Bonnet, E. and Lampis, M. (2019). On the Parameterized Complexity of Red-Blue Points Separation. Journal of Computational Geometry, 10(1), pp. 181-206. doi: 10.20382/jocg.v10i1a7

Hall, K., Bradley, A., Hinrichs, U., Huron, S., Wood, J. ORCID: 0000-0001-9270-247X, Collins, C. and Carpendale, S. (2019). Design by immersion: A transdisciplinary approach to problem-driven visualizations. IEEE Transactions on Visualization and Computer Graphics, 26(1),

Harrow, I., Balakrishnan, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Jupp, S., Lomax, J., Reed, J., Romacker, M., Senger, C., Splendiani, A., Wilson, J. and Woollard, P. (2019). Ontology mapping for semantically enabled applications. Drug Discovery Today, doi: 10.1016/j.drudis.2019.05.020

Heitlinger, S ORCID: 0000-0001-6148-350X, Bryan-Kinns, N. and Comber, R. (2019). The Right to the Sustainable Smart City. In: Brewster, S. and Fitzpatrick, G. (Eds.), CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. (273.). New York, USA: ACM. ISBN 978-1-4503-5970-2

Heitlinger, S. ORCID: 0000-0001-6148-350X, Clarke, R., Clear, A. K., Chopra, S. and Dilaver, Ö. (2019). Co-creating “smart” sustainable food futures with urban food growers. In: C&T '19 Proceedings of the 9th International Conference on Communities & Technologies - Transforming Communities. (pp. 114-120). New York: ACM. ISBN 9781450371629

Jones, M., Owen, T., Denisova, A. ORCID: 0000-0002-1497-5808 and Mitchell, S. (2019). Acceptability of a Plasticity Focused Serious Game Intervention for PTSD: A User Requirements Analysis. JMIR Serious Games, 7(2), e11909. doi: 10.2196/11909

Klungre, V. N., Soylu, A., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kharlamov, E. and Giese, M. (2019). Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. New Generation Computing, doi: 10.1007/s00354-019-00071-1

Kokkola, N., Mondragon, E. and Alonso, E. ORCID: 0000-0002-3306-695X (2019). A Double Error Dynamic Asymptote Model of Associative Learning. Psychological Review, 126(4), pp. 506-549. doi: 10.1037/rev0000147

Komninos, N. ORCID: 0000-0003-2776-1283 and Procopiou, A. (2019). Bio/Nature-inspired algorithms in A.I. for malicious activity detection. In: El-Alfy, E-S. M., Elroweissy, M., Fulp, E. W. and Mazurczyk, W. (Eds.), Nature-Inspired Cyber Security and Resiliency: Fundamentals, techniques and applications. . IET. ISBN 978-1-78561-638-9

Le Goc, M., Perin, C. ORCID: 0000-0002-7324-9363, Follmer, S., Fekete, J-D. and Dragicevic, P. (2019). Dynamic Composite Data Physicalization Using Wheeled Micro-Robots. IEEE Transactions on Visualization and Computer Graphics, 25(1), pp. 737-747. doi: 10.1109/TVCG.2018.2865159

Li, H., Dragisic, Z., Faria, D., Ivanova, V., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Lambrix, P. and Pesquita, C. (2019). User validation in ontology alignment: functional assessment and impact. Knowledge Engineering Review,

Li, S., Won, H., Fu, X., Fairbank, M., Wunsch, D. C. and Alonso, E. ORCID: 0000-0002-3306-695X (2019). Neural-Network Vector Controller for Permanent-Magnet Synchronous Motor Drives: Simulated and Hardware-Validated Results. IEEE Transactions on Cybernetics, doi: 10.1109/TCYB.2019.2897653

Makri, S ORCID: 0000-0002-5817-4893 and Turner, S (2019). “I can't express my thanks enough”: The “gratitude cycle” in online communities. Journal of the Association for Information Science and Technology, doi: 10.1002/asi.24257

Makri, S. ORCID: 0000-0002-5817-4893, Chen, Y-C., McKay, D., Buchanan, G. and Ocepek, M. (2019). Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity. Paper presented at the The 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019), 2 - 6 September 2019, Paphos, Cyprus.

Mereani, F. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2019). Exact and Approximate Rule Extraction from Neural Networks with Boolean Features. Proceedings of the 11th International Joint Conference on Computational Intelligence,

Meyer, M. and Dykes, J. ORCID: 0000-0002-8096-5763 (2019). Criteria for Rigor in Visualization Design Study. IEEE Transactions on Visualization and Computer Graphics,

Mohavedi, Y., Cukier, M. and Gashi, I. ORCID: 0000-0002-8017-3184 (2019). Vulnerability Prediction Capability: A Comparison between Vulnerability Discovery Models and Neural Network Models. Computers and Security, doi: 10.1016/j.cose.2019.101596

Mota, E., Howe, J. M. ORCID: 0000-0001-8013-6941, Schramm, A. and d'Avila Garcez, A. S. (2019). Efficient Predicate Invention using Shared NeMuS. Paper presented at the 14th International Workshop on Neural-Symbolic Learning and Reasoning, 10 - 16 August 2019, Macau, China.

Myklebust, E., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Chen, J., Wolf, R. and Tollefsen, K. E. (2019). Knowledge Graph Embedding for Ecotoxicological Effect Prediction. presented at the UNSPECIFIED.

Myklebust, E. B., Jimenez-Ruiz, E., Chen, J., Wolf, R. and Tollefsen, K. E. (2019). Enabling Semantic Data Access for Toxicological Risk Assessment. .

Procopiou, A., Komninos, N. ORCID: 0000-0003-2776-1283 and Douligeris, C. (2019). ForChaos: Real Time Application DDoS detection using Forecasting and Chaos Theory in Smart Home IoT Network. Wireless Communications and Mobile Computing, 2019, 8469410.. doi: 10.1155/2019/8469410

Sathiyanarayanan, M. ORCID: 0000-0002-8598-1949, Turkay, C. ORCID: 0000-0001-6788-251X and Fadahunsi, O. (2019). Design of Small Multiples Matrix-based Visualisation to Understand E-mail Socio-organisational Relationships. 2018 10th International Conference on Communication Systems & Networks (COMSNETS), pp. 643-648. doi: 10.1109/COMSNETS.2018.8328288

Stumpf, S. ORCID: 0000-0001-6482-1973 (2019). Horses for courses: Making the case for persuasive engagement in smart systems. Joint Proceedings of the ACM IUI 2019 Workshops, 2327,

Tarroni, G. ORCID: 0000-0002-0341-6138, Oktay, O., Bai, W., Schuh, A., Suzuki, H., Passerat-Palmbach, J., De Marvao, A., O’Regan, D. P., Cook, S., Glocker, B., Matthews, P M. and Rueckert, D. (2019). Learning-based quality control for cardiac MR images. IEEE Transactions on Medical Imaging, 38(5), pp. 1127-1138. doi: 10.1109/TMI.2018.2878509

Tewell, J., O’Sullivan, D., Maiden, N. ORCID: 0000-0001-6233-8320, Lockerbie, J. and Stumpf, S. ORCID: 0000-0001-6482-1973 (2019). Monitoring meaningful activities using small low-cost devices in a smart home. Personal and Ubiquitous Computing, doi: 10.1007/s00779-019-01223-2

Turner, Jonathan (2019). Secondary use of electronic medical records for early identification of raised condition likelihoods in individuals: a machine learning approach. (Unpublished Doctoral thesis, City, University of London)

Weyde, T. ORCID: 0000-0001-8028-9905 and Kopparti, R. M. (2019). Modelling Identity Rules with Neural Networks. Journal of Applied Logics, 6(4), pp. 745-769.

Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C., Imai, Y. and Kawamura, Y. (2019). Application of Abstract Interpretation to the Automotive Electronic Control System. Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388, pp. 425-445. doi: 10.1007/978-3-030-11245-5_20

Zhao, X., Robu, V., Flynn, D., Salako, K. and Strigini, L. (2019). Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. Paper presented at the ISSRE 2019 - the 20th International Symposium on Software Reliability Engineering, 28 - 31 October 2019, Berlin, Germany.

Zhou, Q., Feng, Z. and Benetos, E. (2019). Adaptive Noise Reduction for Sound Event Detection Using Subband-Weighted NMF. Sensors (Basel), 19(14), 3206.. doi: 10.3390/s19143206

2018

Besold, T. R., ed. (2018). Pre-Proceedings of the Cognitive Computation Symposium: Thinking Beyond Deep Learning (CoCoSym 2018) : Extended Abstracts/Speakers' Positions. London: City, University of London.

Acarali, D., Rajarajan, M. and Komninos, N. ORCID: 0000-0003-2776-1283 (2018). Evaluating the Provision of Botnet Defences using Translational Research Concepts. In: Samarati, P. and Obaidat, M. S. (Eds.), Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (ICETE 2018) - Volume 2: SECRYPT. (pp. 514-519). SciTePress. ISBN 978-989-758-319-3

Agibetov, A., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Ondresik, M., Solimando, A., Banerjee, I., Guerrini, G., Catalano, C. E., Oliveira, J. M., Patane, G., Reis, R. L. and Spagnuolo, M. (2018). Supporting shared hypothesis testing in the biomedical domain. Journal of Biomedical Semantics, 9, 9.. doi: 10.1186/s13326-018-0177-x

Al Arif, S.M.M.R. (2018). Fully automatic image analysis framework for cervical vertebra in X-ray images. (Unpublished Doctoral thesis, City, University of London)

Algaith, A., Nunes, P., Fonseca, J., Gashi, I. ORCID: 0000-0002-8017-3184 and Viera, M. (2018). Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. In: 2018 14th European Dependable Computing Conference (EDCC). (pp. 57-64). IEEE. ISBN 978-1-5386-8060-5

Algergawy, A., Cheatham, M., Faria, D., Ferrara, A., Fundulaki, I., Harrow, I., Hertling, S., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Karam, N., Khiat, A., Lambrix, P., Li, H., Montanelli, S., Paulheim, H., Pesquita, C., Saveta, T., Schmidt, D., Shvaiko, P., Splendiani, A., Thiéblin, E., Trojahn, C., Vataščinová, J., Zamazal, O. and Zhou, L. (2018). Results of the ontology alignment evaluation initiative 2018. CEUR Workshop Proceedings, 2288, pp. 76-116.

Alt, H., Cabello, S., Giannopoulos, P. ORCID: 0000-0002-6261-1961 and Knauer, C. (2018). Minimum Cell Connection in Line Segment Arrangements. International Journal of Computational Geometry & Applications, 27(03), pp. 159-176. doi: 10.1142/s0218195917500017

Amaya, A., Woolf, C., Devane, N., Galliers, J. R., Talbot, R., Wilson, S. and Marshall, J. (2018). Receiving Aphasia Intervention in a Virtual Environment: The Participants’ Perspective. Aphasiology, doi: 10.1080/02687038.2018.1431831

Andrienko, G. ORCID: 0000-0002-8574-6295 and Andrienko, N. ORCID: 0000-0003-3313-1560 (2018). Creating maps of artificial spaces to explore trajectories. In: Proceedings of the Workshop on Advanced Visual Interfaces AVI. . NY, USA: ACM. ISBN 9781450356169

Annabi, L. and Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 (2018). State representation learning with recurrent capsule networks. Paper presented at the Workshop on Modeling the Physical World: Perception, Learning, and Control, NeurIPS 2018 - 32nd Conference on Neural Information Processing Systems, 07 Dec 2018, Montreal, Canada.

Ardagna, C. A., Damiani, E., Krotsiani, M., Kloukinas, C. ORCID: 0000-0003-0424-7425 and Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018). Big Data Assurance Evaluation: An SLA-Based Approach. In: 2018 IEEE International Conference on Services Computing (SCC). (pp. 299-303). IEEE. ISBN 978-1-5386-7250-1

Arsovski, S., Wong, S. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2018). Open-domain neural conversational agents: The step towards artificial general intelligence. International Journal of Advanced Computer Science and Applications, 9(6), pp. 402-408. doi: 10.14569/IJACSA.2018.090654

Bai, W., Sinclair, M., Tarroni, G. ORCID: 0000-0002-0341-6138, Oktay, O., Rajchl, M., Vaillant, G., Lee, A. M., Aung, N., Lukaschuk, E., Sanghvi, M. M., Zemrak, F., Fung, K., Paiva, J. M., Carapella, V., Kim, Y. J., Suzuki, H., Kainz, B., Matthews, P M., Petersen, S. E., Piechnik, S. K., Neubauer, S., Glocker, B. and Rueckert, D. (2018). Automated cardiovascular magnetic resonance image analysis with fully convolutional networks. Journal of Cardiovascular Magnetic Resonance, 20, 65.. doi: 10.1186/s12968-018-0471-x

Basaru, R. R. (2018). Robust hand pose recognition from stereoscopic capture. (Unpublished Doctoral thesis, City, University of London)

Basaru, R. R., Child, C. H. T., Alonso, E. and Slabaugh, G. G. (2018). Conditional Regressive Random Forest Stereo-based Hand Depth Recovery. 2017 IEEE International Conference on Computer Vision Workshops (ICCVW), pp. 614-622. doi: 10.1109/ICCVW.2017.78

Basaru, R. R., Slabaugh, G. G., Alonso, E. and Child, C. H. T. (2018). Data-driven Recovery of Hand Depth using Conditional Regressive Random Forest on Stereo Images. IET Computer Vision, 12(5), pp. 666-678. doi: 10.1049/iet-cvi.2017.0227

Besold, T. R. and Uckelman, S. L. (2018). The Normativity of Rationality: From Nature to Artifice and Back. Journal of Experimental and Theoretical Artificial Intelligence, doi: 10.1080/0952813X.2018.1430860

Bielawski, K. S., Rahman, N. E. A., Azhar, A., Karunanayaka, K., Banalzwaa, M. R. T., Moteir, I. G. M. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2018). Magnetic table for levitating food for entertainment. Lecture Notes in Computer Science, 10714, pp. 462-469. doi: 10.1007/978-3-319-76270-8_32

Blascheck, T., MacDonald, L., Vermeulen, J., Perin, C. ORCID: 0000-0002-7324-9363, Willett, W., Ertl, T. and Carpendale, S. (2018). Exploration Strategies for Discovery of Interactivity in Visualizations. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2018.2802520

Bloomfield, R. E., Bishop, P. G. ORCID: 0000-0003-3307-5159, Butler, E. and Stroud, R. (2018). Security-Informed Safety: Supporting Stakeholders with Codes of Practice. Computer, 51(8), pp. 60-65. doi: 10.1109/MC.2018.3191260

Bojanczyk, M., Daviaud, L. and Narayanan, K. S. (2018). Regular and First Order List Functions. In: LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. LICS, 2018. (pp. 125-134). New York, NY: ACM. ISBN 978-1-4503-5583-4

Bourazeri, A. ORCID: 0000-0002-0258-7648 and Pitt, J. (2018). Collective attention and active consumer participation in community energy systems. International Journal of Human Computer Studies, 119, doi: 10.1016/j.ijhcs.2018.06.001

Bourazeri, A. and Stumpf, S. ORCID: 0000-0001-6482-1973 (2018). Co-designing smart home technology with people with dementia or Parkinson's disease. In: NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction. (pp. 609-621). New York, NY: ACM. ISBN 9781450364379

Butler, C., Makri, S. ORCID: 0000-0002-5817-4893, MacFarlane, A. ORCID: 0000-0002-8057-0737, Wisdom, S. and Cooke, I. (2018). Sheltering the Dream and Protecting the Dreamer : The Role of Place and Space in the Online Interactions of Fiction Authors and Readers. In: OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. (pp. 1-11). New York, USA: ACM. ISBN 978-1-4503-6188-0

Caselles-Dupré, H., Annabi, L., Hagen, O., Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 and Filliat, D. (2018). Flatland: a Lightweight First-Person 2-D Environment for Reinforcement Learning. Paper presented at the Workshop on Continual Unsupervised Sensorimotor Learning - ICDL-Epirob 2018, 17 September 2018, Tokyo, Japan.

Caselles-Dupré, H., Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 and Filliat, D. (2018). Continual State Representation Learning for Reinforcement Learning using Generative Replay. Paper presented at the Workshop on Continual Learning, NeurIPS 2018- 32nd Conference on Neural Information Processing Systems, 07 December 2018, Montreal, Canada.

Chandrasekharan, G.M. (2018). Ontology driven clinical decision support for early diagnostic recommendations. (Unpublished Doctoral thesis, City, University of London)

Chen, S., Li, J., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Wang, Y., Nguyen, P. ORCID: 0000-0001-5643-0585 and Turkay, C. ORCID: 0000-0001-6788-251X (2018). Supporting Story Synthesis: Bridging the Gap between Visual Analytics and Storytelling. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/tvcg.2018.2889054

Collins, C., Andrienko, N. ORCID: 0000-0003-3313-1560, Schreck, T., Yang, J., Choo, J., Engelke, U., Jena, A. and Dwyer, T. (2018). Guidance in the human–machine analytics process. Visual Informatics, 2(3), pp. 166-180. doi: 10.1016/j.visinf.2018.09.003

Czerwiński, W., Daviaud, L., Fijalkow, N., Jurdziński, M., Lazić, R. and Parys, P. (2018). Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. (pp. 2333-2349). Society for Industrial and Applied Mathematics. ISBN 978-1-61197-548-2

Daviaud, L., Johnson, M. and Kambites, M. (2018). Identities in upper triangular tropical matrix semigroups and the bicyclic monoid. Journal of Algebra, 501, pp. 503-525. doi: 10.1016/j.jalgebra.2017.12.032

Daviaud, L., Jurdziński, M. and Lazić, R. (2018). A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games. In: LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. LICS, 2018. (pp. 325-334). New York, NY: ACM. ISBN 978-1-4503-5583-4

Daviaud, L., Jurdziński, M., Lazić, R., Mazowiecki, F., Pérez, G. A. and Worrell, J. (2018). When is Containment Decidable for Probabilistic Automata? In: 45th International Colloquium on Automata, Languages, and Programming. Leibniz International Proceedings in Informatics (LIPIcs), 107. (121:1-121:4). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-076-7

Daviaud, L. and Paperman, C. (2018). Classes of languages generated by the Kleene star of a word. Information and Computation, 262, pp. 90-109. doi: 10.1016/j.ic.2018.07.002

Doran, D., Schulz, S.C. and Besold, T. R. (2018). What Does Explainable AI Really Mean? A New Conceptualization of Perspectives. CEUR Workshop Proceedings, 2071,

Dunkel, A., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Burghardt, D., Hauthal, E. and Purves, R. (2018). A conceptual framework for studying collective reactions to events in location-based social media. International Journal of Geographical Information Science, doi: 10.1080/13658816.2018.1546390

Dykes, J. ORCID: 0000-0002-8096-5763, Kerzner, E., Goodwin, S., Jones, S. ORCID: 0000-0003-4789-4948 and Meyer, M. (2018). A Framework for Creative Visualization-Opportunities Workshops. IEEE Transactions on Visualization and Computer Graphics, 25(1), doi: 10.1109/TVCG.2018.2865241

Edirisinghe, C, Cheok, A. D. and Khougali, N (2018). Perceptions and Responsiveness to Intimacy with Robots; A User Evaluation. Lecture Notes in Computer Science, 10715, pp. 138-157. doi: 10.1007/978-3-319-76369-9_11

Edirisinghe, C., Podari, N. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2018). A multi-sensory interactive reading experience for visually impaired children; a user evaluation. Personal and Ubiquitous Computing, doi: 10.1007/s00779-018-1127-4

Frankowska-Takhari, S. (2018). Selecting and tailoring of images for online news content: a mixed-methods investigation of the needs and behaviour of image users in online journalism. (Unpublished Doctoral thesis, City, University of London)

Garcia Ortiz, M. ORCID: 0000-0003-4729-7457, Lesort, T., Caselles-Dupré, H., Goudou, J-F. and Filliat, D. (2018). Generative Models from the perspective of Continual Learning. Paper presented at the Workshop on Continual Learning, NeurIPS 2018 - 32nd Conference on Neural Information Processing Systems, 07 December 2018, Montreal, Canada.

Giannopoulos, P. ORCID: 0000-0002-6261-1961 and Bonnet, E. (2018). Orthogonal Terrain Guarding is NP-complete. Paper presented at the 34th International Symposium on Computational Geometry (SoCG 2018), 11 - 14 June 2018, Budapest, Hungary.

Giannopoulos, P., Bonnet, E., Kim, E. J., Rzazewski, P. and Sikora, F. (2018). QPTAS and Subexponential Algorithm for Maximum Clique on Disk Graphs. Paper presented at the 34th International Symposium on Computational Geometry (SoCG 2018), 11 - 14 July 2018, Budapest, Hungary.

Goebel, R., Chander, A., Holzinger, K., Lecue, F., Akata, Z., Stumpf, S. ORCID: 0000-0001-6482-1973, Kieseberg, P. and Holzinger, A. (2018). Explainable AI: The new 42?. Paper presented at the CD-MAKE 2018, 27-30 Aug 2018, Hamburg, Germany.

Grellmann, B., Neate, T., Roper, A. ORCID: 0000-0001-6950-6294, Wilson, S. ORCID: 0000-0001-6445-654X and Marshall, J. ORCID: 0000-0002-6589-221X (2018). Investigating Mobile Accessibility Guidance for People with Aphasia. In: ASSETS '18 Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility. (pp. 410-413). New York, USA: ACM. ISBN 978-1-4503-5650-3

Guimera Busquets, J., Alonso, E. and Evans, A. (2018). Air itinerary shares estimation using multinomial logit models. Transportation Planning and Technology, 41(1), pp. 3-16. doi: 10.1080/03081060.2018.1402742

Harder, F. and Besold, T. R. ORCID: 0000-0002-8002-0049 (2018). Learning Lukasiewicz logic. Cognitive Systems Research, 47, pp. 42-67. doi: 10.1016/j.cogsys.2017.07.004

Hatzivasilis, G., Askoxylakis, I. G., Alexandris, G., Anicic, D., Broring, A., Kulkarni, V., Fysarakis, K. and Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018). The Interoperability of Things: Interoperable solutions as an enabler for IoT and Web 3.0. International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 2018, pp. 140-147. doi: 10.1109/CAMAD.2018.8514952

Heitlinger, S. ORCID: 0000-0001-6148-350X, Bryan-Kinns, N. and Comber, R. (2018). Connected seeds and sensors: co-designing internet of things for sustainable smart cities with urban food-growing communities. In: Huybrechts, L. and Teli, M. (Eds.), PDC '18 Proceedings of the 15th Participatory Design Conference: Short Papers, Situated Actions, Workshops and Tutorial - Volume 2. (18.). New York: ACM. ISBN 978-1-4503-5574-2

Heitlinger, S. ORCID: 0000-0001-6148-350X and Comber, R. (2018). Design for the Right to the Smart City in More-than-Human Worlds.

Henkin, R. (2018). A framework for hierarchical time-oriented data visualisation. (Unpublished Doctoral thesis, City, University of London)

Henkin, R. ORCID: 0000-0002-5511-5230 and Turkay, C. ORCID: 0000-0001-6788-251X (2018). Towards Multimodal Data Analytics: Integrating Natural Language into Visual Analytics. Paper presented at the Multimodal Interaction for Data Visualization Workshop at AVI 2018, 29 May 2018, Grosseto, Italy.

Howe, J. M. ORCID: 0000-0001-8013-6941, King, A. and Simon, A. (2018). Incremental closure for systems of two variables per inequality. Theoretical Computer Science, doi: 10.1016/j.tcs.2018.12.001

Howe, J. M. and Mereani, F. (2018). Detecting Cross-Site Scripting Attacks Using Machine Learning. Advances in Intelligent Systems and Computing, 723, doi: 10.1007/978-3-319-74690-6_20

Huang, F. and Strigini, L. (2018). Predicting Software Defects Based on Cognitive Error Theories. Paper presented at the 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 15-18 Oct 2018, Memphis, USA.

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Agibetov, A., Samwald, M. and Cross, V. (2018). Breaking-down the Ontology Alignment Task with a Lexical Index and Neural Embeddings. .

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Agibetov, A., Samwald, M. and Cross, V. (2018). We divide, you conquer: From large-scale ontology alignment to manageable subtasks with a lexical index and neural embeddings. CEUR Workshop Proceedings, 2288, pp. 13-24.

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Cuenca Grau, B. and Cross, V. (2018). LogMap family participation in the OAEI2018. CEUR Workshop Proceedings, 2288, pp. 187-191.

Jimenez-Ruiz, E., Hovland, D., Slaughter, L., Håndstad, T. and Waaler, A. (2018). On adopting Ontology Alignment techniques within the Phenotype Acquisition Process. CEUR Workshop Proceedings, 2042,

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Saveta, T., Zamazal, O., Hertling, S., Röder, M., Fundulaki, I., Ngomo, A. C. N., Sherif, M. A., Annane, A., Bellahsene, Z., Ben Yahia, S., Diallo, G., Faria, D., Kachroudi, M., Khiat, A., Lambrix, P., Li, H., Mackeprang, M., Mohammadi, M., Rybinski, M., Balasubramani, B. S. and Trojahn, C. (2018). Introducing the HOBBIT platform into the Ontology Alignment Evaluation campaign. CEUR Workshop Proceedings, 2288, pp. 49-60.

Kanai, J. M., Grant, R. and Jianu, R. ORCID: 0000-0002-5834-2658 (2018). Cities on and off the map: A bibliometric assessment of urban globalisation research. Urban Studies, 55(12), pp. 2569-2585. doi: 10.1177/0042098017720385

Karunanayaka, K., Johari, N., Hariri, S., Camelia, H., Bielawski, K. S. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2018). New Thermal Taste Actuation Technology for Future Multisensory Virtual Reality and Internet. IEEE Transactions on Visualization and Computer Graphics, 24(4), pp. 1496-1505. doi: 10.1109/TVCG.2018.2794073

Khani, S. (2018). Self-reconfigurable, intrusion-tolerant, web-service composition framework. (Unpublished Doctoral thesis, City, Universtiy of London)

Kharlamov, E., Skjaeveland, M., Hovland, D., Mailis, T., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Xiao, G., Soylu, A., Horrocks, I. and Waaler, A. (2018). Finding Data Should be Easier than Finding Oil. In: 2018 IEEE International Conference on Big Data (Big Data). . UNSPECIFIED. ISBN 978-1-5386-5035-6

Kudama, S, Berlanga, R and Jiménez-Ruiz, E ORCID: 0000-0002-9083-4599 (2018). Enriching the Human Phenotype Ontology with inferred axioms from textual descriptions. CEUR Workshop Proceedings, 2042,

Kulak, T. and Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 (2018). Emergence of Sensory Representations Using Prediction in Partially Observable Environments. In: Artificial Neural Networks and Machine Learning – ICANN 2018. Lecture Notes in Computer Science, 11140. (pp. 489-498). Springer. ISBN 978-3-030-01420-9

Laramee, R. S., Turkay, C. ORCID: 0000-0001-6788-251X and Joshi, A. (2018). Visualization for Smart City Applications. IEEE Computer Graphics and Applications, 38(5), pp. 36-37. doi: 10.1109/MCG.2018.053491729

Li, J., Chen, S., Chen, W., Andrienko, G. ORCID: 0000-0002-8574-6295 and Andrienko, N. ORCID: 0000-0003-3313-1560 (2018). Semantics-Space-Time Cube. A Conceptual Framework for Systematic Analysis of Texts in Space and Time. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2018.2882449

Li, J., Chen, S., Zhang, K., Andrienko, G. ORCID: 0000-0002-8574-6295 and Andrienko, N. ORCID: 0000-0003-3313-1560 (2018). COPE: Interactive Exploration of Co-occurrence Patterns in Spatial Time Series.. IEEE Transactions on Visualization and Computer Graph, doi: 10.1109/TVCG.2018.2851227

Lim, B., Smith, A. and Stumpf, S. ORCID: 0000-0001-6482-1973 (2018). ExSS 2018: Workshop on explainable smart systems. CEUR Workshop Proceedings, 2068,

Luzardo, A. (2018). The Rescorla-Wagner Drift-Diffusion Model. (Unpublished Doctoral thesis, City, University of London)

Mahdi, A., Weyde, T. ORCID: 0000-0001-8028-9905 and Al-Jumeily, D. (2018). The FL-SMIA Network: A Novel Architecture for Time Series Prediction. 2017 10TH International Conference on Developments in eSystems Engingeering (DeSE), doi: 10.1109/DeSE.2017.42

Makri, S., Hsueh, T-L. and Jones, S. (2018). Ideation as an intellectual information acquisition and use context: Investigating game designers’ information-based ideation behavior. Journal of the Association for Information Science and Technology, doi: 10.1002/asi.24169

Mantzoukas, K., Kloukinas, C. ORCID: 0000-0003-0424-7425 and Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018). Monitoring Data Integrity in Big Data Analytics Services. 2018 IEEE 11th International Conference on Cloud Computing (CLOUD), pp. 904-907. doi: 10.1109/CLOUD.2018.00132

Markovic, N., Sekula, P., Vander Laan, Z., Andrienko, G. ORCID: 0000-0002-8574-6295 and Andrienko, N. ORCID: 0000-0003-3313-1560 (2018). Applications of Trajectory Data From the Perspective of a Road Transportation Agency: Literature Review and Maryland Case Study. IEEE Transactions on Intelligent Transportation Systems, doi: 10.1109/TITS.2018.2843298

Marques, P., Dabbabi, Z., Mironesc, M-M, Thonnard, O., Bessan, A., Buontempo, F. and Gashi, I. ORCID: 0000-0002-8017-3184 (2018). Using Diverse Detectors for Detecting Malicious Web Scraping Activity. 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 67-68. doi: 10.1109/DSN-W.2018.00033

Marques, P., Dabbabi, Z., Mironescu, M-M., Thonnard, O., Bessani, A., Buontempo, F. and Gashi, I. ORCID: 0000-0002-8017-3184 (2018). Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors. Paper presented at the The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018), 4-7 Dec 2018, Taipei, Taiwan.

Meng, X. (2018). An integrated networkbased mobile botnet detection system. (Unpublished Doctoral thesis, City, Universtiy of London)

Mereani, F. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2018). Preventing Cross-Site Scripting Attacks by Combining Classifiers. In: Proceedings of the 10th International Joint Conference on Computational Intelligence. (pp. 135-143). San Francisco, USA: SCITEPRESS. ISBN 978-989758327-8

Movahedi, Y., Cukier, M., Andongabo, A. and Gashi, I. ORCID: 0000-0002-8017-3184 (2018). Cluster-based Vulnerability Assessment of Operating Systems and Web Browsers. Computing, doi: 10.1007/s00607-018-0663-0

Muggleton, S., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A. and Besold, T. R. ORCID: 0000-0002-8002-0049 (2018). Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP. Machine Learning, doi: 10.1007/s10994-018-5707-3

Najibi, F., Alonso, E. ORCID: 0000-0002-3306-695X and Apostolopoulou, D. ORCID: 0000-0002-9012-9910 (2018). Optimal Dispatch of Pumped Storage Hydro Cascade under Uncertainty. In: 2018 UKACC 12th International Conference on Control (CONTROL). (pp. 187-192). IEEE. ISBN 978-1-5386-2864-5

Netkachov, O. (2018). HPS: High Performance Simulation Engine of cyber-physical systems

Nguyen, P. ORCID: 0000-0001-5643-0585, Turkay, C. ORCID: 0000-0001-6788-251X, Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Thonnard, O. and Zouaoui, J. (2018). Understanding User Behaviour through Action Sequences: from the Usual to the Unusual. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2018.2859969

Nykteri, G., Koukouvinis, P. ORCID: 0000-0002-3945-3707 and Gavaises, M. ORCID: 0000-0003-0874-8534 (2018). A Compressible Σ-Υ Two-Fluid Atomization Model with Dynamic Interface Sharpening based on Flow Topology Detection. Paper presented at the 14th International Conference on Liquid Atomization and Spray Systems, 22 - 26 July 2018, Chicago, Illinois.

Okoe, M., Jianu, R. ORCID: 0000-0002-5834-2658 and Kobourov, S. (2018). Node-link or Adjacency Matrices: Old Question, New Insights. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2018.2865940

Okoe, M., Jianu, R. and Kobourov, S. (2018). Revisited experimental comparison of node-link and matrix representations. Lecture Notes in Computer Science, 10692, pp. 287-302. doi: 10.1007/978-3-319-73915-1_23

Ollero, J. and Child, C. H. T. (2018). Performance Enhancement of Deep Reinforcement Learning Networks using Feature Extraction. Lecture Notes in Computer Science, 10878, pp. 208-218. doi: 10.1007/978-3-319-92537-0_25

Olliverre, N. J., Yang, G., Slabaugh, G. G., Reyes-Aldasoro, C. C. ORCID: 0000-0002-9466-2018 and Alonso, E. (2018). Generating Magnetic Resonance Spectroscopy Imaging Data of Brain Tumours from Linear, Non-Linear and Deep Learning Models. In: Simulation and Synthesis in Medical Imaging. Lecture Notes in Computer Science (11037). (pp. 130-138). Cham, Switzerland: Spirnger. ISBN 978-3-030-00535-1

Perin, C. ORCID: 0000-0002-7324-9363, Vuillemot, R., Stolper, C., Stasko, J., Wood, J. ORCID: 0000-0001-9270-247X and Carpendale, S. (2018). State of the Art of Sports Data Visualization. Computer Graphics Forum, 37(3), pp. 663-686. doi: 10.1111/cgf.13447

Petroulakis, N. E., Spanoudakis, G. and Askoxylakis, Y. (2018). Fault Tolerance Using an SDN Pattern Framework. In: GLOBECOM 2017 - 2017 IEEE Global Communications Conference. . Institute of Electrical and Electronics Engineers. ISBN 978-1-5090-5019-2

Pinkel, C., Binnig, C., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kharlamov, E., May, W., Nikolov, A., Bastinos, A. S., Skjaeveland, M. G., Solimando, A., Taheriyan, M., Heupel, C. and Horrocks, I. (2018). RODI: Benchmarking Relational-to-Ontology Mapping Generation Quality. Semantic Web, 9(1), pp. 25-52.

Power, C., Cairns, P., Denisova, A. ORCID: 0000-0002-1497-5808, Papaioannou, T. and Gultroma, R. (2018). Lost at the Edge of Uncertainty: Measuring Player Uncertainty in Digital Games. International Journal of Human-Computer Interaction, doi: 10.1080/10447318.2018.1507161

Priego, E. ORCID: 0000-0003-4418-369X and Wilkins, P. (2018). The Question Concerning Comics as Technology: Gestell and Grid. The Comics Grid : Journal of Comics Scholarship, 8, pp. 16-41. doi: 10.16995/cg.133

Priego, E. ORCID: 0000-0003-4418-369X, de la Mora, F., Peláez, R., Padilla Behar, M. and Rocha, D. (2018). Just Another Day: A Comic About Brexit *

Riaz, A., Asad, M., Al-Arif, S. M., Alonso, E. ORCID: 0000-0002-3306-695X, Dima, D. ORCID: 0000-0002-2598-0952, Corr, P. J. ORCID: 0000-0002-7618-0058 and Slabaugh, G. G. (2018). DeepFMRI: And End-to-End Deep Network for Classification of FRMI Data. 2018 IEEE 15th International Symposium on Biomedical Imaging (ISBI 2018), pp. 1419-1422. doi: 10.1109/ISBI.2018.8363838

Sathiyanarayanan, M., Turkay, C. ORCID: 0000-0001-6788-251X and Dykes, J. ORCID: 0000-0002-8096-5763 (2018). Visualising E-mail Communication to Improve E-discovery. Poster presented at the VIS 2018, 21-26 Oct 2018, Berlin, Germany.

Sathiyanarayanan, M., Turkay, C. ORCID: 0000-0001-6788-251X and Fadahunsi, O (2018). Design and Implementation of Small Multiples Matrix-based Visualisation to Monitor and Compare Email Socio-organisational Relationships. 2018 10th International Conference on Communication Systems & Networks (COMSNETS), pp. 643-648.

Shvaiko, P., Euzenat, J., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Cheatham, M. and Hassanzadeh, O. (2018). Ontology matching OM-2018. CEUR Workshop Proceedings, 2288, pp. i-ii.

Simon, P. and Turkay, C. ORCID: 0000-0001-6788-251X (2018). Hunting High and Low: Visualising Shifting Correlations in Financial Markets. Computer Graphics Forum, 37(3), pp. 479-490. doi: 10.1111/cgf.13435

Solis-Lemus, J. A. (2018). Segmentation and shape tracking of overlapping macrophages in fluorescent microscopy images. (Unpublished Doctoral thesis, City, University of London)

Soylu, A., Kharlamov, E., Zheleznyakov, D., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Giese, M., Skjaeveland, M. G., Hovland, D., Schlatte, R., Brandt, S., Lie, H. and Horrocks, I. (2018). OptiqueVQS: A visual query system over ontologies for industry. Semantic Web, 9(5), doi: 10.3233/SW-180293

Spanoudakis, G., Kikidis, D., Bibas, A., Katrakazas, P., Koutsouris, D. and Pontopidan, N. H. (2018). Public health policy for management of hearing impairments based on big data analytics: EVOTION at Genesis. 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering (BIBE), pp. 525-530. doi: 10.1109/BIBE.2017.00006

Stumpf, S. ORCID: 0000-0001-6482-1973, Skrebe, S., Aymer, G. and Hobson, J. (2018). Explaining smart heating systems to discourage fiddling with optimized behavior. CEUR Workshop Proceedings, 2068,

Ter-Sarkisov, A., Kelleher, J. D., Earley, B., Keane, M. and Ross, R. J. (2018). Beef Cattle Instance Segmentation Using Fully Convolutional Neural Network. Paper presented at the 29th British Machine Vision Conference (BMVC), 3 - 6 September 2018, Northumbria University, Newcastle.

Tewell, J.R. (2018). Augmenting communication technologies with non-primary sensory modalities. (Unpublished Doctoral thesis, City, University of London)

Tran, S.N. and d'Avila Garcez, A. S. (2018). Deep Logic Networks: Inserting and Extracting Knowledge from Deep Belief Networks. IEEE Transactions on Neural Networks and Learning Systems, 29(2), pp. 246-258. doi: 10.1109/TNNLS.2016.2603784

Turkay, C. ORCID: 0000-0001-6788-251X and Henkin, R. (2018). Towards Natural Language Empowered Interactive Data Analysis. Poster presented at the EuroVis 2018 20th EG/VGTC Conference on Visualization, 04 - 08 June 2018, Brno, Czech Republic.

Velarde, G., Cancino Chacon, C., Meredith, D., Weyde, T. ORCID: 0000-0001-8028-9905 and Grachten, M. (2018). Convolution-based classification of audio and symbolic representations of music. Journal of New Music Research, 47(3), pp. 191-205. doi: 10.1080/09298215.2018.1458885

Vouros, G., Doulkeridis, C., Santipantakis, G., Vlachou, A., Pelekis, N., Georgiou, H., Theodoridis, Y., Patroumpas, K., Alevizos, E., Artikis, A., Fuchs, G., Mock, M., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Ray, C., Claramunt, C., Camossi, E., Jousselme, A-L., Scarlatti, D. and Cordero, J. M. (2018). Big data analytics for time critical maritime and aerial mobility forecasting. Advances in Database Technology - EDBT, 2018, pp. 612-623. doi: 10.5441/002/edbt.2018.71

Vouros, G., Vlachou, A., Santipantakis, G., Doulkeridis, C., Pelekis, N., Georgiou, H., Theodoridis, Y., Patroumpas, K., Alevizos, E., Artikis, A., Fuchs, G., Mock, M., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Claramunt, C., Ray, C., Camossi, E. and Jousselme, A-L. (2018). Increasing maritime situation awareness via trajectory detection, enrichment and recognition of events. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10819, pp. 130-140. doi: 10.1007/978-3-319-90053-7_13

Wood, J. ORCID: 0000-0001-9270-247X, Kachkaev, A. and Dykes, J. ORCID: 0000-0002-8096-5763 (2018). Design Exposition with Literate Visualization. IEEE Transactions on Visualization and Computer Graphics, 25(1), doi: 10.1109/TVCG.2018.2864836

de Valk, R. and Weyde, T. ORCID: 0000-0001-8028-9905 (2018). Deep neural networks with voice entry estimation heuristics for voice separation in symbolic music representations. Paper presented at the 19th International Society for Music Information Retrieval Conference (ISMIR 2018), 23-27 Sep 2018, Paris, France.

2017

Abd Rahman, M. H., Nordin, A. I. and Denisova, A. ORCID: 0000-0002-1497-5808 (2017). The effect of time manipulation on immersion in digital games. In: Badioze Zaman, H., Robinson, P., Smeaton, A. F., Shih, T. K. and Velastin, S. (Eds.), Advances in Visual Informatics. IVIC 2017. Lecture Notes in Computer Science. (pp. 544-551). Cham: UNSPECIFIED. ISBN 978-3-319-70009-0

Abdallah, S., Benetos, E., Gold, N., Hargreaves, S., Weyde, T. and Wolff, D. (2017). The digital music lab: A big data infrastructure for digital musicology. Journal on Computing and Cultural Heritage, 10(1), 2.. doi: 10.1145/2983918

Abrishamchi, M. A. N., Abdullah, A. H., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Bielawski, K. S. (2017). Side channel attacks on smart home systems: A short overview. In: IECON 2017 - 43rd Annual Conference of the IEEE. (pp. 4926-4932). IEEE. ISBN 978-1-5386-1127-2

Abrishamchi, M. A. N., Abdullah, A. H., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Nikolic, P. K. (2017). A probability based hybrid energy-efficient privacy preserving scheme to encounter with wireless traffic snooping in smart home. In: Balog, M., Knapcikova, L., Dorcak, P., Pollak, F., Caganova, D., Fazio, P. and Aydin, K. (Eds.), Smart City 360°. The second EAI International Summit, Smart City 360°, Bratislava, Slovakia, November 22-24, 2016. Revised Selected Papers. . European Union Digital Library.

Achichi, M., Cheatham, M., Dragisic, Z., Euzenat, J., Faria, D., Ferrara, A., Flouris, G., Fundulaki, I., Harrow, I., Ivanova, V., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kolthoff, K., Kuss, E., Lambrix, P., Leopold, H., Li, H., Meilicke, C., Mohammadi, M., Montanelli, S., Pesquita, C., Saveta, T., Shvaiko, P., Splendiani, A., Stuckenschmidt, H., Thiéblin, E., Todorov, K., Trojahn, C. and Zamazal, O. (2017). Results of the ontology alignment evaluation initiative 2017. CEUR Workshop Proceedings, 2032, pp. 61-113.

Al-Arif, S. M., Gundry, M., Knapp, K. and Slabaugh, G. G. (2017). Improving an Active Shape Model with Random Classification Forest for Segmentation of Cervical Vertebrae. In: Yao, J., Vrtovec, T., Zheng, G., Frangi, A., Glocker, B. and Li, S. (Eds.), Improving an Active Shape Model with Random Classification Forest for Segmentation of Cervical Vertebrae. Lecture Notes in Computer Science, 10182. (pp. 3-15). Cham: Springer. ISBN 978-3-319-55049-7

Al-Arif, S. M., Gundry, M., Slabaugh, G. G. and Knapp, K. (2017). Global Localization and Orientation of the Cervical Spine in X-ray Imaging. In: Computational Methods and Clinical Applications for Spine Imaging. CSI 2016. Lecture Notes in Computer Science, 10182. (pp. 64-76). Cham: Springer. ISBN 978-3-319-55049-7

Albrecht, T., Slabaugh, G. G., Alonso, E. and Al-Arif, M. R. (2017). Deep Learning for Single-Molecule Science. Nanotechnology, doi: 10.1088/1361-6528/aa8334

Algaith, A. (2017). Technical Report: Diversity with Intrusion Detection Systems: An Empirical Study. .

Algaith, A., Elia, I. A., Gashi, I. and Vieira, M. R. (2017). Diversity with Intrusion Detection Systems: An Empirical Study. In: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA). . IEEE. ISBN 978-1-5386-1465-5

Andrienko, G., Andrienko, N., Chen, W., Maciejewski, R. and Zhao, Y. (2017). Visual Analytics of Mobility and Transportation: State of the Art and Further Research Directions. IEEE Transactions on Intelligent Transportation Systems, PP(99), doi: 10.1109/TITS.2017.2683539

Andrienko, G., Andrienko, N., Fuchs, G. and Cordero Garcia, J. M. (2017). Clustering Trajectories by Relevant Parts for Air Traffic Analysis. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2017.2744322

Andrienko, N. and Andrienko, G. (2017). State Transition Graphs for Semantic Analysis of Movement Behaviours. Information Visualization, doi: 10.1177/1473871617692841

Anisetti, M., Ardagna, C. A., Damiani, E., Maña, A. and Spanoudakis, G. (2017). Towards Transparent and Trustworthy Cloud. IEEE Cloud Computing, 4(3), pp. 40-48. doi: 10.1109/MCC.2017.51

Asad, M. (2017). Efficient hand orientation and pose estimation for uncalibrated cameras. (Unpublished Doctoral thesis, City, University of London)

Asad, M. and Slabaugh, G. G. (2017). Staged Probabilistic Regression for Hand Orientation Inference. Computer Vision and Image Understanding, 161, pp. 114-129. doi: 10.1016/j.cviu.2017.05.009

Badra, F. and Besold, T. R. (2017). Preface. CEUR Workshop Proceedings, 2028, pp. 9-11.

Basaru, R. R., Child, C. H. T., Alonso, E. and Slabaugh, G. G. (2017). Hand Pose Estimation Using Deep Stereovision and Markov-chain Monte Carlo. Paper presented at the International Conference on Computer Vision Workshop on Observing and Understanding Hands in Action, 23 Oct 2017, Venice, Italy.

Besold, T. R., Garcez, A.D, Stenning, K., van der Torre, L. and van Lambalgen, M. (2017). Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples. Minds and Machines, 27(1), pp. 37-77. doi: 10.1007/s11023-017-9428-3

Besold, T. R., Hedblom, M. M. and Kutz, O. (2017). A narrative in three acts: Using combinations of image schemas to model events. Biologically Inspired Cognitive Architectures, 19, pp. 10-20. doi: 10.1016/j.bica.2016.11.001

Besold, T. R., Kuhnberger, K-U. and Plaza, E. (2017). Towards a computational- and algorithmic-level account of concept blending using analogies and amalgams. Connection Science, 29(4), pp. 387-413. doi: 10.1080/09540091.2017.1326463

Bloomfield, R. E., Bishop, P. G., Butler, E. and Netkachova, K. (2017). Using an assurance case framework to develop security strategy and policies. Lecture Notes in Computer Science, 10489, pp. 27-38. doi: 10.1007/978-3-319-66284-8_3

Bloomfield, R. E., Butler, E. and Netkachova, K. (2017). Assurance of open systems dependability: developing a framework for automotive security and safety. Paper presented at the Sixth Workshop on Open Systems Dependability, 21 Oct 2017, Tokyo, Japan.

Bloomfield, R. E., Guerra, A. S. L., Butler, E. and Netkachova, K. (2017). Security-informed safety: integrating security within the safety demonstration of a smart device. Paper presented at the 10th International Topical Meeting on Nuclear Plant Instrumentation, Control, 11-15 Jun 2017, San Francisco, USA.

Bojanczyk, M., Daviaud, L., Guillon, B. and Penelle, V. (2017). Which Classes of Origin Graphs Are Generated by Transducers. In: Chatzigiannakis, I., Indyk, P., Kuhn, F. and Muscholl, A. (Eds.), 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 80. (114:1-114:13). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-041-5

Brown, D., Waugh, S., Bussone, A. and Stumpf, S. ORCID: 0000-0001-6482-1973 (2017). Evaluation of BeYou plus an mHealth application to support self-management strategies for people living with HIV. Paper presented at the 23rd Annual Conference of the British HIV Association (BHIVA), 4-7 Apr 2017, Liverpool, UK.

Bussone, A., Stumpf, S. and Wilson, S. (2017). The use of online forums by people living with HIV for help in understanding personal health information. International Journal of Medical Informatics, 108, pp. 64-70. doi: 10.1016/j.ijmedinf.2017.10.001

Cheok, A. D. ORCID: 0000-0001-6316-2339, Edirisinghe, C. and Karunanayaka, K. (2017). Confucius computer: a philosophical digital agent for intergenerational philosophical play. Personal and Ubiquitous Computing, 21(2), pp. 327-343. doi: 10.1007/s00779-016-0995-8

Cheok, A. D. ORCID: 0000-0001-6316-2339, Karunanayaka, K. and Zhang, E. Y. (2017). Lovotics: Human - Robot Love and Sex Relationships. In: Lin, P., Abney, K. and Jenkins, R. (Eds.), Robot Ethics 2.0: From Autonomous Cars to Artificial Intelligence. (pp. 193-213). Oxford University Press. ISBN 9780190652951

Claramunt, C., Ray, C., Salmon, L., Camossi, E., Hadzagic, M., Jousselme, A-L., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Theodoridis, Y. and Vouros, G. (2017). Maritime data integration and analysis: Recent progress and research challenges. Advances in Database Technology - EDBT, 2017, pp. 192-197. doi: 10.5441/002/edbt.2017.18

Daviaud, L., Guillon, P. and Merlet, G. (2017). Comparison of max-plus automata and joint spectral radius of tropical matrices. In: Larsen, K. G., Bodlaender, H. L. and Raskin, J-F. (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), 83. (19:1-19:14). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN 9783959770460

Daviaud, L., Jecker, I., Reynier, P-A. and Villevalois, D. (2017). Degree of Sequentiality of Weighted Automata. In: Foundations of Software Science and Computation Structures. FoSSaCS 2017. Lecture Notes in Computer Science, 10203. (pp. 215-230). Berlin: Springer. ISBN 978-3-662-54457-0

Daviaud, L. and Johnson, M. (2017). The Shortest Identities for Max-Plus Automata with Two States. In: Larsen, Kim G, Bodlaender, Hans L and Raskin, Jean-François (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), 83. (48:1-48:13). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-046-0

Denisova, A., Guckelsberger, C. and Zendle, D. (2017). Challenge in Digital Games: Towards Developing a Measurement Tool. In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. (pp. 2511-2519). New York, USA: ACM Press. ISBN 9781450346566

Donadello, I., Serafini, L. and d'Avila Garcez, A. S. (2017). Logic tensor networks for semantic image interpretation. Paper presented at the IJCAI 2017, 19-25 Aug 2017, Melbourne, Australia.

Edwards, B. I., Khougali, N. H. O. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2017). Trends in Computer-Aided Diagnosis Using Deep 2 Learning Techniques: A Review of Recent Studies on 3 Algorithm Development 4. Preprints, 2017, doi: 10.20944/preprints201710.0117.v1

Elmsley (né Lambert), A. (2017). Modelling metrical flux: an adaptive frequency neural network for expressive rhythmic perception and prediction. (Unpublished Doctoral thesis, City, University of London)

Elmsley (né Lambert), A., Weyde, T. and Armstrong, N. (2017). Generating Time: Rhythmic Perception, Prediction and Production with Recurrent Neural Networks. Journal of Creative Music Systems, 1(2), doi: 10.5920/JCMS.2017.04

Endert, A., Ribarsky, W., Turkay, C., Wong, B.L.W., Nabney, I.T., Diaz-Blanco, I. and Rossi, F. (2017). The State of the Art in Integrating Machine Learning into Visual Analytics. Computer Graphics Forum, 36(8), pp. 458-486. doi: 10.1111/cgf.13092

Frankowska-Takhari, S., MacFarlane, A., Goker, A. S. and Stumpf, S. (2017). Selecting and tailoring of images for visual impact in online journalism. Information Research, 22(1), 1619..

Fysarakis, K., Petroulakis, N., Roos, A., Abbasi, K., Vizarreta, P., Petropoulos, G., Sakic, E., Spanoudakis, G. and Askoxylakis, I. G. (2017). A Reactive Security Framework for Operational Wind Parks Using Service Function Chaining. In: Proceedings of 2017 IEEE Symposium on Computers and Communication (ISCC). . IEEE.

Galliers, J. R., Wilson, S., Marshall, J., Talbot, R., Devane, N., Booth, T., Woolf, C. and Greenwood, H. (2017). Experiencing EVA Park, A Multi-User Virtual World For People With Aphasia. ACM Transactions on Accessible Computing, 10(4), 15.. doi: 10.1145/3134227

Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 (2017). Sensorimotor Prediction with Neural Networks on Continuous Spaces. Lecture Notes in Computer Science, 10613, pp. 76-83. doi: 10.1007/978-3-319-68600-4_10

Giannopoulos, P. ORCID: 0000-0002-6261-1961, Bonnet, E. and Lampis, M. (2017). On the Parameterized Complexity of Red-Blue Points Separation. Paper presented at the 12th International Symposium on Parameterized and Exact Computation (IPEC 2017), 04 - 08 Sep 2017, Vienna, Austria.

Harder, F. and Besold, T. R. (2017). An approach to supervised learning of three valued Lukasiewicz logic in Hölldobler's core method. CEUR Workshop Proceedings, 1895, pp. 24-37.

Harrow, I., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Splendiani, A., Romacker, M., Woollard, P., Markel, S., Alam-Faruque, Y., Koch, M., Malone, J. and Waaler, A. (2017). Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. Journal of Biomedical Statistics, 8, 55.. doi: 10.1186/s13326-017-0162-9

Heeley, Robert (2017). A hybrid machine learning approach to measuring sentiment, credibility and influence on Twitter. (Unpublished Doctoral thesis, City, University of London)

Howe, J. M., Mota, E.D. and Garcez, A. (2017). Inductive learning in Shared Neural Multi-Spaces. CEUR Workshop Proceedings, 2003,

Howe, J. M., Robbins,, E and King, A (2017). Theory Learning with Symmetry Breaking. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp. 85-96. doi: 10.1145/3131851.3131861

Jawaid, M. M., Rajani, R., Liatsis, P., Reyes Aldasoro, C. and Slabaugh, G. G. (2017). Improved CTA Coronary Segmentation with a Volume-Specific Intensity Threshold. Paper presented at the Medical Image Understanding and Analysis (MIUA) 2017, 11 Jul 2017, Edinburgh, UK.

Jawaid, M. M., Rajani, R., Liatsis, P., Reyes-Aldasoro, C. C. and Slabaugh, G. G. (2017). A Hybrid Energy Model for Region Based Curve Evolution - Application to CTA Coronary Segmentation. Computer Methods and Programs in Biomedicine, doi: 10.1016/j.cmpb.2017.03.020

Jawaid, M. M., Riaz, A., Rajani, R., Reyes-Aldasoro, C. C. and Slabaugh, G. G. (2017). Framework for Detection and Localization of Coronary Non-Calcified Plaques in Cardiac CTA using Mean Radial Profiles. Computers in Biology and Medicine, 89, pp. 84-95. doi: 10.1016/j.compbiomed.2017.07.021

Jianu, R. and Alam, S. S. (2017). A Data Model and Task Space for Data of Interest (DOI) Eye-Tracking Analyses. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2017.2665498

Jimenez-Ruiz, E., Grau, B. C. and Cross, V. (2017). LogMap family participation in the OAEI 2017. CEUR Workshop Proceedings, 2032,

Kharlamov, E., Hovland, D., Skjaeveland, M. G., Bilidas, D., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Xiao, G., Soylu, A., Lanti, D., Rezk, M., Zheleznyakov, D., Giese, M., Lie, H., Ioannidis, Y., Kotidis, Y., Koubarakis, M. and Waaler, A. (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics, 44, pp. 3-36. doi: 10.1016/j.websem.2017.05.005

Khiat, A., Yaman, B., Guerrini, G., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Karam, N (2017). Boosting MultiFarm track with Turkish dataset. CEUR Workshop Proceedings, 2032, pp. 215-216.

Koloutsou, K., Kikidis, D., Spanoudakis, G., Bibas, A. and Nikolopoulos, T. (2017). Speech audiometry test with picture-related sentence lists in Modern Greek for partially hearing children. Hearing, Balance and Communication, 15(4), pp. 187-198. doi: 10.1080/21695717.2017.1389176

Koytek, P., Perin, C., Vermeulen, J., Andre, E. and Carpendale, S. (2017). MyBrush: Brushing and Linking with Personal Agency. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2017.2743859

Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. Paper presented at the 15th International Conference on Service Oriented Computing (ICSOC 2017), 13-16 Nov 2017, Malaga, Spain.

Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Validation of Service Level Agreements using Probabilistic Model Checking. Paper presented at the 14th IEEE International Conference on Services Computing, 25-30 Jun 2017, Honolulu, USA.

Laird, A. R., Riedel, M. C., Okoe, M., Jianu, R., Ray, K. L., Eickhoff, S. B., Smith, S. M., Fox, P. T. and Sutherland, M. T. (2017). Heterogeneous fractionation profiles of meta-analytic coactivation networks. NeuroImage, 149, pp. 424-435. doi: 10.1016/j.neuroimage.2016.12.037

Lee, D. (2017). Numbers, instruments and hands: the impact of faceted analytical theory on classifying music ensembles. Knowledge Organization, 44(6), pp. 405-415.

Loorak, M.H., Perin, C., Collins, C. and Carpendale, S. (2017). Exploring the Possibilities of Embedding Heterogeneous Data Attributes in Familiar Visualizations. IEEE Transactions on Visualization and Computer Graphics, 23(1), pp. 581-590. doi: 10.1109/TVCG.2016.2598586

Luzardo, A., Alonso, E. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2017). A Rescorla-Wagner Drift-Diffusion Model of Conditioning and Timing. PLoS Computational Biology, 13(11), e1005796. doi: 10.1371/journal.pcbi.1005796

Luzardo, A., Rivest, F., Alonso, E. and Ludvig, E. (2017). A Drift-Diffusion Model of Interval Timing in the Peak Procedure. Journal of Mathematical Psychology, 77, pp. 111-123. doi: 10.1016/j.jmp.2016.10.002

Martinez, M., Abdel-Fattah, A. M. H., Krumnack, U., Gomez-Ramirez, D., Smaill, A., Besold, T. R., Pease, A., Schmidt, M., Guhe, M. and Kuehnberger, K-U. (2017). Theory blending: extended algorithmic aspects and examples. Annals of Mathematics and Artificial Intelligence, 80(1), pp. 65-89. doi: 10.1007/s10472-016-9505-y

Meulemans, W., Dykes, J., Slingsby, A., Turkay, C. and Wood, J. (2017). Small Multiples with Gaps. IEEE Transactions on Visualization and Computer Graphics, 23(1), pp. 381-390. doi: 10.1109/TVCG.2016.2598542

Millan Cifuentes, J. D. (2017). Curiosity driven search experiences. (Unpublished Doctoral thesis, City, University of London)

Mondragon, E. ORCID: 0000-0003-4180-1261, Alonso, E. and Kokkola, N. (2017). Associative Learning Should Go Deep. Trends in Cognitive Science, 21(11), pp. 822-825. doi: 10.1016/j.tics.2017.06.001

Morrison, C., Cutrell, E., Dhareshwar, A., Doherty, K., Thieme, A. and Taylor, A. (2017). Imagining Artificial Intelligence Applications with People with Visual Disabilities Using Tactile Ideation. Paper presented at the ASSETS '17 The 19th International ACM SIGACCESS Conference on Computers and Accessibility, 29 October- -1 November 2017, Baltimore, MD, USA.

Neate, T., Evans, M. and Jones, M. (2017). Enhancing interaction with dual-screen television through display commonalities. In: TVX '17. Proceedings of the 2017 ACM International Conference on Interactive Experiences for TV and Online Video. (pp. 91-103). ACM. ISBN 9781450345293

Neate, T., Jones, M. and Evans, M. (2017). Cross-device media: a review of second screening and multi-device television. Personal and Ubiquitous Computing, 21(2), pp. 391-405. doi: 10.1007/s00779-017-1016-2

Netkachova, K. and Bloomfield, R. E. (2017). Is Chocolate Good for You-or, Is the Cloud Secure?. Computer, 50(8), pp. 74-78. doi: 10.1109/MC.2017.3001250

O'Sullivan, D. and Plastiras, P. (2017). Combining ontologies and open standards to derive a middle layer information model for interoperability of personal and electronic health records. Journal of Medical Systems, 41, 195.. doi: 10.1007/s10916-017-0838-9

Panteli, M., Benetos, E. ORCID: 0000-0002-6820-6764 and Dixon, S. (2017). A computational study on outliers in world music. PLOS ONE, 12(12), e0189399. doi: 10.1371/journal.pone.0189399

Pereira, S., Cross, V. and Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 (2017). On partitioning for ontology alignment. CEUR Workshop Proceedings, 1963,

Perin, C., Wun, T., Pusch, R. and Carpendale, S. (2017). Assessing the Graphical Perception of Time and Speed on 2D+Time Trajectories. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2017.2743918

Pino, L., Spanoudakis, G., Krotsiani, M. and Mahbub, K. (2017). Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, doi: 10.1109/TSC.2017.2690430

Popov, P. T. (2017). Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks. doi: 10.1109/ISSRE.2017.23 ISSN 2332-6549

Power, C., Denisova, A., Papaioannou, T. and Cairns, P. (2017). Measuring Uncertainty in Games: Design and Preliminary Validation. In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. (pp. 2839-2845). New York, USA: ACM Press. ISBN 9781450346566

Pozdniakov, K. (2017). A machine learning approach for smart computer security audit. (Unpublished Doctoral thesis, City, University of London)

Prasinos, M., Spanoudakis, G. and Koutsouris, D. (2017). Towards a Model-Driven Platform for Evidence based Public Health Policy Making. In: SEKE 2017 Proceedings of the 29th International COnference on Software Engineering & Knowledge Engineering. (pp. 566-571). Pittsburgh: KSI Research Inc. and Knowledge Systems Institute. ISBN 1-891706-41-1

Priego, E., McKiernan, E., Posada, A., Hartley, R., Rodriguez-Ortega, N., Fiormonte, D., Gil, A., Logan, C., Alperin, J.P., Mounce, R., Eglen, S., Miranda Trigueros, E., Lawson, S., Gatto, L., Ramos, A. and Pérez, N. (2017). Scholarly publishing, Freedom of Information and academic self-determination: The UNAM-Elsevier Case. Figshare, doi: 10.6084/m9.figshare.5632657.v1

Rajarajan, M. and Yogachandran, R. (2017). Efficient Privacy-Preserving Facial Expression Classification. IEEE Transactions on Dependable and Secure Computing, 14(3), pp. 326-338. doi: 10.1109/TDSC.2015.2453963

Reyes-Aldasoro, C. C. and Slabaugh, G. G. (2017). Special issue: medical image understanding and analysis. Computer Methods in Biomechanics and Biomedical Engineering: Imaging and Visualization, 5(5), p. 317. doi: 10.1080/21681163.2015.1081080

Riaz, A., Asad, M., Al-Arid, S. M. M. R., Alonso, E., Dima, D., Corr, P. J. and Slabaugh, G. G. (2017). FCNet: A Convolutional Neural Network for Calculating Functional Connectivity from functional MRI. Lecture Notes in Computer Science, 10511, pp. 70-78. doi: 10.1007/978-3-319-67159-8_9

Riaz, A., Asad, M., Alonso, E. and Slabaugh, G. G. (2017). Fusion of fMRI and Non-Imaging Data for ADHD Classification. Computerized Medical Imaging and Graphics, doi: 10.1016/j.compmedimag.2017.10.002

Rooney, C., Beecham, R., Dykes, J. ORCID: 0000-0002-8096-5763 and Wong, W. (2017). Dynamic Design Documents for supporting applied visualization. Poster presented at the IEEE VIS 2017, 01 - 06 Oct 2017, Phoenix, USA.

Russell, A. J., Benetos, E. and Garcez, A. (2017). On the Memory Properties of Recurrent Neural Models. Paper presented at the 2017 International Joint Conference on Neural Networks, 14-19 May 2017, Anchorage, USA.

Sacha, D., Al-Masoudi, F., Steinbrecher, M., Schreck, T., Keim, D., Andrienko, G. and Janetzko, H. (2017). Dynamic Visual Abstraction of Soccer Movement. Computer Graphics Forum, 36(3), pp. 305-315. doi: 10.1111/cgf.13189

Sathiyanarayanan, M. ORCID: 0000-0002-8598-1949 (2017). Improving Visual Investigation Analysis of Digital Communication Data within E-discovery. Paper presented at the VIS 2017, 1-6 Oct 2017, Phoenix, USA.

Sathiyanarayanan, M. ORCID: 0000-0002-8598-1949 and Turkay, C. ORCID: 0000-0001-6788-251X (2017). Challenges and Opportunities in using Analytics Combined with Visualisation Techniques for Finding Anomalies in Digital Communications. Paper presented at the The 16th International Conference on Artificial Intelligence and Law, 12- 16 Jun, 2017, London, United kingdom.

Schmid, U., Zeller, C., Besold, T. R., Tamaddoni-Nezhad, A. and Muggleton, S. (2017). How does predicate invention affect human comprehensibility?. Lecture Notes in Computer Science, 10326, pp. 52-67. doi: 10.1007/978-3-319-63342-8_5

Schramm, A. C. M., Mota, E. D. S., Howe, J. M. and Garcez, A. S. D. (2017). Category-based Inductive Learning in Shared NeMuS. CEUR Workshop Proceedings, 2003,

Shahegh, P., Dietz, T., Cukier, M., Algaith, A., Brozik, A. and Gashi, I. (2017). AntiVirus and Malware Analysis Tool. In: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA). . IEEE. ISBN 978-1-5386-1465-5

Shurkhovetskyy, G., Andrienko, N., Andrienko, G. and Fuchs, G. (2017). Data Abstraction for Visualizing Large Time Series. Computer Graphics Forum, doi: 10.1111/cgf.13237

Slabaugh, G. G., Gundry, M., Knapp, K., Asad, M. and Al Arif, S. M. M. R. (2017). Patch-based Corner Detection for Cervical Vertebrae in X-ray Images. Signal Processing: Image Communication, doi: 10.1016/j.image.2017.04.002

Slabaugh, G. G., Knapp, K. and Al-Arif, S. M. (2017). Probabilistic Spatial Regression using a Deep Fully Convolutional Neural Network. In: Proceedings of the British Machine Vision Conference (BMVC). (154.1-154.12). BMVA Press. ISBN 1-901725-60-X

Slingsby, A. and van Loon, E. (2017). Temporal tile-maps for characterising the temporal occupancy of places: A seabird case study. presented at the 25th Geographical Information Science (GIS) Research UK Conference, 18 Apr 2017 - 21 Apr 2017, Manchester, UK.

Solimando, A., Jimenez-Ruiz, E. and Guerrini, G. (2017). Minimizing conservativity violations in ontology alignments: algorithms and evaluation. Knowledge and Information Systems, 51(3), pp. 775-819. doi: 10.1007/s10115-016-0983-3

Solis Lemus, J., Stramer, B., Slabaugh, G. G. and Reyes-Aldasoro, C. C. (2017). Segmentation of Overlapping Macrophages Using Anglegram Analysis. Paper presented at the Medical Image Understanding and Analysis (MIUA) 2017, 11 Jul 2017, Edinburgh, UK.

Soylu, A., Giese, M., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kharlamov, E., Zheleznyakov, D. and Horrocks, I. (2017). Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Universal Access in the Information Society, 16(2), pp. 435-467. doi: 10.1007/s10209-016-0465-0

Soylu, A., Giese, M., Schlatte, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kharlamov, E., Ozcep, O., Neuenstadt, C. and Brandt, S. (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments, 9(1), pp. 77-95. doi: 10.3233/AIS-160415

Tenório, M. R., Mota, E. D. S., Howe, J. M. and Garcez, A. S. D. A. (2017). Learning about Actions and Events in Shared NeMuS. CEUR Workshop Proceedings, 2003, ISSN 1613-0073

Ter-Sarkisov, A. and Marsland, S. (2017). K-Bit-Swap: a new operator for real-coded evolutionary algorithms. Soft Computing, 21(20), pp. 6133-6142. doi: 10.1007/s00500-016-2170-6

Thudt, A. F., Perin, C., Willett, W.C. and Carpendale, S. (2017). Subjectivity in personal storytelling with visualization. Information Design Journal, 23(1), pp. 48-64. doi: 10.175/idj.23.1.07thu

Tietz, L. H. B., Katrakazas, P., Laplante-Lévesque, A., Pontoppidan, N. H., Koloutsou, N., Spanoudakis, G. and Koutsouris, D. (2017). Associations Between Hearing Performance and Physiological Measures - An Overview and Outlook. Studies in Health Technology and Informatics, 238, pp. 100-103. doi: 10.3233/978-1-61499-781-8-100

Turkay, C., Laramee, R. and Holzinger, A. (2017). On the challenges and opportunities in visualization for machine learning and knowledge extraction: A research agenda. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10410, pp. 191-198. doi: 10.1007/978-3-319-66808-6_13

Vedadi, S., Abdullah, Z. B., Arsovski, S., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Aris, B. B. (2017). The Impact of Augmented Reality on Vocabulary Acquisition in Iran. Advanced Science Letters, 23(9), 9098-9100(3). doi: 10.1166/asl.2017.10031

Walny, J., Huron, S., Perin, C., Wun, T., Pusch, R. and Carpendale, S. (2017). Active Reading of Visualizations. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2017.2745958

Waugh, S., McKay, D. and Makri, S. (2017). 'Too Much Serendipity': The Tension between Information Seeking and Encountering at the Library Shelves. In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval. (pp. 277-280). New York, NY, United States: ACM. ISBN 978-1-4503-4677-1

Xu, K., Zhang, L., Pérez, D., Nguyen, P. and Ogilvie-Smith, A (2017). Evaluating Interactive Visualization of Multidimensional Data Projection with Feature Transformation. Multimodal Technologies and Interaction, 1(3), doi: 10.3390/mti1030013

Yang, G., Zhuang, X., Khan, H., Haldar, S., Nyktari, E., Ye, X., Slabaugh, G. G., Wong, T., Mohiaddin, R., Keegan, J. and Firman, D. (2017). Segmenting Atrial Fibrosis from late Gadolinium-Enhanced Cardiac MRI by Deep-Learned Features with Stacked Sparse Auto-Encoders. Paper presented at the Medical Image Understanding and Analysis (MIUA) 2017, 11 Jul 2017, Edinburgh, UK.

Yu, S., Dong, H., Yang, G., Slabaugh, G. G., Dragotti, P. L., Ye, X., Liu, F., Arridge, S., Keegan, J., Firmin, D. and Guo, Y. (2017). Deep De-Aliasing for Fast Compressive Sensing MRI. IEEE Transactions on Medical Imaging,

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2017). HARD: Hybrid Adaptive Resource Discovery for Jungle Computing. Journal of Network and Computer Applications, 90, pp. 42-73. doi: 10.1016/j.jnca.2017.04.014

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2017). Manycore simulation for peta-scale system design: Motivation, tools, challenges and prospects. Simulation Modelling Practice and Theory, 72, pp. 168-201. doi: 10.1016/j.simpat.2016.12.014

2016

Alam, S. S. and Jianu, R. (2016). Analyzing Eye-Tracking Information in Visualization and Data Space: from Where on the Screen to What on the Screen.. IEEE Transactions on Visualization and Computer Graphics, PP(99), doi: 10.1109/TVCG.2016.2535340

Ali, H., Tran, S. N., Benetos, E. and d'Avila Garcez, A. S. (2016). Speaker recognition with hybrid features from a deep belief network. Neural Computing and Applications, doi: 10.1007/s00521-016-2501-7

Andrienko, G., Andrienko, N. and Fuchs, G. (2016). Understanding movement data quality. Journal of Location Based Services, 10(1), pp. 31-46. doi: 10.1080/17489725.2016.1169322

Andrienko, G., Andrienko, N., Fuchs, G. and Wood, J. (2016). Revealing Patterns and Trends of Mass Mobility through Spatial and Temporal Abstraction of Origin-Destination Movement Data. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2016.2616404

Andrienko, N., Andrienko, G., Fuchs, G. and Jankowski, P. (2016). Scalable and privacy-respectful interactive discovery of place semantics from human mobility traces. INFORMATION VISUALIZATION, 15(2), pp. 117-153. doi: 10.1177/1473871615581216

Beecham, R., Dykes, J., Meulemans, W., Slingsby, A., Turkay, C. and Wood, J. (2016). Map LineUps: effects of spatial structure on graphical inference. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2016.2598862

Beecham, R., Rooney, C., Meier, S., Dykes, J., Slingsby, A., Turkay, C., Wood, J. and Wong, B.L.W. (2016). Faceted Views of Varying Emphasis (FaVVEs): a framework for visualising multi-perspective small multiples. Computer Graphics Forum: the international journal of the Eurographics Association, 35(3), pp. 241-249. doi: 10.1111/cgf.12900

Botros, F., Perin, C., Aseniero, B.A. and Carpendale, S. (2016). Go and grow: Mapping personal data to a living plant. In: AVI '16 Proceedings of the International Working Conference on Advanced Visual Interfaces. (pp. 112-119). New York, NY, United States: ACM. ISBN 978-1-4503-4131-8

Bourazeri, A. ORCID: 0000-0002-0258-7648, Pitt, J. and Arnab, S. (2016). Social Mpower: An Educational Game for Energy Efficiency. In: Serious Games, Interaction and Simulation: SGAMES 2016. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (176). (pp. 133-140). Cham: Springer. ISBN 9783319510545

Burnett, M., Stumpf, S., Macbeth, J., Makri, S., Beckwith, L., Kwan, I., Peters, A. and Jernigan, W. (2016). GenderMag: A Method for Evaluating Software's Gender Inclusiveness. Interacting with Computers, 28(6), pp. 760-787. doi: 10.1093/iwc/iwv046

Cabello, S. and Giannopoulos, P. ORCID: 0000-0002-6261-1961 (2016). The Complexity of Separating Points in the Plane. Algorithmica, 74(2), pp. 643-663. doi: 10.1007/s00453-014-9965-6

Cheok, A. D. ORCID: 0000-0001-6316-2339 and Ricart, C. P. (2016). Welcome to MTI—A New Open Access Journal Dealing with Blue Sky Research and Future Trends in Multimodal Technologies and Interaction. Multimodal Technologies and Interaction, 1(1), doi: 10.3390/mti1010001

Cherla, S (2016). Neural ProbabilisticModels for Melody Prediction, Sequence Labelling and Classification. (Unpublished Doctoral thesis, City, University of London)

Cherla, S., Tran, S.N., Weyde, T. and Garcez, A. (2016). Generalising the Discriminative Restricted Boltzmann Machine.

Child, C. H. T. ORCID: 0000-0001-5425-2308 and Georgeson, J. (2016). NPCs as People, Too: The Extreme AI Personality Engine. City, University of London.

Colcombet, T. and Daviaud, L. (2016). Approximate Comparison of Functions Computed by Distance Automata. Theory of Computing Systems, 58(4), pp. 579-613. doi: 10.1007/s00224-015-9643-3

Cole, L., MacFarlane, A. and Buchanan, G. (2016). Does dyslexia present barriers to information literacy in an online environment? A pilot studynformation Research. Library and Information Research, 40(123), pp. 24-46.

Daviaud, L., Kuperberg, D. and Pin, J-E. (2016). Varieties of Cost Functions. In: Ollinger, Nicolas and Vollmer, Heribert (Eds.), 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Leibniz International Proceedings in Informatics (LIPIcs), 47. (30:1-30:14). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-001-9

Daviaud, L., Reynier, P-A. and Talbot, J-M. (2016). A Generalised Twinning Property for Minimisation of Cost Register Automata. In: LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS, 2016. (pp. 857-866). New York, NY: ACM. ISBN 978-1-4503-4391-6

Denisova, A., Nordin, A. I. and Cairns, P. (2016). The Convergence of Player Experience Questionnaires. In: Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play. (pp. 33-37). New York: ACM. ISBN 978-1-4503-4456-2

Duckham, M., van Kreveld, M., Purves, R., Speckmann, B., Tao, Y., Verbeek, K. and Wood, J. (2016). Modeling Checkpoint-Based Movement with the Earth Mover's Distance. Geographic Information Science. GIScience 2016. Lecture Notes in Computer Science, 9927, doi: 10.1007/978-3-319-45738-3_15

Edwards, B. I., Muniru, I. O. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2016). Robots to the Rescue: A Review of Studies on Differential Medical Diagnosis Employing Ontology-Based Chat Bot Technology. Preprints, doi: 10.20944/preprints201612.0027.v1

Exarchos, T. P., Rigas, G., Bibas, A., Kikidis, D., Nikitas, C., Wuyts, F. L., Ihtijarevic, B., Maes, L., Cenciarini, M., Maurer, C., Macdonald, N., Bamiou, D. E., Luxon, L., Prasinos, M., Spanoudakis, G., Koutsouris, D. and Fotiadis, D. I. (2016). Mining balance disorders' data for the development of diagnostic decision support systems. Computers in Biology and Medicine, 77, pp. 240-248. doi: 10.1016/j.compbiomed.2016.08.016

Forechi, A., De Souza, A.F., Neto, J.D.O., de Aguiar, E., Badue, C., Garcez, A. and Oliveira-Santos, T. (2016). Fat-Fast VG-RAM WNN: A high performance approach. NEUROCOMPUTING, 183, pp. 56-69. doi: 10.1016/j.neucom.2015.06.104

Gashi, I., Povyakalo, A. A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: modelling adversary effort and supply chain risks. In: 2016 12th European Dependable Computing Conference (EDCC). . IEEE. ISBN 978-1-5090-1582-5

Gepperth, Alexander R. T., Garcia Ortiz, M. ORCID: 0000-0003-4729-7457, Sattarov, E. and Heisele, B. (2016). Dynamic attention priors: a new and efficient concept for improving object detection. Neurocomputing, 197, pp. 14-28. doi: 10.1016/j.neucom.2016.01.036

Gomez, S., Jianu, R., Cabeen, R., Guo, H. and Laidlaw, D. H. (2016). Fauxvea: Crowdsourcing Gaze Location Estimates for Visualization Analysis Tasks. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2016.2532331

Hakobyan, L., Lumsden, J., O'Sullivan, D. and Shaw, R. (2016). A longitudinal evaluation of the acceptability and impact of a diet diary app for older adults with age-related macular degeneration. Paper presented at the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI '16), 6-9 Sep 2016, Florence, Italy.

Hall, K. W., Perin, C., Kusalik, P. G., Gutwin, C. and Carpendale, S. (2016). Formalizing Emphasis in Information Visualization. Computer Graphics Forum, 35(3), pp. 717-737. doi: 10.1111/cgf.12936

Kalyvianaki, E., Fiscato, M., Salonidis, T. and Pietzuch, P. (2016). THEMIS: Fairness in Federated Stream Processing under Overload. Paper presented at the 2016 ACM International Conference on Management of Data (SIGMOD), 26 Jun - 01 Jul 2016, San Francisco, USA.

Kharlamov, E., Brandt, S., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kotidis, Y., Lamparter, S., Mailis, T., Neuenstadt, C., Oezcep, O., Pinkel, C., Svingos, C., Zheleznyakov, D., Horrocks, I., Ioannidis, Y. and Moeller, R. (2016). Ontology-Based Integration of Streaming and Static Relational Data with Optique. In: SIGMOD '16 Proceedings of the 2016 International Conference on Management of Data. (pp. 2109-2112). New York: ACM. ISBN 978-1-4503-3531-7

Konkova, E., MacFarlane, A. and Goker, G. (2016). Analysing Creative Image Search Information Needs. Knowledge Organization: international journal devoted to concept theory, classification, indexing, and knowledge representation, 43(1), pp. 13-21. doi: 10.5771/0943-7444-2016-1-13

Krotsiani, M. (2016). Model driven certification of Cloud service security based on continuous monitoring. (Unpublished Doctoral thesis, City University London)

Lambert, A. J., Weyde, T. ORCID: 0000-0001-8028-9905 and Armstrong, N. ORCID: 0000-0002-1927-7371 (2016). Adaptive Frequency Neural Networks for Dynamic Pulse and Metre Perception. In: Mandel, M. I., Devaney, J., Turnbull, D. and Tzanetakis, G. (Eds.), Proceedings of the 17th International Society for Music Information Retrieval Conference, ISMIR 2016, New York City, United States, August 7-11, 2016. (pp. 60-66). Dagstuhl: Schloss Dagstuhl LZI,. ISBN 978-0-692-75506-8

Lay, S., Vermeulen, J., Perin, C., Donovan, E., Dachselt, R. and Carpendale, S. (2016). Slicing the aurora: An immersive proxemics-aware visualization. In: Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces. (pp. 91-97). New York, NY, United States: ACM. ISBN 9781450345309

Li, S., Fu, X., Alonso, E., Fairbank, M. and Wunsch, D. C. (2016). Neural-network based vector control of VSCHVDC transmission systems. Paper presented at the 4th International Conference on Renewable Energy Research and Applications (ICRERA), 22-25 Nov 2015, Palermo, Italy.

Loorak, M. H., Perin, C., Kamal, N., Hill, M. A. and Carpendale, S. (2016). TimeSpan: Using Visualization to Explore Temporal Multi-dimensional Data of Stroke Patients.. IEEE Transactions on Visualization and Computer Graphics, 22(1), pp. 409-418. doi: 10.1109/TVCG.2015.2467325

MacFarlane, A. (2016). Knowledge Organisation and its Role in Multimedia Information Retrieval. Knowledge Organization, 43(3), pp. 180-183.

Meng, X. and Spanoudakis, G. (2016). MBotCS: A mobile botnet detection system based on machine learning. Lecture Notes in Computer Science, 9572, pp. 274-291. doi: 10.1007/978-3-319-31811-0_17

Mondragon, E. ORCID: 0000-0003-4180-1261 and Alonso, E. (2016). Hall and Rodríguez model as a particular case of the Pearce and Hall model: A formal analysis. St Albans, UK: Centre for Computational and Animal Learning Research.

Neate, T., Evans, M. and Jones, M. (2016). Designing Visual Complexity for Dual-screen Media. In: CHI '16. Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. (pp. 475-486). ACM. ISBN 9781450333627

Neate, T., Jones, M. and Evans, M. (2016). Interdevice media: choreographing content to maximize viewer engagement. Computer, 49(12), doi: 10.1109/MC.2016.375

Nguyen, P., Xu, K., Bardill, A., Salman, B., Herd, K. and Wong, W. (2016). SenseMap: Supporting Browser-based Online Sensemaking through Analytic Provenance. Paper presented at the VIS 2016, 23-28 Oct 2016, Baltimore, USA.

Nguyen, P., Xu, K., Walker, R. and Wong, B.L.W. (2016). TimeSets: Timeline visualization with set relations. Information Visualization, 15(3), pp. 253-269. doi: 10.1177/1473871615605347

Nguyen, P., Xu, K., Wheat, A., Wong, B.L.W., Attfield, S. and Fields, B. (2016). SensePath: Understanding the Sensemaking Process Through Analytic Provenance. IEEE Transactions on Visualization and Computer Graphics, 22(1), pp. 41-50. doi: 10.1109/TVCG.2015.2467611

O'Sullivan, D., Wilk, S., Kuziemsky, C., Michalowski, W. and Farion, K. (2016). Is There a Consensus when Physicians Evaluate the Relevance of Retrieved Systematic Reviews?. Methods of Information in Medicine, 55(3), pp. 292-298. doi: 10.3414/ME15-01-0131

Parhizkar, M. (2016). Impact analysis of enterprise resource planning post-implementation modifications. (Unpublished Doctoral thesis, City, University of London)

Percy, C., Garcez, A., Dragicevic, S., França, M. V. M., Slabaugh, G. G. and Weyde, T. (2016). The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks. Frontiers in Artificial Intelligence and Applications, 285, pp. 974-981. doi: 10.3233/978-1-61499-672-9-974

Perin, C., Boy, J. and Vernier, F. (2016). Using Gap Charts to Visualize the Temporal Evolution of Ranks and Scores. IEEE Computer Graphics and Applications, 36(5), pp. 38-49. doi: 10.1109/MCG.2016.100

Petit, O., Basso, F., Merunka, D., Spence, C., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Oullier, O. (2016). Pleasure and the Control of Food Intake: An Embodied Cognition Approach to Consumer Self‐Regulation. Psychology & Marketing, 33(8), pp. 608-619. doi: 10.1002/mar.20903

Petit, O., Merunka, D., Anton, J-L., Nazarian, B., Spence, C., Cheok, A. D. ORCID: 0000-0001-6316-2339, Raccah, D. and Oullier, O. (2016). Health and Pleasure in Consumers' Dietary Food Choices: Individual Differences in the Brain's Value System. PLoS ONE, 11(7), e0156333. doi: 10.1371/journal.pone.0156333

Petit, O., Velasco, C., Cheok, A. D. ORCID: 0000-0001-6316-2339, Woods, A. T. and Spence, C. (2016). Reduire l’effet de taille de portion par l’imagerie mentale; Reducing the portion size effect through mental imagery. Paper presented at the Actes du 32ème Congrès de l’Association Française du Marketing, 18 - 20 May 2016, Lyon, France.

Petroulakis, N. E., Spanoudakis, G. and Askoxylakis, I. G. (2016). Patterns for the design of secure and dependable software defined networks. Computer Networks, 109(1), pp. 39-49. doi: 10.1016/j.comnet.2016.06.028

Petroulakis, N. E., Spanoudakis, G., Askoxylakis, I. G., Miaoudakis, A. and Traganitis, A. (2016). A Pattern-Based Approach for Designing Reliable Cyber-Physical Systems. In: 2015 IEEE Global Communications Conference (GLOBECOM). . IEEE. ISBN 978-1-4799-5952-5

Rahman, N. E. A., Azhar, A., Karunanayaka, K., Cheok, A. D. ORCID: 0000-0001-6316-2339, Johar, M. A. M. and Gross, J. (2016). Magnetic Table Interface and Magnetic Foods. In: HAI '16 Proceedings of the Fourth International Conference on Human Agent Interaction. (pp. 79-81). New York, NY: ACM. ISBN 978-1-4503-4508-8

Riaz, A., Alonso, E. and Slabaugh, G. G. (2016). Phenotypic Integrated Framework for Classification of ADHD using fMRI. In: Image Analysis and Recognition. ICIAR 2016. Lecture Notes in Computer Science, 9730. (pp. 217-225). Cham: Springer. ISBN 978-3-319-41500-0

Sadeghi, J., Perin, C., Flemisch, T., Hancock, M. and Carpendale, S. (2016). Flexible trees: Sketching tree layouts. In: AVI '16 Proceedings of the International Working Conference on Advanced Visual Interfaces. (pp. 84-87). New York, USA: ACM. ISBN 9781450341318

Samshir, N. A., Johari, N., Karunanayaka, K. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2016). Thermal Sweet Taste Machine for Multisensory Internet. In: HAI 2016 - Proceedings of the 4th International Conference on Human Agent Interaction. (pp. 325-328). ACM. ISBN 978-1-4503-4508-8

Sarkar, S., Weyde, T., Garcez, A., Slabaugh, G. G., Dragicevic, S. and Percy, C. (2016). Accuracy and interpretability trade-offs in machine learning applied to safer gambling. CEUR Workshop Proceedings, 1773,

Sathiyanarayanan, M. and Turkay, C. (2016). Determining and Visualising E-mail Subsets to Support E-discovery *

Sherwani, Dara (2016). What makes reviews trustworthy? An investigation of user trust in online reviews when making purchase decisions. (Unpublished Doctoral thesis, City, University of London)

Slabaugh, G. G., Asad, M. and Yang, G. (2016). Supervised Partial Volume Effect Unmixing for Brain Tumor Characterization using Multi-voxel MR Spectroscopic Imaging. 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI), pp. 436-439. doi: 10.1109/ISBI.2016.7493301

Slabaugh, G. G., Child, C. H. T., Alonso, E. and Basaru, R. R. (2016). HandyDepth: Example-based Stereoscopic Hand Depth Estimation using Eigen Leaf Node Features. Paper presented at the International Conference on Systems, Signals and Image Processing, 23-25 May 2016, Bratislava, Slovakia.

Stankovic, V. and Popov, P. T. (2016). TPC-C Client - Java-based implementation of the industry standard benchmark for database performance evaluation

Tran, Son (2016). Representation decomposition for knowledge extraction and sharing using restricted Boltzmann machines. (Unpublished Doctoral thesis, City University London)

Ul Asad, H. and Jones, K. (2016). Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Design and Test, 33(5), pp. 35-43. doi: 10.1109/MDAT.2016.2573588

Uus, A., Liatsis, P., Slabaugh, G. G., Anagnostis, A., Roberts, S. and Twist, S. (2016). Trend Deviation Analysis for Automated Detection of Defects in GPR Data for Road Condition Surveys. Proceedings of the 23rd International Conference on Systems, Signals and Image Processing (IWSSIP 2016), doi: 10.1109/IWSSIP.2016.7502765

Velasco, C., Spence, C. and Cheok, A. D. ORCID: 0000-0001-6316-2339 (2016). Shaping taste. Integrative Food, Nutrition and Metabolism, 3(1), pp. 256-261. doi: 10.15761/IFNM.1000139

Velasco, C., Woods, A. T., Marks, L. E., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Spence, C. (2016). The semantic basis of taste-shape associations. PeerJ, 4(e1644), doi: 10.7717/peerj.1644

Vuillemot, R. and Perin, C. (2016). Sports Tournament Predictions Using Direct Manipulation. IEEE Computer Graphics and Applications, 36(5), pp. 62-71. doi: 10.1109/MCG.2016.90

Wilk, S., O'Sullivan, D., Kezadri-Hamiaz, M., Kuziemsky, C., Rosu, D., Michalowski, W. and Fung-Kee-Fung, M. (2016). Aligning Interdisciplinary Healthcare Team Behavior with Workflow Execution: An Example of a Radical Prostatectomy Workflow. 2016 IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), doi: 10.1109/CBMS.2016.62

Wohlfarth, I. (2016). Nietzsche y Benjamin: hombres del extranjero. In: Cohen, E., R. Brondo, E., Santangelo, E. and Santoveña, M. (Eds.), Walter Benjamin Fragmentos críticos. (pp. 77-96). Mexico: Universidad Nacional Autónoma de México. ISBN 9786070275166

Wood, J. (2016). Visual Analytic Design for Contextualising Sensor Data. Paper presented at the VIS 2016, 23-28 Oct 2016, Baltimore, USA.

Yang, G., Ye, X., Slabaugh, G. G., Keegan, J., Mohiaddin, R. and Firman, D. (2016). Super-Resolved Enhancement of a Single Image and Its Application in Cardiac MRI. Paper presented at the 7th International Conference, ICISP 2016, 30 May - 01 Jun 2016, Quebec, Canada.

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2016). ElCore: Dynamic elastic resource management and discovery for future large-scale manycore enabled distributed systems. Microprocessors and Microsystems, 46(B), pp. 221-239. doi: 10.1016/j.micpro.2016.06.007

2015

Al Arifi, S. M. M. R., Asad, M., Knapp, K., Gundry, M. and Slabaugh, G. G. (2015). Cervical Vertebral Corner Detection using Haar-like Features and Modified Hough Forest. In: 2015 International Conference on Image Processing Theory, Tools and Applications. (pp. 417-422). IEEE. ISBN 978-1-4799-8636-1

Al-Arif, S. M., Asad, M., Knapp, K., Gundry, M. and Slabaugh, G. G. (2015). Hough Forest-based Corner Detection for Cervical Spine Radiographs. Paper presented at the Medical Image Understanding and Analysis Conference, MIUA 2015, 15-07-2015 - 17-07-2015, University of Lincoln, UK.

Alonso, E., Fairbank, M. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2015). Back to optimality: a formal framework to express the dynamics of learning optimal behavior. Adaptive Behavior, 23(4), pp. 206-215. doi: 10.1177/1059712315589355

Andrienko, N., Andrienko, G., Fuchs, G. and Jankowski, P. (2015). Visual Analytics Methodology for Scalable and Privacy-Respectful Discovery of Place Semantics from Episodic Mobility Data. Lecture Notes in Computer Science, 9286, pp. 254-258. doi: 10.1007/978-3-319-23461-8_25

Andrienko, N., Andrienko, G., Fuchs, G., Rinzivillo, S. and Betz, H-D. (2015). Real Time Detection and Tracking of Spatial Event Clusters. Lecture Notes in Computer Science, 9286, pp. 316-319. doi: 10.1007/978-3-319-23461-8_38

Asad, M., Gentet, E., Basaru, R. R. and Slabaugh, G. G. (2015). Generating a 3d hand model from frontal color and range scans. In: 2015 IEEE International Conference on Image Processing (ICIP). (pp. 4589-4593). IEEE. ISBN 9781479983391

Badawood, Donia (2015). Narrative construction in information visualisation. (Unpublished Doctoral thesis, City, University of London)

Beecham, R. (2015). Using Bikeshare Datasets to Improve Urban Cycling Experience and Research Urban Cycling Behaviour. In: Gerike, R. and Parkin, J. (Eds.), Cycling Futures: From Research into Practice. (pp. 267-283). Farnham: Ashgate. ISBN 978-1-4724-5361-7

Beecham, R., Dykes, J., Slingsby, A. and Turkay, C. (2015). Supporting crime analysis through visual design. Paper presented at the VIS 2015, 25-10-2015 - 30-10-2015, Chicago, USA.

Belmonte Martin, A., Marinos, L., Rekleitis, E., Spanoudakis, G. and Petroulakis, N. E. (2015). European Union Agency for Network and Information Security (ENISA).

Besold, T. R., Hernández-Orallo, J. and Schmid, U. (2015). Can Machine Intelligence be Measured in the Same Way as Human intelligence?. Kunstliche Intelligenz, 29(3), pp. 291-297. doi: 10.1007/s13218-015-0361-4

Besold, T. R., Kuehnberger, K-U., Garcez, A., Saffiotti, A., Fischer, M. H. and Bundy, A. (2015). Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition. Lecture Notes in Computer Science, 9205, pp. 35-45. doi: 10.1007/978-3-319-21365-1_4

Besold, T. R. and Kuhnberger, K-U. (2015). Towards integrated neural-symbolic systems for human-level AI: Two research programs helping to bridge the gaps. Biologically Inspired Cognitive Architectures, 14, pp. 97-110. doi: 10.1016/j.bica.2015.09.003

Bonardi, C., Mondragon, E. ORCID: 0000-0003-4180-1261, Brilot, B. and Jennings, D. J. (2015). Overshadowing by fixed- and variable-duration stimuli. Quarterly Journal of Experimental Psychology, 68(3), pp. 523-542. doi: 10.1080/17470218.2014.960875

Booth, T. (2015). Making progress: Barriers to success in end-user developers' physical prototyping. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, 2015-D, pp. 299-300. doi: 10.1109/VLHCC.2015.7357236

Busquets, J. G., Alonso, E. and Evans, A. (2015). Application of Data Mining in Air Traffic Forecasting. Paper presented at the 15th AIAA Aviation Technology, Integration, and Operations Conference, 22-06-205 - 26-06-2015, Dallas, USA.

Busquets, J. G., Alonso, E. and Evans, A. (2015). Application of Data Mining to forecast Air Traffic: A 3-Stage Model using Discrete Choice Modeling. Paper presented at the 16th AIAA Aviation Technology, Integration, and Operations Conference, 13-17 Jun 2016, Washington D.C., USA.

Bussone, A., Stumpf, S. and O'Sullivan, D. (2015). The Role of Explanations on Trust and Reliance in Clinical Decision Support Systems. Paper presented at the 2015 International Conference on Healthcare Informatics, 21-10-2015 - 23-10-2015, Dallas, USA.

Cecchinato, M.E., Cox, A. L. and Bird, J. (2015). Smartwatches: The good, the bad and the Ugly? In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. (pp. 2133-2138). New York, NY, United States: ACM. ISBN 9781450331463

Cecchinato, M.E., Cox, A. L. and Bird, J. (2015). Working 9-5? Professional differences in email and boundary management practices. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. (pp. 3989-3998). New York, NY, United States: ACM. ISBN 9781450331456

Daviaud, L. and Paperman, C. (2015). Classes of Languages Generated by the Kleene Star of a Word. In: Italiano, G., Pughizzini, G. and Sannella, D. (Eds.), Mathematical Foundations of Computer Science 2015. MFCS 2015. Lecture Notes in Computer Science, 9234. (pp. 161-178). Berlin: Springer. ISBN 978-3-662-48056-4

Denisova, A. and Cairns, P. (2015). Adaptation in Digital Games: The Effect of Challenge Adjustment on Player Performance and Experience. In: Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. (pp. 97-101). New York: ACM Press. ISBN 9781450334662

Denisova, A. and Cairns, P. (2015). First Person vs. Third Person Perspective in Digital Games: Do Player Preferences Affect Immersion? In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. (pp. 145-148). New York: ACM. ISBN 978-1-4503-3145-6

Denisova, A. and Cairns, P. (2015). The Placebo Effect in Digital Games. In: Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. (pp. 23-33). New York: ACM. ISBN 9781450334662

Dykes, J., Rooney, C., Beecham, R., Turkay, C., Slingsby, A., Wood, J. and Wong, W. (2015). Multi-Perspective Synopsis with Faceted Views of Varying Emphasis. Paper presented at the VIS 2015, 25-10-2015 - 30-10-2015, Chicago, USA.

Egea, M., Spanoudakis, G., Mahbub, K. and Vieira, M. R. (2015). A Certification Framework for Cloud Security Properties: The Monitoring Path. Lecture Notes in Computer Science, 8937, pp. 63-77. doi: 10.1007/978-3-319-17199-9_3

Faruki, P., Bharmal, A., Laxmi, V., Ganmoor, V., Gaur, M. S., Conti, M. and Rajarajan, M. (2015). Android Security: A Survey of Issues, Malware Penetration, and Defenses. IEEE Communications Surveys and Tutorials, 17(2), pp. 998-1022. doi: 10.1109/COMST.2014.2386139

França, M. V. M., Zaverucha, G. and Garcez, A. (2015). Neural Relational Learning Through Semi-Propositionalization of Bottom Clauses. Paper presented at the 2015 AAAI Spring Symposium Series, 23-03-2015 - 25-03-2015, Stanford University, USA.

Garcez, A., Besold, T. R., Raedt, L., Foldiak, P., Hitzler, P., Icard, T., Kuhnberger, K-U., Lamb, L. C., Miikkulainen, R. and Silver, D. L. (2015). Neural-Symbolic Learning and Reasoning: Contributions and Challenges. Paper presented at the 2015 AAAI Spring Symposium Series, 23-03-2015 - 25-03-2015, Stanford University, USA.

Georgiou, A. and Makri, S. (2015). How local government policy workers use information: An interview study and design recommendations. International Journal of Information Management, 35(4), pp. 472-489. doi: 10.1016/j.ijinfomgt.2015.03.004

Georgiou, D., MacFarlane, A. and Russell-Rose, T. (2015). Extracting Sentiment from Healthcare Survey Data: An Evaluation of Sentiment Analysis Tools. In: 2015 Science and Information Conference (SAI). . IEEE. ISBN 978-1-4799-8547-0

Goodwin, S., Dykes, J., Slingsby, A. and Turkay, C. (2015). Visualizing Multiple Variables Across Scale and Geography. IEEE Transactions on Visualization and Computer Graphics (Proceedings of the Visual Analytics Science and Technology / Information Visualization / Scientific Visualization 2015), 22(1), pp. 599-608. doi: 10.1109/TVCG.2015.2467199

Henkin, R., Slingsby, A. and Dykes, J. (2015). Exploring Temporal Granularities with Visualization. Poster presented at the VIS 2015, 25-10-2015 - 30-10-2015, Chicago, USA.

Jebri, B., Phillips, M. L., Knapp, K., Appelboam, A., Reuben, A. and Slabaugh, G. G. (2015). Detection of degenerative change in lateral projection cervical spine x-ray images. Progress in Biomedical Optics and Imaging - Proceedings of SPIE, 9414, p. 941404. doi: 10.1117/12.2082515

Karcanias, N., Hessami, A. G. and Alonso, E. (2015). Complexity of Multi-Modal Transportation and Systems of Systems. Paper presented at the 47th Annual Universities’ Transport Study Group Conference (UTSG 2015), 24 Dec 2014 - 5 Jan 2015, London, UK.

Katopodis, Spyros (2015). Hybrid cloud security certification. (Submitted Masters thesis, City University London)

Krotsiani, M., Spanoudakis, G. and Kloukinas, C. (2015). Monitoring-Based Certification of Cloud Service Security. Lecture Notes in Computer Science, 9415, pp. 644-659. doi: 10.1007/978-3-319-26148-5_44

Kulesza, T., Burnett, M., Wong, W-K. and Stumpf, S. (2015). Principles of Explanatory Debugging to personalize interactive machine learning. In: Brdiczka, O. and Chau, P (Eds.), Proceedings of the 20th International Conference on Intelligent User Interfaces. (pp. 126-137). New York, USA: ACM. ISBN 9781450333061

Lahtinen, K., Slingsby, A., Dykes, J., Butt, S. and Fitzgerald, R. (2015). Informing Non-Response Bias Model Creation in Social Surveys with Visualisation. Paper presented at the VIS 2015, 25-10-2015 - 30-10-2015, Chicago, USA.

Lambert, A., Weyde, T. and Armstrong, N. (2015). Perceiving and predicting expressive rhythm with recurrent neural networks. In: Proceedings of the 12th International Conference in Sound and Music Computing. . Maynooth, Ireland: SMC15. ISBN 9780992746629

Mantas, G., Komninos, N., Rodriuez, J., Logota, E. and Marques, H. (2015). Security for 5G Communications. In: Rodriguez, J. (Ed.), Fundamentals of 5G Mobile Networks. (pp. 207-220). John Wiley & Sons, Ltd.. ISBN 9781118867464

Mimi, Y. (2015). The Routine Health Information System in Palestine: Determinants and Performance. (Unpublished Doctoral thesis, City University London)

Mondragon, E. ORCID: 0000-0003-4180-1261 and Hall, G. (2015). Analysis of the role of stimulus comparison in discrimination learning in Pigeons. Learning and Motivation, 49, pp. 14-22. doi: 10.1016/j.lmot.2015.01.003

Narang, B., Phillips, M. L., Knapp, K., Appelboam, A., Reuben, A. and Slabaugh, G. G. (2015). Semi-automatic delineation of the spino-laminar junction curve on lateral X-ray radiographs of the cervical spine. Progress in Biomedical Optics and Imaging - Proceedings of SPIE, 9413, 94132P. doi: 10.1117/12.2082036

Naval, S., Laxmi, V., Rajarajan, M., Gaur, M. S. and Conti, M. (2015). Employing Program Semantics for Malware Detection. IEEE Transactions on Information Forensics and Security, 10(12), pp. 2591-2604. doi: 10.1109/TIFS.2015.2469253

Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. E. (2015). Investigation into a Layered Approach to Architecting Security-Informed Safety Cases. Paper presented at the 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 13-09-2015 - 17-09-2015, Prague, Czech Republic.

Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. E. (2015). Security-Informed Safety Case Approach to Analysing MILS Systems. Paper presented at the International Workshop on MILS: Architecture and Assurance for Secure Systems, 19-21 January 2015, Amsterdam, The Netherlands.

Okoe, M. and Jianu, R. (2015). GraphUnit: Evaluating Interactive Graph Visualizations Using Crowdsourcing. Computer Graphics Forum, 34(3), pp. 451-460. doi: 10.1111/cgf.12657

Ostermann, F. O., Huang, H., Andrienko, G., Andrienko, N., Capineri, C., Farkas, K. and Purves, R. S. (2015). Extracting and comparing places using geo-social media. ISPRS GEOSPATIAL WEEK 2015, II-3(W5), doi: 10.5194/isprsannals-II-3-W5-311-2015 ISSN 2194-9034

Palacios, M., García-Fanjul, J., Tuya, J. and Spanoudakis, G. (2015). Automatic test case generation for WS-Agreements using combinatorial testing. Computer Standards and Interfaces, 38, pp. 84-100. doi: 10.1016/j.csi.2014.10.003

Palacios, M., García-Fanjul, J., Tuya, J. and Spanoudakis, G. (2015). Coverage Based Testing for Service Level Agreements. IEEE Transactions on Services Computing, 8(2), pp. 299-313. doi: 10.1109/TSC.2014.2300486

Pawar, Pramod S (2015). Cloud Broker Based Trust Assessment of Cloud Service Providers. (Unpublished Doctoral thesis, City University London)

Perotti, A., d'Avila Garcez, A. S. and Boella, G. (2015). Neural-Symbolic Monitoring and Adaptation. In: Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2015). (pp. 1-8). IEEE.

Pino, L., Spanoudakis, G., Fuchs, A. and Guergens, S. (2015). Generating Secure Service Compositions. Lecture Notes in Computer Science, 512, pp. 81-99. doi: 10.1007/978-3-319-25414-2_6

Pino, Luca (2015). Security Aware Service Composition. (Unpublished Doctoral thesis, City University London)

Popov, P. T. (2015). Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. Paper presented at the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, 23-09-2015 - 25-09-2015, Delft University of Technology, Netherlands.

Rangiha, M. E., Comuzzi, M. and Karakostas, B. (2015). Role and task recommendation and social tagging to enable social business process management. Lecture Notes in Business Information Processing, 214, pp. 68-82. doi: 10.1007/978-3-319-19237-6_5

Robbins, E., Howe, J. M. and King, A. (2015). Theory propagation and reification. Science of Computer Programming, 111(1), pp. 3-22. doi: 10.1016/j.scico.2014.05.013

Sajjad, A., Rajarajan, M., Zisman, A. and Dimitrakos, T. (2015). A scalable and dynamic application-level secure communication framework for inter-cloud services. Future generation computer systems: the international journal of grid computing and escience, 48(July), pp. 19-27. doi: 10.1016/j.future.2015.01.018

Shuhui, L., Fu, X., Jaithwa, I., Alonso, E., Fairbank, M. and Wunsch, D. C. (2015). Control of Three-Phase Grid-Connected Microgrids Using Artificial Neural Networks. Paper presented at the 7th International Joint Conference on Computational Intelligence (IJCCI 2015), 12-11-2015 - 14-11-2015, Lisbon, Portugal.

Sigtia, S., Benetos, E., Boulanger-Lewandowski, N., Weyde, T., Garcez, A. and Dixon, S. (2015). A Hybrid Recurrent Neural Network For Music Transcription. Paper presented at the 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015, 19-04-2015 - 24-04-2015, Brisbane, Australia.

Slabaugh, G. G., Basaru, R. R., Child, C. H. T. and Alonso, E. (2015). Quantized Census for Stereoscopic Image Matching. Paper presented at the Second International Conference on 3D Vision (3DV 2014), 08-12-2014 - 11-12-2014, Tokyo, Japan.

Stowell, D., Giannoulis, D., Benetos, E., Lagrange, M. and Plumbley, M. D. (2015). Detection and Classification of Acoustic Scenes and Events. IEEE Transactions on Multimedia, 17(10), pp. 1733-1746. doi: 10.1109/TMM.2015.2428998

Taylor, A., Lindley, S., Regan, T., Sweeney, D., Vlachokyriakos, V., Grainger, L., Lingel, J. and Machinery, A. C. (2015). Data-in-Place: Thinking through the Relations Between Data and Community. Paper presented at the Conference on Human Factors in Computing Systems, April 18-23, 2015, Seoul, Republic of Korea.

Teichmann, J., Alonso, E. and Broom, M. (2015). A reward-driven model of Darwinian fitness. Paper presented at the 7th International Joint Conference on Computational Intelligence (IJCCI 2015), 12-14 Nov 2015, Lisbon, Portugal.

Ul Asad, H. and Jones, K. (2015). Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. Paper presented at the 25th edition on Great Lakes Symposium on VLSI, 20-05-2015 - 22-05-2015, Pittsburgh, USA.

Van Delft, B., Hunt, S. and Sands, D. (2015). Very static enforcement of dynamic policies. Lecture Notes in Computer Science, 9036, pp. 32-52. doi: 10.1007/978-3-662-46666-7_3

Vermeulen, J., Luyten, K., Coninx, K., Marquardt, N. and Bird, J. (2015). Proxemic Flow: Dynamic Peripheral Floor Visualizations for Revealing and Mediating Large Surface Interactions. Human-Computer Interaction – INTERACT 2015. Lecture Notes in Computer Science, 9299, pp. 264-281. doi: 10.1007/978-3-319-22723-8_22

Vives, S., Dykes, J. and Merryweather, A. (2015). Visualization for Equity Analysts: Using the DSM in Stock Picking. Paper presented at the VIS 2015, 25-10-2015 - 30-10-2015, Chicago, USA.

Vuillemot, R. and Perin, C. (2015). Investigating the direct manipulation of ranking tables for time navigation. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. (pp. 2703-2706). ACM. ISBN 9781450331456

White, P. and Roudsari, A. (2015). Conceptual analysis of a diverse set of healthcare quality indicators. Studies in Health Technolology & Informatics, 208, pp. 347-351. doi: 10.3233/978-1-61499-488-6-347

Wood, J. (2015). Visualizing Personal Progress in Participatory Sports Cycling Events. IEEE Computer Graphics and Applications, 35(4), pp. 73-81. doi: 10.1109/MCG.2015.71

Xu, K., Attfield, S., Jankun-Kelly, T. J., 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. doi: 10.1109/MCG.2015.50

Xu, K., Nguyen, P. and Fields, B. (2015). Visual Analysis of Streaming Data with SAVI and SenseMAP. 2014 IEEE Conference on Visual Analytics Science and Technology (VAST), ISSN 2325-9442

Yang, G., Nawaz, T., Barrick, T. R., Howe, F. A. and Slabaugh, G. G. (2015). Discrete Wavelet Transform-Based Whole-Spectral and Subspectral Analysis for Improved Brain Tumor Clustering Using Single Voxel MR Spectroscopy. IEEE Transactions on Biomedical Engineering, 62(12), pp. 2860-2866. doi: 10.1109/TBME.2015.2448232

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2015). Dynamic, scalable and flexible resource discovery for large-dimension many-core systems. Future Generation Computer Systems, 53, pp. 119-129. doi: 10.1016/j.future.2014.12.011

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2015). A Specification-based Anycast Scheme for Scalable Resource Discovery in Distributed Systems. Paper presented at the 10th ConfTele 2015 - Conference on Telecommunications, 17-18 Sep 2015, Aveiro, Portugal.

de Rooij, A., Corr, P. J. and Jones, S. (2015). Emotion and Creativity: Hacking into Cognitive Appraisal Processes to Augment Creative Ideation. Paper presented at the 2015 ACM SIGCHI Conference on Creativity and Cognition, 22-06-2015 - 25-06-2015, Glasgow, Scotland.

de Rooij, A. and Jones, S. (2015). (E)motion and creativity: Hacking the function of motor expressions in emotion regulation to augment creativity. Paper presented at the Ninth International Conference on Tangible, Embedded, and Embodied Interaction (TEI 2015), 15-01-2015 - 19-01-2015, California, USA.

de Valk, R. (2015). Structuring lute tablature and MIDI data: Machine learning models for voice separation in symbolic music representations. (Unpublished Doctoral thesis, City, University of London)

de Valk, R. and Weyde, T. (2015). Bringing 'Musicque into the tableture': machine-learning models for polyphonic transcription of 16th-century lute tablature. Early Music, 43(4), pp. 563-576. doi: 10.1093/em/cau102

2014

Ali, H., D'Avila Garcez, A.S., Tran, S.N., Zhou, X. and Iqbal, K. (2014). Unimodal late fusion for NIST i-vector challenge on speaker detection. Electronics Letters, 50(15), pp. 1098-1100. doi: 10.1049/el.2014.1207

Alonso, E. (2014). Actions and Agents. In: Frankish, K. and Ramsey, W. (Eds.), The Cambridge Handbook of Artificial Intelligence. (pp. 232-246). UK: Cambridge University Press. ISBN 9781139046855

Alonso, E. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2014). Quantum Probability and Operant Conditioning: Behavioral Uncertainty in Reinforcement Learning. Paper presented at the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), 06-03-2014 - 08-03-2014, Angers, France.

Alonso, E. ORCID: 0000-0002-3306-695X and Mondragon, E. ORCID: 0000-0003-4180-1261 (2014). What Have Computational Models Ever Done for Us?: A Case Study in Classical Conditioning. International Journal of Artificial Life Research, 4(1), pp. 1-12. doi: 10.4018/ijalr.2014010101

Alonso, E., Sahota, P. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2014). Computational Models of Classical Conditioning: A Qualitative Evaluation and Comparison. Paper presented at the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), 06-03-2014 - 08-03-2014, Angers, France.

Andrienko, N., Andrienko, G. and Fuchs, G. (2014). Analysis of mobility behaviors in geographic and semantic spaces. 2014 IEEE Conference on Visual Analytics Science and Technology (VAST), pp. 341-342. doi: 10.1109/VAST.2014.7042556

Andrienko, N., Andrienko, G., Fuchs, G. and Stange, H. (2014). Detecting and tracking dynamic clusters of spatial events. 2014 IEEE Conference on Visual Analytics Science and Technology (VAST), pp. 219-220. doi: 10.1109/VAST.2014.7042499

Angelelli, P., Oeltze, S., Turkay, C., Haasz, J., Hodneland, E., Lundervold, A., Hauser, H. and Preim, B. (2014). Interactive Visual Analysis of Heterogeneous Cohort Study Data. IEEE Computer Graphics and Applications, PP(99), doi: 10.1109/MCG.2014.40

Asad, M. and Slabaugh, G. G. (2014). Hand Orientation Regression Using Random Forest for Augmented Reality. In: DePaolis, L.T. and Mongelli, A. (Eds.), Augmented and Virtual Reality. AVR 2014. Lecture Notes in Computer Science, 8853. (pp. 159-174). Berlin, Germany: Springer Verlag. ISBN 978-3-319-13968-5

Barthet, M., Plumbley, M. D., Kachkaev, A., Dykes, J., Wolff, D. and Weyde, T. (2014). Big Chord Data Extraction and Mining. Paper presented at the 9th Conference on Interdisciplinary Musicology – CIM14, 03-12-2014 - 06-12-2014, Staatliches Institut für Musikforschung, Berlin, Germany.

Bawden, D. and Robinson, L. (2014). As long as we don't pretend that it is science. Journal of Documentation, 70(1), pp. 2-3.

Beecham, R. and Wood, J. (2014). Characterising group-cycling journeys using interactive graphics. Transportation Research Part C: Emerging Technologies, 47(2), pp. 194-206. doi: 10.1016/j.trc.2014.03.007

Beecham, R. and Wood, J. (2014). Exploring gendered cycling behaviours within a large-scale behavioural data-set. Transportation Planning and Technology, 37(1), pp. 83-97. doi: 10.1080/03081060.2013.844903

Beecham, R., Wood, J. and Bowerman, A. (2014). Studying commuting behaviours using collaborative visual analytics. Computers, Environment and Urban Systems, 47, pp. 5-15. doi: 10.1016/j.compenvurbsys.2013.10.007

Benetos, E., Badeau, R., Weyde, T. and Richard, G. (2014). Template Adaptation for Improving Automatic Music Transcription. Paper presented at the 15th International Society for Music Information Retrieval Conference (ISMIR), 27-10-2014 - 31-10-2014, Taipei, Taiwan.

Benetos, E., Ewert, S. and Weyde, T. (2014). Automatic transcription of pitched and unpitched sounds from polyphonic music. 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 3107-3111. doi: 10.1109/ICASSP.2014.6854172

Benetos, E. and Holzapfel, A. (2014). Incorporating pitch class profiles for improving automatic transcription of Turkish makam music. Paper presented at the 4th International Workshop on Folk Music Analysis, 12-06-2014 - 13-06-2014, Istanbul, Turkey.

Benetos, E., Jansson, A. and Weyde, T. (2014). Improving automatic music transcription through key detection. Paper presented at the AES 53rd International Conference on Semantic Audio, 27 - 29 Jan 2014, London, UK.

Besold, T. R. (2014). A note on chances and limitations of psychometric AI. Lecture Notes in Computer Science, 8736, pp. 49-54. doi: 10.1007/978-3-319-11206-0_5

Besold, T. R. and Kuhnberger, K-U. (2014). Applying AI for modeling and understanding analogy-based classroom teaching tools and techniques. Lecture Notes in Computer Science, 8736, pp. 55-61. doi: 10.1007/978-3-319-11206-0_6

Birkeland, A., Turkay, C. and Viola, I. (2014). Perceptually Uniform Motion Space. IEEE Transactions on Visualization and Computer Graphics, 20(11), pp. 1542-1554. doi: 10.1109/TVCG.2014.2322363

Bishop, P. G. and Strigini, L. (2014). Estimating worst case failure dependency with partial knowledge of the difficulty function. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8666, pp. 186-201. doi: 10.1007/978-3-319-10506-2_13

Bostock, J. (2014). Automated Cardiac Rhythm Diagnosis for Electrophysiological Studies, an Enhanced Classifier Approach. (Unpublished Doctoral thesis, City University London)

Child, C. H. T. and Trusler, B. P. (2014). Implementing Racing AI using Q-Learning and Steering Behaviours. Paper presented at the GAMEON 2014 (15th annual European Conference on Simulation and AI in Computer Games), 09-09-2014 - 11-09-2014, University of Lincoln, Lincoln, UK.

Colcombet, T., Daviaud, L. and Zuleger, F. (2014). Size-Change Abstraction and Max-Plus Automata. In: Csuhaj-Varju, E., Dietzfelbinger, M. and Esik, Z. (Eds.), Mathematical Foundations of Computer Science 2014. MFCS 2014. Lecture Notes in Computer Science, 8634. (pp. 208-219). Berlin: Springer. ISBN 9783662445211

Collins, E. I. M., Cox, A. L., Bird, J. and Harrison, D. (2014). Social networking use and RescueTime: The issue of engagement. In: UbiComp '14 Adjunct: Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct Publication. (pp. 687-690). New York, NY, United States: Association for Computing Machinery (ACM). ISBN 978-1-4503-3047-3

Comuzzi, M. and Martinez, R. I. R. (2014). Customized Infrastructures for Monitoring Business Processes. 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), pp. 122-127. doi: 10.1109/SOSE.2014.19

Cox, A. L., Bird, J., Mauthner, N., Dray, S., Peters, A. and Collins, E. (2014). Socio-Technical Practices and Work-Home Boundaries. In: Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services. (pp. 581-584). New York, USA: ACM. ISBN 978-1-4503-3004-6

Ellis, S., Makri, S. and Attfield, S. (2014). Keeping Up With the Law: Investigating Lawyers’ Monitoring Behaviour. New Library World, 115(7/8),

Fairbank, M. (2014). Value-Gradient Learning. (Unpublished Doctoral thesis, City University London)

Fairbank, M., Li, S., Fu, X., Alonso, E. and Wunsch, D. C. (2014). An adaptive recurrent neural-network controller using a stabilization matrix and predictive inputs to solve a tracking problem under disturbances. Neural Networks, 49, pp. 74-86. doi: 10.1016/j.neunet.2013.09.010

Fairbank, M., Prokhorov, D. and Alonso, E. (2014). Clipping in Neurocontrol by Adaptive Dynamic Programming. IEEE Transactions on Neural Networks and Learning Systems, 25(10), pp. 1909-1920. doi: 10.1109/TNNLS.2014.2297991

Fernandez, R. C., Migliavacca, M., Kalyvianaki, E. and Pietzuch, P. (2014). Making State Explicit for Imperative Big Data Processing. Paper presented at the USENIX ATC ’14: 2014 USENIX Annual Technical Conference, 19-06-2015 - 20-06-2015, Philadelphia, USA.

Fisher, P., Tate, N. and Slingsby, A. (2014). Type-2 Fuzzy Sets Applied to Geodemographic Classification. Paper presented at the Eighth International Conference on Geographic Information Science (GIScience 2014), 23-09-2014 - 26-09-2014, Vienna, Austria.

Fraccaro, P., Coyle, L., Doyle, J. and O'Sullivan, D. (2014). Real-world Gyroscope-based Gait Event Detection and Gait Feature Extraction. Paper presented at the Proceedings of eTELEMED, The Sixth International Conference on eHealth, Telemedicine, and Social Medicine, 24-03-2014 - 27-03-2014, Barcelona, Spain.

França, M. V. M., Zaverucha, G. and Garcez, A. (2014). Fast relational learning using bottom clause propositionalization with artificial neural networks. Machine Learning, 94(1), pp. 81-104. doi: 10.1007/s10994-013-5392-1

Giannoulis, D., Benetos, E., Klapuri, A. and Plumbley, M. D. (2014). Improving instrument recognition in polyphonic music through system integration. Paper presented at the 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 04-05-2014 - 09-05-2014, Florence, Italy.

Goodwin, S., Dykes, J. and Slingsby, A. (2014). Visualizing the Effects of Scale and Geography in Multivariate Comparison. Poster presented at the IEEE Conference on Visual Analytics Science and Technology, 09-11-2014 - 14-11-2014, Paris, France.

Groce, A., Kulesza, T., Zhang, C., Shamasunder, S., Burnett, M., Wong, W-K, Stumpf, S., Das, S., Shinsel, A., Bice, F. and McIntosh, K. (2014). You are the only possible oracle: Effective test selection for end users of interactive machine learning systems. IEEE Transactions on Software Engineering, 40(3), pp. 307-323. doi: 10.1109/TSE.2013.59

Hakobyan, L., Lumsden, J. and O'Sullivan, D. (2014). Older Adults with AMD as Co-Designers of an Assistive Mobile Application. International Journal of Mobile Human Computer Interaction, 6(1), pp. 54-70. doi: 10.4018/ijmhci.2014010104

Harrison, D., Marshall, P., Berthouze, N. and Bird, J. (2014). Tracking physical activity: Problems related to running longitudinal studies with commercial devices. In: UbiComp '14 Adjunct: Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct Publication. (pp. 699-702). New York, NY, United States: Association for Computing Machinery (ACM). ISBN 9781450330473

Henkin, R., Slingsby, A. and van Loon, E. (2014). Designing Interactive Graphics for Foraging Trips Exploration. Paper presented at the Workshop on Analysis of Movement Data at the Eighth International Conference on Geographic Information Science (GIScience 2014), 23-09-2014 - 26-09-2014, Vienna, Austria.

Hudic, A., Tauber, M., Lorünser, T., Krotsiani, M., Spanoudakis, G., Mauthe, A. and Weippl, E. (2014). A Multi-Layer and Multi-Tenant Cloud Assurance Evaluation Methodology. Paper presented at the 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom), 15-18 Dec 2014, Singapore.

Jianu, R., Rusu, A., Hu, Y. and Taggart, D. (2014). How to Display Group Information on Node-Link Diagrams: An Evaluation. IEEE Transactions on Visualization and Computer Graphics, 20(11), pp. 1530-1541. doi: 10.1109/TVCG.2014.2315995

Kachkaev, A., Wolff, D., Barthet, M., Tidhar, D., Plumbley, M. D., Dykes, J. and Weyde, T. (2014). Visualising Chord Progressions in Music Collections: A Big Data Approach. Paper presented at the 9th Conference on Interdisciplinary Musicology – CIM14, 03-12-2014 - 06-12-2014, Staatliches Institut für Musikforschung, Berlin, Germany.

Kachkaev, A., Wood, J. and Dykes, J. (2014). Glyphs for exploring crowd-sourced subjective survey classification. Computer Graphics Forum, 33(3), pp. 311-320. doi: 10.1111/cgf.12387

Kalyvianaki, E., Charalambous, T. and Hand, S. (2014). Adaptive Resource Provisioning for Virtualized Servers Using Kalman Filters. ACM Transactions on Autonomous and Adaptive Systems, 9(2), p. 10. doi: 10.1145/2626290

Katopodis, S., Spanoudakis, G. and Mahbub, K. (2014). Towards hybrid cloud service certification models. In: 2014 IEEE International Conference on Services Computing (SCC). (pp. 394-399). Institute of Electrical and Electronics Engineers Inc.. ISBN 9781479950669

King, C., Hall, J., Banda, M., Beard, J., Bird, J., Kazembe, P. and Fottrell, E. (2014). Electronic data capture in a rural African setting: evaluating experiences with different systems in Malawi. Global Health Action, 7(1), doi: 10.3402/gha.v7.25878

Kloukinas, C. and Ozkaya, M. (2014). Realizable, Connector-Driven Software Architectures for Practising Engineers. Communications in Computer and Information Science, 457, pp. 273-289. doi: 10.1007/978-3-662-44920-2_17

Kodagoda, N., Attfield, S., Choudhury, T., Rooney, C., Mapp, G., Nguyen, P., Slabbert, L., Wong, B.L.W., 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. doi: 10.1177/1473871613490291

Krotsiani, M. and Spanoudakis, G. (2014). Continuous certification of non-repudiation in cloud storage services. Proceedings - 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp. 929-934. doi: 10.1109/TrustCom.2014.122

Lambert, A., Weyde, T. and Armstrong, N. (2014). Beyond the Beat: Towards Metre, Rhythm and Melody Modelling with Hybrid Oscillator Networks. (2014 ed.) In: Georgaki, A. and Kouroupetroglou, G. (Eds.), Music Technology Meets Philosophy: from Digital Echos to Virtual Ethos. Proceedings of ICMC, SMC. (pp. 485-490). San Francisco: International Computer Music Association. ISBN 9780984527434

Lambert, A., Weyde, T. and Armstrong, N. (2014). Studying the Effect of Metre Perception on Rhythm and Melody Modelling with LSTMs. Paper presented at the 3rd International Workshop on Musical Metacreation, held at the 10th Artificial Intelligence and Interactive Digital Entertainment Conference, 03-10-2014 - 07-10-2014, Raleigh, USA.

Lee, D. (2014). Webs of "Wirkung": Modelling the interconnectedness of classification schemes. Advances in Knowledge Organization, 14, pp. 200-207.

Maiden, N., Lockerbie, J., Zachos, K., Bertolino, A., Angelis, G. and Lonetti, F. (2014). A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.. Lecture Notes in Computer Science, 8396, pp. 239-253. doi: 10.1007/978-3-319-05843-6_18

Martinez, M., Krumnack, U., Smaill, A., Besold, T. R., Abdel-Fattah, A. M. H., Schmidt, M., Gust, H., Kuhnberger, K-U., Guhe, M. and Pease, A. (2014). Algorithmic aspects of theory blending. Lecture Notes in Computer Science, 8884, pp. 180-192. doi: 10.1007/978-3-319-13770-4_16

McKay, D. and Buchanan, G. (2014). On the other side from you: How library design facilitates and hinders group work. In: Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design. Proceedings. (pp. 97-106). New York: ACM. ISBN 978-1-4503-0653-9

Michalas, A. and Komninos, N. (2014). The Lord of the Sense: A Privacy Preserving Reputation System for Participatory Sensing Applications. Paper presented at the 19th IEEE Symposium on Computers and Communication (ISCC’2014), 23rd - 26th June 2014, Madeira, Portugal.

Mondragon, E. ORCID: 0000-0003-4180-1261, Gray, J., Alonso, E., Bonardi, C. and Jennings, D. J. (2014). SSCC TD: A Serial and Simultaneous Configural-Cue Compound Stimuli Representation for Temporal Difference Learning. PLoS One, 9(7), e102469. doi: 10.1371/journal.pone.0102469

Mourouzis, T., Courtois, N. and Komninos, N. (2014). Advanced truncated differential cryptanalysis of GOST block cipher. Paper presented at the 2nd International Conference on Cryptography, Network Security and Applications in the Armed Forces, 1st - 2nd April 2014, Hellenic Military Academy, Athens, Greece.

Mourouzis, T., Komninos, N. and Christofi, M. (2014). Towards a combined Rotational-Differential Cryptanalytic Framework. Paper presented at the 2nd International Conference on Cryptography, Network Security and Applications in the Armed Forces, 1st - 2nd April 2014, Hellenic Military Academy, Athens, Greece.

Nguyen, P., Xu, K., Walker, R. and Wong, B.L.W. (2014). SchemaLine: Timeline visualization for sensemaking. 2014 18th International Conference on Information Visualisation (IV), pp. 225-233. doi: 10.1109/IV.2014.14

Nordin, A. I., Denisova, A. and Cairns, P. (2014). Too Many Questionnaires: Measuring Player Experience Whilst Playing Digital Games. Paper presented at the The Seventh York Doctoral Symposium on Computer Science and Electronics, 30 Oct 2014, York, UK.

O'Sullivan, D., Doyle, J., Michalowski, W., Wilk, S., Thomas, R. and Farion, K. (2014). Expanding usability analysis with intrinsic motivation concepts to learn about CDSS adoption: a case study. Health Policy and Technology, 3(2), pp. 113-125. doi: 10.1016/j.hlpt.2014.02.001

O'Sullivan, D., Wilk, S., Michalowski, W., Slowinski, R., Thomas, R., Kadzinski, M. and Farion, K. (2014). Learning the preferences of physicians for the organization of result lists of medical evidence articles. Methods of Information in Medicine, 53(5), pp. 344-356. doi: 10.3414/ME13-01-0085

Okoe, M., Alam, S. S. and Jianu, R. (2014). A Gaze-enabled Graph Visualization to Improve Graph Reading Tasks. Computer Graphics Forum, 33(3), pp. 251-260. doi: 10.1111/cgf.12381

Ozkaya, M. (2014). A Design-by-Contract based Approach for Architectural Modelling and Analysis. (Unpublished Post-Doctoral thesis, City University London)

Ozkaya, M. and Kloukinas, C. (2014). Architectural specification and analysis with XCD: The aegis combat system case study. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). (pp. 368-375). IEEE. ISBN 978-9-8975-8065-9

Ozkaya, M. and Kloukinas, C. (2014). Design-by-contract for reusable components and realizable architectures. In: CBSE '14 Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering. (pp. 129-138). New York, USA: ACM. ISBN 9781450325776

Perin, C. and Dragicevic, P. (2014). Manipulating multiple sliders by crossing. In: Proceedings of the 26th Conference on l'Interaction Homme-Machine. (pp. 48-54). ACM. ISBN 9781450329354

Perin, C., Dragicevic, P. and Fekete, J. (2014). Revisiting Bertin Matrices: New Interactions for Crafting Tabular Visualizations. IEEE Transactions on Visualization and Computer Graphics, 20(12), pp. 2082-2091. doi: 10.1109/TVCG.2014.2346279

Perin, C., Vuillemot, R. and Fekete, J. (2014). À table! Improving temporal navigation in soccer ranking tables. In: CHI '14 - Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 887-896). ACM. ISBN 9781450324731

Perotti, A., Boella, G. and Garcez, A. (2014). Runtime Verification Through Forward Chaining. Electronic Proceedings in Theoretical Computer Science, 169, pp. 68-81. doi: 10.4204/EPTCS.169.8

Pino, L., Mahbub, K. and Spanoudakis, G. (2014). Designing Secure Service Workflows in BPEL. Lecture Notes in Computer Science, 8831, pp. 551-559. doi: 10.1007/978-3-662-45391-9_48

Pino, L., Spanoudakis, G., Fuchs, A. and Gürgens, S. (2014). Discovering secure service compositions. CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science,

Plastiras, P., O'Sullivan, D. and Weller, P. (2014). An Ontology-Driven Information Model for Interoperability of Personal and Electronic Health Records. Paper presented at the Proceedings of eTELEMED, The Sixth International Conference on eHealth, Telemedicine, and Social Medicine, 24-03-2014 - 27-03-2014, Barcelona.

Poirier, E. and Robinson, L. (2014). Slow Delphi: An investigation into information behaviour and the Slow Movement. Journal of Information Science, 40(1), pp. 88-96. doi: 10.1177/0165551513506360

Popov, P. T. and Stankovic, V. (2014). Database replication. P. Popov, V. Stankovic

Rubython, A. and Maiden, N. (2014). The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages. In: Requirements Engineering Conference (RE), 2014 IEEE 22nd International. (pp. 394-401). Institute of Electrical and Electronics Engineers Inc.. ISBN 9781479930333

Rushby, J., Littlewood, B. and Strigini, L. (2014). Evaluating the Assessment of Software Fault-Freeness. Paper presented at the AESSCS 2014, 13-05-2015, Newcastle upon Tyne.

Russell-Rose, T., Lamantia, J. and Makri, S. (2014). Defining and applying a language for discovery. Lecture Notes in Computer Science, 8382, pp. 3-28. doi: 10.1007/978-3-319-12093-5_1

Sathiyanarayanan, M. ORCID: 0000-0002-8598-1949 and Abubhaka, B. (2014). Dual MCDRR Scheduler for Hybrid TDM/WDM Optical Networks. In: Negi, A., Kishore, K., Kumar, K. and Venkatramaphanikumar, S. (Eds.), 2014 First International Conference on Networks & Soft Computing (ICNSC2014). (pp. 418-422). IEEE. ISBN 978-1-4799-3485-0

Sigtia, S., Benetos, E., Boulanger-Lewandowski, N., Weyde, T., Garcez, A. and Dixon, S. (2014). A Hybrid Recurrent Neural Network For Music Transcription. CoRR, 14(11), p. 1623.

Sigtia, S., Benetos, E., Cherla, S., Weyde, T., Garcez, A. and Dixon, S. (2014). An RNN-based Music Language Model for Improving Automatic Music Transcription. Paper presented at the 15th International Society for Music Information Retrieval Conference (ISMIR), 27-10-2014 - 31-10-2014, Taipei, Taiwan.

Slabaugh, G. G., Ye, X. and Yang, X. (2014). Multilabel region classification and semantic linking for colon segmentation in CT colonography. IEEE Transactions on Biomedical Engineering, 62(3), pp. 948-959. doi: 10.1109/TBME.2014.2374355

Slingsby, A., Dykes, J., Wood, J. and Radburn, R. (2014). Designing an Exploratory Visual Interface to the Results of Citizen Surveys. International Journal of Geographical Information Science, doi: 10.1080/13658816.2014.920845

Teichmann, J., Broom, M. and Alonso, E. (2014). The Evolutionarily Dynamics of Aposematism: a Numerical Analysis of Co-Evolution in Finite Populations. Mathematical Modelling of Natural Phenomena (MMNP), 9(3), pp. 148-164. doi: 10.1051/mmnp/20149310

Tidhar, D., Dixon, S., Benetos, E. and Weyde, T. (2014). The temperament police. Early Music, 42(4), pp. 579-590. doi: 10.1093/em/cau101

Tran, S., Benetos, E. and Garcez, A. (2014). Learning motion-difference features using Gaussian restricted Boltzmann machines for efficient human action recognition. Paper presented at the 2014 International Joint Conference on Neural Networks (IJCNN), 06-07-2014 - 11-07-2014, Beijing, China.

Tran, S. and Garcez, A. (2014). Low-cost representation for restricted Boltzmann machines. Lecture Notes in Computer Science, 8834, pp. 69-77. doi: 10.1007/978-3-319-12637-1_9

Turkay, C. (2014). Visualizing Time Series Predictability. Paper presented at the IEEE VIS 2014 Workshop on Visualization for Predictive Analytics, 08-11-2014 - 14-11-2014, Paris, France.

Turkay, C., Lex, A., Streit, M., Pfister, H. and Hauser, H. (2014). Characterizing Cancer Subtypes Using Dual Analysis in Caleydo StratomeX. IEEE Computer Graphics and Applications, 34(2), pp. 38-47. doi: 10.1109/MCG.2014.1

Turkay, C., Mason, S., Gashi, I. and Cukic, B. (2014). Supporting Decision-making for Biometric System Deployment through Visual Analysis. Paper presented at the Reliability and Security Data Analysis (RSDA) Workshop, International Symposium on Software Reliability Engineering, 03-11-2014-06-11-2014, Naples, Italy.

Turkay, C., Slingsby, A., Hauser, H., Wood, J. and Dykes, J. (2014). Attribute Signatures: Dynamic Visual Summaries for Analyzing Multivariate Geographical Data. IEEE Transactions on Visualization and Computer Graphics, 20(12), pp. 2033-2042. doi: 10.1109/TVCG.2014.2346265

Ul Asad, H., Jones, K. and Surre, F. (2014). Verifying Robust Frequency Domain Properties of Non Linear Oscillators using SMT. In: Pleskacz, W., Renovell, M., Kasprowicz, D., Sekanina, L. and Bernard, S. (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). IEEE. ISBN 978-1-4799-4560-3

Van Goethem, A., Meulemans, W., Speckmann, B. and Wood, J. (2014). Exploring curved schematization. IEEE Pacific Visualization Symposium, pp. 1-8. doi: 10.1109/PacificVis.2014.11

Van Goethem, A., Reimer, A., Speckmann, B. and Wood, J. (2014). Stenomaps: Shorthand for shapes. IEEE Transactions on Visualization and Computer Graphics, 20(12), pp. 2053-2062. doi: 10.1109/TVCG.2014.2346274

Van Gorp, P. and Comuzzi, M. (2014). Lifelong personal health data and application software via virtual machines in the cloud. IEEE Journal of Biomedical and Health Informatics, 18(1), pp. 36-45. doi: 10.1109/JBHI.2013.2257821

Van Gorp, P., Comuzzi, M., Jahnen, A., Kaymak, U. and Middleton, B. (2014). An open platform for personal health record apps with platform-level privacy protection. Computers in Biology and Medicine, 51, pp. 14-23. doi: 10.1016/j.compbiomed.2014.04.019

Weller, P., Fernandez, A. and Alonso, E. (2014). Towards a Personalised Health System. Paper presented at the 7th International Conference on Health Informatics (HEALTHINF 2014), 03-03-2015 - 06-03-2015, Angers, France.

Weyde, T., Cottrell, S.J., Dykes, J., Benetos, E., Wolff, D., Tidhar, D., Gold, N., Abdallah, S., Plumbley, M. D., Dixon, S., Barthet, M., Mahey, M., Tovell, A. and Alancar-Brayner, A. (2014). Big Data for Musicology. Paper presented at the 1st International Digital Libraries for Musicology workshop, 12-09-2014 - 12-09-2014, London, UK.

White, Pam (2014). A pilot ontology for a large, diverse set of national health service healthcare quality indicators. (Unpublished Doctoral thesis, City University London)

Wolff, D. (2014). Spot the Odd Song Out: Similarity Model Adaptation and Analysis using Relative Human Ratings. (Unpublished Doctoral thesis, City University London)

Wolff, D., Tidhar, D., Benetos, E., Dumon, E., Cherla, S. and Weyde, T. (2014). Incremental dataset definition for large scale musicological research. In: Page, K. and Fields, B. (Eds.), DLfM '14 Proceedings of the 1st International Workshop on Digital Libraries for Musicology. (pp. 1-8). New York: ACM. ISBN 978-1-4503-3002-2

Wood, J., Beecham, R. and Dykes, J. (2014). Moving beyond sequential design: Reflections on a rich multi-channel approach to data visualization. IEEE Transactions on Visualization and Computer Graphics, 20(12), pp. 2171-2180. doi: 10.1109/TVCG.2014.2346323

Zarrin, J., Aguiar, R. L. and Barraca, J. P. (2014). A Self-organizing and Self-configuration Algorithm for Resource Management in Service-oriented Systems. 2014 IEEE Symposium on Computers and Communications (ISCC), 6912524.. doi: 10.1109/ISCC.2014.6912524

d'Avila Garcez, A. S., Gabbay, D. M. and Lamb, L. C. (2014). A neural cognitive model of argumentation with application to legal inference and decision making. Journal of Applied Logic, 12(2), pp. 109-127. doi: 10.1016/j.jal.2013.08.004

van Goethem, D.A., Haverkort, H., Meulemans, W., Reimer, A., Speckmann, B. and Wood, J. (2014). Automatic schematization with curved lines. Geo-Info, 2014(2), pp. 10-13.

2013

Alonso, E. and Fairbank, M. (2013). Emergent and Adaptive Systems of Systems. Paper presented at the 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 13-10-2013 - 16-10-2013, Manchester, UK.

Alonso, E., Karcanias, N. and Hessami, A. G. (2013). Multi-Agent Systems: A new paradigm for Systems of Systems. Paper presented at the ICONS 2013 : The Eighth International Conference on Systems, 27-01-2013 - 01-02-2013, Seville, Spain.

Alonso, E., Karcanias, N. and Hessami, A. G. (2013). Symmetries, groups and groupoids for Systems of Systems. Paper presented at the 2013 IEEE International Systems Conference (SysCon), 15-04-2013 - 18-04-2013, Orlando, USA.

Asad, M. and Abhayaratne, C. (2013). Kinect depth stream pre-processing for hand gesture recognition. Paper presented at the 2013 IEEE International Conference on Image Processing, ICIP 2013, 15 September - 18 September 2013, Melbourne, Australia.

Bawden, D. (2013). Altavista, Google and least effort: a requiem. Journal of Documentation, 69(6), pp. 760-761.

Bawden, D. (2013). Imagination, exciting mixtures and the improvement of information research. Journal of Documentation, 69(3), pp. 332-333.

Bawden, D. (2013). Physical plus digital. Journal of Documentation, 69(4),

Bawden, D. (2013). Senate House Library and the context of documents. Journal of Documentation, 69(5),

Bawden, D. and Robinson, L. (2013). "Deep down things": In what ways is information physical, and why does it matter for information science?. Information Research: an international electronic journal, 18(3),

Benetos, E., Cherla, S. and Weyde, T. (2013). An efficient shift-invariant model for polyphonic music transcription. Paper presented at the MML 2013: 6th International Workshop on Machine Learning and Music, 23 Sep 2013, Prague, Czech Republic.

Benetos, E. and Dixon, S. (2013). Multiple-instrument polyphonic music transcription using a temporally constrained shift-invariant model. The Journal of the Acoustical Society of America (JASA), 133(3), pp. 1727-1741. doi: 10.1121/1.4790351

Benetos, E., Dixon, S., Giannoulis, D., Kirchhoff, H. and Klapuri, A. (2013). Automatic music transcription: challenges and future directions. Journal of Intelligent Information Systems, pp. 1-28. doi: 10.1007/s10844-013-0258-3

Benetos, E. and Holzapfel, A. (2013). Automatic transcription of Turkish makam music. Paper presented at the 14th International Society for Music Information Retrieval Conference, 4 - 8 Nov 2013, Curitiba, PR, Brazil.

Benetos, E. and Weyde, T. (2013). Explicit duration hidden Markov models for multiple-instrument polyphonic music transcription. Paper presented at the 14th International Society for Music Information Retrieval Conference, 4 - 8 Nov 2013, Curitiba, Brazil.

Besbes, H., Smart, G., Buranapanichkit, D., Kloukinas, C. and Andreopoulos, Y. (2013). Analytic Conditions for Energy Neutrality in Uniformly-Formed Wireless Sensor Networks. IEEE Transactions on Wireless Communications, 12(10), pp. 4916-4931. doi: 10.1109/TWC.2013.092013.121649

Besold, T. R. (2013). Human-level artificial intelligence must be a science. Lecture Notes in Computer Science, 7999, pp. 174-177. doi: 10.1007/978-3-642-39521-5_19

Besold, T. R. (2013). Rationality in context: An analogical perspective. Lecture Notes in Computer Science, 8175, pp. 129-142. doi: 10.1007/978-3-642-40972-1_10

Besold, T. R. and Robere, R. (2013). When almost is not even close: Remarks on the approximability of HDTP. Lecture Notes in Computer Science, 7999, pp. 11-20. doi: 10.1007/978-3-642-39521-5_2

Besold, T. R. and Robere, R. (2013). A note on tractability and artificial intelligence. Lecture Notes in Computer Science, 7999, pp. 170-173. doi: 10.1007/978-3-642-39521-5_18

Bibas, A., Spanoudakis, G., Bellos, C., Fotiadis, D. I. and Koutsouris, D. (2013). Biologically Inspired Near Extinct System Reconstruction. In: 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE). (p. 14026394). IEEE.

Boone, D. J., Halligan, S., Roth, H. R., Hampshire, T. E., Helbren, E., Slabaugh, G. G., McQuillan, J., McClelland, J. R., Hu, M., Punwani, S., Taylor, S. A. and Hawkes, D. J. (2013). CT colonography: external clinical validation of an algorithm for computer-assisted prone and supine registration. Radiology, 268(3), pp. 752-760. doi: 10.1148/radiol.13122083

Charalambous, T., Kalyvianaki, E., Hadjicostis, C. N. and Johansson, M. (2013). Distributed Offline Load Balancing in MapReduce Networks. Paper presented at the 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), 10-12-2013 - 13-12-2013, Florence, Italy.

Cherla, S., Weyde, T., Garcez, A. and Pearce, M. (2013). A Distributed Model For Multiple-Viewpoint Melodic Prediction. In: de Souza Britto Jr, A., Gouyon, F. and Dixon, S. (Eds.), Proceedings of the 14th International Society for Music Information Retrieval Conference. (pp. 15-20). International Society for Music Information Retrieval. ISBN 978-0-615-90065-0

Cherla, S., Weyde, T., Garcez, A. and Pearce, M. (2013). Learning Distributed Representations for Multiple-Viewpoint Melodic Prediction. Paper presented at the 14th International Society for Music Information Retrieval Conference, 4 - 8 Nov 2013, Curtiba, PR, Brazil.

Child, C. H. T. and Dey, R. (2013). QL-BT: Enhancing Behaviour Tree Design and Implementation with Q-Learning. Computational Intelligence in Games (CIG), 2013 IEEE Conference on, pp. 275-282. doi: 10.1109/CIG.2013.6633623

Cohen, N. R., Brennan, P. J., Shay, T., Watts, G. F., Brigl, M., Kang, J., Brenner, M. B. and ImmGen Project Consortium, . (2013). Shared and distinct transcriptional programs underlie the hybrid nature of iNKT cells. Nature Immunology, 14(1), pp. 90-99. doi: 10.1038/ni.2490

Colcombet, T. and Daviaud, L. (2013). Approximate comparison of distance automata. In: Portier, N. and Wilke, T. (Eds.), 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013). Leibniz International Proceedings in Informatics (LIPIcs), 20. (pp. 574-585). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ISBN 9783939897507

Comuzzi, M., Jacobs, G. and Grefen, P. (2013). Understanding SLA elements in cloud computing. IFIP Advances in Information and Communication Technology, 408, pp. 385-392.

Comuzzi, M., Vanderfeesten, I. T. P. and Wang, T. (2013). Optimized cross-organizational business process monitoring: Design and enactment. Information Sciences, 244, pp. 107-118. doi: 10.1016/j.ins.2013.04.036

Contreras, Ricardo (2013). Context Aware Web-Service Monitoring. (Unpublished Doctoral thesis, City University London)

Dillingham, I. (2013). Exploring the geographic uncertainty associated with crowdsourced crisis information: a geovisualisation approach. (Unpublished Doctoral thesis, City University London)

Fairbank, M., Alonso, E. and Prokhorov, D. (2013). An Equivalence Between Adaptive Dynamic Programming With a Critic and Backpropagation Through Time. IEEE Transactions on Neural Networks and Learning Systems, 24(12), pp. 2088-2100. doi: 10.1109/TNNLS.2013.2271778

Fairbank, M., Prokhorov, D. and Alonso, E. (2013). Approximating Optimal Control with Value Gradient Learning. In: Lewis, F. and Liu, D. (Eds.), Reinforcement Learning and Approximate Dynamic Programming for Feedback Control. (pp. 142-161). Hoboken, NJ, USA: Wiley-IEEE Press. ISBN 111810420X

Fernandez, R. C., Migliavacca, M., Kalyvianaki, E. and Pietzuch, P. (2013). Integrating scale out and fault tolerance in stream processing using operator state management. Paper presented at the 2013 ACM SIGMOD International Conference on Management of Data, 22-06-2013 - 27-06-2013, New York, USA.

Fernandez, R. C., Migliavacca, M., Kalyvianaki, E. and Pietzuch, P. (2013). Scalable and Fault-tolerant Stateful Stream Processing.. Paper presented at the 2013 Imperial College Computing Student Workshop, 26-09-2013 - 27-09-2013, London, UK.

Giannoulis, D., Benetos, E., Stowell, D., Rossignol, M., Lagrange, M. and Plumbley, M. D. (2013). Detection and classification of acoustic scenes and events: an IEEE AASP challenge. Paper presented at the IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, 20 - 23 Oct 2013, New Paltz, NY, USA.

Giannoulis, D., Stowell, D., Benetos, E., Rossignol, M., Lagrange, M. and Plumbley, M. D. (2013). A database and challenge for acoustic scene classification and event detection. Paper presented at the The 21st European Signal Processing Conference, 9 - 13 Sep 2013, Marrakech, Morocco.

Goodwin, S., Dykes, J., Jones, S., Dillingham, I., Dove, G., Duffy, A., Kachkaev, A., Slingsby, A. and Wood, J. (2013). Creative User-Centered Visualization Design for Energy Analysts and Modelers. IEEE Transactions on Visualization and Computer Graphics, 19(12), pp. 2516-2525. doi: 10.1109/TVCG.2013.145

Hakobyan, L., Lumsden, J. and O'Sullivan, D. (2013). Designing a Mobile Assistive Application with and for Older Adults with AMD: A Case Study. Paper presented at the 27th International BCS Human Computer Interaction Conference (HCI 2013), 09-09-2013 - 13-09-2013, London, UK.

Hampshire, T. E., Roth, H. R., Helbren, E., Plumb, A., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2013). Endoluminal surface registration for CT colonography using haustral fold matching. Medical Image Analysis, 17(8), pp. 946-958. doi: 10.1016/j.media.2013.04.006

Jennings, D., Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261, Franssen, M. and Bonardi, C. (2013). The Effect of Stimulus Distribution Form on the Acquisition and Rate of Conditioned Responding: Implications for Theory. Journal of Experimental Psychology: Animal Behavior Processes, 39(3), pp. 233-248. doi: 10.1037/a0032151

Jianu, R. and Laidlaw, D. H. (2013). What Google Maps can do for biomedical data dissemination: examples and a design study. BMC Research Notes, 6, 179.. doi: 10.1186/1756-0500-6-179

Karakostas, B. and Theodoulidis, B. (2013). A MapReduce architecture for web site user behaviour monitoring in real time. Paper presented at the 2nd International Conference on Data Management Technologies and Applications (DATA), 29 - 31 July 2013, Reykjavik, Iceland.

Kloos, Reinhold (2013). ACTAS: Adaptive Composition and Trading with Agents for Services. (Unpublished Doctoral thesis, City University London)

Krotsiani, M., Spanoudakis, G. and Mahbub, K. (2013). Incremental certification of cloud services. Paper presented at the SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies, 25th - 31st August 2013, Barcelona, Spain.

Kulesza, T., Stumpf, S., Burnett, M., Yang, S., Kwan, I. and Wong, W-K (2013). Too much, too little, or just right? Ways explanations impact end users' mental models. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, pp. 3-10. doi: 10.1109/VLHCC.2013.6645235

Li, S., Fairbank, M., Fu, X., Wunsch, D. C. and Alonso, E. (2013). Nested-Loop Neural Network Vector Control of Permanent Magnet Synchronous Motors. In: India Conference, 2008. INDICON 2008. Annual IEEE. (pp. 81-86). IEEE. ISBN 978-1-4673-6128-6

Li, S., Fairbank, M., Johnson, C., Wunsch, D. C., Alonso, E. and Proano, J. L. (2013). Artificial Neural Networks for Control of a Grid-Connected Rectifier/Inverter Under Disturbance, Dynamic and Power Converter Switching Conditions. IEEE Transactions on Neural Networks and Learning Systems, 25(4), pp. 738-750. doi: 10.1109/TNNLS.2013.2280906

Mai, L., Kalyvianaki, E. and Costa, P. (2013). Exploiting Time-Malleability in Cloud-based Batch Processing Systems. Paper presented at the LADIS '13: 7th Workshop on Large-Scale Distributed Systems and Middleware, 02-11-2013 - 03-11-2013, Pennsylvania, USA.

Makri, S. (2013). From Grounded Theory to Design Practice. Paper presented at the BCS-HCI 2013 Workshop, 9 Sep 2013, Brunel University, UK.

Modi, C., Patel, D., Borisaniya, B., Patel, A. and Rajarajan, M. (2013). A survey on security issues and solutions at different layers of Cloud computing. The Journal of Supercomputing, 63(2), pp. 561-592. doi: 10.1007/s11227-012-0831-5

Modi, C., Patel, D., Patel, H., Borisaniya, B., Patel, A. and Rajarajan, M. (2013). A survey of intrusion detection techniques in Cloud. Journal of Network and Computer Applications, 36(1), pp. 42-57. doi: 10.1016/j.jnca.2012.05.003

Mondragon, E. ORCID: 0000-0003-4180-1261, Alonso, E., Fernandez, A. and Gray, J. (2013). An extension of the Rescorla and Wagner Simulator for context conditioning. Computer Methods and Programs in Biomedicine, 110(2), pp. 226-230. doi: 10.1016/j.cmpb.2013.01.016

Mondragon, E. ORCID: 0000-0003-4180-1261, Gray, J. and Alonso, E. (2013). A Complete Serial Compound Temporal Difference Simulator for Compound stimuli, Configural cues and Context representation. Neuroinformatics, 11(2), pp. 259-261. doi: 10.1007/s12021-012-9172-z

O'Sullivan, D., Wilk, S., Michalowski, W. and Farion, K. (2013). Using PICO to Align Medical Evidence with MDs Decision Making Models. Paper presented at the 14th World Congress on Medical and Health Informatics, 20-08-2013 - 23-08-2013, Copenhagen, Denmark.

Ozkaya, M. and Kloukinas, C. (2013). Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. Paper presented at the 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013, 4th - 6th September 2013, Santander, Spain.

Ozkaya, M. and Kloukinas, C. (2013). Towards Design-by-Contract based software architecture design. Paper presented at the 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT), 22nd September - 24 September 2013, Budapest, Hungary.

Ozkaya, M. and Kloukinas, C. (2013). Towards a design-by-contract based approach for realizable connector-centric software architectures. Paper presented at the ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, 29 - 31 Jul 2013, Rejkyavik, Iceland.

Parulek, J., Turkay, C., Reuter, N. and Viola, I. (2013). Visual cavity analysis in molecular simulations. BMC Bioinformatics, 14(19), pp. 1-15. doi: 10.1186/1471-2105-14-S19-S4

Perin, C., Vernier, F. and Fekete, J. (2013). Interactive horizon graphs: Improving the compact visualization of multiple time series. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '13). (pp. 3217-3226). New York, NY, United States: ACM. ISBN 9781450318990

Perin, C., Vuillemot, R. and Fekete, J. (2013). SoccerStories: A Kick-off for Visual Soccer Analysis. IEEE Transactions on Visualization and Computer Graphics, 19(12), pp. 2506-2515. doi: 10.1109/TVCG.2013.192

Petroulakis, N. E., Tragos, E. Z., Fragkiadakis, A. G. and Spanoudakis, G. (2013). A lightweight framework for secure life-logging in smart environments. Information Security Technical Report, 17(3), pp. 58-70. doi: 10.1016/j.istr.2012.10.005

Pitts, K., Zachos, K. and Maiden, N. (2013). Creativity Support for Learning in the Person-Centred Care of Older People with Dementia. Paper presented at the Computational tools fostering Creativity in Learning processes (CCL), 18-09-2013, Paphos, Cyprus.

Robbins, E., Howe, J. M. and King, A. (2013). Theory propagation and rational-trees. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, pp. 193-204.

Schnell, R. (2013). Efficient private record linkage of very large datasets. Paper presented at the 59th World Statistics Congress of the International Statistical Institute, 25-30 Aug 2013, Hong Kong.

Serra, X., Magas, M., Benetos, E., Chudy, M., Dixon, S., Flexer, A., Gomez, E., Gouyon, F., Herrera, P., Jorda, S., Paytuvi, O., Peeters, G., Schlüter, J., Vinet, H. and Widmer, G. (2013). Roadmap for Music Information ReSearch. London, UK: MIRES Consortium.

Slingsby, A., Beecham, R. and Wood, J. (2013). Visual analysis of social networks in space and time using smartphone logs. Pervasive and Mobile Computing, pp. 848-864. doi: 10.1016/j.pmcj.2013.07.002

Sridhar, Balasubramanian (2013). Developing an integrated MDT service model for the management of patients with lung cancer. (Unpublished Doctoral thesis, City University London)

Stankovic, V. and Popov, P. T. (2013). Improvements Relating to Database Replication Protocols. EU: Popov, P., Stankovic, V.

Tsigritis, T. and Spanoudakis, G. (2013). Assessing the genuineness of events in runtime monitoring of cyber systems. Computers and Security, 38, pp. 76-96. doi: 10.1016/j.cose.2013.03.011

Turkay, C., Lundervold, A., Lundervold, A. J. and Hauser, H. (2013). Hypothesis generation by interactive visual exploration of heterogeneous medical data. Paper presented at the Third International Workshop, HCI-KDD 2013, 1 July 2013 - 3 July 2013, Maribor, Slovenia.

Walker, R., Slingsby, A., Dykes, J., Xu, K., Wood, J., Nguyen, P., Stephens, D., Wong, W. and Zheng, Y. (2013). An Extensible Framework for Provenance in Human Terrain Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 19(12), pp. 2139-2148. doi: 10.1109/TVCG.2013.132

Weyde, T., Slabaugh, G. G., Fontaine, G. and Bederna, C. (2013). Predicting aquaplaning performance from tyre profile images with machine learning. Lecture Notes in Computer Science, 7950 L, pp. 133-142. doi: 10.1007/978-3-642-39094-4_16

Wilk, S., Michalowski, W., O'Sullivan, D., Farion, K., Sayyad-Shirabad, J., Kuziemsky, C. and Kukawka, B. (2013). A Task-based Support Architecture for Developing Point-of-care Clinical Decision Support Systems for the Emergency Department. Methods of Information in Medicine, 52(1), pp. 18-32. doi: 10.3414/ME11-01-0099

Wolff, D. and Weyde, T. (2013). Combining Sources of Description for Approximating Music Similarity Ratings. In: Detyniecki, M., García-Serrano, A., Nürnberger, A. and Stober, S. (Eds.), Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation. Lecture Notes in Computer Science, 7836. (pp. 114-124). Springer. ISBN 9783642374241

Wolff, D. and Weyde, T. (2013). Learning music similarity from relative user ratings. Information Retrieval, 17(2), pp. 109-136. doi: 10.1007/s10791-013-9229-0

Zhang, Q. C., Slingsby, A., Dykes, J., Wood, J., Kraak, M. J., Blok, C. A. and Ahas, R. (2013). Visual analysis design to support research into movement and use of space in Tallinn: A case study. Information Visualization, doi: 10.1177/1473871613480062

Zisman, A., Spanoudakis, G., Dooley, J. and Siveroni, I. (2013). Proactive and reactive runtime service discovery: a framework and its evaluation. IEEE Transactions on Software Engineering, 39(7), doi: 10.1109/TSE.2012.84

de Valk, R., Weyde, T. and Benetos, E. (2013). A machine learning approach to voice separation in lute tablature. Paper presented at the 14th International Society for Music Information Retrieval Conference, 4 - 8 Nov 2013, Curitiba, Brazil.

2012

Adriano Moran, Juan (2012). The reality of home remote patient monitoring: A thesis on the nature, dynamics and effects of telehealth. (Unpublished Doctoral thesis, City University London)

Al-Kadi, Khulud (2012). Telecare for managing diabetes in Saudi Arabia. (Unpublished Doctoral thesis, City University London)

Alonso, E., Fairbank, M. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2012). Conditioning for Least Action. Paper presented at the 11th International Conference on Cognitive Modeling, 13-04-2012 - 15-04-2012, Berlin, Germany.

Alonso, E. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2012). Uses, Abuses and Misuses of Computational Models in Classical Conditioning. Paper presented at the 11th International Conference on Cognitive Modeling, 13-15 Apr 2012, Berlin, Germany.

Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 and Fernandez, A. (2012). A Java simulator of Rescorla and Wagner's prediction error model and configural cue extensions. Computer Methods and Programs in Biomedicine, 108(1), pp. 346-355. doi: 10.1016/j.cmpb.2012.02.004

Alonso, E. ORCID: 0000-0002-3306-695X, Mondragon, E. ORCID: 0000-0003-4180-1261 and Kjaell-Ohlsson, N. (2012). Internally Driven Q-learning - Convergence and Generalization Results. In: Filipe, J. and Fred, A. (Eds.), Proceedings of the 4th International Conference on Agents and Artificial Intelligence. (pp. 491-494). Setubal, Portugal: SCITEPRESS. ISBN 978-989-8425-95-9

Alonso, E. and Schmajuk, N. (2012). Computational Models of Classical Conditioning guest editors’ introduction. Learning and Behavior, 40(3), pp. 231-240. doi: 10.3758/s13420-012-0081-7

Bawden, D. (2012). Norbert Wiener and voices from the past. Journal of Documentation, 68(5),

Bawden, D. (2012). Russell Shank and the nature of the information disciplines. Journal of Documentation, 68(6),

Bawden, D. (2012). The city, the world, and what cannot be measured. Journal of Documentation, 68(2),

Bawden, D. (2012). The declining impact of the impact factor. Journal of Documentation, 69(2),

Bawden, D. and Robinson, L. (2012). Introduction to information science. In: UNSPECIFIED . London: Facet Publishing. ISBN 9781856048101

Benetos, E. and Dixon, S. (2012). A Shift-Invariant Latent Variable Model for Automatic Music Transcription. Computer Music Journal, 36(4), pp. 81-94. doi: 10.1162/COMJ_a_00146

Benetos, E. and Dixon, S. (2012). Temporally-constrained convolutive probabilistic latent component analysis for multi-pitch detection. Lecture Notes in Computer Science: Latent Variable Analysis and Signal Separation, 7191, pp. 364-371. doi: 10.1007/978-3-642-28551-6_45

Benetos, E., Dixon, S., Giannoulis, D., Kirchhoff, H. and Klapuri, A. (2012). Automatic Music Transcription: Breaking the Glass Ceiling. Paper presented at the 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.

Benetos, E., Klapuri, A. and Dixon, S. (2012). Score-informed transcription for automatic piano tutoring. European Signal Processing Conference, ISSN 2219-5491

Benetos, E., Lagrange, M. and Dixon, S. (2012). Characterisation of acoustic scenes using a temporally-constrained shift-invariant model. Paper presented at the 15th International Conference on Digital Audio Effects Conference (DAFx-12), 17 - 21 Sept 2012, University of York, York, UK.

Berlanga, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Nebot, V. (2012). Exploring and linking biomedical resources through multidimensional semantic spaces. BMC BIOINFORMATICS, 13(Supp 1), S6. doi: 10.1186/1471-2105-13-S1-S6

Bernardy, J. P., Jannson, P. and Paterson, R. A. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107-152. doi: 10.1017/S0956796812000056

Child, C. H. T. (2012). Approximate Dynamic Programming with Parallel Stochastic Planning Operators (TR/2012/DOC/03). City University London.

Comuzzi, M., Angelov, S. and Vonk, J. (2012). Patterns to Enable Mass-Customized Business Process Monitoring. Paper presented at the CAiSE 2012, 24th International Conference, 25-06-2012 - 29-06-2012, Gdansk, Poland.

Comuzzi, M., Vonk, J. and Grefen, P. (2012). Measures and mechanisms for process monitoring in evolving business networks. Data & Knowledge Engineering, 71(1), pp. 1-28. doi: 10.1016/j.datak.2011.07.004

Curran, W., Moore, T., Kulesza, T., Wong, W-K, Todorovic, S., Stumpf, S., White, R. and Burnett, M. (2012). Towards recognizing "cool": can end users help computer vision recognize subjective attributes of objects in images? In: Duarte, C., Carriço, L., Jorge, J. A., Oviatt, S. L. and Gonçalves, D. (Eds.), Proceedings of the 2012 ACM international conference on Intelligent User Interfaces. (pp. 285-288). New York: ACM. ISBN 978-1-4503-1048-2

Fairbank, M. and Alonso, E. (2012). A Comparison of Learning Speed and Ability to Cope Without Exploration between DHP and TD(0). Paper presented at the IEEE International Joint Conference on Neural Networks (IEEE IJCNN 2012), 1783-1789, 10-15-2012, Brisbane, Australia.

Fairbank, M. and Alonso, E. (2012). A Comparison of Learning Speed and Ability to Cope Without Exploration between DHP and TD(0). The 2012 International Joint Conference on Neural Networks (IJCNN), pp. 1478-1485. doi: 10.1109/IJCNN.2012.6252569

Fairbank, M. and Alonso, E. (2012). Efficient Calculation of the Gauss-Newton Approximation of the Hessian Matrix in Neural Networks. Neural Computation, 24(3), pp. 607-610. doi: 10.1162/NECO_a_00248

Fairbank, M. and Alonso, E. (2012). Value-Gradient Learning. Paper presented at the WCCI 2012 IEEE World Congress on Computational Intelligence, 10-06-2012 - 15-06-2012, Brisbane, Australia.

Fairbank, M. and Alonso, E. (2012). The divergence of reinforcement learning algorithms with value-iteration and function approximation. Paper presented at the The 2012 International Joint Conference on Neural Networks (IJCNN), 10-06-2012 - 15-06-2012, Brisbane, Australia.

Fairbank, M., Alonso, E. and Prokhorov, D. (2012). Simple and Fast Calculation of the Second-Order Gradients for Globalized Dual Heuristic Dynamic Programming in Neural Networks. IEEE Transactions on Neural Networks and Learning Systems, 23(10), pp. 1671-1676. doi: 10.1109/TNNLS.2012.2205268

Foster, H. and Spanoudakis, G. (2012). Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. In: Lecture Notes in Computer Science. (pp. 3-8). Springer. ISBN 9783642318757

Foster, H., Spanoudakis, G. and Mahbub, K. (2012). Formal Certification and Compliance for Run-Time Service Environments. In: Moser, L. E., Parashar, M. and Hung, P. C. K. (Eds.), 2012 IEEE Ninth International Conference on Services Computing (SCC),. (pp. 17-24). IEEE. ISBN 978-0-7695-4753-4

Foster, H., Spanoudakis, G. and Mahbub, K. (2012). Formal certification and compliance for run-time service environments. Paper presented at the 2012 IEEE Ninth International Conference on Services Computing (SCC), 24 - 29 June 2012, Honolulu, USA.

Ganz, M., Yang, X. and Slabaugh, G. G. (2012). Automatic Segmentation of Polyps in Colonoscopic Narrow-Band Imaging Data. IEEE Transactions on Biomedical Engineering, 59(8), pp. 2144-2151. doi: 10.1109/TBME.2012.2195314

Goddard, Kate (2012). Automation bias and prescribing decision support – rates, mediators and mitigators. (Unpublished Doctoral thesis, City University London)

Gooch, P. (2012). BADREX: In situ expansion and coreference of biomedical abbreviations using dynamic regular expressions. London, UK: City University London.

Gooch, P. (2012). A lightweight, pattern-based approach to identification and formalisation of TimeML expressions in clinical narratives. Paper presented at the The Sixth Informatics for Integrating Biology and the Bedside (i2b2) Natural Language Processing Challenge for Clinical Records, Nov 2012, Chicago, IL.

Gooch, P. (2012). A modular, open-source information extraction framework for identifying clinical concepts and processes of care in clinical narratives. (Unpublished Doctoral thesis, City University London)

Gooch, P. and Roudsari, A. (2012). Lexical patterns, features and knowledge resources for coreference resolution in clinical notes. Journal of Biomedical Informatics, 45(5), pp. 901-912. doi: 10.1016/j.jbi.2012.02.012

Gorp, P. V., Comuzzi, M., Fialho, A. S. and Kaymak, U. (2012). Addressing health information privacy with a novel cloud-based PHR system architecture. Paper presented at the 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 14-10-2012 - 17-10-2012, Seoul, Korea.

Hadjiminas, N. and Child, C. H. T. (2012). Be The Controller: A Kinect Tool Kit for Video Game Control - Recognition of Human Motion Using Skeletal Relational Angles. Paper presented at the 5th Annual International Conference On Computer Games, Multimedia And Allied Technology (CGAT 2012), 2012, Bali, Indonesia.

Hampshire, T. E., Roth, H. R., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2012). Prone to Supine CT Colonography Registration Using a Landmark and Intensity Composite Method. In: Yoshida, H, Hawkes, DJ and Vannier, MW (Eds.), Abdominal Imaging. Computational and Clinical Applications. (pp. 1-9). Springer. ISBN 978-3-642-33611-9

Houyou, A. M., Huth, H-P., Kloukinas, C., Trsek, H. and Rotondi, D. (2012). Agile manufacturing: General challenges and an IoT@Work perspective. In: UNSPECIFIED (pp. 1-7). IEEE. ISBN 978-1-4673-4735-8

Howe, J. M. and King, A. (2012). Polyhedral Analysis using Parametric Objectives. Lecture Notes on Computer Science, 7460, pp. 41-57. doi: 10.1007/978-3-642-33125-1_6

Howe, J. M. and King, A. (2012). A pearl on SAT and SMT solving in Prolog. Theoretical Computer Science, 435, pp. 43-55. doi: 10.1016/j.tcs.2012.02.024

Kloukinas, C. and Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures (TR/2012/DOC/01). .

Kloukinas, C. and Ozkaya, M. (2012). Xcd - Modular, Realizable Software Architectures. Lecture Notes in Computer Science: Formal Aspects of Component Software, 7684, pp. 152-169. doi: 10.1007/978-3-642-35861-6_10

Kulesza, T., Stumpf, S., Burnett, M. and Kwan, I. (2012). Tell me more?: the effects of mental model soundness on personalizing an intelligent agent. In: Konstan, J. A., Chi, E. H. and Höök, K. (Eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 1-10). New York: ACM. ISBN 978-1-4503-1015-4

Li, S., Fairbank, M., Wunsch, D. C. and Alonso, E. (2012). Vector Control of a Grid-Connected Rectifier/Inverter Using an Artificial Neural Network. Paper presented at the IEEE International Joint Conference on Neural Networks (IEEE IJCNN 2012), 1783-1789, 10-15-2012, Brisbane, Australia.

Mantas, G., Lymberopoulos, D. and Komninos, N. (2012). PKI security in large-scale healthcare networks. Journal of Medical Systems, 36(3), pp. 1107-1116. doi: 10.1007/s10916-010-9573-1

Meilicke, C., Sváb-Zamazal, O., Trojahn, C., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Aguirre, J-L., Stuckenschmidt, H. and Grau, B. C. (2012). Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases. .

Mukherjee, A. and Bawden, D. (2012). Health information seeking in the information society. Health Information & Libraries Journal, 29(3), pp. 242-246. doi: 10.1111/j.1471-1842.2012.00997.x

Netkachova, K. (2012). The model and implementation of Safety Case Cores. Information & Security, 28(2), pp. 286-295.

Netkachova, K. and Kharchenko, V. S. (2012). Analyzing the Dynamics of software vulnerability detection using a logistic curve. Systems of Control, Navigation and Communications, 2(22), pp. 173-177.

Ozkaya, M. and Kloukinas, C. (2012). Highly analysable, reusable, and realisable architectural designs with XCD. Communications in Computer and Information Science, 340, pp. 72-79. doi: 10.1007/978-3-642-35267-6_10

Palacios, M., García-Fanjul, J., Tuya, J. and Spanoudakis, G. (2012). Identifying Test Requirements by Analyzing SLA Guarantee Terms. In: Goble, C. A., Chen, P. P. and Zhang, J. (Eds.), 2012 IEEE 19th International Conference on Web Services (ICWS). (pp. 351-358). IEEE. ISBN 978-1-4673-2131-0

Parulek, J., Turkay, C., Reuter, N. and Viola, I. (2012). Implicit surfaces for interactive graph based cavity analysis of molecular simulations. Paper presented at the 2nd IEEE Symposium on Biological Data Visualization, 14 Dec - 15 Dec 2012, Seattle, USA.

Paterson, R. A. (2012). Constructing applicative functors. Paper presented at the 11th International Conference, Mathematics of Program Construction, 25 - 27 Jun 2012, Madrid, Spain.

Pawar, P. S., Nair, S. K., El-Mousaa, F., Dimitrakos, T., Rajarajan, M. and Zisman, A. (2012). Opinion Model Based Security Reputation Enabling Cloud Broker Architecture. Paper presented at the CloudComp 2012 - 3rd International Conference on Cloud Computing, 24 - 26 Sep 2012, Vienna, Austria.

Pawar, P. S., Rajarajan, M., Nair, S. K. and Zisman, A. (2012). Trust Model for Optimized Cloud Services. IFIP Advances in Information and Communication Technology, 374, pp. 97-112. doi: 10.1007/978-3-642-29852-3_7

Pearson, J., Buchanan, G., Thimbleby, H. W. and Jones, M. (2012). The Digital Reading Desk: A lightweight approach to digital note-taking. Interacting with Computers, 24(5), pp. 326-338. doi: 10.1016/j.intcom.2012.03.001

Pino, L. and Spanoudakis, G. (2012). Constructing secure service compositions with patterns. Paper presented at the 2012 IEEE 8th World Congress on Services, SERVICES 2012, 24 -29 June 2012, Honolulu, Hawaii.

Pino, L. and Spanoudakis, G. (2012). Finding secure compositions of software services: Towards a pattern based approach. 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, pp. 1-5. doi: 10.1109/NTMS.2012.6208741

Plebani, P., Cappiello, C., Comuzzi, M., Pernici, B. and Yadav, S. (2012). MicroMAIS: executing and orchestrating Web services on constrained mobile devices. Software: Practice and Experience, 42(9), pp. 1075-1094. doi: 10.1002/spe.1106

Rajarajan, M., Sajjad, A., Zisman, A., Nair, S. K. and Dimitrakos, T. (2012). Secure communication using dynamic VPN provisioning in an Inter-Cloud environment. Paper presented at the ICON 2012: 18th IEEE International Conference on Networks, 12 - 14 Dec 2012, Singapore.

Robinson, L. and Ship, M. (2012). "Permeating all community activities"? Comparing events and programming in Westminster and Tower Hamlets public libraries. Library and Information Research, 36(13), pp. 114-126.

Roth, H. R., Hampshire, T. E., McClelland, J. R., Hu, M., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2012). Inverse Consistency Error in the Registration of Prone and Supine Images in CT Colonography. Lecture Notes in Computer Science, 7029, pp. 1-7. doi: 10.1007/978-3-642-28557-8_1

Sathiyanarayanan, M. and Kim, K. S. (2012). Multi-Channel Deficit Round-Robin Scheduling for Hybrid TDM/WDM Optical Networks. 2012 IV International Congress on Ultra Modern Telecommunications and Control Systems, pp. 552-557. doi: 10.1109/ICUMT.2012.6459727

Spanoudakis, G., Damiani, E. and Maña, A. (2012). Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. Paper presented at the High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, 25 - 27 Oct 2012, Omaha, US.

Stumpf, S., Burnett, M., Pipek, V. and Wong, W-K (2012). End-user interactions with intelligent and autonomous systems. In: Konstan, J. A., Chi, E. H. and Höök, K. (Eds.), CHI '12 Extended Abstracts on Human Factors in Computing Systems. (pp. 2755-2758). New York: ACM. ISBN 978-1-4503-1016-1

Stupples, D. and Spurgin, A. (2012). Nuclear Industry Organizations: Shaped by Accidents. Paper presented at the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012 (PSAM11 ESREL 2012), 25-29 Jun 2012, Helsinki, Finland.

Ter-Sarkisov, A. (2012). Computational complexity of elitist population-based evolutionary algorithms: a thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science at Massey University, Palmerston North, New Zealand. (Unpublished Doctoral thesis, Massey University, Palmerston North, New Zealand.)

Ter-Sarkisov, A. (2012). Elitism Levels Traverse Mechanism For The Derivation of Upper Bounds on Unimodal Functions. Paper presented at the 2012 IEEE Congress on Evolutionary Computation, 10-15 Jun 2012, Brisbane, Australia.

Turkay, C., Lundervold, A., Lundervold, A.J. and Hauser, H. (2012). Representative factor generation for the interactive visual analysis of high-dimensional data. IEEE Transactions on Visualization and Computer Graphics, 18(12), pp. 2621-2630. doi: 10.1109/TVCG.2012.256

Turkay, C., Parulek, J. and Hauser, H. (2012). Dual analysis of DNA microarrays. Paper presented at the i-Know '12, 12th International Conference on Knowledge Management and Knowledge Technologies, 5 September 2012 - 7 September 2012, Graz, Austria.

Van Gorp, P. and Comuzzi, M. (2012). MyPHRMachines: Lifelong Personal Health Records in the Cloud. Paper presented at the 2012 25th International Symposium on Computer-Based Medical Systems (CBMS),, 20-06-2012 - 22-06-2012, Rome, Italy.

Wissmann, Jens (2012). Chord Sequence patterns in OWL. (Unpublished Doctoral thesis, City University London)

Wolff, D., Stober, S., Nürnberger, A. and Weyde, T. (2012). A Systematic Comparison of Music Similarity Adaptation Approaches. Paper presented at the 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.

Zhang, Yun (2012). Pattern recognition techniques applied to rust classification in steel structures. (Unpublished Masters thesis, City University London)

da Silva, I. and Zisman, A. (2012). A Framework for Trusted Services. Paper presented at the Service-Oriented Computing - 10th International Conference, ICSOC 2012, 12 - 15 Nov 2012, Shanghai, China.

Šoltészová, V., Turkay, C., Price, M. C. and Viola, I. (2012). A perceptual-statistics shading model. IEEE Transactions on Visualization and Computer Graphics, 18(12), pp. 2265-2274. doi: 10.1109/TVCG.2012.188

2011

Andrienko, G., Andrienko, N., Mladenov, M., Mock, M. and Pölitz, C. (2011). Identifying Place Histories from Activity Traces with an Eye to Parameter Impact.. IEEE Transactions on Visualization and Computer Graphics, 18(5), pp. 675-688. doi: 10.1109/TVCG.2011.153

Ardagna, D., Baresi, L., Comai, S., Comuzzi, M. and Pernici, B. (2011). A Service-Based Framework for Flexible Business Processes. IEEE Software, 28(2), pp. 61-67. doi: 10.1109/MS.2011.28

Basdekis, I., Sakkalis, V. and Stephanidis, C. (2011). Towards an Accessible Personal Health Record. Paper presented at the Second International ICST Conference, MobiHealth 2011, 5 - 7 October 2011, Kos Island, Greece.

Bawden, D. (2011). Mind the gap: transitions between concepts of information in varied domains. Paper presented at the Information ecology and libraries conference, 10th - 12th October 2011, Comenius University Bratislava, Slovakia.

Benetos, E. and Dixon, S. (2011). Joint Multi-Pitch Detection Using Harmonic Envelope Estimation for Polyphonic Music Transcription. IEEE Journal of Selected Topics in Signal Processing, 5(6), pp. 1111-1123. doi: 10.1109/JSTSP.2011.2162394

Benetos, E. and Dixon, S. (2011). Multiple-instrument polyphonic music transcription using a convolutive probabilistic model. Paper presented at the 8th Sound and Music Computing Conference, 6 - 9 Jul 2011, Padova, Italy.

Benetos, E. and Dixon, S. (2011). Polyphonic music transcription using note onset and offset detection. Paper presented at the 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 22 - 27 May 2011, Prague, Czech Republic.

Benetos, E. and Dixon, S. (2011). A temporally-constrained convolutive probabilistic model for pitch detection. Paper presented at the Applications of Signal Processing to Audio and Acoustics (WASPAA), 2011 IEEE Workshop on, 16 - 19 Oct 2011, New Paltz, NY, US.

Berlanga, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Nebot, V. (2011). Building conceptual spaces for exploring and linking biomedical resources. CEUR Workshop Proceedings, 698,

Bezzi, M., Sabetta, A. and Spanoudakis, G. (2011). An architecture for certification-aware service discovery. Proceedings - 2011 1st International Workshop on Securing Services on the Cloud, IWSSC 2011, pp. 14-21. doi: 10.1109/IWSSCloud.2011.6049020

Bland, J. D. P., Weller, P. and Rudolfer, S. (2011). Questionnaire tools for the diagnosis of carpal tunnel syndrome from the patient history. Muscle & Nerve, 44(5), pp. 757-762. doi: 10.1002/mus.22158

Borges, Rafael, Garcez, A. and Lamb, L. C. (2011). Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Transactions on Neural Networks, 22(12), pp. 2409-2421. doi: 10.1109/TNN.2011.2170180

Child, C. H. T. (2011). Approximate Dynamic Programming with Parallel Stochastic Planning Operators. (Unpublished Doctoral thesis, City University London)

Comuzzi, M. and Vanderfeesten, I. T. P. (2011). Product-Based Workflow Design for Monitoring of Collaborative Business Processes. Paper presented at the CAiSE 2011, 23rd International Conference, 20-06-2011 - 24-06-2011, London, UK.

Del Tedesco, F., Hunt, S. and Sands, D. (2011). A semantic hierarchy for erasure policies. Lecture Notes in Computer Science, 7093 L, pp. 352-369. doi: 10.1007/978-3-642-25560-1_24

Dixon, S., Tidhar, D. and Benetos, E. (2011). The Temperament Police: The Truth, the Ground Truth, and Nothing but the Truth. Paper presented at the 12th International Society for Music Information Retrieval Conference, 24 - 28 Oct 2011, Miami, Florida, US.

Filho, Gilberto Amado de Azevedo Cysneiros (2011). Software Traceability for Multi-Agent Systems Implemented Using BDI Architecture. (Unpublished Doctoral thesis, City University London)

Foster, H. and Spanoudakis, G. (2011). Advanced service monitoring configurations with SLA decomposition and selection. Proceedings of the ACM Symposium on Applied Computing, pp. 1582-1589. doi: 10.1145/1982185.1982519

Foster, H. and Spanoudakis, G. (2011). SMaRT: A Workbench for reporting the monitorability of services from SLAs. In: Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems. (pp. 36-42). New York; USA: ACM. ISBN 978-1-4503-0591-4

Gooch, P. (2011). Systematic identification and correction of spelling errors in the Foundational Model of Anatomy. Paper presented at the 4th International Semantic Web Applications and Tools for Life Sciences Workshop, 07-12-2011 - 09-12-2011, London.

Gooch, P. and Roudsari, A. (2011). Automated recognition and post-coordination of complex clinical terms. Paper presented at the Information Technology and Communications in Health, 24 - 27 February 2011, Victoria, Canada.

Gooch, P. and Roudsari, A. (2011). Computerization of workflows, guidelines and care pathways: a review of implementation challenges for process-oriented health information systems. Journal of the American Medical Informatics Association, 18(6), pp. 738-748. doi: 10.1136/amiajnl-2010-000033

Gooch, P. and Roudsari, A. (2011). Coreference resolution in clinical discharge summaries, progress notes, surgical and pathology reports: a unified lexical approach. Paper presented at the AMIA 2011, 22 - 26 Oct 2011, Washington DC, US.

Gooch, P. and Roudsari, A. (2011). A tool for enhancing MetaMap performance when annotating clinical guideline documents with UMLS concepts. Paper presented at the IDAMAP Workshop at 13th Conference on Artificial Intelligence in Medicine (AIME'11), 02-07-2011 - 06-07-2011, Bled, Slovenia.

Howe, J. M. and King, A. (2011). A Pearl on SAT Solving in Prolog (extended abstract). ALP Newsletter(3),

Hunt, S. and Sands, D. (2011). From exponential to polynomial-time security typing via principal types. Lecture Notes in Computer Science, 6602 L, pp. 297-316. ISSN 0302-9743

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Grau, B. C., Berlanga, R. and Rebholz-Schuhmann, D. (2011). First steps in the logic-based assessment of post-composed phenotypic descriptions. CEUR Workshop Proceedings, 698,

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Grau, B. C., Horrocks, I. and Berlanga, R. (2011). Logic-based assessment of the compatibility of UMLS ontology sources.. Journal of Biomedical Semantics, 2(Supp 1), S2. doi: 10.1186/2041-1480-2-S1-S2

Kalyvianaki, E., Wiesemann, W., Vu, Q. H., Kuhn, D. and Pietzuch, P. (2011). SQPR: Stream query planning with reuse. Paper presented at the 2011 IEEE 27th International Conference on Data Engineering (ICDE), 11-04-2011 - 16-04-2011, Hannover, Germany.

Kloukinas, C. and Yovine, S. (2011). A model-based approach for multiple QoS in scheduling: from models to implementation. Automated Software Engineering, 18(1), pp. 5-38. doi: 10.1007/s10515-010-0074-8

Lekeas, G., Kloukinas, C. and Stathis, K. (2011). Producing Enactable Protocols in Artificial Agent Societies. Lecture Notes in Computer Science: Agents in Principle, Agents in Practice, 7047, pp. 311-322. doi: 10.1007/978-3-642-25044-6_25

Lekeas, George K. (2011). Regulating competence-based access to agent societies. (Unpublished Doctoral thesis, City University London)

Lorenzoli, D. and Spanoudakis, G. (2011). Predicting software service availability: Towards a runtime monitoring approach. In: 2011 IEEE International Conference on Web Services (ICWS 2011). (pp. 736-737). IEEE. ISBN 978-1-4577-0842-8

Loumakis, F., Stumpf, S. and Grayson, D. (2011). This image smells good: Effects of image information scent in search engine results pages. In: Proceedings of the 20th ACM international conference on Information and knowledge management. (pp. 475-484). New York: ACM. ISBN 9781450307178

Mahbub, K. and Spanoudakis, G. (2011). Proactive SLA negotiation for service based systems: Initial implementation and evaluation experience. Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011, pp. 16-23. doi: 10.1109/SCC.2011.34

Mahbub, K., Spanoudakis, G. and Zisman, A. (2011). A monitoring approach for runtime service discovery. Automated Software Engineering, 18(2), pp. 117-161. doi: 10.1007/s10515-010-0077-5

Mearns, L., Benetos, E. and Dixon, S. (2011). Automatically detecting key modulations in J.S. Bach chorale recordings. Paper presented at the 8th Sound and Music Computing Conference, 6 - 9 Jul 2011, Padova, Italy.

Robinson, L. (2011). Understanding healthcare information. Paper presented at the Umbrella 2011 Conference, 12th - 13th July 2011, University of Hertfordshire, Hatfield.

Roth, H. R., Hampshire, T. E., McClelland, J. R., Hu, M., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2011). Inverse Consistency Error in the Registration of Prone and Supine Images in CT Colonography. Paper presented at the Third International Workshop on Computational and Clinical Applications in Abdominal Imaging, 18-09-2011, Toronto, Canada.

Roth, H. R., McClelland, J. R., Boone, D. J., Modat, M., Cardoso, M. J., Hampshire, T. E., Hu, M., Punwani, S., Ourselin, S., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2011). Registration of the endoluminal surfaces of the colon derived from prone and supine CT colonography. Medical Physics, 38(6), pp. 3077-3089. doi: 10.1118/1.3577603

Shepherd, Robert (2011). The generation and classification of small leaks in a high pressure water system. (Unpublished Doctoral thesis, City University London)

Slabaugh, G. G. and Ye, X. (2011). Concavity analysis for reduction of ileocecal valve false positives in CTC. In: 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro. (pp. 173-176). IEEE. ISBN 9781424441273

Spanoudakis, G. and Zisman, A. (2011). Designing and Adapting Service-based Systems: A Service Discovery Framework. In: Service Engineering. (pp. 261-297). BERLIN: SPRINGER-VERLAG. ISBN 978-3-7091-0414-9

Turkay, C., Filzmoser, P. and Hauser, H. (2011). Brushing dimensions--a dual visual analysis model for high-dimensional data. IEEE Transactions on Visualization and Computer Graphics, 17(12), pp. 2591-2599. doi: 10.1109/TVCG.2011.178

Turkay, C., Parulek, J., Reuter, N. and Hauser, H. (2011). Integrating cluster formation and cluster evaluation in interactive visual analysis. Paper presented at the 27th Spring Conference on Computer Graphics, 28 Apr - 30 Apr 2011, Vinicne, Slovakia.

Turkay, C., Parulek, J., Reuter, N. and Hauser, H. (2011). Interactive visual analysis of temporal cluster structures. Computer Graphics Forum, 30(3), pp. 711-720. doi: 10.1111/j.1467-8659.2011.01920.x

Unal, G. B., Nain, D., Slabaugh, G. G. and Fang, T. (2011). Generating shapes by analogies: An application to hearing aid design. Computer-Aided Design, 43, pp. 47-56. doi: 10.1016/j.cad.2010.09.008

Weyde, T. and Wolff, D. (2011). Adapting Metrics for Music Similarity Using Comparative Ratings. Paper presented at the 12th International Society for Music Information, 24 - 28 Oct 2011, Miami, FL, US.

Wong, W-K, Oberst, I., Das, S., Moore, T., Stumpf, S., McIntosh, K. and Burnett, M. (2011). End-user feature labeling: a locally-weighted regression approach. In: Pu, P., Pazzani, M. J., André, E. and Riecken, D. (Eds.), Proceedings of the 16th international conference on Intelligent user interfaces. (pp. 115-124). New York: ACM. ISBN 978-1-4503-0419-1

Yang, X., Beddoe, G. and Slabaugh, G. G. (2011). Learning to Detect 3D Rectal Tubes in CT Colonography Using a Global Shape Model. Lecture Notes in Computer Science, 6668, pp. 53-59. doi: 10.1007/978-3-642-25719-3_8

Yang, X. and Slabaugh, G. G. (2011). A robust and efficient approach to detect 3D rectal tubes from CT colonography. Medical Physics, 38(11), p. 6238. doi: 10.1118/1.3654842

Ye, X., Beddoe, G. and Slabaugh, G. G. (2011). A Bayesian Approach for False Positive Reduction in CTC CAD. Paper presented at the Second International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, 20-09-2010, Beijing, China.

Ye, X., Beddoe, G. and Slabaugh, G. G. (2011). A Bayesian Approach for False Positive Reduction in CTC CAD. Lecture Notes in Computer Science, 6668, pp. 40-46. doi: 10.1007/978-3-642-25719-3_6

Ye, X. and Slabaugh, G. G. (2011). Concavity analysis for reduction of ileocecal valve false positives in CTC. Paper presented at the 8th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 30-03-2011 - 02-04-2011, Chicago, USA.

2010

Alonso, E. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2010). Computational models of learning and beyond: Symmetries of associative learning. In: Computational Neuroscience for Advancing Artificial Intelligence: Models, Methods and Applications. (pp. 316-332). IGI Global. ISBN 9781609600211

Andrienko, N. and Andrienko, G. (2010). Spatial generalization and aggregation of massive movement data.. IEEE Transactions on Visualization and Computer Graphics, 17(2), pp. 205-219. doi: 10.1109/TVCG.2010.44

Anglade, A., Benetos, E., Mauch, M. and Dixon, S. (2010). Improving music genre classification using automatically induced harmony rules. Journal of New Music Research, 39(4), pp. 349-361. doi: 10.1080/09298215.2010.525654

Anisetti, M., Ardagna, C. A., Guida, F., Gürgens, S., Lotz, V., Maña, A., Pandolfo, C., Pazzaglia, J., Pujol, G. and Spanoudakis, G. (2010). ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops, 6428, pp. 38-40. doi: 10.1007/978-3-642-16961-8_11

Baloch, S., Melkisetoglu, R., Flöry, S., Azernikov, S., Slabaugh, G. G., Zouhar, A. and Fang, T. (2010). Automatic Detection of Anatomical Features on 3D Ear Impressions for Canonical Representation.. Lecture Notes in Computer Science, 6363, pp. 555-562. doi: 10.1007/978-3-642-15711-0_69

Basdekis, I., Klironomos, I., Metaxas, I. and Stephanidis, C. (2010). An overview of web accessibility in Greece: a comparative study 2004-2008. Universal Access in the Information Society, 9(2), pp. 185-190. doi: 10.1007/s10209-009-0166-z

Benetos, E. and Dixon, S. (2010). Multiple-F0 estimation of piano sounds exploiting spectral structure and temporal evolution. Paper presented at the ISCA Tutorial and Research Workshop on Statistical and Perceptual Audition, 25 Sep 2010, Makuhari, Japan.

Benetos, E. and Kotropoulos, C. (2010). Non-Negative Tensor Factorization Applied to Music Genre Classification. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1955-1967. doi: 10.1109/TASL.2010.2040784

Benetos, E. and Stylianou, Y. (2010). Auditory Spectrum-Based Pitched Instrument Onset Detection. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1968-1977. doi: 10.1109/TASL.2010.2040785

Bergeron, M. (2010). Structured polyphonic patterns. (Unpublished Doctoral thesis, City University London)

Bernardy, J-P., Jansson, P. and Paterson, R. A. (2010). Parametricity and Dependent Types. Paper presented at the International Conference on Functional Programming, 27-09-2010 - 29-09-2010, Baltimore, USA.

Charalambous, T. and Kalyvianaki, E. (2010). A min-max framework for CPU resource provisioning in virtualized servers using ℋ∞ Filters. Decision and Control (CDC), 2010 49th IEEE Conference on, pp. 3778-3783. doi: 10.1109/CDC.2010.5717375

Child, C. H. T., Parkar, S., Mohamedally, D., Haddad, M. and Doroana, R. (2010). Development of a Virtual Laparoscopic Trainer using Accelerometer Augmented Tools to Assess Performance in Surgical training. Poster presented at the 19th International Pediatric Endosurgery Group (IPEG) Congress, 8 - 12 Jun 2010, Hawaii, US.

Comuzzi, M. and Spanoudakis, G. (2010). Dynamic set-up of monitoring infrastructures for service based systems. In: Shin, S. Y., Ossowski, S., Schumacher, M., Palakal, M. J. and Hung, C. (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing. (pp. 2414-2421). ACM. ISBN 978-1-60558-639-7

Comuzzi, M., Vonk, J. and Grefen, P. (2010). Continuous Monitoring in Evolving Business Networks. Paper presented at the Confederated International Conferences: CoopIS, IS, DOA and ODBASE,, 25-10-2010 - 29-10-2010, Crete, Greece.

Cummins, J. and Bawden, D. (2010). Accounting for information: Information and knowledge in the annual reports of FTSE 100 companies. Journal of Information Science, 36(3), pp. 283-305. doi: 10.1177/0165551510361429

Farion, K., Michalowski, W., Wilk, S., O'Sullivan, D. and Matwin, S. (2010). A tree-based decision model to support prediction of the severity of asthma exacerbations in children. Journal of Medical Systems, 34(4), pp. 551-562. doi: 10.1007/s10916-009-9268-7

Garcez, A. (2010). Neurons and symbols: a manifesto. Paper presented at the Dagstuhl Seminar Proceedings 10302. Learning paradigms in dynamic environments, 25 - 30 July 2010, Dagstuhl, Germany.

Guillame-Bert, M., Broda, K. and Garcez, A. (2010). First-order logic learning in artificial neural networks. International Joint Conference on Neural Networks (IJCNN 2010), doi: 10.1109/IJCNN.2010.5596491

Howe, J. M. and King, A. (2010). A pearl on SAT solving in Prolog. In: International Symposium on Functional and Logic Programming, pages 165-174. Lecture Notes in Computer Science (6009). . Springer.

Howe, J. M., King, A. and Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain. Electronic Notes Theoretical Computer Science, 267(1), pp. 89-100. doi: 10.1016/j.entcs.2010.09.008

Howe, J. M., King, A. and Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain (TR_2010_DOC_01). .

Jennings, D., Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 and Bonardi, C. (2010). Temporal uncertainty during overshadowing: A temporal difference account. In: Computational Neuroscience for Advancing Artificial Intelligence: Models, Methods and Applications. (pp. 46-55). IGI Global. ISBN 9781609600211

Kalyvianaki, E., Charalambous, T. and Hand, S. (2010). Resource Provisioning for Multi-Tier Virtualized Server Applications. Computer Measurement Group (CMG) Journal, 126, pp. 6-17.

Komendantskaya, E., Broda, K. and Garcez, A. (2010). Using inductive types for ensuring correctness of neuro-symbolic computations. Paper presented at the 6th Conference on Computability in Europe, CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal.

MacFarlane, A., Inskip, C. and Rafferty, P. (2010). Upbeat and quirky with a bit of a build: Interpretive repertories in creative music search. Paper presented at the 11th International Society for Music Information Retrieval Conference (ISMIR 2010)(ISMIR 2010), 09 - 13 August 2010, Utrecht, Netherlands.

Mahbub, K. and Spanoudakis, G. (2010). Proactive SLA Negotiation for Service Based Systems. 2010 6th World Congress on Services (SERVICES-1), pp. 519-526. doi: 10.1109/SERVICES.2010.15

O'Sullivan, D., Wilk, S., Michalowski, W. and Farion, K. (2010). Automatic indexing and retrieval of encounter-specific evidence for point-of-care support. Journal of Biomedical Informatics, 43(4), pp. 623-631. doi: 10.1016/j.jbi.2010.03.003

Papagiannis, F.A. (2010). National Patient Flow Framework: An Ontological Patient-oriented Redesign. (Unpublished Doctoral thesis, City University London)

Shabestari, O.L (2010). Evaluation of using web 2.0 technologies in diabetes education for adolescent and young patients. (Unpublished Doctoral thesis, City University London)

Siveroni, I., Zisman, A. and Spanoudakis, G. (2010). A UML-based static verification framework for security. Requirements Engineering, 15(1), pp. 95-118. doi: 10.1007/s00766-009-0091-y

Slabaugh, G. G., Whited, B., Rossignac, J., Fang, T. and Unal, G. B. (2010). 3D ball skinning using PDEs for generation of smooth tubular surfaces. Computer-Aided Design, 42(1), pp. 18-26. doi: 10.1016/j.cad.2009.03.004

Slabaugh, G. G., Yang, X., Ye, X., Boyes, R, and Beddoe, G. (2010). A Robust and Fast System for CTC Computer-Aided Detection of Colorectal Lesions. Algorithms, 3(1), pp. 21-43. doi: 10.3390/a3010021

Spanoudakis, G. and Zisman, A. (2010). Discovering Services during Service-Based System Design Using UML. IEEE Transactions on Software Engineering, 36(3), pp. 371-389. doi: 10.1109/TSE.2009.88

Tsigkritis, Theocharis (2010). Diagnosing runtime violations of security and dependability properties. (Unpublished Doctoral thesis, City University London)

Weller, P., Rakhmetova, L., Ma, Q. and Mandersloot, G. (2010). Evaluation of a wearable computer system for telemonitoring in a critical environment. Personal and Ubiquitous Computing, 14(1), pp. 73-81. doi: 10.1007/s00779-009-0231-x

Wissmann, Jens, Weyde, T. and Conklin, D. (2010). Representing chord sequences in OWL. Paper presented at the Sound and Music Computing Conference 2010, 21 - 24 June 2010, Barcelona, Spain.

Yang, X., Beddoe, G. and Slabaugh, G. G. (2010). Learning to Detect 3D Rectal Tubes in CT Colonography Using a Global Shape Model. Paper presented at the Second International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, 20-09-2010, Beijing, China.

Yang, X., Tek, B., Beddoe, G. and Slabaugh, G. G. (2010). Feature Selection for Computer-Aided Polyp Detection using MRMR. SPIE Proceedings, 7624, doi: 10.1117/12.844165

Ye, X., Beddoe, G. and Slabaugh, G. G. (2010). Automatic Graph Cut Segmentation of Lesions in CT Using Mean Shift Superpixels. International Journal of Biomedical Imaging (IJBI), 2010, p. 983963. doi: 10.1155/2010/983963

Zhu, P. (2010). Quantifying Information Flow with Constraints. (Unpublished Doctoral thesis, City University London)

2009

Alevizos, C. (2009). SYMEX: A Systems Theory based Framework for Workflow Modelling and Execution. (Unpublished Doctoral thesis, City, University of London)

Basdekis, I., Karampelas, P., Doulgeraki, V. and Stephanidis, C. (2009). Designing Universally Accessible Networking Services for a Mobile Personal Assistant. Lecture Notes in Computer Science, 5615, pp. 279-288. doi: 10.1007/978-3-642-02710-9_31

Bawden, D. (2009). Sharing knowledge and information, three views of the future. Paper presented at the Inforum 2009, May 2009, Prague, Czech Republic.

Benetos, E., Holzapfel, A. and Stylianou, Y. (2009). Pitched Instrument Onset Detection based on Auditory Spectra. Paper presented at the 10th International Society for Music Information Retrieval Conference, ISMIR 2009, 26 - 30 Oct 2009, Kobe, Japan.

Boyes, R., Slabaugh, G. G. and Beddoe, G. (2009). Fast pseudo-enhancement correction in CT colonography using linear shift-invariant filters. Paper presented at the 16th IEEE International Conference on Image Processing (ICIP), 2009., 07-11-2009 - 10-11-2009, Cairo, Eygpt.

Boyes, R., Slabaugh, G. G. and Beddoe, G. (2009). Fast pseudo-enhancement correction in CT colonography using linear shift-invariant filters. In: 16th IEEE International Conference on Image Processing (ICIP), 2009. (pp. 2509-2512). IEEE. ISBN 9781424456536

Charles, P. J., Howe, J. M. and King, A. (2009). Integer polyhedra for program analysis. Algorithmic Aspects in Information and Management, Lecture Notes in Computer Science, 5564, pp. 85-99. doi: 10.1007/978-3-642-02158-9_9

Comuzzi, M., Kotsokalis, C., Spanoudakis, G. and Yahyapour, R. (2009). Establishing and Monitoring SLAs in complex Service Based Systems. In: Damiani, E., Zhang, J. and Chang, R. (Eds.), 2009 IEEE International Conference on Web Services. Los Alamitos, California, I & II. (pp. 783-790). IEEE. ISBN 9780769537092

Comuzzi, M. and Spanoudakis, G. (2009). A Framework for Hierarchical and Recursive Monitoring of Service Based Systems. In: Sasaki, H., Bellot, G. O., Ehmann, M. and Dini, O. (Eds.), Fourth International Conference on Internet and Web Applications and Services, 2009. ICIW '09. (pp. 383-388). IEEE. ISBN 978-1-4244-3851-8

Douiri, A., Siddique, M., Ye, X., Beddoe, G. and Slabaugh, G. G. (2009). Enhanced detection in CT colonography using adaptive diffusion filtering. Progress in Biomedical Optics and Imaging - Proceedings of SPIE, 7259, p. 725923. doi: 10.1117/12.811563

Farion, K., Michalowski, W., Wilk, S., O'Sullivan, D., Rubin, S. and Weiss, D. (2009). Clinical decision support system for point of care use--ontology-driven design and software implementation. Methods of Information in Medicine, 48(4), pp. 381-390. doi: 10.3414/ME0574

Henni, S. (2009). Drug safety decision support model to reduce medication errors. (Unpublished Doctoral thesis, City University London)

Howe, J. M. and King, A. (2009). Closure Algorithms for Domains with Two Variables Per Inequality (TR/2009/DOC/01). .

Howe, J. M. and King, A. (2009). Logahedra: A new weakly relational domain. Lecture Notes in Computer Science, 5799, pp. 306-320. doi: 10.1007/978-3-642-04761-9_23

Jimeno-Yepes, A., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Berlanga-Llavori, R. and Rebholz-Schuhmann, D. (2009). Reuse of terminological resources for efficient ontological engineering in Life Sciences. BMC BIOINFORMATICS, 10(Sup 10), S4. doi: 10.1186/1471-2105-10-S10-S4

Karampelas, P., Basdekis, I. and Stephanidis, C. (2009). Web user interface design strategy: Designing for device independence. Paper presented at the 5th International Conference, UAHCI 2009, 19-24 Jul 2009, San Diego, USA.

Kloukinas, C. (2009). Better abstractions for reusable components & architectures. Paper presented at the 31st International Conference on Software Engineering (ICSE-Companion 2009), 16 - 24 May 2009, Vancouver, BC, Canada.

Lorenzoli, D. and Spanoudakis, G. (2009). Detection of Security and Dependability Threats: A Belief Based Reasoning Approach. In: Falk, R., Goudalo, W., Chen, E. Y., Savola, R. and Popescu, M. (Eds.), Emerging Security Information, Systems and Technologies, 2009. SECURWARE '09. Third International Conference on. (pp. 312-320). IEEE.

Madle, G. (2009). Impact-ED : A new model of digital library impact evaluation. (Unpublished Doctoral thesis, City University London)

Mamdouhi, H., Khatun, S. and Zarrin, J. (2009). Bluetooth wireless monitoring, managing and control for inter vehicle in vehicular Ad-Hoc networks. Journal of Computer Science, 5(12), pp. 922-929. doi: 10.3844/jcssp.2009.922.929

Mesiti, M., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Sanz, I., Berlanga-Llavori, R., Perlasca, P., Valentini, G. and Manset, D. (2009). XML-based approaches for the integration of heterogeneous bio-molecular data. BMC BIOINFORMATICS, 10, doi: 10.1186/1471-2105-10-S12-S7

Mondragon, E. ORCID: 0000-0003-4180-1261 and Murphy, R. A. (2009). Perceptual learning in an appetitive Pavlovian procedure: analysis of the effectiveness of the common element.. Behavioural Processes, 83(3), pp. 247-256. doi: 10.1016/j.beproc.2009.12.007

Mondragon, E. ORCID: 0000-0003-4180-1261, Murphy, R. A. and Murphy, V. A. (2009). Rats do learn XYX rules. Animal Behaviour, 78(4), e3-e4. doi: 10.1016/j.anbehav.2009.07.013

Motshegwa, T. (2009). Distributed Termination Detection For Multiagent Protocols. (Unpublished Doctoral thesis, City, University of London)

Murphy, R., Mondragon, E. ORCID: 0000-0003-4180-1261 and Murphy, V. A. (2009). Covariation, Structure and Generalization: Building Blocks of Causal Cognition. International Journal of Comparative Psychology, 22(1), pp. 61-74.

Slabaugh, G. G., Unal, G. B., Wels, M., Fang, T. and Rao, B. (2009). Statistical Region-Based Segmentation of Ultrasound Images. Ultrasound in Medicine and Biology, 35(5), pp. 781-795. doi: 10.1016/j.ultrasmedbio.2008.10.014

Spanoudakis, G. and Comuzzi, M. (2009). Describing and Verifying Monitoring Capabilities for Service Based Systems. Paper presented at the CAiSE 2009 Forum, 8-12 Jun 2009, Amsterdam, The Netherlands.

Spanoudakis, G. and LoPresti, S. (2009). Web Service Trust: Towards A Dynamic Assessment Framework. Paper presented at the International Conference on Availability, Reliability and Security, 2009. ARES '09, 16 - 19 Mar 2009, Fukuoka Institute of Technology, Fukuoka, Japan.

Tsigkritis, T., Spanoudakis, G., Kloukinas, C. and Lorenzoli, D. (2009). Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. In: Spanoudakis, G., Gomez, A. and Kokolakis, S. (Eds.), Security and Dependability for Ambient Intelligence. Advances in Information Security, 45. (pp. 239-271). USA: Springer. ISBN 978-0-387-88774-6

Tzavaras, A. (2009). Intelligent Decision Support Systems in Ventilation Management. (Unpublished Doctoral thesis, City University London)

Whited, B., Rossignac, J., Slabaugh, G. G., Fang, T. and Unal, G. B. (2009). Pearling: Stroke segmentation with crusted pearl strings. Pattern Recognition and Image Analysis, 19(2), pp. 277-283. doi: 10.1134/S1054661809020102

Ye, X., Lin, X., Dehmeshki, J., Slabaugh, G. G. and Beddoe, G. (2009). Shape-Based Computer-Aided Detection of Lung Nodules in Thoracic CT Images. IEEE Transactions on Biomedical Engineering, 56(7), pp. 1810-1820. doi: 10.1109/TBME.2009.2017027

Ye, X., Siddique, M., Douiri, A., Beddoe, G. and Slabaugh, G. G. (2009). Image segmentation using joint spatial-intensity-shape features: Application to CT lung nodule segmentation. Progress in Biomedical Optics and Imaging - Proceedings of SPIE, 7259, 72594V. doi: 10.1117/12.811151

2008

Abufadel, A., Slabaugh, G. G., Unal, G. B., Zhang, L. and Odry, B. (2008). Interacting Active Rectangles for Estimation of Intervertebral Disk Orientation. Paper presented at the 8th International Conference on Pattern Recognition (ICPR), 2006., 20-08-2006 - 24-08-2008, Hong Kong.

Amálio, N. and Spanoudakis, G. (2008). From Monitoring Templates to Security Monitoring and Threat Detection. 2008 Second International Conference on Emerging Security Information, Systems and Technologies, pp. 185-192. doi: 10.1109/SECURWARE.2008.58

Bawden, D. (2008). How real is the Google generation?. Paper presented at the 5th Conference of NAPLE (National Authorities on Public Libraries in Europe), October 2008, Vilnius, Lithuania.

Bawden, D., Robinson, L. and Calvert, A. (2008). Value and impact: New trends in evaluating library and information services. Paper presented at the 3rd Joint Conference of Slovene Special and Academic Libraries, October 2008, Ljubljana, Slovenia.

Benetos, E. and Kotropoulos, C. (2008). A tensor-based approach for automatic music genre classification. Paper presented at the EUSIPCO 2008: 16th European Signal Processing Conference, 25 - 29 Aug 2008, Lausanne, Switzerland.

Benetos, E., Siatras, S., Kotropoulos, C., Nikolaidis, N. and Pitas, I. (2008). Movie analysis with emphasis to dialogue and action scene detection. In: Maragos, P., Potamianos, A. and Gros, P. (Eds.), Multimodal Processing and Interaction: Audio, Video, Text. (pp. 157-177). Springer. ISBN 0387763163

Gucunski, N., Slabaugh, G. G., Wang, Z., Fang, T. and Maher, A. (2008). Impact echo data from bridge deck testing: Visualization and interpretation. Transportation Research Record(2050), pp. 111-121. doi: 10.3141/2050-11

Honingh, A. (2008). A geometrical approach to find the preferred intonation of chords (TR/2008/DOC/02). .

Honingh, A. and Weyde, T. (2008). Integrating Convexity and Compactness into the ISSM: Melodic Analysis of Music (TR/2008/DOC/03). .

Hunt, S., Askarov, A., Sabelfeld, A. and Sands, D. (2008). Termination-insensitive noninterference leaks more than just a bit. Paper presented at the 13th European Symposium on Research in Computer Security, Oct 2008, Malaga, Spain.

Hunt, S. and Clark, D. (2008). Non-interference for deterministic interactive programs. Paper presented at the 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), Oct 2008, Malaga, Spain.

Hunt, S. and Sands, D. (2008). Just forget it - The semantics and enforcement of information erasure. Lecture Notes in Computer Science, 4960, pp. 239-253. ISSN 0302-9743

Jimeno, A., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Lee, V., Gaudan, S., Berlanga, R. and Rebholz-Schuhmann, D. (2008). Assessment of disease named entity recognition on a corpus of annotated sentences. BMC BIOINFORMATICS, 9(Supp 3), S3. doi: 10.1186/1471-2105-9-S3-S3

Kloukinas, C., Lekeas, G. and Stathis, K. (2008). From Agent Game Protocols to Implementable Roles. Paper presented at the Sixth European Workshop on Multi-Agent Systems - EUMAS, 18 - 19 Dec 2008, Bath, UK.

Kloukinas, C., Spanoudakis, G. and Mahbub, K (2008). Estimating Event Lifetimes for Distributed Runtime Verification. Paper presented at the 20th International Conference on Software Engineering and Knowledge Engineering, 1 - 3 Jul 2008, Redwood City, CA, US.

Kotti, M., Benetos, E. and Kotropoulos, C. (2008). Computationally Efficient and Robust BIC-Based Speaker Segmentation. IEEE Transactions on Audio, Speech & Language Processing, 16(5), pp. 920-933. doi: 10.1109/TASL.2008.925152

Makri, S., Blandford, A. and Cox, A. L. (2008). Using information behaviors to evaluate the functionality and usability of electronic resources: From Ellis's model to evaluation. Journal of the American Society for Information Science and Technology, 59(14), pp. 2244-2267. doi: 10.1002/asi.20927

Murphy, R. A., Mondragon, E. ORCID: 0000-0003-4180-1261 and Murphy, V. A. (2008). Rule learning by rats. Science, 319(5871), pp. 1849-1851. doi: 10.1126/science.1151564

Nandakumar, R. (2008). Robust control design using quantitative feedback theory. (Unpublished Doctoral thesis, City University London)

Odry, B., Kiraly, A. P., Slabaugh, G. G., Novak, C. L., Naidich, D. L. and Lerallut, J. (2008). Active contour approach for accurate quantitative airway analysis. Progress in Biomedical Optics and Imaging - Proceedings of SPIE, 6916, p. 691613. doi: 10.1117/12.772592

Panagakis, I., Benetos, E. and Kotropoulos, C. (2008). Music genre classification: a multilinear approach. Paper presented at the International Symposium Music Information Retrieval, 14 - 18 September 2008, Philadelphia, USA.

Ren, L. (2008). Rule Extraction from Support Vector Machines: A Geometric Approach. (Unpublished Doctoral thesis, City University London)

Renou, L. and d'Avila Garcez, A. S. (2008). Rule Extraction from Support Vector Machines: A Geometric Approach. Technical Report (TR/2008/DOC/01). Department of Computing, City University London: .

Siveroni, I., Zisman, A. and Spanoudakis, G. (2008). Property specification and static verification of UML models. Paper presented at the Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.

Slabaugh, G. G., Fang, T., McBagonluri, F., Zouhar, A., Melkisetoglu, R., Xie, H. and Unal, G. B. (2008). 3-D shape modeling for hearing aid design. IEEE Signal Processing Magazine, 25(5), pp. 98-102. doi: 10.1109/MSP.2008.926653

Slabaugh, G. G., Unal, G. B., Fang, T., Rossignac, J. and Whited, B. (2008). Variational Skinning of an Ordered Set of Discrete 2D Balls. Paper presented at the 5th International Conference, GMP 2008., 23-04-2008 - 25-04-2008, Hangzhou, China.

Spachos, D., Zlantintsi, A., Moschou, V., Antonopoulos, P., Benetos, E., Kotti, M., Tzimouli, K., Kotropoulos, C., Nikolaidis, N., Maragos, P. and Pitas, I. (2008). MUSCLE movie-database: a multimodal corpus with rich annotation for dialogue and saliency detection. Paper presented at the Multimodal Corpora: From Models of Natural Interaction to Systems and Applications, 27 May 2008, Marrakech, Morocco.

Spanoudakis, G., Kloukinas, C. and Androutsopoulos, K. (2008). Dynamic verification and control of mobile peer-to-peer systems. Paper presented at the 3rd International Conference on Internet Monitoring and Protection, 29 Jun - 5 Jul 2008, Bucharest, Romania.

Tsigkritis, T. and Spanoudakis, G. (2008). A Temporal Abductive Diagnostic Process for Runtime Properties Violations. ExaCt, 391, ISSN CEUR Workshop Proceedings

Unal, G. B., Bucher, S., Carlier, S. G., Slabaugh, G. G., Fang, T. and Tanaka, K. (2008). Shape-Driven Segmentation of the Arterial Wall in Intravascular Ultrasound Images. IEEE Transactions on Information Technology in Biomedicine, 12(3), pp. 335-347. doi: 10.1109/TITB.2008.920620

Unal, G. B., Nain, D., Slabaugh, G. G. and Fang, T. (2008). Customized Design of Hearing Aids Using Statistical Shape Learning. Paper presented at the 11th International Conference on Medical Imaging and Computer Assisted Intervention (MICCAI 2008), 06-09-2008 - 10-09-2008, New York, USA.

Unal, G. B., Nain, D., Slabaugh, G. G. and Fang, T. (2008). Customized Design of Hearing Aids Using Statistical Shape Learning. Lecture Notes in Computer Science, 5241(2008), pp. 518-526. doi: 10.1007/978-3-540-85988-8_62

Unal, G. B. and Slabaugh, G. G. (2008). Estimation of Vector Fields in Unconstrained and Inequality Constrained Variational Problems for Segmentation and Registration. Journal of Mathematical Imaging and Vision, 31(1), pp. 57-72. doi: 10.1007/s10851-008-0064-7

Unal, G. B. and Slabaugh, G. G. (2008). Guidewire tracking in x-ray videos of endovascular interventions. 2008 IEEE 16th Signal Processing, Communication and Applications Conference, pp. 1-4. doi: 10.1109/SIU.2008.4632624

Wang, Z., Slabaugh, G. G., Zhou, M. and Fang, T. (2008). Automatic tracing of blood flow velocity in pulsed Doppler images. Paper presented at the IEEE International Conference on Automation Science and Engineering, 2008 (CASE 2008), 23-08-2008 - 26-08-2008, Washington D.C., USA.

Wang, Z., Slabaugh, G. G., Zhou, M. and Fang, T. (2008). Automatic tracing of blood flow velocity in pulsed Doppler images. In: IEEE International Conference on Automation Science and Engineering, 2008. CASE 2008. (pp. 218-222). IEEE. ISBN 9781424420223

2007

Alvino, C. V., Unal, G. B., Slabaugh, G. G., Peny, B. and Fang, T. (2007). Efficient segmentation based on Eikonal and diffusion equations. International Journal of Computer Mathematics, 84(9), pp. 1309-1324. doi: 10.1080/00207160701324249

Benetos, E., Kotti, M. and Kotropoulos, C. (2007). Large scale musical instrument identification. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Child, C. H. T., Stathis, K. and Garcez, A. (2007). Learning to Act with RVRL Agents. Paper presented at the 14th RCRA Workshop, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Jul 2007, Rome, Italy.

Garcez, A., Gabbay, D. M., Ray, O. and Woods, J. (2007). Abductive reasoning in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26(1), pp. 37-49. doi: 10.1007/s11245-006-9005-5

Garcez, A., Lamb, L. C. and Gabbay, D. M. (2007). Connectionist modal logic: Representing modalities in neural networks. Theoretical Computer Science, 371(1-2), pp. 34-53. doi: 10.1016/j.tcs.2006.10.023

Gray, H.F. (2007). Evolutionary computing techniques to aid the acquisition and analysis of nuclear magnetic resonance data. (Unpublished Doctoral thesis, City University London)

Hunt, S., Clark, D. and Malacaria, P. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3), pp. 321-371.

Kloukinas, C. and Spanoudakis, G. (2007). A pattern-driven framework for monitoring security and dependability. Lecture Notes in Computer Science: Trust, Privacy and Security in Digital Business, 4657, pp. 210-218. doi: 10.1007/978-3-540-74409-2_23

Kotti, M, Benetos, E., Kotropoulos, C. and Pitas, I (2007). A neural network approach to audio-assisted movie dialogue detection. Neurocomputing, 71(1-3), pp. 157-166. doi: 10.1016/j.neucom.2007.08.006

Kotti, M., Benetos, E. and Kotropoulos, C. (2007). Neural network-based movie dialogue detection. Paper presented at the EANN 2007: 10th International Conference on Engineering Applications of Neural Networks, 29 - 31 Aug 2007, Thessaloniki, Greece.

Lobachova, K. I. and Kharchenko, V. S. (2007). Assessing Software Vulnerabilities and Recovery Time Using Open Resources: Elements Of Technique And Results. Radioelectronic and Computer Systems, 8(27), pp. 61-65.

Mitrokotsa, A., Komninos, N. and Douligeris, C. (2007). Towards an effective intrusion response engine combined with intrusion detection in ad hoc networks. Paper presented at the The Sixth Annual Mediterranean Ad Hoc Networking WorkShop, 12th - 15th June 2007, Corfu, Greece.

Moschou, V., Kotti, M., Benetos, E. and Kotropoulos, C. (2007). Systematic comparison of BIC-based speaker segmentation systems. Paper presented at the IEEE 9Th International Workshop on Multimedia Signal Processing, 1 - 3 October 2007, Crete, Greece.

Ng, K.-C., Weyde, T., Larkin, O., Neubarth, K., Koerselman, T. and Ong, B. (2007). 3d augmented mirror: a multimodal interface for string instrument learning and teaching with gesture support. ICMI '07 Proceedings of the 9th international conference on Multimodal interfaces, pp. 339-345. doi: 10.1145/1322192.1322252

Robinson, L. and Bawden, D. (2007). Evaluation of outreach services for primary care and mental health; assessing the impact. Health Information and Libraries Journal, 24(1), pp. 57-66. doi: 10.1111/j.1471-1842.2007.00745.x

Robinson, L. and Bawden, D. (2007). Measuring the impact of healthcare information services. Lithuanian Journal of Information Sciences, 40, pp. 95-103.

Slabaugh, G. G., Dinh, H. Q. and Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. Paper presented at the IEEE Conference on Computer Vision and Pattern Recognition, 2007, 17-06-2007 - 22-07-2007, Minneapolis, USA.

Slabaugh, G. G., Dinh, Q. and Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. In: IEEE Conference on Computer Vision and Pattern Recognition, 2007 (CVPR '07). (pp. 1-8). IEEE. ISBN 1424411793

Slabaugh, G. G., Kong, K., Unal, G. B. and Fang, T. (2007). Variational Guidewire Tracking Using Phase Congruency. Paper presented at the 10th International Conference on Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 29-10-2007 - 02-11-2007, Brisbane, Australia.

Slabaugh, G. G., Kong, K., Unal, G. B. and Fang, T. (2007). Variational guidewire tracking using phase congruency. Lecture Notes in Computer Science, 4792(2), pp. 612-619. doi: 10.1007/978-3-540-75759-7_74

Unal, G. B., Yezzi, A. J., Soatto, S. and Slabaugh, G. G. (2007). A Variational Approach to Problems in Calibration of Multiple Cameras.. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29(8), pp. 1322-1338. doi: 10.1109/TPAMI.2007.1035

Wang, Z., Slabaugh, G. G., Unal, G. B. and Fang, T. (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. Paper presented at the The Fourth IEEE International Symposium on Biomedical Imaging (ISBI ’07), 12-04-2007 - 15-04-2007, Washingon D.C., USA.

Wang, Z., Slabaugh, G. G., Unal, G. B. and Fang, T. (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. In: 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2007. ISBI 2007. (pp. 736-739). IEEE. ISBN 1-4244-0672-2

Wang, Z., Slabaugh, G. G., Unal, G. B. and Zhou, M. (2007). An information-theoretic detector based scheme for registration of speckled medical images. In: IEEE International Conference on Systems, Man and Cybernetics, 2007. ISIC. (pp. 1026-1030). IEEE.

Wang, Z., Slabaugh, G. G., Unal, G. B., Zhou, M. and Fang, T. (2007). An information-theoretic detector based scheme for registration of speckled medical images. Paper presented at the IEEE International Conference on Systems, Man and Cybernetics, 2007, 07-10-2007 - 10-10-2007, Montreal, Canada.

Weyde, T. (2007). Automatic Semantic Annotation of Music with Harmonic Structure. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Weyde, T., Ng, K., Neubarth, K., Larkin, O., Koerselman, T. and Ong, B. (2007). A Systemic Approach to Music Performance Learning with Multimodal Technology. Paper presented at the Support E-Learning Conference, 2007, Quebec City, Canada.

Zisman, A. (2007). A Static Verification Framework for Secure Peer-to-Peer Applications. Paper presented at the Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on, 13 - 19 May 2007, Mauritius.

2006

Abufadel, A., Slabaugh, G. G., Unal, G. B., Zhang, L. and Odry, B. (2006). Interacting Active Rectangles for Estimation of Intervertebral Disk Orientation. In: 18th International Conference on Pattern Recognition, 2006. ICPR 2006. (pp. 1013-1016). IEEE Computer Society. ISBN 0-7695-2521-0

Basdekis, I., Klironomos, I., Antona, M. and Stephanidis, C. (2006). Online Communities for All: The Role of Design for All in the Formation and Support of Inclusive Online Communities. Paper presented at the International Design for All Conference, 13-15 Sep 2006, Rovaniemi, Finland.

Benetos, E., Kotropoulos, C., Lidy, T. and Rauber, A. (2006). Testing supervised classifiers based on non-negative matrix factorization to musical instrument classification. Paper presented at the EUSIPCO 2006: 14th European Signal Processing Conference, 4 - 8 Sep 2006, Florence, Italy.

Benetos, E., Kotti, M. and Kotropoulos, C. (2006). Applying supervised classifiers based on non-negative matrix factorization to musical instrument classification. Paper presented at the IEEE International Conference on Multimedia and Expo (ICME 2006), 9 - 12 July 2006, Toronto, Canada.

Benetos, E., Kotti, M. and Kotropoulos, C. (2006). Musical instrument classification using non-negative matrix factorization algorithms and subset feature selection. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, 5, pp. 221-224. ISSN 1520-6149

Child, C. H. T. and Stathis, K. (2006). Rule Value Reinforcement Learning for Cognitive Agents. Paper presented at the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS`06), 8 - 12 May 2006, Hakodate, Hokkaido, Japan.

Doan, H., Slabaugh, G. G., Unal, G. B. and Fang, T. (2006). Semi-Automatic 3-D Segmentation of Anatomical Structures of Brain MRI Volumes using Graph Cuts. Paper presented at the 2006 IEEE International Conference on Image Processing,, 08-10-2006 - 11-10-2006, Atlanta, USA.

Doan, H., Slabaugh, G. G., Unal, G. B. and Fang, T. (2006). Semi-Automatic 3-D Segmentation of Anatomical Structures of Brain MRI Volumes using Graph Cuts. In: 2006 IEEE International Conference on Image Processing. (pp. 1913-1916). IEEE. ISBN 1424404800

Hunt, S. and Sands, D. (2006). On flow-sensitive security types. ACM SIGPLAN-SIGACT, 41, pp. 79-90. ISSN 0362-1340

Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Berlanga, R., Sanz, I., McClatchey, R., Danger, R., Manset, D., Paraire, J. and Rios, A. (2006). The management and integration of biomedical knowledge: Application in the health-e-child project (position paper). In: Meersman, R., Tari, Z. and Herrero, P. (Eds.), On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. Lecture Notes in Computer Science, 4278. (pp. 1062-1067). Berlin: Springer. ISBN 978-3-540-48273-4

Klironomos, I., Antona, M., Basdekis, I. and Stephanidis, C. (2006). White Paper: promoting Design for All and e-Accessibility in Europe.. Universal Access in the Information Society, 5(1), pp. 105-119. doi: 10.1007/s10209-006-0021-4

Kotti, M., Benetos, E. and Kotropoulos, C. (2006). Automatic speaker change detection with the Bayesian information criterion using MPEG-7 features and a fusion scheme. Paper presented at the International Symposium on Circuits and Systems (ISCAS 2006), 21 - 24 May 2006, Island of Kos, Greece.

Kotti, M., Martins, L. P. M., Benetos, E., Cardoso, J. S. and Kotropoulos, C. (2006). Automatic speaker segmentation using multiple features and distance measures: a comparison of three approaches. Paper presented at the IEEE International Conference on Multimedia and Expo (ICME 2006), 9 - 12 July 2006, Toronto, Canada.

Peny, B., Unal, G. B., Slabaugh, G. G., Fang, T. and Alvino, C. V. (2006). Efficient and Robust Segmentations Based on Eikonal and Diffusion PDEs. In: Zheng, N, Jiang, X and Lan, X (Eds.), Advances in Machine Vision, Image Processing, and Pattern Analysis. Lecture Notes in Computer Science, 4153. (pp. 339-348). Springer. ISBN 3-540-37597-X

Slabaugh, G. G., Unal, G. B. and Chang, T. C. (2006). Information-theoretic feature detection in ultrasound images. In: 28th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2006 (EMBS '06). (pp. 2638-2642). IEEE. ISBN 1424400325

Slabaugh, G. G., Unal, G. B. and Chang, T. C. (2006). Information-theoretic feature detection in ultrasound images. Paper presented at the 28th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2006 (EMBS '06), 30-08-2006 - 03-09-2006, New York, USA.

Slabaugh, G. G., Unal, G. B., Fang, T. and Wels, M. (2006). Ultrasound-Specific Segmentation via Decorrelation and Statistical Region-Based Active Contours. In: 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. (pp. 45-53). IEEE Computer Society. ISBN 0-7695-2597-0

Slabaugh, G. G., Unal, G. B., Tong Fang, . and Wels, M. (2006). Ultrasound-Specific Segmentation via Decorrelation and Statistical Region-Based Active Contours. Paper presented at the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 17-06-2006 - 22-06-2006, New York, USA.

Stathis, K., Lekeas, G. and Kloukinas, C. (2006). Competence Checking for the Global E-Service Society Using Games. Lecture Notes in Computer Science: Engineering Societies in the Agents World VII, 4457, pp. 384-400. doi: 10.1007/978-3-540-75524-1_22

Unal, G. B., Slabaugh, G. G., Ess, A., Yezzi, A. J., Fang, T., Tyan, J., Requardt, M., Krieg, R., Seethamraju, R., Harisinghani, M. and Weissleder, R. (2006). Semi-Automatic Lymph Node Segmentation in LN-MRI. Paper presented at the 2006 IEEE International Conference on Image Processing,, 08-10-2006 - 11-10-2006, Atlanta, USA.

d'Avila Garcez, A. S., Hitzler, P. and Tamburrini, G. (2006). Proceedings of ECAI International Workshop on Neural-Symbolic Learning and reasoning NeSy 2006 (TR/2006/DOC/02). .

2005

Benetos, E., Kotti, M., Kotropoulos, C., Burred, J. J., Eisenberg, G., Haller, M. and Sikora, T. (2005). Comparison of subspace analysis-based and statistical model-based algorithms for musical instrument classification. Paper presented at the 2nd Workshop On Immersive Communication And Broadcast Systems (ICOB 2005), 27 - 28 Oct 2005, Berlin, Germany.

Broda, K., Garcez, A. and Gabbay, D. M. (2005). Metalevel priorities and neural networks. Paper presented at the Workshop on the Foundations of Connectionist-Symbolic Integration ECAI2000, 20 - 25 August 2005, Berlin.

Child, C. H. T. and Stathis, K. (2005). The Apriori Stochastic Dependency Detection (ASDD) algorithm for learning Stochastic logic rules. Lecture Notes in Computer Science: Computational Logic In Multi-Agent Systems, 3259, pp. 234-249. doi: 10.1007/978-3-540-30200-1_13

Child, C. H. T. and Stathis, K. (2005). SMART (Stochastic Model Acquisition with ReinforcemenT) learning agents: A preliminary report. Lecture Notes in Computer Science: Adaptive Agents and Multi-Agent Systems II, 3394, pp. 73-87. doi: 10.1007/978-3-540-32274-0_5

Clark, D., Hunt, S. and Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112(SPEC), pp. 149-166. doi: 10.1016/j.entcs.2004.01.018

Dafas, P. and d'Avila Garcez, A. S. (2005). Applied temporal Rule Mining to Time Series (TR/2006/DOC/01). .

Garcez, A. (2005). Fewer epistemological challenges for connectionism. Lecture Notes in Computer Science, 3526, pp. 289-325. doi: 10.1007/11494645_18

Garcez, A., Gabbay, D. M. and Lamb, L. C. (2005). Value-based argumentation frameworks as neural-symbolic learning systems. Journal of Logic and Computation, 15(6), pp. 1041-1058. doi: 10.1093/logcom/exi057

Hitzler, P., Bader, S. and Garcez, A. (2005). Ontology learning as a use-case for neural-symbolic integration. Paper presented at the IJCAI Workshop on Neural-Symbolic Learning and Reasoning NeSy05, 1 August 2005, Edinburgh.

Hunt, S. and Mastroeni, I. (2005). The PER model of abstract non-interference. Paper presented at the Proc. Static Analysis, 12th International Symposium.

Klironomos, Ι., Basdekis, I., Kartakis, G. and Stephanidis, C. (2005). Facilitating virtual networking for Design for All in Europe: The HERMES platform. Paper presented at the eChallenges e-2005, 19-21 Oct 2005, Ljubljana, Slovenia.

Kloukinas, C. (2005). Thunderstriking constraints with JUPITER. Paper presented at the Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '05), 11 - 14 Jul 2005.

Pearce, M.T. (2005). The construction and evaluation of statistical models of melodic structure in music perception and composition. (Unpublished Doctoral thesis, City University London)

Slabaugh, G. G., Mihalef, V. and Unal, G. B. (2005). A Contour-Based Approach to 3D Text Labeling on Triangulated Surfaces. In: Fifth International Conference on 3-D Digital Imaging and Modeling, 2005 (3DIM 2005). (pp. 416-423). IEEE Computer Society. ISBN 0-7695-2327-7

Slabaugh, G. G., Mihalef, V. and Unal, G. B. (2005). A Contour-Based Approach to 3D Text Labeling on Triangulated Surfaces. Paper presented at the Fifth International Conference on 3-D Digital Imaging and Modeling, 2005 (3DIM 2005), 13-06-2005 - 16-06-2005, Ottowa, Canada.

Slabaugh, G. G. and Unal, G. B. (2005). Active Polyhedron: Surface Evolution Theory Applied to Deformable Meshes. Computer Vision and Pattern Recognition, 2, pp. 84-91. doi: 10.1109/CVPR.2005.60

Slabaugh, G. G. and Unal, G. B. (2005). Graph cuts segmentation using an elliptical shape prior. Image Processing, 2005. ICIP 2005. IEEE International Conference on, 2, pp. 1222-1225. doi: 10.1109/ICIP.2005.1530282

Unal, G. B. and Slabaugh, G. G. (2005). Coupled PDEs for Non-Rigid Registration and Segmentation. In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. (pp. 168-175). IEEE Computer Society. ISBN 0-7695-2372-2

Unal, G. B. and Slabaugh, G. G. (2005). Coupled PDEs for Non-Rigid Registration and Segmentation. Paper presented at the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 21-09-2005 - 23-09-2005, San Diego, USA.

d'Avila Garcez, A. S. (2005). Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning NeSy 2005 (TR/2005/DOC/01). .

2004

Garcez, A., Gabbay, D. M. and Lamb, L. C. (2004). Argumentation Neural Networks: Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems (TR/2004/DOC/01). .

Gooch, P. and Living, R. (2004). The therapeutic use of videogames within secure forensic settings: a review of the literature and application to practice. The British Journal of Occupational Therapy, 67(8), pp. 332-341.

Hider, Philip Martin (2004). User redefinition of search goals through interaction with an information retrieval system. (Unpublished Doctoral thesis, City University, London)

Kloukinas, C. and Verimag, G. (2004). Data-Mining Synthesised Schedulers for Hard Real-Time Systems. Paper presented at the 19th International Conference on Automated Software Engineering, 24 Sep 2004, Linz, Austria.

Littlewood, B., Bloomfield, R. E., Popov, P. T., Povyakalo, A. A. and Strigini, L. (2004). The impact of "difficulty" variation on the probability of coincident failure of diverse systems. Paper presented at the International Conference on Control and Instrumentation in Nuclear Installations, 2004, Liverpool, UK.

Murphy, R. A., Mondragon, E. ORCID: 0000-0003-4180-1261, Murphy, V. A. and Fouquet, N. (2004). Serial order of conditional stimuli as a discriminative cue for Pavlovian conditioning. Behavioural Processes, 67(2), pp. 303-311.

Slabaugh, G. G., Culbertson, W. B., Malzbender, T., Stevens, M. R. and Schafer, R. W. (2004). Methods for Volumetric Reconstruction of Visual Scenes. International Journal of Computer Vision, 57, pp. 179-199. doi: 10.1023/B:VISI.0000013093.45070.3b

2003

Garcez, A. and Gabbay, D. M. (2003). Fibring Neural Networks (TR/2003/SEG/03). .

Garcez, A., Spanoudakis, G. and Zisman, A. (2003). Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03 (TR/2003/DOC/01). .

Howe, J. M. and King, A. (2003). Efficient groundness analysis in Prolog. Theory and Practice of Logic Programming, 3(1), pp. 95-124. doi: 10.1017/S1471068402001485

Kloukinas, C., Nakhli, C. and Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. Lecture Notes in Computer Science: Embedded Software, 2855, pp. 274-289. doi: 10.1007/978-3-540-45212-6_18

Kloukinas, C. and Yovine, S. (2003). Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. Paper presented at the 15th Euromicro Conference on Real-Time Systems, 2003, Porto, Portugal.

Mondragon, E. ORCID: 0000-0003-4180-1261, Bonardi, C. and Hall, G. (2003). Negative priming and occasion setting in an appetitive Pavlovian procedure. Animal Learning & Behavior, 31(3), pp. 281-291. doi: 10.3758/bf03195989

Simon, A., King, A. and Howe, J. M. (2003). Two variables per linear inequality as an abstract domain. Logic based program synthesis and transformation, 2664, pp. 71-89. doi: 10.1007/3-540-45013-0_7

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2003). Image-based photo hulls for fast and photo-realistic new view synthesis. Real-Time Imaging, 9(5), pp. 347-360. doi: 10.1016/j.rti.2003.08.004

Zarras, A., Kloukinas, C. and Issarny, V. (2003). Quality Analysis of Dependable Systems: A Developer Oriented Approach. Lecture Notes in Computer Science: Architecting Dependable Systems, 2677, pp. 197-218. doi: 10.1007/3-540-45177-3_9

2002

Dinh, H. Q., Turk, G. and Slabaugh, G. G. (2002). Reconstructing Surfaces by Volumetric Regularization Using Radial Basis Functions. IEEE Transactions on Pattern Analysis and Machine Intelligence, 24(10), pp. 1358-1371. doi: 10.1109/TPAMI.2002.1039207

Hunt, S., Clark, D. and Malacaria, P. (2002). Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3), pp. 1-14. doi: 10.1016/S1571-0661(04)00290-7

Mondragon, E. ORCID: 0000-0003-4180-1261 and Hall, G. (2002). Analysis of the perceptual learning effect in flavour aversion learning: evidence for stimulus differentiation. Quarterly Journal of Experimental Psychology, 55(2), pp. 153-169. doi: 10.1080/02724990143000225

Robinson, L. and Bawden, D. (2002). Distance learning and LIS professional development. Aslib Proceedings, 54(1), pp. 48-55. doi: 10.1108/00012530210426284

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2002). Image-Based Photo Hulls. In: First International Symposium on 3D Data Processing Visualization and Transmission, 2002. Proceedings. (pp. 704-708). IEEE Computer Society. ISBN 0-7695-1521-5

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2002). Image-Based Photo Hulls. Paper presented at the First International Symposium on 3D Data Processing Visualization and Transmission, 19-06-2002 - 21-06-2002, Padova, Italy.

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2002). Multi-resolution space carving using level set methods. Paper presented at the 2002 International Conference on Image Processing., 22-09-2002 - 25-09-2002, New York, USA.

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2002). Multi-resolution space carving using level set methods. In: 2002 International Conference on Image Processing. (2002, Proceedings). (pp. 545-548). IEEE. ISBN 0780376226

Weyde, T. (2002). Integrating Segmentation and Similarity in Melodic Analysis. Paper presented at the 7th International Conference on Music Perception & Cognition - ICMPC7, 17 - 21 Jul 2002, Sydney, Australia.

Yezzi, A. J., Slabaugh, G. G., Broadhurst, A., Cipolla, R. and Schafer, R. W. (2002). A Surface Evolution Approach to Probabilistic Space Carving. In: First International Symposium on 3D Data Processing Visualization and Transmission, 2002. Proceedings. (pp. 618-621). IEEE Computer Society. ISBN 0-7695-1521-5

Yezzi, A. J., Slabaugh, G. G., Broadhurst, A., Cipolla, R. and Schafer, R. W. (2002). A Surface Evolution Approach to Probabilistic Space Carving. Paper presented at the First International Symposium on 3D Data Processing Visualization and Transmission, 19-06-2002 - 21-06-2002, Padova, Italy.

2001

Bawden, D. and Robinson, L. (2001). Information and knowledge for open societies; seven principles for libraries and librarians. Paper presented at the Knowledge, Information and Democracy in the Open Society: the Role of the Library and Information Sector (The 9th BOBCATSSS Symposium), 29th - 31st January 2001, Vilnius University, Lithuania.

Dinh, H. Q., Turk, G. and Slabaugh, G. G. (2001). Reconstructing Surfaces Using Anisotropic Basis Functions. Paper presented at the Eighth IEEE International Conference on Computer Vision, 2001. (ICCV 2001), 07-07-2001 - 14-07-2001, Vancouver, Canada.

Dinh, H. Q., Turk, G. and Slabaugh, G. G. (2001). Reconstructing Surfaces Using Anisotropic Basis Functions. In: Eighth IEEE International Conference on Computer Vision, 2001. ICCV 2001. Proceedings. (pp. 606-613). IEEE. ISBN 0769511430

Garcez, A., Broda, K. and Gabbay, D. M. (2001). Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence, 125(1-2), pp. 153-205. doi: 10.1016/S0004-3702(00)00077-1

Howe, J. M. (2001). Proof search in Lax Logic. Mathematical Structures in Computer Science, 11(4), pp. 573-588. doi: 10.1017/S0960129501003334

Howe, J. M. and King, A. (2001). Positive Boolean Functions as Multiheaded Clauses. Paper presented at the International Conference on Logic Programming, 26 Nov - 01 Dec 2001, Cyprus.

Kloukinas, C. and Issarny, V. (2001). SPIN-ning Software Architectures: A Method for Exploring Complex Systems. In: UNSPECIFIED (pp. 67-76). IEEE Computer Society. ISBN 0-7695-1360-3

Robinson, L. and Bawden, D. (2001). Libraries and open society; Popper, Soros and digital information. Aslib Proceedings, 53(5), pp. 167-178. doi: 10.1108/EUM0000000007051

Robinson, L. and Bawden, D. (2001). Multicultural library science education: towards distance learning. Paper presented at the First Annual Joint UK and USA Conference Scholarship of Teaching and Learning (SoTL), 6th June 2001, Kensington Town Hall, London, UK.

Slabaugh, G. G., Culbertson, B., Malzbender, T. and Schafer, R. W. (2001). A survey of methods for volumetric scene reconstruction from photographs. Paper presented at the 2001 Eurographics conference on Volume Graphics, 21-06-2001 - 22-06-2001, New York, USA.

Slabaugh, G. G., Culbertson, W. B., Malzbender, T. and Schafer, R. W. (2001). A Survey of Methods for Volumetric Scene Reconstruction from Photographs. In: Mueller, K. and Kaufman, A. E. (Eds.), Proceedings of the 2001 Eurographics conference on Volume Graphics. . Eurographics Association. ISBN 3-211-83737-X

Wright, D. (2001). Software reliability prediction. (Unpublished Doctoral thesis, City University London)

Zarras, A., Issarny, V., Kloukinas, C. and Nguyen, V. (2001). Towards a Base UML Profile for Architecture Description. Paper presented at the 1st ICSE Workshop on Describing Software Architecture with UML, held in conjunction with the 23rd International Conference on Software Engineering (ICSE-2001), 15 May 2001, Toronto, Canada.

2000

Anderson, C., Copestake, P. and Robinson, L. (2000). A specialist toxicity database (TRACE) is more effective than its larger, commercially available counterparts. Toxicology, 151, pp. 37-43. doi: 10.1016/S0300-483X(00)00264-X

Culbertson, W. B., Malzbender, T. and Slabaugh, G. G. (2000). Generalized Voxel Coloring. In: Triggs, B., Zisserman, A. and Szeliski, R. (Eds.), Vision Algorithms: Theory and Practice. (pp. 100-115). Springer. ISBN 3-540-67973-1

Howe, J. M. and King, A. (2000). Abstracting Numeric Constraints with Boolean Functions. Information Processing Letters, 75(1-2), pp. 17-23. doi: 10.1016/S0020-0190(00)00081-8

Howe, J. M. and King, A. (2000). Implementing Groundness Analysis with Definite Boolean Functions. Lecture Notes in Computer Science, 1782, pp. 200-214.

Howe, J. M. and King, A. (2000). Specialising finite domain programs with polyhedra. Paper presented at the Logic Programming Synthesis and Transformation 1999, 22 - 24 September 1999, Venezia, Italy.

Kloukinas, C. and Issarny, V. (2000). Automating the Composition of Middleware Configurations. Paper presented at the he Fifteenth IEEE International Conference on Automated Software Engineering, 11 - 15 Sep 2000, Grenoble, France.

Robinson, L. (2000). A distance learning initiative for professional development. Paper presented at the 1st International Conference “Prospects of Continuing Education for Library and Information Specialists”, 5th - 7th December 2000, Library of Foreign Literature, Moscow, Russia.

Robinson, L., McIlwaine, I., Copestake, P. and Anderson, C. (2000). Comparative evaluation of the performance of online databases in answering toxicology queries. International Journal of Information Management, 20(1), pp. 79-88. doi: 10.1016/S0268-4012(99)00056-0

Slabaugh, G. G., Malzbender, T. and Culbertson, W. B. (2000). Volumetric Warping for Voxel Coloring on an Infinite Domain. In: Pollefeys, M., Gool, L. J. V., Zisserman, A. and Fitzgibbon, A. W. (Eds.), 3D Structure from Images — SMILE 2000. Lecture Notes in Computer Science, 2018. (pp. 109-123). Springer. ISBN 3-540-41845-8

1999

Garcez, A. and Zaverucha, G. (1999). The connectionist inductive learning and logic programming system. Applied Intelligence Journal, 11(1), pp. 59-77. doi: 10.1023/A:1008328630915

Kloukinas, C., Saridakis, T. and Issarny, V. (1999). Fault Tolerant Access to Dynamically Located Services for CORBA Applications. Paper presented at the Computer Applications in Industry and Engineering (CAINE-99), 12th Int'l. Conference, 4 - 6 Nov 1999, Atlanta, GE, US.

Messer, Alan (1999). A Market Model for Controlled Resource Allocation in Distributed Operating Systems. (Unpublished Doctoral thesis, City, University of London)

Robinson, L. (1999). A strategic approach to research on the internet. Paper presented at the MicroLib 99, 25th - 28th May 1999, Lisbon, Portugal.

1998

Faraday, P. (1998). Theory based design and evaluation of multimedia presentation interfaces. (Unpublished Doctoral thesis, City University London)

Howe, J. M. (1998). Proof search issues in some non-classical logics. (Unpublished Doctoral thesis, University of St Andrews)

Robinson, L. (1998). Using Word 97 to create documents for an intranet. Managing Information, 5(4), pp. 30-33.

1997

Howe, J. M. (1997). Two loop detection mechanisms: a comparison. Paper presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX'97), 13 - 16 May 1997, Pont-a-Mousson, France.

Robinson, L. (1997). IT in Hungary – The Librarian’s Perspective. Managing Information, 4(6), pp. 40-42.

Salami, Reza (1997). International technology transfer and its role in the industrialisation of Less Developed Countries (LDCs) such as Iran. (Unpublished Doctoral thesis, The City University)

Weller, P.R. (1997). Intelligent monitoring of a complex, non-linear system using artificial neural networks. (Unpublished Doctoral thesis, City University London)

1996

Paterson, AM (1996). An investigation of a remote visual navigation system for a building inspection robot. (Unpublished Doctoral thesis, City University)

Robinson, L. (1996). Internet – myth and reality. Paper presented at the ASLIB Conference: Translating and the Computer 18, 14th -15th November 1996, London.

1995

Brocklehurst, P. (1995). Software reliability prediction : a multi-modelling approach. (Unpublished Doctoral thesis, City University London)

Springett, M.V. (1995). User modelling for evaluation of direct manipulation interfaces. (Unpublished Doctoral thesis, City University London)

1994

Hannaby, Simon Anthony (1994). The use and analysis of infinite elements. (Unpublished Doctoral thesis, City University)

Meaker, Thomas Arthur (1994). The role of intervention in strategic change. (Unpublished Doctoral thesis, City University)

1993

Jones, Sara (1993). Three-Dimensional Interactive Connection Diagrams for Knowledge Engineering. (Unpublished Doctoral thesis, City, University of London)

1992

Coates-Stephens, S. (1992). The analysis and acquisition of proper names for robust text understanding. (Unpublished Doctoral thesis, City University London)

Gregory, W.J. (1992). Critical systems thinking and pluralism : a new constellation. (Unpublished Doctoral thesis, City University London)

Maiden, N. (1992). Analogical specification reuse during requirements analysis. (Unpublished Doctoral thesis, City University London)

1991

Sleat, Philip M. (1991). A static, transaction based design methodology for hard real-time systems. (Unpublished Doctoral thesis, City University)

1986

Kirisci, K. (1986). Mobilisation of support for the Palestinian cause : A comparative study of political change at the communal, regional and global levels. (Unpublished Doctoral thesis, City University London)

1978

Comley, R.A. (1978). Portable computers for real-time signal processing: EEG analysis as a case study. (Submitted Doctoral thesis, City University, London)

This list was generated on Wed Oct 16 04:27:43 2019 UTC.