编辑配置文件(在新选项卡中打开) 卢卡·斯帕拉齐 合著者距离 作者ID: 斯帕拉齐·卢卡 发布日期: 卢卡·斯帕拉齐;斯帕拉齐,L。 外部链接: ORCID公司 已编制索引的文档: 9出版物自1999年起 合著者: 15位合著者具有7联合出版物 251联合作者 全部的 前5名合著者 2 单作者的 三 毛里齐奥·潘蒂 三 弗朗西斯科·斯佩尼 2 洛里斯·彭塞里尼 1 马尔科·巴尔迪 1 埃齐奥·巴托西 1 马西莫·贝内雷塞蒂 1 佛朗哥·恰拉卢斯 1 亚历山德罗·库奇亚雷利 1 伊戈尔·康诺夫(Igor V.Konnov)。 1 刘林 1 约翰·米洛波洛斯 1 琳达·塞尼加格列西 1 西蒙·塔科尼 1 保罗·特拉弗索 1 约瑟夫·威德 系列 1 理论计算机科学 1 吉泰。实验与理论人工智能杂志 1 逻辑与计算杂志 1 人工智能综述 领域 9 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用16中的次16文件 引用人▼ 年份▼ 基于案例的规划调查。 Zbl 0985.68062号 卢卡·斯帕拉齐 5 2001 用于行动、感知和规划的动态逻辑。 兹伯利0965.03040 卢卡·斯帕拉齐;保罗·特拉弗索 4 2000 容错分布式算法中消息计数抽象的准确性。 Zbl 1484.68321号 伊戈尔·科诺夫;约瑟夫·威德;弗朗西斯科·斯佩尼;卢卡·斯帕拉齐 三 2017 带布尔保护的时间自动机网络的参数化模型检查。 Zbl 1433.68219号 卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 2 2020 信息集成合作战略。 Zbl 1023.68819号 毛里齐奥·潘蒂;卢卡·斯帕拉齐;洛里斯·彭塞里尼 1 2001 评估分散云存储机密性的概率小模型定理。 Zbl 1420.68117号 马尔科·巴尔迪;埃齐奥·巴托西;佛朗哥·恰拉卢斯;亚历山德罗·库奇亚雷利;琳达·塞尼加格列西;卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 1 2017 带布尔保护的时间自动机网络的参数化模型检查。 Zbl 1433.68219号 卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 2 2020 容错分布式算法中消息计数抽象的准确性。 Zbl 1484.68321号 伊戈尔·科诺夫;约瑟夫·威德;弗朗西斯科·斯佩尼;卢卡·斯帕拉齐 三 2017 评估分散云存储机密性的概率小模型定理。 Zbl 1420.68117号 马尔科·巴尔迪;埃齐奥·巴托西;佛朗哥·恰拉卢斯;亚历山德罗·库奇亚雷利;琳达·塞尼加格列西;卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 1 2017 基于案例的规划调查。 Zbl 0985.68062号 卢卡·斯帕拉齐 5 2001 信息集成合作战略。 兹比尔1023.68819 毛里齐奥·潘蒂;卢卡·斯帕拉齐;洛里斯·彭塞里尼 1 2001 用于行动、感知和规划的动态逻辑。 Zbl 0965.03040号 卢卡·斯帕拉齐;保罗·特拉弗索 4 2000 所有引用出版物 前5名被引用出版物 全部的 前5名38位作者引用 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 卢卡·斯帕拉齐 2 弗朗西斯科·斯佩尼 2 约瑟夫·威德 1 埃姆雷·阿尔普特金 1 本杰明·阿米诺夫 1 塞巴斯蒂安·阿明 1 哈维尔·巴约 1 埃齐奥·巴托西 1 布洛克,罗德里克 1 吉尔松,比尤科兹坎 1 克里希南德·查特吉 1 胡安·曼纽尔·科查多 1 胡安·德·帕斯(Juan F.De Paz)。 1 皮耶朗基罗·德尔·阿夸 1 V.I.Gorodetskii。 1 尼尔·伊梅尔曼 1 Işıklar,古尔费姆 1 苏巴拉奥·坎巴帕蒂 1 O.V.卡萨耶夫。 1 Joost-Pieter卡托恩 1 托默·科特克 1 朱尔·库科维奇 1 马丁·兰格 1 玛丽亚娜·拉齐奇 1 路易斯·莫尼斯·佩雷拉 1 埃多尔多·皮罗瓦诺 1 罗德里格斯,萨拉五世。 1 萨沙·鲁宾 1 萨莫洛夫,V.V。 1 伊戈尔·塞德拉尔 1 SergeĭValer'evich Serebryakov 1 伊凡·塞琳娜 1 安娜·索科洛娃 1 斯利瓦斯塔瓦(Siddharth Srivastava) 1 赫尔穆特·维思 1 卓、汉克斯、汉奎 1 什洛莫·齐尔伯斯坦 全部的 前5名8篇连载文章中引用 4 人工智能 2 应用逻辑杂志 1 理论计算机科学 1 计算机与运筹学 1 吉泰。实验与理论人工智能杂志 1 国际计算机数学杂志 1 分布式计算 1 国际计算机与系统科学杂志 在4个字段中引用 13 计算机科学(68至XX) 三 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的引文