default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuliana Küster Filipe Bowles
Juliana Bowles – Juliana Küster Filipe
Person information
- affiliation: University of St Andrews, School of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j10]Mohit Kumar, Sukhvir Singh, Juliana Bowles
:
Variational Bayesian deep fuzzy models for interpretable classification. Eng. Appl. Artif. Intell. 132: 107900 (2024)- [c74]Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo:
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. CMSB 2024: 27-44 - [e8]Juliana Bowles, Harald Søndergaard:
Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 14919, Springer 2024, ISBN 978-3-031-71293-7 [contents] - [i6]Jordina Francès de Mas, Juliana Bowles:
A novel framework for systematic propositional formula simplification based on existential graphs. CoRR abs/2405.17072 (2024) - [i5]Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker, Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard Alois Moser:
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent. CoRR abs/2407.04335 (2024) - 2023
- [j9]Argyris Constantinides, Marios Belk, Christos Fidas, Roy Beumers, David Vidal, Wanting Huang, Juliana Bowles, Thais Webber, Agastya Silvina, Andreas Pitsillides:
Security and Usability of a Personalized User Authentication Paradigm: Insights from a Longitudinal Study with Three Healthcare Organizations. ACM Trans. Comput. Heal. 4(1): 2:1-2:40 (2023) - [c73]Marco B. Caminati, Juliana Küster Filipe Bowles:
Representation Theorems Obtained by Mining across Web Sources for Hints. ICICT 2023: 203-210 - [c72]Diana S. Portela, Thais Webber, Juliana Bowles:
Using Technology to Enhance Community Health and Territorial Resources Access. ICIMTH 2023: 307-310 - [c71]Jordina Francès de Mas, Juliana Bowles:
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. LOPSTR 2023: 169-187 - [c70]Ariane Hine, Juliana Bowles, Thais Webber:
The Need for a Non-Invasive Technology for Endometriosis Detection and Care. MIE 2023: 103-107 - [c69]Guilherme Redeker, Juliana Bowles:
An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing. RuleML+RR (Companion) 2023 - [i4]Marco B. Caminati, Juliana Küster Filipe Bowles:
Representation Theorems Obtained by Miningacross Web Sources for Hints. CoRR abs/2306.00584 (2023) - 2022
- [c68]Thais Webber, Juliana Bowles, Argyris Constantinides, Marios Belk, Emma Morley:
Evaluating a Smart Healthcare System Design Through Participatory Approach. ICIMTH 2022: 312-315 - [c67]Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides:
APPS 2022: Fourth International Workshop on Adaptive and Personalized Privacy and Security. UMAP (Adjunct Publication) 2022: 99-100 - [e7]Juliana Bowles, Giovanna Broccia, Roberto Pellungrini:
From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13268, Springer 2022, ISBN 978-3-031-16010-3 [contents] - 2021
- [c66]Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. DataMod 2021: 44-60 - [c65]Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles:
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform. DataMod 2021: 61-77 - [c64]Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber:
Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision. EDCC Workshops 2021: 144-151 - [c63]Juliana Bowles, Thais Webber, Euan Blackledge, Andreas Francois Vermeulen:
A Blockchain-Based Healthcare Platform for Secure Personalised Data Sharing. MIE 2021: 208-212 - [c62]Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber:
Conflict-Free Access Rules for Sharing Smart Patient Health Records. RuleML+RR 2021: 33-47 - [c61]Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides:
APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security. UMAP (Adjunct Publication) 2021: 336-337 - [c60]Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber:
On the Benefits and Security Risks of a User-Centric Data Sharing Platform for Healthcare Provision. UMAP (Adjunct Publication) 2021: 351-356 - [e6]Juliana Bowles, Giovanna Broccia, Mirco Nanni:
From Data to Models and Back - 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12611, Springer 2021, ISBN 978-3-030-70649-4 [contents] - 2020
- [j8]Juliana Küster Filipe Bowles, Marco B. Caminati:
Correct composition in the presence of behavioural conflicts and dephasing. Sci. Comput. Program. 185 (2020) - [c59]Agastya Silvina, Guilherme Redeker, Thais Webber, Juliana Bowles:
A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways. DataMod@CIKM 2020: 57-71 - [c58]Juliana Bowles, Ricardo M. Czekster, Guilherme Redeker, Thais Webber:
A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision. DataMod@CIKM 2020: 87-103 - [c57]Fahrurrozi Rahman, Juliana Bowles:
Semantic Annotations in Clinical Guidelines. DataMod@CIKM 2020: 190-205 - [c56]Juliana Bowles, Giovanna Broccia, Mirco Nanni:
DataMod2020: 9th International Symposium "From Data to Models and Back". CIKM 2020: 3531-3532 - [c55]Juliana Küster Filipe Bowles, Marco B. Caminati:
A Formally Verified SMT Approach to True Concurrency. CILC 2020: 357-371 - [c54]Juliana Küster Filipe Bowles, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Thais Webber, Euan Blackledge:
Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics. EFMI-STC 2020: 17-21 - [c53]Thais Webber, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Juliana Küster Filipe Bowles:
Designing a Patient-Centric System for Secure Exchanges of Medical Data. ICCSA (6) 2020: 598-614 - [c52]Guilherme Redeker, Juliana Bowles:
Tackling Polypharmacy: A Multi-Source Decision Support System. MIE 2020: 688-692 - [c51]Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles:
Argumentation-Based Explanations of Multimorbidity Treatment Plans. PRIMA 2020: 394-402 - [c50]Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles:
Dialogue Games for Explaining Medication Choices. RuleML+RR 2020: 97-111 - [c49]Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov:
On Defining Rules for Cancer Data Fabrication. RuleML+RR 2020: 168-176 - [c48]Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides:
Adaptive and Personalized Privacy and Security (APPS 2020): Workshop Chairs' Welcome. UMAP (Adjunct Publication) 2020: 167-168 - [c47]Juliana Bowles, Juan Jose Mendoza Santana, Thais Webber:
Interacting with Next-Generation Smart Patient-Centric Healthcare Systems. UMAP (Adjunct Publication) 2020: 191-192 - [c46]Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides:
APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security. UMAP 2020: 398-399
2010 – 2019
- 2019
- [j7]Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles:
Formal reasoning over class models using TOMM. J. Object Technol. 18(2): 12:1-20 (2019) - [j6]Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza:
A framework for automated conflict detection and resolution in medical guidelines. Sci. Comput. Program. 182: 42-63 (2019) - [c45]Agastya Silvina, Juliana Bowles, Peter S. Hall:
On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer. AIME 2019: 180-190 - [c44]Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, Wanting Huang, Juliana Küster Filipe Bowles, Andreas Francois Vermeulen, Agastya Silvina, Marios Belk, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory:
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData 2019: 2726-2735 - [c43]Juliana Bowles, Marco B. Caminati:
An Integrated Approach to a Combinatorial Optimisation Problem. IFM 2019: 284-302 - [c42]Vladimir Janjic, Juliana Bowles, Marios Belk, Andreas Pitsillides:
Security And Privacy Of Medical Data: Challenges For Next-Generation Patient-Centric Healthcare Systems. UMAP (Adjunct Publication) 2019: 213-214 - [p1]Juliana Küster Filipe Bowles, Marco B. Caminati:
Balancing Prescriptions with Constraint Solvers. Automated Reasoning for Systems Biology and Medicine 2019: 243-267 - 2018
- [c41]Juliana Bowles, Ricardo M. Czekster, Thais Webber:
Annotated BPMN Models for Optimised Healthcare Resource Planning. STAF Workshops 2018: 146-162 - 2017
- [c40]Juliana Bowles, Marco B. Caminati:
Correct Composition of Dephased Behavioural Models. FACS 2017: 233-250 - [c39]Juliana Küster Filipe Bowles, Marco B. Caminati:
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. ICFEM 2017: 209-225 - [c38]Fahrurrozi Rahman, Juliana Küster Filipe Bowles:
Formal Verification of CNL Health Recommendations. IFM 2017: 357-371 - [c37]Juliana Bowles, Marco B. Caminati:
A Verified Algorithm Enumerating Event Structures. CICM 2017: 239-254 - [c36]Juliana Bowles, Marco B. Caminati, Suhyun Cha:
An integrated framework for verifying multiple care pathways. TASE 2017: 1-8 - [i3]Juliana Bowles, Marco B. Caminati:
A Verified Algorithm Enumerating Event Structures. CoRR abs/1705.07228 (2017) - [i2]Juliana Bowles, Marco B. Caminati:
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. CoRR abs/1707.05383 (2017) - [i1]Juliana Bowles, Marco B. Caminati:
Correct Composition of Dephased Behavioural Models. CoRR abs/1707.09646 (2017) - 2016
- [c35]Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD 2016: 35-44 - [c34]Juliana Küster Filipe Bowles, Marco B. Caminati:
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods. APSEC 2016: 313-320 - [c33]Juliana Küster Filipe Bowles, Agastya Silvina:
Model checking cancer automata. BHI 2016: 376-379 - [c32]Andrii Kovalov, Juliana Küster Filipe Bowles:
Avoiding Medication Conflicts for Patients with Multimorbidities. IFM 2016: 376-390 - 2015
- [c31]Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM 2015: 252-269 - [c30]Dulani Meedeniya, Indika Perera, Juliana Bowles:
Transformation and composition of software design models for Model Driven Development. ICIIS 2015: 31-36 - 2014
- [c29]Juliana Küster Filipe Bowles, Leïla Kloul:
A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) 2014: 90-105 - [c28]Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen:
Matching and Merging Scenarios Automatically with Alloy. MODELSWARD (Revised Selected Papers) 2014: 100-116 - [c27]Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles:
Automated Composition of Sequence Diagrams via Alloy. MODELSWARD 2014: 384-391 - [c26]Juliana Küster Filipe Bowles, Petrucio Viana:
On Distributed Stochastic Logics for Mobile Systems. WoLLIC 2014: 195-205 - 2012
- [j5]Juliana Bowles, Dulani Apeksha Meedeniya:
Strongly consistent transformation of partial scenarios. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c25]Juliana Bowles, Dulani Apeksha Meedeniya:
Parametric Transformations for Flexible Analysis. APSEC 2012: 634-643 - 2010
- [c24]Juliana Bowles, Dulani Apeksha Meedeniya:
Formal Transformation from Sequence Diagrams to Coloured Petri Nets. APSEC 2010: 216-225 - [c23]Juliana Küster Filipe Bowles, Leïla Kloul:
Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW 2010: 195-200 - [e5]Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 238(6), Elsevier 2010 [contents]
2000 – 2009
- 2008
- [c22]Juliana Küster Filipe Bowles, Sotiris Moschoyiannis:
When Things Go Wrong: Interrupting Conversations. FASE 2008: 131-145 - [c21]Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
Preface. FESCA@ETAPS 2008: 1-2 - [e4]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007. Electronic Notes in Theoretical Computer Science 203(7), Elsevier 2008 [contents] - 2007
- [c20]Juliana Küster Filipe Bowles, Behzad Bordbar:
A Formal Model for Integrating Multiple Views. ACSD 2007: 71-79 - [c19]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Preface. FESCA@ETAPS 2007: 1-2 - [e3]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 [contents] - 2006
- [j4]Juliana Küster Filipe, Stuart Anderson:
On a time enriched OCL liveness template. Int. J. Softw. Tools Technol. Transf. 8(2): 156-166 (2006) - [j3]Juliana Küster Filipe:
Modelling concurrent interactions. Theor. Comput. Sci. 351(2): 203-220 (2006) - [c18]Leïla Kloul, Juliana Küster Filipe:
Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164 - [c17]Juliana Küster Filipe:
Decomposing Interactions. AMAST 2006: 189-203 - [c16]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Preface. FESCA@ETAPS 2006: 1-4 - [c15]Juliana Küster Filipe, Sotiris Moschoyiannis:
Concurrent Logic and Automata Combined: A Semantics for Components. FOCLASA 2006: 135-151 - 2005
- [c14]Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan:
The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit. SSS 2005: 195-210 - [c13]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Preface. FESCA@ETAPS 2005: 1-2 - [e2]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(3), Elsevier 2005 [contents] - 2004
- [c12]Juliana Küster Filipe:
Modelling Concurrent Interactions. AMAST 2004: 304-318 - [c11]Alessandra Cavarra, Juliana Küster Filipe:
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. Abstract State Machines 2004: 62-77 - [c10]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Preface. FESCA@ETAPS 2004: 1-2 - [c9]Alessandra Cavarra, Juliana Küster Filipe:
Combining Sequence Diagrams and OCL for Liveness. SFEDL@ETAPS 2004: 19-38 - [e1]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 108, Elsevier 2004 [contents] - 2003
- [c8]Juliana Küster Filipe:
Giving Life to Agent Interactions. Objects, Agents, and Features 2003: 98-116 - [c7]Stuart Anderson, Juliana Küster Filipe:
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. ICDCS Workshops 2003: 178- - 2002
- [j2]Juliana Küster Filipe:
A logic-based formalization for component specification. J. Object Technol. 1(3): 231-248 (2002) - [c6]Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens:
Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217 - [c5]Massimo Felici, Juliana Küster Filipe:
Limits in modelling evolving computer-based systems. SAC 2002: 706-710 - 2000
- [b1]Juliana Küster Filipe:
Foundations of a module concept for distributed object systems. Braunschweig University of Technology, Germany, 2000, pp. 1-236 - [j1]Juliana Küster Filipe:
Fundamentals of Module Logic for Distributed Object Systems. J. Funct. Log. Program. 2000(3) (2000) - [c4]Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills:
Formal specification of Catalysis frameworks. APSEC 2000: 180-187 - [c3]Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe:
Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
1990 – 1999
- 1999
- [c2]Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu:
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR 1999: 42-61 - 1998
- [c1]Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich:
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER 1998: 277-290
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
