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

Abro, F. I., Rauf, F., Mobeen-ur-Rehman, , Chowdhry, B. S. and Rajarajan, M. (2019). Towards Security of GSM Voice Communication. Wireless Personal Communications, doi: 10.1007/s11277-019-06502-y

Acarali, D., Rajarajan, M., Komninos, N. and Herwono, I. (2016). Survey of Approaches and Features for the Identification of HTTP-Based Botnet Traffic. Journal of Network and Computer Applications, doi: 10.1016/j.jnca.2016.10.007

Acarali, D., Rajarajan, M., Komninos, N. ORCID: 0000-0003-2776-1283 and Zarpelao, B. (2019). Modelling the Spread of Botnet Malware in IoT-Based Wireless Sensor Networks. Security and Communication Networks, 2019, 3745619.. doi: 10.1155/2019/3745619

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.

Adamsky, F., Khayam, S. A., Jaeger, R. and Rajarajan, M. (2014). Stealing bandwidth from BitTorrent seeders. Computers & Security, 46, pp. 126-140. doi: 10.1016/j.cose.2014.07.009

Al Azwani, N. and Chen, T. ORCID: 0000-0001-8037-1685 (2018). Cyber Deterrence by Punishment: Role of Different Perceptions. Cyberpolitik Journal, 3(5), pp. 62-75.

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

Alavi, Y., Jofre-Bonet, M., Bunce, C. V., Wormald, R., Viswanathan, A., Foster, A. and Hitchings, R. (2011). Developing an algorithm to convert routine measures of vision into utility values for glaucoma. Ophthalmic Epidemiology, 18(5), pp. 233-243. doi: 10.3109/09286586.2011.602577

Alberdi, E., Becher, J.-C., Gilhooly, K. J., Hunter, J., Logie, R., Lyon, A., McIntosh, N. and Reiss, J. (2001). Expertise and the interpretation of computerized physiological data: implications for the design of computerized monitoring in neonatal intensive care. International Journal of Human-Computer Studies, 55(3), pp. 191-216. doi: 10.1006/ijhc.2001.0477

Alberdi, E., Gilhooly, K. J., Hunter, J., Logie, R., Lyon, A., McIntosh, N. and Reiss, J. (2000). Computerisation and decision making in neonatal intensive care: a cognitive engineering investigation. Journal of Clinical Monitoring and Computing, 16(2), pp. 85-94. doi: 10.1023/A:1009954623304

Alberdi, E., Povyakalo, A. A., Strigini, L. and Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Academic Radiology, 11(8), pp. 909-918. doi: 10.1016/j.acra.2004.05.012

Alberdi, E., Strigini, L., Povyakalo, A. A. and Ayton, P. (2009). Why Are People's Decisions Sometimes Worse with Computer Support?. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 5775, pp. 18-31. doi: 10.1007/978-3-642-04468-7_3

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

Alessandretti, L., Lehmann, S. and Baronchelli, A. ORCID: 0000-0002-0255-0829 (2018). Understanding the interplay between social and spatial behaviour. EPJ Data Science, 7(1), 36.. doi: 10.1140/epjds/s13688-018-0164-6

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

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

Alrajeh, D., Russo, A., Lockerbie, J., Maiden, N., Mavin, A. and Novak, M. J. (2013). Computational alignment of goals and scenarios for complex systems. 2013 35th International Conference on Software Engineering (ICSE), pp. 1249-1252. doi: 10.1109/ICSE.2013.6606690

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

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

Andrienko, G. and Andrienko, N. (2015). Visualization Support to Interactive Cluster Analysis. Lecture Notes in Computer Science, 9286, pp. 337-340. doi: 10.1007/978-3-319-23461-8_43

Andrienko, G., Andrienko, N., Budziak, G., Dykes, J., Fuchs, G., Von Landesberger, T. and Weber, H. (2017). Visual Analysis of Pressure in Football. Data Mining and Knowledge Discovery, 31(6), pp. 1793-1839. doi: 10.1007/s10618-017-0513-2

Andrienko, G., Andrienko, N., Budziak, G., Von Landesberger, T. and Weber, H. (2016). Coordinate transformations for characterization and cluster analysis of spatial configurations in football. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9853, pp. 27-31. doi: 10.1007/978-3-319-46131-1_6

Andrienko, G., Andrienko, N., Dykes, J., Kraak, M. J., Robinson, A. and Schumann, H. (2016). GeoVisual analytics: interactivity, dynamics, and scale. Cartography and Geographic Information Science, 43(1), pp. 1-2. doi: 10.1080/15230406.2016.1095006

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., Camossi, E., Claramunt, C., Cordero Garcia, J. M., Fuchs, G., Hadzagic, M., Jousselme, A-L., Ray, C., Scarlatti, D. and Vouros, G. (2017). Visual exploration of movement and event data with interactive time masks. Visual Informatics, 1(1), pp. 25-39. doi: 10.1016/j.visinf.2017.01.004

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

Andrienko, N., Andrienko, G. and Rinzivillo, S. (2016). Leveraging spatial abstraction in traffic analysis and forecasting with visual analytics. Lecture Notes in Computer Science, 9853 L, pp. 32-35. doi: 10.1007/978-3-319-46131-1_7

Ang, C.S., Zaphiris, P. and Wilson, S. (2011). A case study analysis of a constructionist knowledge building community with activity theory. Behaviour and Information Technology, 30(5), pp. 537-554. doi: 10.1080/0144929X.2010.490921

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

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

Apostolou, D., Zachos, K., Maiden, N., Agell, N., Sanchez-Hernandez, G., Taramigkou, M., Star, K. and Wippoo, M. (2016). Facilitating Creativity in Collaborative Work with Computational Intelligence Software. IEEE Computational Intelligence Magazine, 11(2), pp. 29-40. doi: 10.1109/MCI.2016.2532266

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

Arsalan, M., Qureshi, A., Khan, A. U. and Rajarajan, M. (2017). Protection of medical images and patient related information in healthcare: Using an intelligent and reversible watermarking technique. Applied Soft Computing Journal, 51, pp. 1668-179. doi: 10.1016/j.asoc.2016.11.044

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

Arunkumar, S., Sensoy, M., Srivatsa, M. and Rajarajan, M. (2015). Reasoning with Streamed Uncertain Information from Unreliable Sources. Expert Systems with Applications, 42(22), pp. 8381-8392. doi: 10.1016/j.eswa.2015.04.031

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

Ashford, D. (2017). The Mechanical Turk: Enduring Misapprehensions Concerning Artificial Intelligence. The Cambridge Quarterly, 46(2), pp. 119-139. doi: 10.1093/camqtly/bfx005

Ashford, M., Olander, E. K. and Ayers, S. (2016). Finding Web-Based Anxiety Interventions on the World Wide Web: A Scoping Review. JMIR Mental Health, 3(2), e14. doi: 10.2196/mental.5349

Asif, W., Lestas, M., Khaliq Qureshi, H. and Rajarajan, M. (2016). Optimization based spectral partitioning for node criticality assessment. Journal of Network and Computer Applications, 75, pp. 279-292. doi: 10.1016/j.jnca.2016.09.003

Asif, W., Lestas, M., Qureshi, H. K. and Rajarajan, M. (2015). Spectral Partitioning for Node Criticality. 2015 IEEE Symposium on Computers and Communication (ISCC), pp. 877-882. doi: 10.1109/ISCC.2015.7405624

Asif, W., Qureshi, H. K., Rajarajan, M. and Lestas, M. (2016). Combined Banzhaf & Diversity Index (CBDI) for critical node detection. Journal of Network and Computer Applications, 64, pp. 76-88. doi: 10.1016/j.jnca.2015.11.025

Attenborough, J. ORCID: 0000-0002-4018-8445 and Abbott, S. (2018). Leave them to their own devices: healthcare students’ experiences of using a range of mobile devices for learning. International Journal for the Scholarship of Teaching and Learning, 12(2), 16.. doi: 10.20429/ijsotl.2018.120216

Bailey, T. M. and Pothos, E. M. (2008). AGL StimSelect: Software for automated selection of stimuli for artificial grammar learning. Behavior Research Methods, 40(1), pp. 164-176. doi: 10.3758/BRM.40.1.164

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

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

Bastos, M. T. and Mercea, D. (2017). The Brexit Botnet and User-Generated Hyperpartisan News. Social Science Computer Review, doi: 10.1177/0894439317734157

Bastos, M. T. ORCID: 0000-0003-0480-1078 and Mercea, D. (2018). The Public Accountability of Social Platforms: Lessons from a Study on Bots and Trolls in the Brexit Campaign. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 376(2128), 20180003.. doi: 10.1098/rsta.2018.0003

Bastos, M. T., Recuero, R. and Zago, G. (2014). Taking tweets to the streets: A spatial analysis of the Vinegar Protests in Brazil. First Monday, 19(3), doi: 10.5210/fm.v19i3.5227

Bastos, M. T. and Zago, G. (2013). Tweeting News Articles Readership and News Sections in Europe and the Americas. SAGE Open, 3(3), doi: 10.1177/2158244013502496

Bawden, D. ORCID: 0000-0002-0478-6456 and Robinson, L. (2019). "Essentially made of information": concepts and implications of informational privacy. Information Research: an international electronic journal, 24(4),

Bayer, N., Xu, B., Rakocevic, V. and Habermann, J. (2010). Application-aware scheduling for VoIP in Wireless Mesh Networks. Computer Networks, 54(2), pp. 257-277. doi: 10.1016/j.comnet.2009.05.014

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 Slingsby, A. ORCID: 0000-0003-3941-553X (2019). Characterising labour market self-containment in London with geographically arranged small multiples. Environment and Planning A: Economy and Space, doi: 10.1177/0308518x19850580

Benaroch, M., Lichtenstein, Y. and Finkelstein, L. (2016). Contract Design Choices and the Balance of Ex-Ante and Ex-Post Transaction Costs in Software Development Outsourcing. MIS Quarterly, 40(1), pp. 57-82.

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,

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

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

Bishop, P. G. (1993). The Variation of Software Survival Time for Different Operational Input Profiles. Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on, pp. 98-107. doi: 10.1109/FTCS.1993.627312

Bishop, P. G., Bloomfield, R. E., Littlewood, B., Popov, P. T., Povyakalo, A. A. and Strigini, L. (2014). A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliability Engineering & System Safety, 130, pp. 61-68. doi: 10.1016/j.ress.2014.04.002

Bishop, P. G. and Cyra, L. (2010). Overcoming Non-determinism in Testing Smart Devices: A Case Study. Lecture Notes in Computer Science, 6351, pp. 237-250. doi: 10.1007/978-3-642-15651-9_18

Bishop, P. G. and Povyakalo, A. A. (2017). Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. Reliability Engineering & System Safety, 158, pp. 246-253. doi: 10.1016/j.ress.2016.08.019

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

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

Blasco, J., Hernandez-Castro, J. C., Tapiador, J. M. E., Ribagorda, A. and Orellana-Quiros, M. A. (2009). Steganalysis of Hydan. IFIP Advances in Information and Communication Technology, 297, pp. 132-142. doi: 10.1007/978-3-642-01244-0_12

Blazevic, V., Wiertz, C., Cotte, J., de Ruyter, K. and Keeling, D. I. (2014). GOSIP in Cyberspace: Conceptualization and Scale Development for General Online Social Interaction Propensity. Journal of Interactive Marketing, 28(2), pp. 87-100. doi: 10.1016/j.intmar.2013.09.003

Bleisch, S., Dykes, J. and Nebiker, S (2008). Evaluating the effectiveness of representing numeric information through abstract graphics in 3D desktop virtual environments. Cartographic Journal, The, 45(3), pp. 216-226.

Blom, A. G., Bosnjak, M., Cornilleau, A., Cousteaux, A. S., Das, M., Douhou, S. and Krieger, U. (2016). A Comparison of Four Probability-Based Online and Mixed-Mode Panels in Europe. Social Science Computer Review, 34(1), pp. 8-25. doi: 10.1177/0894439315574825

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

Bloomfield, R. E., Popov, P. T., Salako, K., Stankovic, V. and Wright, D. (2017). Preliminary Interdependency Analysis: An Approach to Support Critical Infrastructure Risk Assessment. Reliability Engineering and System Safety, 167, pp. 198-217. doi: 10.1016/j.ress.2017.05.030

Bonadio, E., McDonagh, L. ORCID: 0000-0003-2085-5404 and Arvidsson, C. (2018). Intellectual Property Aspects of Robotics. European Journal of Risk Regulation(4),

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

Bouts, Q. W., Dwyer, T., Dykes, J., Speckmann, B., Goodwin, S., Henry-Riche, N., Carpendale, S. and Liebman, A. (2016). Visual Encoding of Dissimilarity Data via Topology-Preserving Map Deformation. IEEE Transactions on Visualization and Computer Graphics, 22(9), pp. 2200-2213. doi: 10.1109/TVCG.2015.2500225

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

Broom, M. and Cannings, C. (2017). Game theoretical modelling of a dynamically evolving network I: general target sequences. Journal of Dynamics and Games, 4(4), pp. 285-318. doi: 10.3934/jdg.2017016

Buchin, K., Buchin, M., van Leusden, R., Meulemans, W. and Mulzer, W. (2016). Computing the Fréchet Distance with a Retractable Leash. Discrete and Computational Geometry, 56(2), pp. 315-336. doi: 10.1007/s00454-016-9800-8

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

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

Cacciatori, E. ORCID: 0000-0001-6229-7266, Jarzabkowski, P. ORCID: 0000-0001-8674-6628, Bednarek, R. and Chalkias, K. (2019). What's in a model? Computer simulations and the management of ignorance. Proceedings of the Seventy-ninth Annual Meeting of the Academy of Management, 2019(1), doi: 10.5465/AMBPP.2019.250

Cai, B., Long-Fei, X. and Fu, F. ORCID: 0000-0002-9176-8159 (2019). Shear Resistance Prediction of post-fire reinforced concrete beams using artificial neural network. International Journal of Concrete Structures and Materials, 13, 46.. doi: 10.1186/s40069-019-0358-8

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

Casadesus-Masanell, R. and Hervas-Drane, A. (2010). Competing against online sharing. Management Decision, 48(8), pp. 1247-1260. doi: 10.1108/00251741011076771

Casadesus-Masanell, R. and Hervas-Drane, A. (2010). Peer-to-Peer File Sharing and the Market for Digital Information Goods. Journal of Economics and Management Strategy, 19(2), pp. 333-373. doi: 10.1111/j.1530-9134.2010.00254.x

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

Che, X. (2011). Internet auctions with a temporary buyout option. Economics Letters, 110(3), pp. 268-271. doi: 10.1016/j.econlet.2010.11.022

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

Chen, T., Sanchez-Aarnoutse, J. C. and Buford, J. (2011). Petri net modeling of cyber-physical attacks on smart grid. IEEE Transactions on Smart Grid, 2(4), pp. 741-749. doi: 10.1109/TSG.2011.2160000

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

Christou, D., Karcanias, N. and Mitrouli, M. (2014). Matrix representation of the shifting operation and numerical properties of the ERES method for computing the greatest common divisor of sets of many polynomials. Journal of Computational and Applied Mathematics, 260, pp. 54-67. doi: 10.1016/j.cam.2013.09.021

Chronopoulos, M., Panaousis, E. and Grossklags, J. (2018). An Options Approach to Cybersecurity Investment. IEEE Access, 6, pp. 12175-12186. doi: 10.1109/ACCESS.2017.2773366

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

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

Cook, R., Johnston, A. and Heyes, C. (2012). Self-recognition of avatar motion: how do I know it's me?. Proceedings of the Royal Society B: Biological Sciences, 279(1729), pp. 669-674. doi: 10.1098/rspb.2011.1264

Creus-Mir, A., Casadesus-Masanell, R. and Hervas-Drane, A. (2008). Bandwidth allocation in peer-to-peer file sharing networks. Computer Communications, 31(2), pp. 257-265. doi: 10.1016/j.comcom.2007.08.001

Cumanan, K, Rahulamathavan, Y., Lambotharan, S and Ding, Z (2013). MMSE-based beamforming techniques for relay broadcast channels. IEEE Transactions on Vehicular Technology, 62(8), pp. 4045-4051. doi: 10.1109/TVT.2013.2257906

Curran, P. J. and Novo, E. (1988). The relationship between suspended sediment concentration and remotely sensed spectral radiance - a review. Journal of Coastal Research, 4(3), pp. 351-368.

Cvjetkovic, M. and Rakocevic, V. (2016). Alternative Topology Construction for Cooperative Data Distribution in Mobile Ad Hoc Networks. 2016 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), pp. 171-176. doi: 10.1109/ICUMT.2016.7765352

D'Amato, V., Haberman, S., Piscopo, G. and Russolillo, M. (2014). Computational framework for longevity risk management. Computational Management Science, 11(1), pp. 111-137. doi: 10.1007/s10287-013-0178-2

Danilova, N. and Stupples, D. (2012). Application of Natural Language Processing and Evidential Analysis to Web-Based Intelligence Information Acquisition. Intelligence and Security Informatics Conference (EISIC), Proceedings, doi: 10.1109/EISIC.2012.41

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

Day, J. S., Buchanan, G. and Makri, S. (2015). Learning Lessons from Controlled Studies to Investigate Users' Resilience Strategies. Lecture Notes in Computer Science, 9299, pp. 578-581. doi: 10.1007/978-3-319-22723-8_65

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

Demsar, U., Slingsby, A. ORCID: 0000-0003-3941-553X and Weibel, R. (2019). Introduction to the special section on Visual Movement Analytics. Information Visualization, 18(1), pp. 133-137. doi: 10.1177/1473871618810849

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

Dholakia, U. M., Blazevic, V., Wiertz, C. and Algesheimer, R. (2009). Communal Service Delivery: How Customers Benefit From Participation in Firm-Hosted Virtual P3 Communities. Journal of Service Research, 12, pp. 208-226. doi: 10.1177/1094670509338618

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

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

Dunne, J. ORCID: 0000-0001-9831-4195 (2018). Good night, sleep tight (remix). International Journal of Performance Arts and Digital Media, 14(2), pp. 215-223. doi: 10.1080/14794713.2018.1505385

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

Eberwein, T. and Porlezza, C. ORCID: 0000-0002-1400-5879 (2016). Both Sides of the Story: Communication Ethics in Mediatized Worlds. Journal of Communication, 66(2), pp. 328-342. doi: 10.1111/jcom.12216

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

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

Erkoyuncu,, J. A., Fernandez del Amo, I., Dalle Mura, M. and Roy, R. ORCID: 0000-0001-5491-7437 (2017). Improving efficiency of industrial maintenance with context aware adaptive authoring in augmented reality. CIRP Annals, 66, pp. 465-468. doi: 10.1016/j.cirp.2017.04.006

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

Fahad, L. G. and Rajarajan, M. (2015). Integration of discriminative and generative models for activity recognition in smart homes. Applied Soft Computing Journal, 37, pp. 992-1001. doi: 10.1016/j.asoc.2015.03.045

Fahey, E. (2014). EU’S Cybercrime and Cyber Security Rule-Making: Mapping the Internal and External Dimensions of EU Security. European Journal of Risk Regulation, 5(1), pp. 46-60.

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

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

Favaro, J., Mazzini, S., Popov, P. T. ORCID: 0000-0002-3434-5272 and Strigini, L. (2018). AQUAS: A project to bridge the gaps between safety and security processes. Ada User Journal, 39(4), pp. 261-263.

Favier, J., Revell, A. and Pinelli, A. (2014). A Lattice Boltzmann-Immersed Boundary method to simulate the fluid interaction with moving and slender flexible objects. Journal of Computational Physics, 261, pp. 145-161. doi: 10.1016/j.jcp.2013.12.052

Fernández Del Amo, I., Erkoyuncu, J. A., Roy, R. ORCID: 0000-0001-5491-7437 and Wilding, S. (2018). Augmented Reality in Maintenance: An information-centred design framework. Procedia Manufacturing, 19, pp. 148-155. doi: 10.1016/j.promfg.2018.01.021

Fiaz, M., Yousaf, R., Hanfi, M., Asif, W., Qureshi, H. K. and Rajarajan, M. (2014). Adding the reliability on tree based topology construction algorithms for wireless sensor networks. Wireless Personal Communications, 74(2), pp. 989-1004. doi: 10.1007/s11277-013-1334-2

Fink, L. and Lichtenstein, Y. (2014). Why project size matters for contract choice in software development outsourcing. ACM SIGMIS Database, 45(3), pp. 54-71. doi: 10.1145/2659254.2659258

Fink, L., Lichtenstein, Y. and Wyss, S. (2013). Ex post adaptations and hybrid contracts in software development services. Applied Economics, 45(32), pp. 4533-4544. doi: 10.1080/00036846.2013.791021

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

Frankl, P. G., Hamlet, R. G., Littlewood, B. and Strigini, L. (1998). Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering, 24(8), pp. 586-601. doi: 10.1109/32.707695

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

García-Magariño, I., Lacuesta, R., Rajarajan, M. and Lloret, J. (2019). Security in networks of unmanned aerial vehicles for surveillance with an agent-based approach inspired by the principles of blockchain. Ad Hoc Networks, 86, pp. 72-82. doi: 10.1016/j.adhoc.2018.11.010

Gashi, I., Sobesto, B., Mason, S., Stankovic, V. and Cukier, M. (2014). A Study of the Relationship Between Antivirus Regressions and Label Changes. 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 441-450. doi: 10.1109/ISSRE.2013.6698897

Gensler, S., Völckner, F., Liu-Thompkins, Y. and Wiertz, C. (2013). Managing brands in the social media environment. Journal of Interactive Marketing, 27(4), pp. 242-256. doi: 10.1016/j.intmar.2013.09.004

Georgakakis, E., Komninos, N. and Douligeris, C. (2012). NAVI: Novel authentication with visual information. 2012 IEEE Symposium on Computers and Communications (ISCC), pp. 588-595. doi: 10.1109/ISCC.2012.6249360

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

Gerson, J., Plagnol, A. and Corr, P. J. (2017). Passive and Active Facebook Use Measure (PAUM): Validation and relationship to the Reinforcement Sensitivity Theory. Personality and Individual Differences, 117, pp. 81-90. doi: 10.1016/j.paid.2017.05.034

Geurs, K. T., Thomas, T., Bijlsma, M. and Douhou, S. (2015). Automatic trip and mode detection with move smarter: First results from the Dutch Mobile Mobility Panel. Transportation Research Procedia, 11, pp. 247-262. doi: 10.1016/j.trpro.2015.12.022

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

Giaralis, A. and Spanos, P. D. (2010). Effective linear damping and stiffness coefficients of nonlinear systems for design spectrum based analysis. Soil Dynamics and Earthquake Engineering, 30(9), pp. 798-810. doi: 10.1016/j.soildyn.2010.01.012

Giaralis, A. and Spanos, P. D. (2009). Wavelet-based response spectrum compatible synthesis of accelerograms-Eurocode application (EC8). Soil Dynamics and Earthquake Engineering, 29(1), pp. 219-235. doi: 10.1016/j.soildyn.2007.12.002

Gkoktsi, K., Giaralis, A. ORCID: 0000-0002-2952-1171, Klis, R. P., Dertimanis, V. and Chatzi, E. N. (2019). Output-Only Vibration-Based Monitoring of Civil Infrastructure via Sub-Nyquist/Compressive Measurements Supporting Reduced Wireless Data Transmission. Frontiers in Built Environment, 5, 111.. doi: 10.3389/fbuil.2019.00111

Glover, I., Campbell, A., Latif, F., Norris, L., Toner, J. and Tse, C. (2012). A tale of one city: intra-institutional variations in migrating VLE platform. Research in Learning Technology, 20, doi: 10.3402/rlt.v20i0.19190

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

Gong, P., Chen, T. and Xu, Q. (2015). ETARP: An Energy Efficient Trust-Aware Routing Protocol for Wireless Sensor Networks. Journal of Sensors, 2015, p. 469793. doi: 10.1155/2015/469793

Gong, P., Xu, Q. and Chen, T. (2014). Energy Harvesting Aware routing protocol for wireless sensor networks. 2014 9th International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP), pp. 171-176. doi: 10.1109/CSNDSP.2014.6923819

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

Guan, W., He, J., Tang, Z. and Chen, T. (2013). Design and Evaluation of a Framework for Cooperative and Adaptive QoS Control of DSRC Network for Road Safety Applications. International Journal of Distributed Sensor Networks, 2013(946931), pp. 1-10. doi: 10.1155/2013/946931

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

Haefliger, S., Krogh, G. V. and Spaeth, S. (2008). Code Reuse in Open Source Software. Management Science, 54(1), pp. 180-193. doi: 10.1287/mnsc.1070.0748

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

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

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

Haynes, D., Bawden, D. and Robinson, L. (2016). A regulatory model for personal data on social networking services in the UK. International Journal of Information Management, 36(6), pp. 872-882. doi: 10.1016/j.ijinfomgt.2016.05.012

He, J., Tang, Z., O'Farrell, T. and Chen, T. (2011). Performance analysis of DSRC priority mechanism for road safety applications in vehicular networks. Wireless Communications and Mobile Computing, 11(7), pp. 980-990. doi: 10.1002/wcm.821

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

Hennig-Thurau, T., Wiertz, C. and Feldhaus, F. (2015). Does Twitter matter? The impact of microblogging word of mouth on consumers' adoption of new movies. Journal of the Academy of Marketing Science, 43(3), pp. 375-394. doi: 10.1007/s11747-014-0388-3

Hervas-Drane, A. and Noam, E. (2017). Peer-to-Peer File Sharing and Cultural Trade Protectionism. Information Economics and Policy, doi: 10.1016/j.infoecopol.2017.08.002

Hilken, T., de Ruyter, K., Chylinski, M., Mahr, D. and Keeling, D. I. (2017). Augmenting the Eye of the Beholder: Exploring the Strategic Potential of Augmented Reality to Enhance Online Service Experiences. Journal of the Academy of Marketing Science, doi: 10.1007/s11747-017-0541-x

Hodge, P., Davies, J., Maiden, N., Mann, B., Nidsjo, A., Simpson, A. and Reynolds, L. M. (2015). StreetWise: A valid ecology for a serious game in a secure forensic mental health setting. Procedia Computer Science, 63, pp. 252-259. doi: 10.1016/j.procs.2015.08.341

Hollis, B. and Maiden, N. (2013). Extending Agile Processes with Creativity Techniques. IEEE Software, 30(5), pp. 78-84. doi: 10.1109/MS.2012.171

Horkoff, J. and Maiden, N. (2015). Supporting creative RE with i∗. CEUR Workshop Proceedings, 1402, pp. 37-42.

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

Howell, S., Tripoliti, E. and Pring, T. (2009). Delivering the Lee Silverman Voice Treatment (LSVT) by web camera: a feasibility study. International Journal of Language & Communication Disorders, 44(3), pp. 287-300. doi: 10.1080/13682820802033968

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.

Iosifidis, P. and Andrews, L. (2019). Regulating the Internet Intermediaries in a Post-Truth World: Beyond media policy?. International Communication Gazette, doi: 10.1177/1748048519828595

Jahromizadeh, S. and Rakocevic, V. (2014). Joint rate control and scheduling for providing bounded delay with high efficiency in multihop wireless networks. IEEE/ACM Transactions on Networking, 22(5), pp. 1686-1698. doi: 10.1109/TNET.2013.2282872

Japunya, T., Jitpakdee, P., Uyyanonvara, B., Aimmanee, P., Philippaki, E., Hull, C. and Barman, S. (2014). Software for the quantification of glistenings in intra-ocular lenses. Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2014, WCE 2014, 2-4 July, 2014, London, U.K., pp. 34-38.

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

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.

John, D., Gatzidis, C., Liarokapis, F., Boucouvalas, A. and Brujic-Okretic, V. (2011). Prototyping Expressive 3D Social Worlds. The Open Virtual Reality Journal, 3(1), pp. 1-15.

Jones, K., Konrad, V. and Nickovic, D. (2010). Analog Property Checkers: A Ddr2 Case Study. Formal Methods in System Design, 36(2), pp. 114-130. doi: 10.1007/s10703-009-0085-x

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

Jones, P. R. ORCID: 0000-0001-7672-8397 (2018). QuestPlus: A MATLAB Implementation of the QUEST+ adaptive Psychometric Method. Journal of Open Research Software, 6(27), doi: 10.5334/jors.195

Jones, S., Maiden, N., Manning, S. and Greenwood, J. (2007). Informing the specification of a large-scale socio-technical system with models of human activity. Lecture Notes in Computer Science: Requirements Engineering: Foundation for Software Quality, 4542, pp. 175-189. doi: 10.1007/978-3-540-73031-6_13

Kainz, B., Steinberger, M., Wein, W., Kuklisova-Murgasova, M., Malamateniou, C., Keraudren, K., Torsney-Weir, T., Rutherford, M., Aljabar, P., Hajnal, J. V. and Rueckert, D. (2015). Fast Volume Reconstruction From Motion Corrupted Stacks of 2D Slices. IEEE Transactions on Medical Imaging, 34(9), pp. 1901-1913. doi: 10.1109/TMI.2015.2415453

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.

Kaparias, I., Bell, M. G. H., Bogenberger, K. and Chen, Y. (2007). An approach to time dependence and reliability in dynamic route guidance. Transportation Research Record, 2039, pp. 32-41. doi: 10.3141/2039-04

Kaparias, I., Bell, M. G. H., Chen, Y. and Bogenberger, K. (2007). ICNavS: A tool for reliable dynamic route guidance. IET Intelligent Transport Systems, 1(4), pp. 225-233. doi: 10.1049/iet-its:20060066

Karcanias, N. (2013). Systems of Systems: A Control Theoretic View. 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC),, pp. 1732-1737. doi: 10.1109/SMC.2013.298

Kassem, H. I., Liu, X. and Banerjee, J. R. (2016). Transonic flutter analysis using a fully coupled density based solver for inviscid flow. Advances in Engineering Software, 95, pp. 1-6. doi: 10.1016/j.advengsoft.2016.01.012

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

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

Kovacevic, A. ORCID: 0000-0002-8732-2242, Stosic, N., Mujic, E. and Smith, I. K. ORCID: 0000-0003-1524-9880 (2007). CFD Integrated Design of Screw Compressors. Engineering Applications of Computational Fluid Mechanics, 1(2), pp. 96-108. doi: 10.1080/19942060.2007.11015185

Krogh, G. V. and Haefliger, S. (2010). Opening up design science: The challenge of designing for reuse and joint development. The Journal of Strategic Information Systems, 19, pp. 232-241. doi: 10.1016/j.jsis.2010.09.008

Krogh, G. V., Haefliger, S., Spaeth, S. and Wallin, M. W. (2012). Carrots and Rainbows: Motivation and Social Practice in Open Source Software Development. MIS Quarterly, 36(2), pp. 649-676.

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., Wong, W., Riche, Y., Moore, T., Oberst, I., Shinsel, A. and McIntosh, K. (2010). Explanatory debugging: Supporting end-user debugging of machine-learned programs. Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, pp. 41-48. doi: 10.1109/VLHCC.2010.15

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

Kulesza, T., Stumpf, S., Wong, W-K., Burnett, M., Perona, S., Ko, A. and Oberst, I. (2011). Why-Oriented End-User Debugging of Naïve Bayes Text Classification. Transactions on Interactive Intelligent Systems, 1(1), .2. doi: 10.1145/2030365.2030367

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, B., Isaacs, K., Szafir, D. A., Marai, G. E., Turkay, C. ORCID: 0000-0001-6788-251X, Tory, M., Carpendale, S. and Endert, A. (2019). Broadening Intellectual Diversity in Visualization Research Papers. IEEE Computer Graphics and Applications, pp. 78-85. doi: 10.1109/MCG.2019.2914844

Lee, J. J. and Keramati, M. (2017). Flexibility to contingency changes distinguishes habitual and goal-directed strategies in humans. PLoS Computational Biology, 13(9), e1005753. doi: 10.1371/journal.pcbi.1005753

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, F., Nucciarelli, A., Roden, S. and Graham, G. (2016). How Smart Cities Transform Operations Models: A New Research Agenda for Operations Management in the Digital Economy. Production Planning & Control, 27(6), pp. 514-528. doi: 10.1080/09537287.2016.1147096

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., Oikonomou, G., Tryfonas, T., Chen, T. and Xu, L. D. (2014). A Distributed Consensus Algorithm for Decision Making in Service-Oriented Internet of Things. IEEE Transactions on Industrial Informatics, 10(2), pp. 1461-1468. doi: 10.1109/TII.2014.2306331

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

Lichtenstein, Y., Finkelstein, L. and Wyss, S. (2018). Aligning flexibility with uncertainty in software development arrangements through a contractual typology. Journal of Global Operations and Strategic Sourcing, 11(1), pp. 2-26. doi: 10.1108/JGOSS-11-2016-0033

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

Littlewood, B., Popov, P. T. and Strigini, L. (2001). Modeling software design diversity. ACM Computer Surveys, 33(2), pp. 177-208. doi: 10.1145/384192.384195

Littlewood, B. and Strigini, L. (2011). “Validation of ultra-high dependability…” – 20 years on. Safety Systems - The Safety-Critical Systems Club Newsletter, 20(3),

Liu, S., Andrienko, G. ORCID: 0000-0002-8574-6295, Wu, Y., Cao, N., Jiang, L., Shi, C., Wang, Y. S. and Hong, S. (2018). Steering data quality with visual analytics: The complexity challenge. Visual Informatics, 2(4), pp. 191-197. doi: 10.1016/j.visinf.2018.12.001

Liu, X. and Banerjee, J. R. (2016). Free vibration analysis for plates with arbitrary boundary conditions using a novel spectral-dynamic stiffness method. Computers and Structures, 164, pp. 108-126. doi: 10.1016/j.compstruc.2015.11.005

Llado, X., Imiya, A., Reyes-Aldasoro, C. C., Mason, D., Aoki, K., Kudo, M., Zhang, Y. and Argyriou, V. (2014). Homage to Professor Maria Petrou. Pattern Recognition Letters, 48, pp. 2-7. doi: 10.1016/j.patrec.2014.06.008

Loizides, F., Buchanan, G. and Mavri, K. (2016). Theory and practice in visual interfaces for semi-structured document discovery and selection. Information Services and Use, 35(4), pp. 259-271. doi: 10.3233/ISU-150783

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

Lu, W., MacFarlane, A. and Venuti, F. (2009). Okapi-based XML indexing. Aslib Proceedings; New Information Perspectives, 61(5), pp. 483-499. doi: 10.1108/00012530910989634

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

Mabrook, R. and Singer, J. ORCID: 0000-0002-5777-9065 (2019). Virtual Reality, 360⁰ Video, and Journalism Studies: Conceptual Approaches to Immersive Technologies. Journalism Studies, doi: 10.1080/1461670X.2019.1568203

MacFarlane, A. (2007). Evaluation of web search for the information practitioner. Aslib Proceedings; New Information Perspectives, 59(4-5), pp. 352-366. doi: 10.1108/00012530710817573

MacFarlane, A. (2003). On open source IR. Aslib Proceedings; New Information Perspectives, 55(4), pp. 217-222. doi: 10.1108/00012530310486575

MacFarlane, A., Robertson, S. E. and McCann, F. A. (2004). Parallel computing for passage retrieval. Aslib Proceedings; New Information Perspectives, 56(4), pp. 201-211. doi: 10.1108/00012530410549231

MacFarlane, A., Robertson, S. E. and McCann, J. A. (1997). Parallel computing in information retrieval - An updated review. Journal of Documentation, 53(3), pp. 274-315. doi: 10.1108/EUM0000000007201

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

Mahmood, A. and Sismeiro, C. S. (2017). Will they come and will they stay? Online Social Networks and news consumption on external websites. Journal of Interactive Marketing, 37, pp. 117-132. doi: 10.1016/j.intmar.2016.10.003

Maiden, N., D'Souza, S., Jones, S., Muller, L., Panesse, L., Pitts, K., Prilla, M., Pudney, K., Rose, M., Turner, I. and Zachos, K. (2013). Computing Technologies for Reflective and Creative Care for People with Dementia. Communications of the ACM, 56(11), pp. 60-67. doi: 10.1145/2500495

Maiden, N., Gizikis, A. and Robertson, S. (2004). Provoking creativity: Imagine what your requirements could be like. IEEE Software, 21(5), pp. 68-75. doi: 10.1109/MS.2004.1331305

Maiden, N., Jones, S., Manning, S., Greenwood, J. and Renou, L. (2004). Model-driven requirements engineering: Synchronising models in an air traffic management case study. Lecture Notes in Computer Science: Advanced Information Systems Engineering, 3084, pp. 368-383. doi: 10.1007/978-3-540-25975-6_27

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

Maiden, N. ORCID: 0000-0001-6233-8320, Zachos, K., Pitts, K. and Pudney, K. (2018). Evaluating the Use of Daily Care Notes Software for Older People with Dementia. International Journal of Human-Computer Interaction, doi: 10.1080/10447318.2018.1482052

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. and Blandford, A. (2011). What is Serendipity? - A Workshop Report. Information Research, 16(3), p. 491.

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

Markova, M.S., Wilson, S. and Stumpf, S. (2012). Tangible user interfaces for learning. International Journal of Technology Enhanced Learning, 4(3-4), pp. 139-155.

Markovic, M., Corsar, D., Asif, W., Edwards, P. and Rajarajan, M. (2018). Towards Transparency of IoT Message Brokers. Lecture Notes in Computer Science, 11017, pp. 200-203. doi: 10.1007/978-3-319-98379-0_19

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

Marshall, J. ORCID: 0000-0002-6589-221X, Devane, N., Edmonds, L., Talbot, R., Wilson, S. ORCID: 0000-0001-6445-654X, Woolf, C. and Zwart, N. (2018). Delivering word retrieval therapies for people with aphasia in a virtual communication environment. Aphasiology, 32(9), pp. 1054-1074. doi: 10.1080/02687038.2018.1488237

Marshall, J., Roper, A., Galliers, J. R., Wilson, S., Cocks, N., Muscroft, S. and Pring, T. (2013). Computer delivery of gesture therapy for people with severe aphasia. Aphasiology, 27(9), pp. 1128-1146. doi: 10.1080/02687038.2013.786803

Mason, J. S., Klippel, A., Bleisch, S., Slingsby, A. and Deitrick, S. (2016). Special issue introduction: Approaching spatial uncertainty visualization to support reasoning and decision making. Spatial Cognition and Computation, 16(2), pp. 97-105. doi: 10.1080/13875868.2016.1138117

Mcbride, C. and Paterson, R. A. (2008). Applicative programming with effects. Journal of Functional Programming, 18(1), pp. 1-13. doi: 10.1017/S0956796807006326

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

Mercea, D. and Bastos, M. T. (2016). Being a Serial Transnational Activist. Journal of Computer-Mediated Communication, 21(2), pp. 140-155. doi: 10.1111/jcc4.12150

Mercea, D. ORCID: 0000-0003-3762-2404 and Levy, H. (2019). Cuing Collective Outcomes on Twitter: A Qualitative Reading of Movement Social Learning. International Journal of Communication,

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,

Metoyer, R., Stumpf, S., Neumann, C., Dodge, J., Cao, J. and Schnabel, A. (2010). Explaining how to play real-time strategy games. Knowledge-Based Systems, 23(4), pp. 295-301. doi: 10.1016/j.knosys.2009.11.006

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

Meulemans, W. and Haunert, J-H. (2016). Partitioning Polygons via Graph Augmentation. Lecture Notes in Computer Science, 9927, pp. 18-33. doi: 10.1007/978-3-319-45738-3

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,

Meyer, M. and Dykes, J. ORCID: 0000-0002-8096-5763 (2018). Reflection on Reflection in Applied Visualization Research Generating Knowledge From Practice. IEEE Computer Graphics and Applications, 38(6), pp. 9-16. doi: 10.1109/MCG.2018.2874523

Mills, C. and Hilberg, E. (2018). The construction of mental health as a technological problem in India. Critical Public Health, doi: 10.1080/09581596.2018.1508823

Milojevic, M. and Rakocevic, V. (2015). Location Aware Data Aggregation for Efficient Message Dissemination in Vehicular Ad Hoc Networks. IEEE Transactions on Vehicular Technology, 64(12), pp. 5575-5583. doi: 10.1109/TVT.2015.2487830

Milonidis, E., Kostarigka, A. and Karcanias, N. (2011). Finite settling time stabilisation: the robust SISO case. International Journal of Control, 84(9), pp. 1521-1532. doi: 10.1080/00207179.2011.611949

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

Mohanty, V., Moliya, D., Hota, C. and Rajarajan, M. (2010). Secure Anonymous Routing for MANETs Using Distributed Dynamic Random Path Selection. Intelligence and Security Informatics, 6122, pp. 65-72. doi: 10.1007/978-3-642-13601-6_8

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

Moore, R., Mills, M., Marsham, P. and Corr, P. J. (2017). Group and individual analyses of pre-, peri-, and post-movement related alpha and beta oscillations during a single continuous monitoring task. International Journal of Psychophysiology, 120, pp. 108-117.

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

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

Netkachov, O., Popov, P. T. and Salako, K. (2014). Model-based Evaluation of the Resilience of Critical Infrastructures under Cyber Attacks. Lecture Notes in Computer Science, 8985, pp. 231-243. doi: 10.1007/978-3-319-31664-2_24

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

Netkachova, K. and Bloomfield, R. E. (2016). Security-Informed Safety. Computer, 49(6), pp. 98-102. doi: 10.1109/MC.2016.158

Netkachova, K. and Pokrova, S. V. (2011). Оценка и обеспечение безопасности систем электронного образования на основе веб-сервисов. Бизнес Информ, 6, pp. 183-186.

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, Henkin, R. ORCID: 0000-0002-5511-5230, Chen, S., Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Thonnard, O. and Turkay, C. ORCID: 0000-0001-6788-251X (2019). VASABI: Hierarchical User Profiles for Interactive Visual User Behaviour Analytics. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2019.2934609

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

Niedermeyer, F., Steinmetzer, S., Kroll, M. and Schnell, R. (2014). Cryptanalysis of Basic Bloom Filters Used for Privacy Preserving Record Linkage. Journal of Privacy and Condentiality, 6(2), pp. 59-79.

Nokhandan, M. M., Piomelli, U. and Omidyeganeh, M. ORCID: 0000-0002-4140-2810 (2018). Large-eddy and wall-modelled simulations of turbulent flow over two-dimensional river dunes. Physics and Chemistry of the Earth, doi: 10.1016/j.pce.2018.11.004

Nooshin, L. ORCID: 0000-0001-8737-5224 (2018). “Our Angel of Salvation”- Towards an Understanding of Iranian Cyberspace as an Alternative Sphere of Musical Sociality. Ethnomusicology, 62(3), pp. 341-374. doi: 10.5406/ethnomusicology.62.3.0341

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

Okoh, C., Roy, R. ORCID: 0000-0001-5491-7437 and Mehnen, J. (2017). Maintenance Informatics Dashboard Design for Through-life Engineering Services. Procedia CIRP, 59, pp. 166-171. doi: 10.1016/j.procir.2016.09.019

Olteanu Raimond, A. M., Xiao, Y., Liu, J., Chen, T. and Chen, C. L. P. (2013). Nonintrusive tracing in the Internet. Security and Communication Networks, 6(7), pp. 833-843. doi: 10.1002/sec.616

Orfanos, S., Akther, S. F., Abdul-Basit, M., McCabe, R. ORCID: 0000-0003-2041-7383 and Priebe, S. (2017). Using video-annotation software to identify interactions in group therapies for schizophrenia: assessing reliability and associations with outcomes. BMC Psychiatry, 17(1), 65.. doi: 10.1186/s12888-017-1217-2

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

Palmarini, R., Erkoyuncu, J. A., Roy, R. ORCID: 0000-0001-5491-7437 and Torabmostaedi, H. (2018). A systematic review of augmented reality applications in maintenance. Robotics and Computer-Integrated Manufacturing, 49, pp. 215-228. doi: 10.1016/j.rcim.2017.06.002

Palmarini, R., Fernandez del Amo, I., Bertolino, G., Dini, G., Erkoyuncu, J. A., Roy, R. ORCID: 0000-0001-5491-7437 and Farnsworth, M. (2018). Designing an AR interface to improve trust in Human-Robots collaboration. Procedia CIRP, 70, pp. 350-355. doi: 10.1016/j.procir.2018.01.009

Palmirini, R., Erkoyuncu, J. A. and Roy, R. ORCID: 0000-0001-5491-7437 (2017). An Innovative Process to Select Augmented Reality (AR) Technology for Maintenance. Procedia CIRP, 59, pp. 23-28. doi: 10.1016/j.procir.2016.10.001

Panourgias, N.S., Nandhakumar, J. and Scarbrough, H. (2014). Entanglements of creative agency and digital technology: A sociomaterial study of computer game development. Technological Forecasting and Social Change, 83(1), pp. 111-126. doi: 10.1016/j.techfore.2013.03.010

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

Papadopoulos, Konstantinos, Gavaises, M., Pantos, I., Katritsis, D. G. and Mitroglou, N. (2016). Derivation of flow related risk indices for stenosed left anterior descending coronary arteries with the use of computer simulations. Medical Engineering & Physics, 38(9), pp. 929-939. doi: 10.1016/j.medengphy.2016.05.016

Papakonstantinou, S. and Brujic-Okretic, V. (2009). Framework for context-aware smartphone applications. The Visual Computer, 25(12), pp. 1121-1132. doi: 10.1007/s00371-009-0391-8

Papoutsakis, A., Sazhin, S., Begg, S., Danaila, I. and Luddens, F. (2018). An efficient Adaptive Mesh Refinement (AMR) algorithm for the Discontinuous Galerkin method: Applications for the computation of compressible two-phase flows. Journal of Computational Physics, 363, pp. 399-427. doi: 10.1016/j.jcp.2018.02.048

Pathan, M. V., Ponnusami, S. A. ORCID: 0000-0002-2143-8971, Pathan, J., Pitisongsawat, R., Erice, B., Petrinic, N. and Tagarielli, V. L. (2019). Predictions of the mechanical properties of unidirectional fibre composites by supervised machine learning. Scientific Reports, 9(1), 13964.. doi: 10.1038/s41598-019-50144-w

Pattni, K., Broom, M. ORCID: 0000-0002-1698-5495 and Rychtar, J. (2018). Evolving multiplayer networks: Modelling the evolution of cooperation in a mobile population. Discrete & Continuous Dynamical Systems - B, 23(5), pp. 1975-2004. doi: 10.3934/dcdsb.2018191

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. and Buchanan, G. (2011). CloudBooks: An infrastructure for reading on multiple devices. Lecture Notes in Computer Science, 6966, pp. 488-492. doi: 10.1007/978-3-642-24469-8_56

Pearson, J., Buchanan, G. and Thimbleby, H. W. (2012). Investigating collaborative annotation on slate PCs. MobileHCI' 12 Proceedings of the 14th International Conference on Human Computer Interaction with Mobile Devices and Services, pp. 413-416. doi: 10.1145/2371574.2371637

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

Pearson, J., Robinson, S., Buchanan, G. and Jones, M. (2013). TicQR: Flexible, lightweight linking of paper and digital content using mobile phones. Lecture Notes in Computer Science, 8120, pp. 220-228. doi: 10.1007/978-3-642-40498-6_16

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

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

Petroulakis, N. E., Askoxylakis, I. G., Traganitis, A. and Spanoudakis, G. (2013). A privacy-level model of user-centric cyber-physical systems. Lecture Notes in Computer Science, 8030, pp. 338-347. doi: 10.1007/978-3-642-39345-7-36

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

Pinelli, A., Naqavi, I. Z., Piomelli, U. and Favier, J. (2010). Immersed Boundary Method for Generalised Finite Volume and Finite Difference Navier-Stokes Solvers. Journal of Computational Physics, 229(24), pp. 9073-9091. doi: 10.1016/j.jcp.2010.08.021

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

Popov, P. T., Netkachov, A. and Salako, K. (2014). Quantification of the Impact of Cyber Attack in Critical Infrastructures. Lecture Notes in Computer Science, 8696, pp. 316-327. doi: 10.1007/978-3-319-10557-4_35

Povyakalo, A. A., Alberdi, E., Strigini, L. and Ayton, P. (2013). How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography. Medical Decision Making, 33(1), pp. 98-107. doi: 10.1177/0272989X12465490

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

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

Puschmann, C. and Bastos, M. T. (2015). How Digital Are the Digital Humanities? An Analysis of Two Scholarly Blogging Platforms. PLoS One, 10(2), e0115035. doi: 10.1371/journal.pone.0115035

Puschmann, C., Bastos, M. T. and Schmidt, J-H. (2017). Birds of a feather petition together? Characterizing e-petitioning through the lens of platform data. Information, Communication & Society, 20(2), pp. 203-220. doi: 10.1080/1369118X.2016.1162828

Qureshi, H. K., Rizvi, S., Saleem, M., Khayam, S. A., Rakocevic, V. and Rajarajan, M. (2013). Evaluation and improvement of CDS-based topology control for wireless sensor networks. Wireless Networks, 19(1), pp. 31-46. doi: 10.1007/s11276-012-0449-9

Qureshi, H. K., Rizvi, S., Saleem, M., Khayam, S. A., Rakocevic, V. and Rajarajan, M. (2011). Poly: A Reliable and Energy Efficient Topology Control Protocol for Wireless Sensor Networks. Computer Communications, 34(10), pp. 1235-1242. doi: 10.1016/j.comcom.2010.12.016

Rahulamathavan, Y., Rajarajan, M. and Phan, R. C. W. (2016). Smart, secure and seamless access control scheme for mobile devices. 2016 IEEE International Conference on Communications, ICC 2016, pp. 1088-1093. doi: 10.1109/ICC.2016.7510837

Rahulamathavan, Y., Sutharsini, K. R., Ray, I. G., Lu, R. and Rajarajan, M. (2019). Privacy-Preserving iVector-Based Speaker Verification. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 27(3), pp. 496-506. doi: 10.1109/TASLP.2018.2882731

Rahulamathavan, Y., Veluru, S., Han, J., Li, F., Rajarajan, M. and Lu, R. (2016). User Collusion Avoidance Scheme for Privacy-Preserving Decentralized Key-Policy Attribute-Based Encryption. IEEE Transactions on Computers, 65(9), pp. 2939-2946. doi: 10.1109/TC.2015.2510646

Rahulamathavan, Y., Veluru, S., Phan, R. C., Chambers, J. A. and Rajarajan, M. (2014). Privacy-preserving clinical decision support system using gaussian kernel-based classification. IEEE Journal of Biomedical and Health Informatics, 18(1), pp. 56-66. doi: 10.1109/JBHI.2013.2274899

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

Rakocevic, V. (2014). Clustering for networks of moving objects. Lecture Notes in Computer Science, 8611, pp. 70-87. doi: 10.1007/978-3-319-10834-6_5

Randell, R., Wilson, S. and Woodward, P. (2010). Variations and Commonalities in Processes of Collaboration: The Need for Multi-Site Workplace Studies. COMPUTER SUPPORTED COOPERATIVE WORK-THE JOURNAL OF COLLABORATIVE COMPUTING, 20(1-2), pp. 37-59. doi: 10.1007/s10606-010-9127-6

Randell, R., Wilson, S. and Woodward, P. (2011). The importance of the verbal shift handover report: A multi-site case study. International Journal of Medical Informatics, 80(11), pp. 803-812. doi: 10.1016/j.ijmedinf.2011.08.006

Randell, R., Wilson, S., Woodward, P. and Galliers, J. R. (2010). Beyond handover: supporting awareness for continuous coverage. COGNITION TECHNOLOGY & WORK, 12(4), pp. 271-283. doi: 10.1007/s10111-010-0138-3

Recuero, R., Zago, G. and Bastos, M. T. (2014). O discurso dos #ProtestosBR: análise de conteúdo do Twitter. Galáxia (São Paulo), 14(28), pp. 199-216. doi: 10.1590/1982-25542014217911

Recuero, R., Zago, G., Bastos, M. T. and Araujo, R. (2015). Hashtags Functions in the Protests Across Brazil. SAGE Open, 5(2), doi: 10.1177/2158244015586000

Reimers, S. and Stewart, N. (2016). Auditory presentation and synchronization in Adobe Flash and HTML5/JavaScript Web experiments. Behavior Research Methods, 48(3), pp. 897-908. doi: 10.3758/s13428-016-0758-5

Rendon, J. and de Menezes, L. M. (2017). Structural combination of neural network models. 2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW), pp. 406-413. doi: 10.1109/ICDMW.2016.0064

Reyes-Aldasoro, C. C., Griffiths, M. K., Savas, D. and Tozer, G. M. (2010). CAIMAN: an online algorithm repository for Cancer Image Analysis. Computer Methods and Programs in Biomedicine, 103(2), pp. 97-103. doi: 10.1016/j.cmpb.2010.07.007

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

Rigoli, F. ORCID: 0000-0003-2233-934X, Pezzulo, G., Dolan, R.J. and Friston, K. J. (2017). A Goal-Directed Bayesian Framework for Categorization. Frontiers in Psychology, 8, 408.. doi: 10.3389/fpsyg.2017.00408

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

Roper, A. (2014). Accessibility of computer therapy and technology for people with aphasia. ACM SIGACCESS Accessibility and Computing(108), pp. 50-53. doi: 10.1145/2591357.2591366

Roper, A. ORCID: 0000-0001-6950-6294, Grellmann, B., Neate, T., Marshall, J. ORCID: 0000-0002-6589-221X and Wilson, S. ORCID: 0000-0001-6445-654X (2018). Social networking sites: barriers and facilitators to access for people with aphasia. Aphasiology, 32(sup1:), pp. 1176-177. doi: 10.1080/02687038.2018.1486387

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

Saadat Beheshti, S. M. R., Liatsis, P. and Rajarajan, M. (2017). A CAPTCHA model based on visual psychophysics: Using the brain to distinguish between human users and automated computer bots. Computers and Security, 70, pp. 596-617. doi: 10.1016/j.cose.2017.08.006

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

Saker, M. ORCID: 0000-0002-7414-2840 and Frith, J. (2018). From hybrid space to dislocated space: Mobile virtual reality and a third stage of mobile media theory. New Media and Society, doi: 10.1177/1461444818792407

Sandoval, R. M., Garcia-Sanchez, A-J., Garcia-Haro, J. and Chen, T. ORCID: 0000-0001-8037-1685 (2018). Optimal Policy Derivation for Transmission Duty-Cycle Constrained LPWAN. IEEE Internet of Things Journal, 5(4), pp. 3114-3125. doi: 10.1109/JIOT.2018.2833289

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

Schlosser, C., Jones, S. and Maiden, N. (2008). Using a Creativity Workshop to Generate Requirements for an Event Database Application. Lecture Notes in Computer Science: Requirements Engineering: Foundation for Software Quality, 5025, pp. 109-122. doi: 10.1007/978-3-540-69062-7_10

Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151, Martins, R., Teige, T. and Bienmüller, T. (2017). Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29(5), pp. 911-931. doi: 10.1007/s00165-017-0419-1

Secker, J. (2008). Social software and libraries: a literature review from the LASSIE project. Program, 42(3), pp. 215-231. doi: 10.1108/00330330810892640

Secker, J. and Lloyd, C. (2008). Libraries, social software and distance learners: the adventures of LASSIE. Health Information on the Internet, 62(1), pp. 6-8.

Secker, J. and Price, G. (2007). Libraries, social software and distance learners: Blog it, tag it, share it!. New Review of Information Networking, 13(1), pp. 39-52. doi: 10.1080/13614570701754536

Shittu, R., Healing, A., Ghanea-Hercock, R., Bloomfield, R. E. and Rajarajan, M. (2015). Intrusion alert prioritisation and attack detection using post-correlation analysis. Computers & Security, 50, pp. 1-15. doi: 10.1016/j.cose.2014.12.003

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

Singer, J. ORCID: 0000-0002-5777-9065 (2019). Habits of Practice, Habits of Thought. Journalism, 20(1), pp. 135-139. doi: 10.1177/1464884918809248

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

Slingsby, A. and van Loon, E. (2016). Exploratory Visual Analysis for Animal Movement Ecology. Computer Graphics Forum, 35(3), pp. 471-480. doi: 10.1111/cgf.12923

Smith-Creasey, M., Albalooshi, F. A. and Rajarajan, M. (2018). Continuous face authentication scheme for mobile devices with tracking and liveness detection. Microprocessors and Microsystems, 63, doi: 10.1016/j.micpro.2018.07.008

Soch, J., Haynes, J-D. and Allefeld, C. ORCID: 0000-0002-1037-2735 (2016). How to avoid mismodelling in GLM-based fMRI data analysis: cross-validated Bayesian model selection. NeuroImage, 141, pp. 469-489. doi: 10.1016/j.neuroimage.2016.07.047

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

Somani, G., Gaur, M. S., Sanghi, D., Conti, M. and Rajarajan, M. (2016). DDoS victim service containment to minimize the internal collateral damages in cloud computing. Computers and Electrical Engineering, doi: 10.1016/j.compeleceng.2016.12.004

Somani, G., Gaur, M. S., Sanghi, D., Conti, M. and Rajarajan, M. (2018). Scale Inside-Out: Rapid Mitigation of Cloud DDoS Attacks. IEEE Transactions on Dependable and Secure Computing, 15(6), doi: 10.1109/TDSC.2017.2763160

Somani, G., Gaur, M. S., Sanghi, D., Conti, M., Rajarajan, M. and Buyya, R. (2017). Combating DDoS attacks in the cloud: Requirements, trends, and future directions. IEEE Cloud Computing, 4(1), pp. 22-32. doi: 10.1109/MCC.2017.14

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

Spaeth, S., Haefliger, S., Krogh, G. V. and Renzl, B. (2008). Communal resources in open source software development. Information Research, 13(1),

Spanos, P. D., Giaralis, A. and Li, J. (2009). Synthesis of accelerograms compatible with the Chinese GB 50011-2001 design spectrum via harmonic wavelets: artificial and historic records. Earthquake engineering and engineering vibration, 8(2), pp. 189-206. doi: 10.1007/s11803-009-9017-4

Spanos, P. D., Giaralis, A. and Politis, N. P. (2007). Time-frequency representation of earthquake accelerograms and inelastic structural response records using the adaptive chirplet decomposition and empirical mode decomposition. Soil Dynamics and Earthquake Engineering, 27(7), pp. 675-689. doi: 10.1016/j.soildyn.2006.11.007

Spanos, P. D., Giaralis, A., Politis, N. P. and Roesset, J. M. (2007). Numerical treatment of seismic accelerograms and of inelastic seismic structural responses using harmonic wavelets. Computer-aided civil and infrastructure design, 22(4), pp. 254-264. doi: 10.1111/j.1467-8667.2007.00483.x

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

Spurgin, A. J. and Stupples, D. (2012). Impact of accidents on organizational aspects of nuclear utilities. International Journal of Economics and Management Engineering, 2(4), pp. 132-144.

Starnini, M., Baronchelli, A. and Pastor-Satorras, R. (2017). Effects of temporal correlations in social multiplex networks. Scientific Reports, 7, 8597.. doi: 10.1038/s41598-017-07591-0

Starnini, M., Lepri, B., Baronchelli, A., Barrat, A., Cattuto, C. and Pastor-Satorras, R. (2017). Robust modeling of human contact networks across different scales and proximity-sensing techniques. .,

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

Strigini, L. and Wright, D. (2014). Bounds on survival probability given mean probability of failure per demand; And the paradoxical advantages of uncertainty. Reliability Engineering and System Safety, 128, pp. 66-83. doi: 10.1016/j.ress.2014.02.004

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. and McDonnell, J. (2004). An investigation into sharing metadata: "I'm not thinking what you are thinking". Journal of Universal Computer Science, 10(6), pp. 740-748. doi: 10.3217/jucs-010-06-0740

Stumpf, S., Rajaram, V., Li, L., Wong, W-K., Burnett, M., Dietterich, T. G., Sullivan, E. and Herlocker, J. (2009). Interacting meaningfully with machine learning systems: Three experiments. International Journal of Human Computer Studies, 67(8), pp. 639-662. doi: 10.1016/j.ijhcs.2009.03.004

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,

Suarez-Tangil, G., Palomar, E., De Fuentes, J. M., Blasco, J. and Ribagorda, A. (2009). Automatic rule generation based on genetic programming for event correlation. Advances in Intelligent and Soft Computing, 63, pp. 127-134. doi: 10.1007/978-3-642-04091-7_16

Sustar, H., Jones, S. and Dearden, A. (2013). Older people as equal partners in creative design. Lecture Notes in Computer Science: Human Factors in Computing and Informatics, 7946 L, pp. 649-656. doi: 10.1007/978-3-642-39062-3_45

Suziedelyte, A. ORCID: 0000-0003-2420-9231 (2012). How does searching for health information on the Internet affect individuals' demand for health care services?. Social Science & Medicine, 75(10), pp. 1828-1835. doi: 10.1016/j.socscimed.2012.07.022

Tahir, S., Ruj, S., Sajjad, A. and Rajarajan, M. (2019). Fuzzy keywords enabled ranked searchable encryption scheme for a public Cloud environment. Computer Communications, 133, pp. 102-114. doi: 10.1016/j.comcom.2018.08.004

Tahir, S., Steponkus, L., Ruj, S., Rajarajan, M. and Sajjad, A. (2018). A parallelized disjunctive query based searchable encryption scheme for big data. Future Generation Computer Systems, doi: 10.1016/j.future.2018.05.048

Tahir, S. F., Ruj, S., Rahulamathavan, Y., Rajarajan, M. and Glackin, C. (2017). A New Secure and Lightweight Searchable Encryption Scheme over Encrypted Cloud Data. IEEE Transactions on Emerging Topics in Computing, doi: 10.1109/TETC.2017.2737789

Tedeschi, S., Mehnen, J., Tapoglou, N. and Roy, R. ORCID: 0000-0001-5491-7437 (2017). Secure IoT Devices for the Maintenance of Machine Tools. Procedia CIRP, 59, pp. 150-155. doi: 10.1016/j.procir.2016.10.002

Tedeschi, S., Rodrigues, D., Emmanouilidis, C., Erkoyuncu, J. and Roy, R. ORCID: 0000-0001-5491-7437 (2018). A cost estimation approach for IoT modular architectures implementation in legacy systems. Procedia Manufacturing, 19, pp. 103-110. doi: 10.1016/j.promfg.2018.01.015

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

Thurman, N. (2017). Social media, surveillance and news work: On the apps promising journalists a “crystal ball”. Digital Journalism, doi: 10.1080/21670811.2017.1345318

Thurman, N., Moeller, J., Helberger, N. and Trilling, D. (2018). My friends, editors, algorithms, and I: Examining audience attitudes to news selection. Digital Journalism, doi: 10.1080/21670811.2018.1493936

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

Toja-Silva, F., Favier, J. and Pinelli, A. (2014). Radial basis function (RBF)-based interpolation and spreading for the immersed boundary method. Computers & Fluids, 105, pp. 66-75. doi: 10.1016/j.compfluid.2014.09.026

Townend, J. (2013). Closed Data: Defamation and Privacy Disputes in England and Wales. Journal of Media Law, 5(1), pp. 31-44. doi: 10.5235/17577632.5.1.31

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

Tranter, R. and Mcgraw, C. (2017). Integrating social media into routine midwifery services: Maternity Direct+. British Journal of Midwifery, 25(7), pp. 458-464. doi: 10.12968/bjom.2017.25.7.458

Tselikis, C., Douligeris, C., Mitropoulos, S., Komninos, N. and Tselikis, G. (2017). Adaptation of a Conference Key Distribution System for the Wireless Ad Hoc Network. 2017 IEEE International Conference on Communications (ICC), doi: 10.1109/ICC.2017.7996339

Tselikis, C., Mitropoulos, S., Komninos, N. and Douligeris, C. (2012). Degree-Based Clustering Algorithms for Wireless Ad Hoc Networks Under Attack. IEEE Communications Letters, 16(5), pp. 619-621. doi: 10.1109/LCOMM.2012.031912.112484

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., Kaya, E., Balcisoy, S. and Hauser, H. (2017). Designing Progressive and Interactive Analytics Processes for High-Dimensional Data Analysis. IEEE Transactions on Visualization and Computer Graphics, 23(1), pp. 131-140. doi: 10.1109/TVCG.2016.2598470

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

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

Valero-Lara, P., Pinelli, A. and Prieto-Matias, M. (2014). Accelerating solid-fluid interaction using Lattice-Boltzmann and Immersed Boundary coupled simulations on heterogeneous platforms. Procedia Computer Science, 29, pp. 50-61. doi: 10.1016/j.procs.2014.05.005

Valero-Lara, P., Pinelli, A. and Prieto-Matias, M. (2014). Fast finite difference Poisson solvers on heterogeneous architectures. Computer Physics Communications Package, 185(4), doi: 10.1016/j.cpc.2013.12.026

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 Goethem, A., Staals, F., Loffler, M., Dykes, J. and Speckmann, B. (2017). Multi-Granular Trend Detection for Time-Series Analysis. IEEE Transactions on Visualization and Computer Graphics, 23(1), pp. 661-670. doi: 10.1109/TVCG.2016.2598619

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

Varley, R. A., Cowell, P. E., Dyson, L., Inglis, L., Roper, A. and Whiteside, S. P. (2016). Self-Administered Computer Therapy for Apraxia of Speech. Stroke, 47(3), pp. 822-828. doi: 10.1161/STROKEAHA.115.011939

Velarde, G., Weyde, T. and Meredith, D. (2013). An approach to melodic segmentation and classification based on filtering with the Haar wavelet. Journal of New Music Research, 42(4), pp. 325-345. doi: 10.1080/09298215.2013.841713

Veluru, S., Rahulamathavan, Y., Viswanath, P., Longley, P. and Rajarajan, M. (2013). E-mail address categorization based on semantics of surnames. Proceedings of the 2013 IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013, pp. 222-229. doi: 10.1109/CIDM.2013.6597240

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

Villar, A., Callegaro, M. and Yang, Y. (2013). Where Am I? A Meta-Analysis of Experiments on the Effects of Progress Indicators for Web Surveys. Social Science Computer Review, 31(6), pp. 744-762. doi: 10.1177/0894439313497468

Von Landesberger, T., Brodkorb, F., Roskosch, P., Andrienko, N., Andrienko, G. and Kerren, A. (2016). MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs and Clustering. IEEE Transactions on Visualization and Computer Graphics, 22(1), pp. 11-20. doi: 10.1109/TVCG.2015.2468111

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

Vrotsou, K., Janetzko, H., Navarra, C., Fuchs, G., Spretke, D., Mansmann, F., Andrienko, N. and Andrienko, G. (2015). SimpliFly: A Methodology for Simplification and Thematic Enhancement of Trajectories.. IEEE Transactions on Visualization and Computer Graphics, 21(1), pp. 107-121. doi: 10.1109/TVCG.2014.2337333

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, S., Mercea, D. ORCID: 0000-0003-3762-2404 and Bastos, M. T. ORCID: 0000-0003-0480-1078 (2019). The Disinformation Landscape and the Lockdown of Social Platforms. Information, Communication and Society, 22(11), pp. 1531-1543. doi: 10.1080/1369118X.2019.1648536