Juliana Küster Filipe Bowles

Orcid: 0000-0002-5918-9114

Affiliations:
  • University of St Andrews, School of Computer Science


According to our database1, Juliana Küster Filipe Bowles authored at least 85 papers between 1998 and 2024.

Collaborative distances:

Timeline

2000
2005
2010
2015
2020
0
5
10
15
1
3
2
1
2
1
2
1
1
1
5
2
7
14
4
1
5
4
2
4
1
2
2
1
3
1
3
2
2
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Variational Bayesian deep fuzzy models for interpretable classification.
Eng. Appl. Artif. Intell., 2024

Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent.
CoRR, 2024

A novel framework for systematic propositional formula simplification based on existential graphs.
CoRR, 2024

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies.
Proceedings of the Computational Methods in Systems Biology, 2024

2023
Security and Usability of a Personalized User Authentication Paradigm: Insights from a Longitudinal Study with Three Healthcare Organizations.
ACM Trans. Comput. Heal., January, 2023

Representation Theorems Obtained by Miningacross Web Sources for Hints.
CoRR, 2023

An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing.
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023

The Need for a Non-Invasive Technology for Endometriosis Detection and Care.
Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Using Technology to Enhance Community Health and Territorial Resources Access.
Proceedings of the Healthcare Transformation with Informatics and Artificial Intelligence, 2023

Representation Theorems Obtained by Mining across Web Sources for Hints.
Proceedings of the 6th International Conference on Information and Computer Technologies, 2023

2022
APPS 2022: Fourth International Workshop on Adaptive and Personalized Privacy and Security.
Proceedings of the UMAP '22: 30th ACM Conference on User Modeling, Adaptation and Personalization, Barcelona, Spain, July 4, 2022

Evaluating a Smart Healthcare System Design Through Participatory Approach.
Proceedings of the Advances in Informatics, Management and Technology in Healthcare, 2022

2021
APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security.
Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

On the Benefits and Security Risks of a User-Centric Data Sharing Platform for Healthcare Provision.
Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

Conflict-Free Access Rules for Sharing Smart Patient Health Records.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

A Blockchain-Based Healthcare Platform for Secure Personalised Data Sharing.
Proceedings of the Public Health and Informatics, 2021

Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision.
Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

A Secure User-Centred Healthcare System: Design and Verification.
Proceedings of the From Data to Models and Back, 2021

Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform.
Proceedings of the From Data to Models and Back, 2021

2020
Correct composition in the presence of behavioural conflicts and dephasing.
Sci. Comput. Program., 2020

Interacting with Next-Generation Smart Patient-Centric Healthcare Systems.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security.
Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization, 2020

Adaptive and Personalized Privacy and Security (APPS 2020): Workshop Chairs' Welcome.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

Dialogue Games for Explaining Medication Choices.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

On Defining Rules for Cancer Data Fabrication.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Argumentation-Based Explanations of Multimorbidity Treatment Plans.
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Tackling Polypharmacy: A Multi-Source Decision Support System.
Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

Designing a Patient-Centric System for Secure Exchanges of Medical Data.
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics.
Proceedings of the Integrated Citizen Centered Digital Health and Social Care - Citizens as Data Producers and Service co-Creators, 2020

A Formally Verified SMT Approach to True Concurrency.
Proceedings of the 35th Italian Conference on Computational Logic, 2020

A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways.
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

Semantic Annotations in Clinical Guidelines.
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision.
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

DataMod2020: 9th International Symposium "From Data to Models and Back".
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019
Balancing Prescriptions with Constraint Solvers.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A framework for automated conflict detection and resolution in medical guidelines.
Sci. Comput. Program., 2019

Formal reasoning over class models using TOMM.
J. Object Technol., 2019

Security And Privacy Of Medical Data: Challenges For Next-Generation Patient-Centric Healthcare Systems.
Proceedings of the Adjunct Publication of the 27th Conference on User Modeling, 2019

An Integrated Approach to a Combinatorial Optimisation Problem.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer.
Proceedings of the Artificial Intelligence in Medicine, 2019

2018
Annotated BPMN Models for Optimised Healthcare Resource Planning.
Proceedings of the Software Technologies: Applications and Foundations, 2018

2017
An integrated framework for verifying multiple care pathways.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A Verified Algorithm Enumerating Event Structures.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal Verification of CNL Health Recommendations.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.
Proceedings of the Formal Methods and Software Engineering, 2017

Correct Composition of Dephased Behavioural Models.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016
Avoiding Medication Conflicts for Patients with Multimorbidities.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model checking cancer automata.
Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Weaving True-Concurrent Aspects Using Constraint Solvers.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Transformation and composition of software design models for Model Driven Development.
Proceedings of the 10th IEEE International Conference on Industrial and Information Systems, 2015

A Logical Approach for Behavioural Composition of Scenario-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2015

2014
On Distributed Stochastic Logics for Mobile Systems.
Proceedings of the Logic, Language, Information, and Computation, 2014

Matching and Merging Scenarios Automatically with Alloy.
Proceedings of the Model-Driven Engineering and Software Development, 2014

Automated Composition of Sequence Diagrams via Alloy.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Strongly Consistent Transformation from UML Interactions to PEPA Nets.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2012
Strongly consistent transformation of partial scenarios.
ACM SIGSOFT Softw. Eng. Notes, 2012

Parametric Transformations for Flexible Analysis.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010
Synthesising PEPA nets from IODs for performance analysis.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Formal Transformation from Sequence Diagrams to Coloured Petri Nets.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2008
Preface.
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

When Things Go Wrong: Interrupting Conversations.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
A Formal Model for Integrating Multiple Views.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
Modelling concurrent interactions.
Theor. Comput. Sci., 2006

On a time enriched OCL liveness template.
Int. J. Softw. Tools Technol. Transf., 2006

Concurrent Logic and Automata Combined: A Semantics for Components.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Decomposing Interactions.
Proceedings of the Algebraic Methodology and Software Technology, 2006

Modelling Mobility with UML2.0 and PEPA Nets.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit.
Proceedings of the Constituents of Modern System-safety Thinking, 2005

2004
Preface.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Combining Sequence Diagrams and OCL for Liveness.
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Giving Life to Agent Interactions.
Proceedings of the Objects, 2003

2002
A logic-based formalization for component specification.
J. Object Technol., 2002

Limits in modelling evolving computer-based systems.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Enriching OCL Using Observational Mu-Calculus.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000
Foundations of a module concept for distributed object systems.
PhD thesis, 2000

Fundamentals of Module Logic for Distributed Object Systems.
J. Funct. Log. Program., 2000

Optimizing Protocol Rewrite Rules of CIL Specifications.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Formal specification of Catalysis frameworks.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.
Proceedings of the Conceptual Modeling, 1998


  Loading...