- 沃伊西奇·莫斯托夫斯基.基于模型的灰盒系统测试故障注入.逻辑与代数程序设计杂志, 103:31-45,2019
- 托马斯·范·宾斯贝根,彼得·D·摩斯斯,尼尔·斯卡索普.基于可执行组件的语义.逻辑与代数程序设计杂志, 103:184-212,2019
- 拉多斯劳·克里梅克.基于模式和组合驱动的面向工作流的软件模型逻辑规范的自动生成.逻辑与代数程序设计杂志,104页:201-226,2019
- 托马斯·特洛伊斯·希尔德布兰特,克里斯蒂安·约翰森,哈孔·诺曼.pi-calculus的一种稳定的无干扰早期操作语义.逻辑与代数程序设计杂志, 104:227-253,2019
- 托比亚斯·卡佩,保罗·布鲁特,巴斯·卢提克,亚历山大·席尔瓦0001,法比奥·扎纳西.系列并列pomset语言:合理性、上下文无关性和自动机.逻辑与代数程序设计杂志, 103:130-153,2019
- 费尔南多·马西亚斯,乌韦·沃尔特,阿德里安·拉特,弗朗西斯科·杜兰,罗伯托·罗德里格斯-埃切弗里亚.多级耦合模型转换,用于精确和可重用的模型行为定义.逻辑与代数程序设计杂志, 106:167-195,2019
- 杰里米·斯普洛斯顿.有限互模拟概率混合自动机的验证与控制.逻辑与代数程序设计杂志, 103:46-61,2019
- 西尔维娅·吉勒赞,斯维特兰娜·雅克西奇,约万卡·潘托维奇,阿尔切斯特·斯卡拉斯,吉田信子.同步多方会话的精确子类型.逻辑与代数程序设计杂志,104页:127-173,2019
- 丹尼尔·施内策·法瓦,马丁·斯特芬,沃尔克·斯托尔茨.具有通道同步的弱记忆模型的操作语义.逻辑与代数程序设计杂志, 103:1至30,2019
- 何塞·路易斯·菲亚德罗,Ionut Tutu公司,安托尼亚·洛佩斯,达斯科·巴甫洛维奇.行动者网络的逻辑:两阶段约束混合方法.逻辑与代数程序设计杂志, 106:141-166,2019