City Research Online

Article

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

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.

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

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

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

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.

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

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

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

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., 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. 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

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

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

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

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

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

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. 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 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, 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, 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

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

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

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 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

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

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

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

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

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., 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

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

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

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

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.

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

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

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

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

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

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

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. (2012). Norbert Wiener and voices from the past. Journal of Documentation, 68(5),

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

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

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

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. (2014). As long as we don't pretend that it is science. Journal of Documentation, 70(1), pp. 2-3.

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),

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

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. 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. (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. 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. (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., 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 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

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,

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

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. (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., 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., 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. (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

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

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

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

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

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

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

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

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

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., 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., 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 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., Tran, S.N., Weyde, T. and Garcez, A. (2016). Generalising the Discriminative Restricted Boltzmann Machine.

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

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

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

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

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

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. (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.

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

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. 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

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

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

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

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. 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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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., 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., 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

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

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

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

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

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

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

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..

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

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

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

Garcez, A. (2005). Fewer epistemological challenges for connectionism. Lecture Notes in Computer Science, 3526, pp. 289-325. doi: 10.1007/11494645_18

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

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

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., 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.

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

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

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

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

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

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

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

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.

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. (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

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

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

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

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

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

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

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

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),

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

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

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

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., 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

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

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 and Comber, R. (2018). Design for the Right to the Smart City in More-than-Human Worlds.

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. (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. (2003). Efficient groundness analysis in Prolog. Theory and Practice of Logic Programming, 3(1), pp. 95-124. doi: 10.1017/S1471068402001485

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. (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

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

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

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. 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

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

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

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.

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

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

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 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

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

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

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. 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., Grau, B. C. and Cross, V. (2017). LogMap family participation in the OAEI 2017. CEUR Workshop Proceedings, 2032,

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

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.

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

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

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

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

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.

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

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.

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

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

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 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

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

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

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

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

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

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

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

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

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. (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

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. 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

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

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,

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

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

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

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

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

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

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

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, 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

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

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

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

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.

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

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

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

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

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

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

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

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., 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

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

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

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

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

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

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

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

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,

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

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

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,

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

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

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, 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

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

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

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

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

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

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

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

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

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.

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

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.

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

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

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

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

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

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.

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

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

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

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., 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. 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

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

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

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

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

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

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

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

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. (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

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

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

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

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

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., 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

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. (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

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

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

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

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

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., 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

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.

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. 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

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, 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,

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

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

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

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., 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

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

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

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

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

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., 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

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

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.

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

Robinson, L. (1997). IT in Hungary – The Librarian’s Perspective. Managing Information, 4(6), pp. 40-42.

Robinson, L. (1998). Using Word 97 to create documents for an intranet. Managing Information, 5(4), pp. 30-33.

Robinson, L. and Bawden, D. (2002). Distance learning and LIS professional development. Aslib Proceedings, 54(1), pp. 48-55. doi: 10.1108/00012530210426284

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. (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. (2007). Measuring the impact of healthcare information services. Lithuanian Journal of Information Sciences, 40, pp. 95-103.

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

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

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

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

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

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

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 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

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.

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

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,

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

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.

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.

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

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

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., 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., 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

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., 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., 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

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

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

Slabaugh, G. G., Unal, G. B., Fang, T., Rossignac, J. and Whited, B. Variational Skinning of an Ordered Set of Discrete 2D Balls. Lecture Notes in Computer Science, 4975(2008), pp. 450-461. doi: 10.1007/978-3-540-79246-8_34

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

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

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., 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

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

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

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

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

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

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

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

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,

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,

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

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

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

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

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

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

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

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

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

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., 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., 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

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., 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., 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

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. 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

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. Lecture Notes in Computer Science, 5241(2008), pp. 518-526. doi: 10.1007/978-3-540-85988-8_62

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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., 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

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

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

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

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

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., 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

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,

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

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. (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

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

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

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

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

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

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

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

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.

Š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

Book Section

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.

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

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., 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

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 (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, 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

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

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

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

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

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.

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

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

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

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

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

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., 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. (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. 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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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.

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

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

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

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

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

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. (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

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., 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

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.

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

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

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

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., 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

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