朱莉安娜·库斯特·菲利佩·鲍尔斯
人员信息
附属： 圣安德鲁斯大学计算机科学学院
优化列表
2020年–今天
2024 
[公元10年] 莫希特·库玛 , 苏赫维尔·辛格 , 朱莉安娜·鲍尔斯 
:
可解释分类的变分贝叶斯深度模糊模型。 工程应用。 Artif公司。 智力。 132 : 107900 ( 2024 ) [i5] Jordina Francès de Mas , 朱莉安娜·鲍尔斯 :
基于存在图的系统命题公式简化新框架。 CoRR公司 abs/2405.17072 ( 2024 ) 2023 [公元9年] 阿格里斯·君士坦丁尼德斯 , 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 罗伊·比默斯 , 大卫·维达尔 , 招聘黄婷 , 朱莉安娜·鲍尔斯 , 泰斯·韦伯 , 阿加斯塔·西尔维纳 , 安德烈亚斯·皮特西利德斯 :
个性化用户身份验证范式的安全性和可用性：来自三家医疗机构的纵向研究的见解。 ACM事务处理。 计算。 治愈。 4 ( 1 ) : 2:1-2:40 ( 2023 ) [c73] 马可·卡米纳 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
通过跨Web源挖掘获取提示的表示定理。 ICICT公司 2023 : 203-210 [公元72年] 戴安娜·波特拉 , 泰斯·韦伯 , 朱莉安娜·鲍尔斯 :
利用技术加强社区卫生和领土资源获取。 ICIMTH公司 2023 : 307-310 [公元71年] Jordina Francès de Mas , 朱莉安娜·鲍尔斯 :
一种新的基于EGs的系统命题公式简化框架。 洛普斯特 2023 : 169-187 [公元70年] 阿丽亚娜·海恩 , 朱莉安娜·鲍尔斯 , 泰斯·韦伯 :
子宫内膜异位症检测和护理对非侵入性技术的需求。 MIE公司 2023 : 103-107 [公元69年] 吉尔赫梅·雷德克 , 朱莉安娜·鲍尔斯 :
一种基于本体论的方法，用于检测和分类不适当的处方。 规则ML+RR（伴侣） 2023 [i4] 马可·卡米纳 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
Miningacross Web源获取的表示定理。 CoRR公司 abs/2306.00584 ( 2023 ) 2022 [公元68年] 泰斯·韦伯 , 朱莉安娜·鲍尔斯 , 阿格里斯·君士坦丁尼德斯 , 马里奥斯·贝尔克 , 艾玛·莫利 :
通过参与式方法评估智能医疗系统设计。 ICIMTH公司 2022 : 312-315 [公元67年] 阿格里斯·君士坦丁尼德斯 , 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 朱莉安娜·鲍尔斯 , 安德烈亚斯·皮特西利德斯 :
APPS 2022：第四届自适应和个性化隐私与安全国际研讨会。 UMAP（附属出版物） 2022 : 99-100 [电子7] 朱莉安娜·鲍尔斯 , 乔瓦娜·布罗西娅 , 罗伯托·佩伦格里尼 :
从数据到模型和背景——第十届国际研讨会，DataMod 2021，虚拟事件，2021年12月6-7日，修订论文集。 计算机科学课堂讲稿 13268, 施普林格 2022 ，国际标准图书编号 978-3-031-16010-3 [目录] 2021 [公元66年] 爱德华·巴拉诺夫 , 朱莉安娜·鲍尔斯 , 托马斯·吉文·威尔森 , Axel Legay公司 , 泰斯·韦伯 :
安全的以用户为中心的医疗保健系统：设计和验证。 数据模式 2021 : 44-60 [公元65年] 马修·班顿 , 泰斯·韦伯 , 阿加斯塔·西尔维纳 , 朱莉安娜·鲍尔斯 :
基于模型的以患者为中心的数据共享平台设计安全评估。 数据模式 2021 : 61-77 [公元64年] 马修·班顿 , 朱莉安娜·鲍尔斯 , 阿加斯塔·西尔维纳 , 泰斯·韦伯 :
设计一个值得信赖且具有弹性的医疗保健数据共享平台。 EDCC研讨会 2021 : 144-151 [公元63年] 朱莉安娜·鲍尔斯 , 泰斯·韦伯 , 尤安·布莱利奇 , 安德烈亚斯·弗朗索瓦·弗默伦 :
基于区块链的医疗保健平台，用于安全的个性化数据共享。 MIE公司 2021 : 208-212 [公元62年] 马修·班顿 , 朱莉安娜·鲍尔斯 , 阿加斯塔·西尔维纳 , 泰斯·韦伯 :
共享智能患者健康记录的无冲突访问规则。 规则ML+RR 2021 : 33-47 [第61条] 阿格里斯·君士坦丁尼德斯 , 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 朱莉安娜·鲍尔斯 , 安德烈亚斯·皮特西利德斯 :
APPS 2021：第三届自适应和个性化隐私与安全国际研讨会。 UMAP（附属出版物） 2021 : 336-337 [公元60年] 马修·班顿 , 朱莉安娜·鲍尔斯 , 阿加斯塔·西尔维纳 , 泰斯·韦伯 :
以用户为中心的医疗保健数据共享平台的好处和安全风险。 UMAP（附属出版物） 2021 : 351-356 [电子6] 朱莉安娜·鲍尔斯 , 乔瓦娜·布罗西娅 , 米尔科·南尼 :
从数据到模型和背景——第九届国际研讨会，DataMod 2020，虚拟活动，2020年10月20日，修订论文集。 计算机科学课堂讲稿 12611, 施普林格 2021 ，国际标准图书编号 978-3-030-70649-4 [目录] 2020 [j8] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 马可·卡米纳 :
在存在行为冲突和相位偏移的情况下进行正确的构图。 科学。 计算。 程序。 185 ( 2020 ) [公元59年] 阿加斯塔·西尔维纳 , 吉尔赫梅·雷德克 , 泰斯·韦伯 , 朱莉安娜·鲍尔斯 :
基于模拟的癌症路径行为分析方法。 数据模式@CIKM 2020 : 57-71 [公元58年] 朱莉安娜·鲍尔斯 , 里卡多·M·切克斯特 , 吉尔赫梅·雷德克 , 泰斯·韦伯 :
医疗保障需求中断和有限资源的模拟研究。 数据模式@CIKM 2020 : 87-103 [公元57年] 法鲁鲁齐·拉赫曼 , 朱莉安娜·鲍尔斯 :
临床指南中的语义注释。 数据模式@CIKM 2020 : 190-205 [公元56年] 朱莉安娜·鲍尔斯 , 乔瓦娜·布罗西娅 , 米尔科·南尼 :
DataMod2020：第九届国际研讨会“从数据到模型再到数据”。 CIKM公司 2020 : 3531-3532 [公元55年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 马可·卡米纳 :
实现真正并发的正式验证的SMT方法。 CILC公司 2020 : 357-371 [公元54年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 胡安·何塞·门多扎·桑塔纳 , 安德烈亚斯·弗朗索瓦·弗默伦 , 泰斯·韦伯 , 尤安·布莱利奇 :
整合医疗保健数据以增强以公民为中心的护理和分析。 EFMI-STC公司 2020 : 17-21 [c53] 泰斯·韦伯 , 胡安·何塞·门多扎·桑塔纳 , 安德烈亚斯·弗朗索瓦·弗默伦 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
设计以患者为中心的医疗数据安全交换系统。 ICCSA（6） 2020 : 598-614 [第52条] 吉尔赫梅·雷德克 , 朱莉安娜·鲍尔斯 :
应对多元化：一个多源决策支持系统。 MIE公司 2020 : 688-692 [第51条] 库拉特·乌兰·沙欣 , 艾丽斯·托尼奥洛 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
基于论证的多发病治疗计划解释。 主要的 2020 : 394-402 [公元50年] 库拉特·乌兰·沙欣 , 艾丽斯·托尼奥洛 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
解释药物选择的对话游戏。 规则ML+RR 2020 : 97-111 [公元49年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 阿加斯塔·西尔维纳 , 埃亚尔·宾 , 迈克尔·维诺夫 :
关于定义癌症数据制造规则。 规则ML+RR 2020 : 168-176 [公元48年] 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 朱莉安娜·鲍尔斯 , 埃利亚斯·阿萨纳索普洛斯 , 安德烈亚斯·皮特西利德斯 :
自适应和个性化隐私与安全（APPS 2020）：欢迎参加研讨会。 UMAP（附属出版物） 2020 : 167-168 [公元47年] 朱莉安娜·鲍尔斯 , 胡安·何塞·门多扎·桑塔纳 , 泰斯·韦伯 :
与下一代智能患者中心医疗系统互动。 UMAP（附属出版物） 2020 : 191-192 [公元46年] 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 朱莉安娜·鲍尔斯 , 埃利亚斯·阿萨纳索普洛斯 , 安德烈亚斯·皮特西利德斯 :
APPS 2020：第二届自适应和个性化隐私与安全国际研讨会。 UMAP公司 2020 : 398-399
2010 – 2019
2019 [j7] 胡安·何塞·门多扎·桑塔纳 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
使用TOMM对类模型进行形式化推理。 J.对象技术。 18 ( 2 ) : 12:1-20 ( 2019 ) [j6] 朱莉安娜·鲍尔斯 , 马可·卡米纳 , 苏云查 , 胡安·门多萨 :
医疗指南中自动冲突检测和解决的框架。 科学。 计算。 程序。 182 : 42-63 ( 2019 ) [公元45年] 阿加斯塔·西尔维纳 , 朱莉安娜·鲍尔斯 , 彼得·霍尔 :
乳腺癌化疗疗效预测。 AIME公司 2019 : 180-190 [c44] 弗拉基米尔·扬基克 , 迈克尔·维诺夫 , 托马斯·吉文·威尔森 , Axel Legay公司 , 尤安·布莱利奇 , R.Arredouani先生 , 乔治·斯泰利亚努 , 招聘黄婷 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 安德烈亚斯·弗朗索瓦·弗默伦 , 阿加斯塔·西尔维纳 , 马里奥斯·贝尔克 , 克里斯托斯·菲达斯 , 安德烈亚斯·皮特西利德斯 , M.库马尔 , 迈克尔·罗斯博里 :
SERUMS工具选择：确保以患者为中心的智能医疗系统中医疗数据的安全性和隐私性。 IEEE大数据 2019 : 2726-2735 [公元43年] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
组合优化问题的综合方法。 国际单项体育联合会 2019 : 284-302 [公元42年] 弗拉基米尔·扬基克 , 朱莉安娜·鲍尔斯 , 马里奥斯·贝尔克 , 安德烈亚斯·皮特西利德斯 :
医疗数据的安全和隐私：下一代以患者为中心的医疗系统面临的挑战。 UMAP（附属出版物） 2019 : 213-214 [第1页] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 马可·卡米纳 :
平衡处方与约束解算器。 系统生物学和医学的自动推理 2019 : 243-267 2018 [公元41年] 朱莉安娜·鲍尔斯 , 里卡多·M·切克斯特 , 泰斯·韦伯 :
优化医疗资源规划的注释式BPMN模型。 STAF研讨会 2018 : 146-162 2017 [公元40年] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
过时行为模型的正确构成。 FACS公司 2017 : 233-250 [公元39年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 马可·卡米纳 :
一种寻找冲突最小的最优路径的灵活方法。 ICFEM公司 2017 : 209-225 [公元38年] 法鲁鲁齐·拉赫曼 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
CNL健康建议的正式验证。 国际单项体育联合会 2017 : 357-371 [公元37年] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
枚举事件结构的验证算法。 CICM公司 2017 : 239-254 [c36] 朱莉安娜·鲍尔斯 , 马可·卡米纳 , 苏云查 :
验证多个护理路径的综合框架。 TASE公司 2017 : 1-8 [i3] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
枚举事件结构的验证算法。 CoRR公司 abs/1705.07228 ( 2017 ) [i2] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
一种寻找冲突最小的最优路径的灵活方法。 CoRR公司 abs/1707.05383 ( 2017 ) [i1] 朱莉安娜·鲍尔斯 , 马可·卡米纳 :
过时行为模型的正确构成。 CoRR公司 腹肌/1707.09646 ( 2017 ) 2016 [公元35年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 贝扎德·博德巴 , 穆罕默德·阿尔瓦纳 :
使用约束求解器编织真实并发方面。 ACSD系统 2016 : 35-44 [公元34年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 马可·卡米纳 :
注意差距：用形式方法解决行为不一致。 亚太经合组织 2016 : 313-320 [公元33年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 阿加斯塔·西尔维纳 :
模型检查癌症自动机。 BHI公司 2016 : 376-379 [公元32年] 安德烈·科瓦洛夫 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
避免多发病患者的药物冲突。 国际单项体育联合会 2016 : 376-390 2015 [公元31年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 贝扎德·博德巴 , 穆罕默德·阿尔瓦纳 :
基于情景的模型的行为组合的逻辑方法。 ICFEM公司 2015 : 252-269 [公元30年] 杜拉尼·米德尼娅 , 英迪卡·佩雷拉 , 朱莉安娜·鲍尔斯 :
模型驱动开发的软件设计模型的转换和组合。 ICIS公司 2015 : 31-36 2014 [公元29年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 勒拉克鲁尔 :
从UML交互到PEPA网络的强一致性转换。 ICCSA（5） 2014 : 90-105 [公元28年] 朱莉安娜·鲍尔斯 , 穆罕默德·阿尔瓦纳 , 贝扎德·博德巴 , Y.Chen先生 :
与Alloy自动匹配和合并场景。 MODELSWARD（修订论文集） 2014 : 100-116 [公元27年] 穆罕默德·阿尔瓦纳 , 贝扎德·博德巴 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
通过合金自动合成序列图。 建模软件 2014 : 384-391 [公元26年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 彼得鲁西奥·维亚纳 :
关于移动系统的分布式随机逻辑。 沃尔利克 2014 : 195-205 2012 [j5] 朱莉安娜·鲍尔斯 , 杜拉尼·阿佩克沙·米德尼娅 :
部分场景的强烈一致转换。 ACM SIGSOFT软件。 工程注释 37 ( 4 ) : 1-8 ( 2012 ) [公元25年] 朱莉安娜·鲍尔斯 , 杜拉尼·阿佩克沙·米德尼娅 :
用于柔性分析的参数化变换。 亚太经合组织 2012 : 634-643 2010 [公元24年] 朱莉安娜·鲍尔斯 , 杜拉尼·阿佩克沙·米德尼娅 :
从序列图到彩色Petri网的形式化转换。 亚太经合组织 2010 : 216-225 【c23】 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 勒拉克鲁尔 :
从IOD合成PEPA网络以进行性能分析。 WOSP/SIPEW公司 2010 : 195-200 [电子5] 拉尔夫·H·罗伊斯纳 , 伊曼·波尔诺莫 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
第五届嵌入式软件和基于组件的软件体系结构正式基础国际研讨会论文集， FESCA@ETAPS 2008年3月29日，匈牙利布达佩斯。 理论计算机科学电子笔记 238(6), 爱思维尔 2010 [目录]
2000 – 2009
2008 [公元22年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , Sotiris Moschoyiannis公司 :
当事情出错时：打断对话。 FASE公司 2008 : 131-145 【c21】 拉尔夫·H·罗伊斯纳 , 伊曼·波尔诺莫 , 朱莉安娜·库斯特·菲利佩·鲍尔斯 :
前言。 FESCA@ETAPS 2008 : 1-2 [电子4] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 :
嵌入式软件和基于组件的软件架构的正式基础会议录， FESCA@ETAPS 2007年3月24日，葡萄牙布拉加。 理论计算机科学电子笔记 203(7), 爱思维尔 2008 [目录] 2007 [公元20年] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 贝扎德·博德巴 :
用于集成多个视图的形式化模型。 ACSD系统 2007 : 71-79 [第19条] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 :
前言。 FESCA@ETAPS 2007 : 1-2 [电子3] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 :
嵌入式软件和基于组件的软件架构的正式基础研讨会论文集， FESCA@ETAPS 2006年3月26日，奥地利维也纳。 理论计算机科学电子笔记 176(2), 爱思维尔 2007 [目录] 2006 【j4】 朱莉安娜·库斯特·菲利佩 , 斯图亚特·安德森 :
在时间丰富的OCL活性模板上。 国际期刊软件。 技术工具。 变压器。 8 ( 2 ) : 156-166 ( 2006 ) [j3] 朱莉安娜·库斯特·菲利佩 :
建模并发交互。 西奥。 计算。 科学。 351 ( 2 ) : 203-220 ( 2006 ) [第18条] 勒拉克鲁尔 , 朱莉安娜·库斯特·菲利佩 :
使用UML2.0和PEPA网络建模移动性。 ACSD系统 2006 : 153-164 [第17条] 朱莉安娜·库斯特·菲利佩 :
分解交互。 阿马斯特 2006 : 189-203 [第16条] 朱莉安娜·库斯特·菲利佩·鲍尔斯 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 :
前言。 FESCA@ETAPS 2006 : 1-4 [第15条] 朱莉安娜·库斯特·菲利佩 , Sotiris Moschoyiannis公司 :
并发逻辑和自动机的结合：组件的语义。 FOCLASA公司 2006 : 135-151 2005 [第14条] 戈登·巴克斯特 , 朱莉安娜·库斯特·菲利佩 , 安吉拉·米格尔 , 肯尼思·谭 :
时间安排和协作对新生儿重症监护室可靠性的影响。 SSS系统 2005 : 195-210 [第13条] 朱莉安娜·库斯特·菲利佩 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 , 桑迪普·K·舒克拉 :
前言。 FESCA@ETAPS 2005 : 1-2 [电子2] 朱莉安娜·库斯特·菲利佩 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 , 桑迪普·K·舒克拉 :
嵌入式软件和基于组件的软件架构的正式基础第二届国际研讨会会议记录， FESCA@ETAPS 2005年4月9日，英国爱丁堡。 理论计算机科学电子笔记 141(3), 爱思维尔 2005 [目录] 2004 [第12条] 朱莉安娜·库斯特·菲利佩 :
建模并发交互。 阿马斯特 2004 : 304-318 [第11条] 亚历山德拉·卡瓦拉 , 朱莉安娜·库斯特·菲利佩 :
使用ASM将活性丰富的序列图形式化。 抽象状态机 2004 : 62-77 [第10条] 朱莉安娜·库斯特·菲利佩 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 , 桑迪普·K·舒克拉 :
前言。 FESCA@ETAPS 2004 : 1-2 【c9】 亚历山德拉·卡瓦拉 , 朱莉安娜·库斯特·菲利佩 :
结合序列图和OCL实现活力。 SFEDL@电子地图 2004 : 19-38 [电子1] 朱莉安娜·库斯特·菲利佩 , 伊曼·波尔诺莫 , 拉尔夫·H·罗伊斯纳 , 桑迪普·K·舒克拉 :
第一届嵌入式软件和基于组件的软件体系结构正式基础国际研讨会会议记录， FESCA@ETAPS 2004年4月3日，西班牙巴塞罗那。 理论计算机科学电子笔记 108, 爱思维尔 2004 [目录] 2003 【c8】 朱莉安娜·库斯特·菲利佩 :
赋予特工互动生命。 对象、代理和功能 2003 : 98-116 【c7】 斯图亚特·安德森 , 朱莉安娜·库斯特·菲利佩 :
用实时知识逻辑保证时间有效性。 ICDCS研讨会 2003 : 178- 2002 [注2] 朱莉安娜·库斯特·菲利佩 :
组件规范的基于逻辑的形式化。 J.对象技术。 1 ( 三 ) : 231-248 ( 2002 ) 【c6】 朱利安·布拉德菲尔德 , 朱莉安娜·库斯特·菲利佩 , 佩迪塔·史蒂文斯 :
使用观测Mu-Calculus丰富OCL。 FASE公司 2002 : 203-217 【c5】 马西莫·费利奇 , 朱莉安娜·库斯特·菲利佩 :
不断发展的计算机系统建模的局限性。 囊 2002 : 706-710 2000 【b1】 朱莉安娜·库斯特·菲利佩 :
分布式对象系统模块概念的基础。 德国布伦瑞克理工大学， 2000 ，第1-236页 [j1] 朱莉安娜·库斯特·菲利佩 :
分布式对象系统模块逻辑基础。 J.功能。 日志。 程序。 2000 ( 三 ) ( 2000 ) 【c4】 朱莉安娜·库斯特·菲利佩 , 刘恭桥 , 马里奥·奥尔纳吉 , 田口贤治 , Hirokazu Yatsu先生 , 阿伦·威尔斯 :
Catalystis框架的正式规范。 亚太经合组织 2000 : 180-187 【c3】 格利特·丹克尔 , 乔纳森·米伦 , 安东尼奥·克劳 , 朱莉安娜·库斯特·菲利佩 :
优化CIL规范的协议重写规则。 CSFW公司 2000 : 52-62
1990 – 1999
1999 【c2】 朱莉安娜·库斯特·菲利佩 , 刘恭桥 , 马里奥·奥尔纳吉 , Hirokazu Yatsu先生 :
计算逻辑中基于组件的软件开发中OOD框架的动态方面。 洛普斯特 1999 : 42-61 1998 【c1】 安东尼奥·克劳 , 朱莉安娜·库斯特·菲利佩 , 莫伊甘·库萨里（Mojgan Kowsari） , 西尔克·埃克斯坦 , 拉尔夫·平格 , 汉斯·迪特·埃里奇 :
概念建模的TROLL方法：语法、语义和工具。 急诊室 1998 : 277-290
合著者索引
