编辑配置文件（在新选项卡中打开） 卡尔·莱昂纳多森 合著者距离 作者ID： 莱昂纳尔松卡尔 发布日期： 卡尔·莱昂纳多森 已编制索引的文档： 4出版物自2012年起 合著者： 10位合著者具有4联合出版物 206合著作者 全部的 前5名合著者 0 单作者的 4 帕罗什·阿齐兹·阿卜杜拉 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 2 阿罗尼斯·斯塔夫罗斯 2 本特·琼森 2 康斯坦丁诺斯·萨戈纳斯 1 陈玉芳 1 卡西拉斯、斯特凡诺斯 1 艾哈迈德·雷津 1 阿尔贝托·罗斯 1 朱云云 系列 1 信息学报 1 计算机科学中的逻辑方法 领域 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用21中的次15文件 引用人▼ 年份▼ TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦丁诺斯·萨戈纳斯 11 2017 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷津 7 2012 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦丁诺斯·萨戈纳斯 三 2015 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦丁诺斯·萨戈纳斯 11 2017 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦丁诺斯·萨戈纳斯 三 2015 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷津 7 2012 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 4 帕罗什·阿齐兹·阿卜杜拉 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 海克·卫尔海姆 三 西蒙·多尔蒂 三 布里杰什·多戈尔 2 艾哈迈德·博阿贾尼 2 萨迪·达尔瓦迪 2 卡尔·莱昂纳多森 2 Gennaro帕拉托 1 普拉图什·阿加瓦尔 1 阿罗尼斯·斯塔夫罗斯 1 克里希南德·查特吉 1 伯克·圣伊里西奇 1 卡米尔·科蒂 1 邓惠杰 1 约翰·德里克 1 康斯坦丁·埃纳 1 阿扎德法尔赞 1 弗雷德里克·哈齐扎 1 卢卡·霍利克 1 本特·琼森 1 卡西拉斯、斯特凡诺斯 1 萨尔瓦多拉托雷 1 赖俊佐 1 马，常熟 1 亨德里克·马兰德 1 苏哈·奥尔洪 1 那不勒斯，玛格丽塔 1 Ngo、Tuan Phong 1 Shreya Pathak 1 安德烈亚斯·帕夫罗甘尼斯 1 劳雷·佩特鲁奇 1 罗德里格斯，塞萨尔·马林 1 阿尔贝托·罗斯 1 康斯坦丁诺斯·萨戈纳斯 1 樱井，口一 1 马塞洛·索萨。 1 维克多·托曼 1 奥列格·特拉夫金 1 塔尔莫乌斯塔卢 1 翁，Jian 1 朱云云 全部的 前5名引用于7个系列 2 计算机科学中的逻辑方法 1 信息学报 1 信息与计算 1 自动推理杂志 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 14 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文