Juliana Bowles

49 papers A* 1A 2B 3C 5Misc 1Journal 11Unranked 24
YearRankTypeTitle / Venue / Authors
2026 A* conf
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent (Abstract Reprint).
AAAI
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker, Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard Alois Moser
2025 J jnl
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.
Theory Pract. Log. Program.
Jordina Francès de Mas, Juliana Bowles
2025 J jnl
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent.
J. Artif. Intell. Res.
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker, Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard Moser
2024 J jnl
A novel framework for systematic propositional formula simplification based on existential graphs.
CoRR
Jordina Francès de Mas, Juliana Bowles
2024 — conf
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies.
CMSB
Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024 — conf
Enhancing and Personalising Endometriosis Care with Causal Machine Learning.
C3AI
Ariane Hine, Thais Webber, Juliana Bowles
2024 J jnl
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent.
CoRR
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker, Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard Alois Moser
2024 C ed.
Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
LOPSTR
Juliana Bowles, Harald Søndergaard
2024 J jnl
Variational Bayesian deep fuzzy models for interpretable classification.
Eng. Appl. Artif. Intell.
Mohit Kumar, Sukhvir Singh, Juliana Bowles
2023 C conf
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.
LOPSTR
Jordina Francès de Mas, Juliana Bowles
2023 — conf
An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing.
RuleML+RR (Companion)
Guilherme Redeker, Juliana Bowles
2023 J jnl
Security and Usability of a Personalized User Authentication Paradigm: Insights from a Longitudinal Study with Three Healthcare Organizations.
ACM Trans. Comput. Heal.
Argyris Constantinides, Marios Belk, Christos Fidas, Roy Beumers, David Vidal, Wanting Huang, Juliana Bowles, Thais Webber, Agastya Silvina, Andreas Pitsillides
2023 — conf
The Need for a Non-Invasive Technology for Endometriosis Detection and Care.
MIE
Ariane Hine, Juliana Bowles, Thais Webber
2023 — conf
Using Technology to Enhance Community Health and Territorial Resources Access.
ICIMTH
Diana S. Portela, Thais Webber, Juliana Bowles
2022 — conf
APPS 2022: Fourth International Workshop on Adaptive and Personalized Privacy and Security.
UMAP (Adjunct Publication)
Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides
2022 — conf
Evaluating a Smart Healthcare System Design Through Participatory Approach.
ICIMTH
Thais Webber, Juliana Bowles, Argyris Constantinides, Marios Belk, Emma Morley
2022 — ed.
From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
DataMod
Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
2021 — conf
A Blockchain-Based Healthcare Platform for Secure Personalised Data Sharing.
MIE
Juliana Bowles, Thais Webber, Euan Blackledge, Andreas Francois Vermeulen
2021 — conf
A Secure User-Centred Healthcare System: Design and Verification.
DataMod
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
2021 — conf
APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security.
UMAP (Adjunct Publication)
Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides
2021 B conf
Conflict-Free Access Rules for Sharing Smart Patient Health Records.
RuleML+RR
Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber
2021 — conf
Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision.
EDCC Workshops
Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber
2021 — ed.
From Data to Models and Back - 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
DataMod@CIKM
Juliana Bowles, Giovanna Broccia, Mirco Nanni
2021 — conf
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform.
DataMod
Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles
2021 — conf
On the Benefits and Security Risks of a User-Centric Data Sharing Platform for Healthcare Provision.
UMAP (Adjunct Publication)
Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber
2020 — conf
A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision.
DataMod@CIKM
Juliana Bowles, Ricardo M. Czekster, Guilherme Redeker, Thais Webber
2020 — conf
A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways.
DataMod@CIKM
Agastya Silvina, Guilherme Redeker, Thais Webber, Juliana Bowles
2020 A conf
APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security.
UMAP
Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides
2020 — conf
Adaptive and Personalized Privacy and Security (APPS 2020): Workshop Chairs' Welcome.
UMAP (Adjunct Publication)
Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides
2020 A conf
DataMod2020: 9th International Symposium "From Data to Models and Back".
CIKM
Juliana Bowles, Giovanna Broccia, Mirco Nanni
2020 — conf
Interacting with Next-Generation Smart Patient-Centric Healthcare Systems.
UMAP (Adjunct Publication)
Juliana Bowles, Juan Jose Mendoza Santana, Thais Webber
2020 — conf
Semantic Annotations in Clinical Guidelines.
DataMod@CIKM
Fahrurrozi Rahman, Juliana Bowles
2020 — conf
Tackling Polypharmacy: A Multi-Source Decision Support System.
MIE
Guilherme Redeker, Juliana Bowles
2019 J jnl
A framework for automated conflict detection and resolution in medical guidelines.
Sci. Comput. Program.
Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza
2019 B conf
An Integrated Approach to a Combinatorial Optimisation Problem.
IFM
Juliana Bowles, Marco B. Caminati
2019 B conf
On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer.
AIME
Agastya Silvina, Juliana Bowles, Peter S. Hall
2019 — conf
Security And Privacy Of Medical Data: Challenges For Next-Generation Patient-Centric Healthcare Systems.
UMAP (Adjunct Publication)
Vladimir Janjic, Juliana Bowles, Marios Belk, Andreas Pitsillides
2018 — conf
Annotated BPMN Models for Optimised Healthcare Resource Planning.
STAF Workshops
Juliana Bowles, Ricardo M. Czekster, Thais Webber
2017 J jnl
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.
CoRR
Juliana Bowles, Marco B. Caminati
2017 C conf
A Verified Algorithm Enumerating Event Structures.
CICM
Juliana Bowles, Marco B. Caminati
2017 J jnl
A Verified Algorithm Enumerating Event Structures.
CoRR
Juliana Bowles, Marco B. Caminati
2017 Misc conf
An integrated framework for verifying multiple care pathways.
TASE
Juliana Bowles, Marco B. Caminati, Suhyun Cha
2017 — conf
Correct Composition of Dephased Behavioural Models.
FACS
Juliana Bowles, Marco B. Caminati
2017 J jnl
Correct Composition of Dephased Behavioural Models.
CoRR
Juliana Bowles, Marco B. Caminati
2015 — conf
Transformation and composition of software design models for Model Driven Development.
ICIIS
Dulani Meedeniya, Indika Perera, Juliana Bowles
2014 — conf
Matching and Merging Scenarios Automatically with Alloy.
MODELSWARD (Revised Selected Papers)
Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen
2012 C conf
Parametric Transformations for Flexible Analysis.
APSEC
Juliana Bowles, Dulani Apeksha Meedeniya
2012 J jnl
Strongly consistent transformation of partial scenarios.
ACM SIGSOFT Softw. Eng. Notes
Juliana Bowles, Dulani Apeksha Meedeniya
2010 C conf
Formal Transformation from Sequence Diagrams to Coloured Petri Nets.
APSEC
Juliana Bowles, Dulani Apeksha Meedeniya