Kuster Filipe Bowles, J & Caminati, MB 2020, A formally verified SMT approach to true concurrency. in F Calimeri, S Perri & E Zumpano (eds), Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. CEUR Workshop Proceedings, pp. 357-371. <http://ceur-ws.org/Vol-2710/paper23.pdf>

Kuster Filipe Bowles, J, Czekster, R, Redeker, GA & Webber, T 2020, A simulation study on demand disruptions and limited resources for healthcare provision. in Post-Proceedings of DataMod 2020. Lecture Notes in Computer Science, Springer.

Silvina, A, Redeker, GA, Webber, T & Kuster Filipe Bowles, J 2020, A simulation-based approach for the behavioural analysis of cancer pathways. in Post-Proceedings of DataMod 2020. Lecture Notes in Computer Science, Springer.

Belk, M, Fidas, C, Kuster Filipe Bowles, J, Athanasopoulos, E & Pitsillides, A 2020, APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security. in Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization (UMAP '20). ACM, New York, pp. 398–399, 28th Conference on User Modeling, Adaptation and Personalization (UMAP '20), Genoa, Italy, 12/07/20. https://doi.org/10.1145/3340631.3398674

Stefani, A, Rahmat, R & Harris-Birtill, DCC 2020, Autofocus Net: Auto-focused 3D CNN for Brain Tumour Segmentation. in In Annual Conference on Medical Image Understanding and Analysis: Part of the Communications in Computer and Information Science book series (CCIS). vol. 1248, Springer, pp. 43-55. <https://link.springer.com/chapter/10.1007/978-3-030-52791-4_4>

Silvina, A, Kuster Filipe Bowles, J & Hall, P 2020, Combining patient pathway visualisation with prediction outcomes for chemotherapy treatments. in S Sendra, Y Murata, J Civit-Masot & A Rajh (eds), 12th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2020), 21-25 November 2020, Valencia, Spain. eTELEMED the International Conference on eHealth, Telemedicine, and Social Medicine, International Academy, Research, and Industry Association, pp. 110-115, Twelfth International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2020), Valencia, Spain, 21/11/20. <http://www.thinkmind.org/index.php?view=article&articleid=etelemed_2020_7_20_40057>

Jha, S, Schiemer, M & Ye, J 2020, Continual learning in human activity recognition: an empirical analysis of regularization. in Proceedings of Machine Learning Research. pp. 1-4, Thirty-seventh International Conference on Machine Learning, ICML 2020; ICML Workshop on Continual Learning, 13/07/20.

Kuster Filipe Bowles, J, Broccia, G & Nanni, M 2020, DataMod2020: 9th International Symposium From Data to Models and Back. in Proceedings of the 29th ACM International Conference on Information and Knowledge Management (CIKM '20). ACM, New York, pp. 3531–3532, 29th ACM International Conference on Information and Knowledge Management (CIKM2020), Ireland, 19/10/20. https://doi.org/10.1145/3340531.3414073

Webber dos Santos, TC, Mendoza Santana, JJ, Vermeulen, AF & Kuster Filipe Bowles, J 2020, Designing a patient-centric system for secure exchanges of medical data. in O Gervasi, B Murgante, S Misra, C Garau, I Blečić, D Taniar, BO Apduhan, AMAC Rocha, E Tarantino, CM Torre & Y Karaca (eds), Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part II. Lecture Notes in Computer Science, vol. 12254 (LNCS), Springer, Cham, pp. 598-614, International Conference on Computational Science and Its Applications (ICCSA 2020), Cagliari, Italy, 1/07/20. https://doi.org/10.1007/978-3-030-58817-5_44

Shaheen, Q, Toniolo, A & Kuster Filipe Bowles, J 2020, Dialogue games for explaining medication choices. in V Gutiérrez Basulto, T Kliegr, A Soylu, M Giese & D Roman (eds), Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29–July 1, 2020, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 12173 LNCS, Springer, Cham, pp. 97-111, 4th International Joint Conference on Rules and Reasoning (RCUL+RR 2020), Oslo, Norway, 29/06/20. https://doi.org/10.1007/978-3-030-57977-7_7

Kuster Filipe Bowles, J, Mendoza Santana, JJ, Vermeulen, AF, Webber dos Santos, TC & Blackledge, E 2020, Integrating healthcare data for enhanced citizen-centred care and analytics. in M Hägglund, P Gallos, K Häyrinen, K Saranto, P Scott, A Värri, J Delgado, U-M Kinnunen, LB Pape-Haugaard & L-M Peltonen (eds), Integrated Citizen Centered Digital Health and Social Care: Citizens as Data Producers and Service co-Creators. Studies in Health Technology and Informatics, vol. 275, IOS Press, pp. 17-21, EFMI 2020 Special Topic Conference, 26/11/20. https://doi.org/10.3233/SHTI200686

Kuster Filipe Bowles, J, Mendoza Santana, JJ & Webber dos Santos, TC 2020, Interacting with next-generation smart patient-centric healthcare systems. in Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization (UMAP '20 Adjunct). ACM, pp. 191–192, 28th Conference on User Modeling, Adaptation and Personalization (UMAP '20), Genoa, Italy, 12/07/20. https://doi.org/10.1145/3386392.3399561

Kuster Filipe Bowles, J, Silvina, A, Bin, E & Vinov, M 2020, On defining rules for cancer data fabrication. in V Gutiérrez Basulto, T Kliegr, A Soylu, M Giese & D Roman (eds), Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29–July 1, 2020, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 12173 LNCS, Springer, Cham, pp. 168-176, 4th International Joint Conference on Rules and Reasoning (RCUL+RR 2020), Oslo, Norway, 29/06/20. https://doi.org/10.1007/978-3-030-57977-7_13

Schrempf, P, Watson, H, Mikhael, S, Pajak, M, Falis, M, Lisowska, A, Muir, KW, Harris-Birtill, D & O'Neil, AQ 2020, Paying per-label attention for multi-label extraction from radiology reports. in J Cardoso, H Van Nguyen, N Heller, P Henriques Abreu, I Isgum, W Silva, R Cruz, J Pereira Amorim, V Patel, B Roysam, K Zhou, S Jiang, N Le, K Luu, R Sznitman, V Cheplygina, D Mateus, E Trucco & S Abbasi (eds), Interpretable and Annotation-Efficient Learning for Medical Image Computing: Third International Workshop, iMIMIC 2020, Second International Workshop, MIL3iD 2020, and 5th International Workshop, LABELS 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4–8, 2020, Proceedings. Lecture Notes in Computer Science (including subseries Image Processing, Computer Vision, Pattern Recognition, and Graphics), vol. 12446 LNCS, Springer, Cham, pp. 277-289, MICCAI Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis 2020, Peru, 8/10/20. https://doi.org/10.1007/978-3-030-61166-8_29

Zhang, L, Arandjelovic, O, Dewar, S, Astell, A, Doherty, G & Ellis, M 2020, Quantification of advanced dementia patients' engagement in therapeutic sessions: an automatic video based approach using computer vision and machine learning. in 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC). vol. 2020, Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference, IEEE, pp. 5785-5788, 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society (EMBC 2020) , Montreal, Canada, 20/07/20. https://doi.org/10.1109/EMBC44109.2020.9176632

Rahman, F & Kuster Filipe Bowles, J 2020, Semantic annotations in clinical guidelines. in Post-Proceedings of DataMod 2020. Lecture Notes in Computer Science, Springer.

Mansouri Benssassi, E & Ye, J 2020, Synch-Graph: multisensory emotion recognition through neural synchrony via graph convolutional networks. in Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-20). Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pp. 1351-1358, Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, United States, 7/02/20. https://doi.org/10.1609/aaai.v34i02.5491

Redeker, G & Kuster Filipe Bowles, J 2020, Tackling polypharmacy: a multi-source decision support system. in L Pape-Haugaard, C Lovis, I Corte Madsen, P Weber, PH Nielsen & P Scott (eds), Digital Personalized Health and Medicine : Proceedings of MIE 2020. vol. 270, Studies in Health Technology and Informatics, vol. 270, IOS Press, pp. 688 - 692, 30th Medical Informatics Europe conference (MIE), Geneva, Switzerland, 28/04/20. https://doi.org/10.3233/SHTI200248

Janjic, V, Kuster Filipe Bowles, J, Vermeulen, AF, Silvina, A, Belk, M, Fidas, C, Pitsillides, A, Kumar, M, Rossborry, M, Vinov, M, Given-Wilson, T, Legay, A, Blackledge, E, Arredouani, R, Stylianou, G & Huang, W 2020, The SERUMS tool-chain: ensuring security and privacy of medical data in smart patient-centric healthcare systems. in Proceedings 2019 IEEE International Conference on Big Data., 9005600, IEEE International Conference on Big Data, IEEE Computer Society, pp. 2726-2735, IEEE Big Data 2019, Los Angeles, United States, 9/12/19. https://doi.org/10.1109/BigData47090.2019.9005600

Cooper, J & Arandjelovic, O 2020, Understanding ancient coin images. in L Oneto, N Navarin, A Sperduti & D Anguita (eds), Recent Advances in Big Data and Deep Learning. Proceedings of the International Neural Networks Society, vol. 1, Springer, Cham, pp. 330-340, INNS Big Data and Deep Learning , Genova, Italy, 16/04/19. https://doi.org/10.1007/978-3-030-16841-4_34

Harris-Birtill, D & Harris-Birtill, R 2020, Understanding computation time: a critical discussion of time as a computational performance metric. in J Parker, P Harris & A Misztal (eds), Time in variance: the study of time. vol. 17, The Study of Time, Brill, The 17th triennial conference of the International Society for the Study of Time, California, United States, 23/06/19.

Jiang, A, Nacenta, M, Terzić, K & Ye, J 2020, Visualization as Intermediate Representations (VLAIR) for human activity recognition. in 14th EAI International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2020). ACM, 14th EAI International Conference on Pervasive Computing Technologies for Healthcare (EAI PervasiveHealth 2020), Atlanta, United States, 20/03/20. https://doi.org/10.1145/1122445.1122456

Kuster Filipe Bowles, J & Caminati, MB 2019, An integrated approach to a combinatorial optimisation problem. in W Ahrendt & SL Tapia Tarifa (eds), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. LNCS edn, Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11918, Springer, Cham, pp. 284-302, 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_16

Bowles, JKF & Caminati, MB 2019, Balancing prescriptions with constraint solvers. in P Liò & P Zuliani (eds), Automated Reasoning for Systems Biology and Medicine. Computational Biology, vol. 30, Springer, Cham, pp. 243-267. https://doi.org/10.1007/978-3-030-17297-8_9

Yue, X, Dimitriou, N, Caie, P, Harrison, D & Arandjelovic, O 2019, Colorectal cancer outcome prediction from H&E whole slide images using machine learning and automatically inferred phenotype profiles. in O Eulenstein, H Al-Mubaid & Q Ding (eds), Proceedings of 11th International Conference on Bioinformatics and Computational Biology, BICOB 2019: Honolulu; United States; 18 March 2019 through 20 March 2019. EPiC Series in Computing, vol. 60, EasyChair, pp. 139-127, 11th International Conference on Bioinformatics and Computational Biology (BICOB), Honolulu, United States, 18/03/19. https://doi.org/10.29007/n912

Kuster Filipe Bowles, J & Munbodh, R 2019, Computer aided verification of radiotherapy treatment plans. in Medical Physics. vol. 46, Wiley/American Association of Physicists in Medicine, 61st American Association of Physicists in Medicine Annual Meeting (AAPM 2019), San Antonio, United States, 14/07/19. https://doi.org/10.1002/mp.13589

Fang, L, Ye, J & Dobson, SA 2019, Distributed self-monitoring sensor networks via Markov switching Dynamic Linear Models. in Proceedings 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019)., 8780572, IEEE Computer Society, pp. 33-42, 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019), Umeå, Sweden, 16/06/19. https://doi.org/10.1109/SASO.2019.00014

Phylactou, M, Abbara, A, Al-Memar, M, Chia Eng, P, Comninos, AN, Izzi-Engbeaya, C, Clarke, SA, Mills, E, Nadir, R, Sykes, M, Pacuszka, E, Yang, L, Fourie, H, Bech, P, Kelsey, T, Bourne, T & Dhillo, WS 2019, Kisspeptin as a novel biomarker for pregnancy complications. in Endocrine Abstracts., OP5.4, Endocrine Abstracts, vol. 65, BioScientifica Ltd., Society for Endocrinology BES 2019, Brighton, United Kingdom, 11/11/19. https://doi.org/10.1530/endoabs.65.OP5.4

Silvina, A, Kuster Filipe Bowles, J & Hall, P 2019, On predicting the outcomes of chemotherapy treatments in Breast cancer. in D Riaño, S Wilk & A ten Teije (eds), Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11526 LNAI, Springer, pp. 180-190, AIME 2019 17th Conference on Artificial Intelligence in Medicine
, Poznan, Poland, 26/06/19. https://doi.org/10.1007/978-3-030-21642-9_24

Rosales Sanabria, A, Kelsey, TW & Ye, J 2019, Representation learning for minority and subtle activities in a smart home environment. in Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2019)., 8767417, IEEE Computer Society, IEEE International Conference on Pervasive Computing and Communications (PerCom 2019), Kyoto, Japan, 12/03/19. https://doi.org/10.1109/percom.2019.8767417

Ye, J & Haubrick, P 2019, Robust audio sensing with multi-sound classification. in 2019 IEEE International Conference on Pervasive Computing and Communications (PerCom)., 8767402, Pervasive Computing and Communications (PerCom), IEEE Computer Society, pp. 1-7, IEEE International Conference on Pervasive Computing and Communications (PerCom 2019), Kyoto, Japan, 12/03/19. https://doi.org/10.1109/PERCOM.2019.8767402

Yanagida, R & Bhatti, S 2019, Seamless Internet connectivity for ubiquitous communication. in UbiComp/ISWC '19 Adjunct: Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers (UbiComp/ISWC '19). ACM, New York, pp. 1022-1033, Pervasive Urban Applications (PURBA) Workshop 2019, London, United Kingdom, 9/09/19. https://doi.org/10.1145/3341162.3349315

Janjic, V, Bowles, J, Belk, M & Pitsillides, A 2019, Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems. in ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, Inc, New York, pp. 213-214, 27th ACM International Conference on User Modeling, Adaptation and Personalization, UMAP 2019, Larnaca, Cyprus, 9/06/19. https://doi.org/10.1145/3314183.3326364

Fang, L, Ye, J & Dobson, SA 2019, Sensor-based human activity mining using Dirichlet process mixtures of directional statistical models. in L Singh, R De Veaux, G Karypis, F Bonchi & J Hill (eds), Proceedings 2019 IEEE International Conference on Data Science and Advanced Analytics (DSAA 2019)., 8964193, Proceedings of the International Conference on Data Science and Advanced Analytics, IEEE Computer Society, pp. 154-163, 6th IEEE International Conference on Data Science and Advanced Analytics (DSAA'19), Washington DC, United States, 5/10/19. https://doi.org/10.1109/DSAA.2019.00030

Mansouri-Benssassi, E & Ye, J 2019, Speech emotion recognition with early visual cross-modal enhancement using spiking neural networks. in 2019 International Joint Conference on Neural Networks, IJCNN 2019., 8852473, Proceedings of the International Joint Conference on Neural Networks, vol. 2019-July, Institute of Electrical and Electronics Engineers Inc., pp. 1-8, 2019 International Joint Conference on Neural Networks, IJCNN 2019, Budapest, Hungary, 14/07/19. https://doi.org/10.1109/IJCNN.2019.8852473

Bowles, JKF, Caminati, MB & Cha, S 2018, An integrated framework for verifying multiple care pathways. in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, pp. 1-8, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, 13/09/17. https://doi.org/10.1109/TASE.2017.8285628

Bowles, JKF, Czekster, R & Webber, T 2018, Annotated BPMN models for optimised healthcare resource planning. in M Mazzara, O Iulian & G Salaün (eds), Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science, vol. 11176, Springer, Cham, pp. 146-162, 7th International Symposium "From Data to Models and Back" (DataMod), Toulouse, France, 25/06/18. https://doi.org/10.1007/978-3-030-04771-9_12

Goudie, C, Chaves, K, Arandjelovic, O, Williams, W & Blaikie, A 2018, Creation of wide field retinal images from narrow field video acquired by an Arclight direct ophthalmoscope. in The journal of clinical and experimental ophthalmology. vol. 46, Clinical and experimental ophthalmology, pp. 116-116.

Fan, J & Arandjelovic, O 2018, Employing domain specific discriminative information to address inherent limitations of the LBP descriptor in face recognition. in 2018 International Joint Conference on Neural Networks (IJCNN). vol. 2018-July, 8489691, Institute of Electrical and Electronics Engineers Inc., 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, 8/07/18. https://doi.org/10.1109/IJCNN.2018.8489691