- 卢卡·埃特罗,安东尼斯·阿奇利奥斯,邓肯·保罗·阿塔德,莱奥·埃西巴德,阿德里安·弗兰卡兰扎,Anna Ingólfsdóttir女士.μHML.计算机程序设计科学, 232:103031,2024年1月。
- Railana桑塔纳,卢安娜·阿尔梅达·马丁斯,塔西奥·维吉尼奥,拉里萨·罗查0001,继承人A.X.Costa,伊万·马查多.RAIDE的实证评估:用于检测气味和重构的半自动化方法.计算机程序设计科学, 231:103013,2024年1月。
- 伊尼戈·阿尔达卢尔.Web增强:一项系统的映射研究.计算机程序设计科学, 232:103045,2024年1月。
- 肖恩·考夫曼,马丁·齐默尔曼0002.评估nfer的复杂性.计算机程序设计科学, 231:103012,2024年1月。
- 何塞·安东尼奥·埃尔南德斯·洛佩斯,哈维尔·路易斯·卡诺瓦斯·伊兹基尔多,杰苏斯·桑切斯·库阿德拉多.ModelSet:用于机器学习的软件模型的标记数据集.计算机程序设计科学, 231:103009,2024年1月。
- 斯特凡·德里森,达里奥·迪·努奇,达米安·坦布里,威廉·扬·范登·胡维尔.SolAR:为可靠智能合同自动生成测试套件.计算机程序设计科学, 232:103036,2024年1月。
- 穆罕默德·斯马杰维奇,赛义德·朱尼德·阿里,多米尼克·博克.云-将概念模型转换为知识图的开放式网络平台.计算机程序设计科学, 231:103007,2024年1月。
- 琼·金纳·米格勒(Joan Giner-Miguelez),阿贝尔·戈麦斯0001,乔迪·卡博特.DescribeML:用于机器学习的数据集描述工具.计算机程序设计科学, 231:103030,2024年1月。
- 二万马赫,克里斯托夫·加斯顿,帕斯卡尔·勒加尔.交互语言的指称语义和操作语义:在跟踪分析中的应用.计算机程序设计科学,232页:103034,2024年1月。
- 黄文林,尼古拉斯·克拉夫茨克,简·佩莱斯卡0001.基于符号有限状态机的穷尽性面向模型测试.计算机程序设计科学, 231:103005,2024年1月。