编辑配置文件（在新选项卡中打开） 卢卡·伯纳迪内洛 合著者距离 作者ID： 伯纳迪内洛·卢卡 发布日期： 卢卡·伯纳迪内洛 已编制索引的文档： 29出版物自1995年以来，包括1本书 2作为编辑的贡献 合著者： 22合著者具有30联合出版物 248位合作作者 全部的 前5名合著者 1 单作者的 25 露西娅·波梅尔 7 卡洛·费里加托 4 斯特凡尼亚，罗马 三 埃里克·巴杜埃尔 三 Bednarczyk，Marek A。 三 菲利普·达伦多 三 科伦萨，哥尔基姆 三 Pawłowski、Wies \322»aw 2 伊丽莎白·曼吉奥尼 2 埃琳娜·蒙蒂塞利 2 劳雷·佩特鲁奇 1 费德里卡·阿多巴蒂 1 阿德利安港奥贝尔 1 尼古拉·邦扎尼 1 托马斯·博齐斯科夫斯基 1 贝诺·凯劳德 1 斯特凡·哈尔 1 码头Kleijn 1 伊琳娜·洛马佐娃（Irina A.Lomazova）。 1 马可·马斯切罗尼 1 内斯特罗夫，罗马 1 奥贝尔·阿德里安港 系列 7 计算机基础理论 2 理论计算机科学 1 计算机科学课堂讲稿 1 理论计算机科学课文。EATCS系列 全部的 前5名领域 30 计算机科学（68至XX） 9 有序，格，有序代数结构（06-XX） 5 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 范畴理论；同调代数（18-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用130次75文件 引用人▼ 年份▼ Petri网合成。 Zbl 1351.68003号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 46 2015 初等网络系统的综合问题是NP-完全的。 Zbl 0893.68111号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 30 1997 有界网综合的多项式算法。 Zbl 1496.68212号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 25 1995 分布式系统中可观察属性的代数模型。 兹比尔1019.68004 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 5 2003 用Petri超网建模移动性。 Zbl 1118.68567号 马雷克·贝德纳奇克（Marek A.Bednarczyk）。;卢卡·伯纳迪内洛;Pawłowski、Wies \322»aw;露西娅·波梅尔 4 2005 关于区域正交模偏序集的稳定性。 Zbl 1464.68230号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔;Aubel，Adrián波多黎各 三 2018 闭包操作符和格是从偏序集和发生网中的并发派生出来的。 Zbl 1209.68333号 卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡尼亚，罗马 2 2010 具有冲突的事件网络中的闭合集。 Zbl 1315.68189号 卢卡·伯纳迪内洛;卡洛·费里加托;斯特凡·哈尔;露西娅·波梅尔 2 2014 基本网络系统的局部状态精化和组合：一种基于形态的方法。 Zbl 1394.68242号 卢卡·伯纳迪内洛;伊丽莎白·曼吉奥尼;露西娅·波梅尔 2 2013 完全可观察Petri网上的两层异步游戏。 Zbl 1464.68220号 费德里卡·阿多巴蒂;卢卡·伯纳迪内洛;露西娅·波梅尔 2 2021 一类过渡系统及其与正交模偏序集的关系。 Zbl 0934.18005号 卢卡·伯纳迪内洛;露西娅·波梅尔 1 1997 面向基本网络系统的模块化综合。 Zbl 1087.93040号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 1 2002 通过在接口上构成网络系统来保持结构和行为属性。 Zbl 1128.68059号 卢卡·伯纳迪内洛;埃琳娜·蒙蒂塞利;露西娅·波梅尔 1 2007 带回调的模块化系统开发。 Zbl 1274.68220号 马雷克·贝德纳奇克（Marek A.Bednarczyk）。;卢卡·伯纳迪内洛;贝诺·凯劳德;Pawłowski、Wies \322»aw;露西娅·波梅尔 1 2003 从量子逻辑合成过渡系统。 Zbl 1378.68118号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔;奥贝尔·阿德里安港 1 2017 基于Petri网揭示和排除关系的非干涉概念。 兹比尔1366.68200 卢卡·伯纳迪内洛;科伦萨，哥尔基姆;露西娅·波梅尔 1 2016 有限图上的弱可观察活性和无限对策。 Zbl 1393.68112号 卢卡·伯纳迪内洛;科伦萨，哥尔基姆;露西娅·波梅尔 1 2017 并发关系诱导的正交模格。 Zbl 1456.68113号 卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡尼亚，罗马 1 2009 在量子逻辑和并发之间。 Zbl 1464.68229号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 1 2014 完全可观察Petri网上的两层异步游戏。 Zbl 1464.68220号 费德里卡·阿多巴蒂;卢卡·伯纳迪内洛;露西娅·波梅尔 2 2021 关于区域正交模偏序集的稳定性。 Zbl 1464.68230号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔;阿德利安港奥贝尔 三 2018 从量子逻辑合成过渡系统。 Zbl 1378.68118号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔;奥贝尔·阿德里安港 1 2017 有限图上的弱可观察活性和无限对策。 Zbl 1393.68112号 卢卡·伯纳迪内洛;科伦萨，哥尔基姆;露西娅·波梅尔 1 2017 基于Petri网揭示和排除关系的非干涉概念。 Zbl 1366.68200号 卢卡·伯纳迪内洛;科伦萨，哥尔基姆;露西娅·波梅尔 1 2016 Petri网合成。 Zbl 1351.68003号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 46 2015 具有冲突的发生网络中的闭集。 Zbl 1315.68189号 卢卡·伯纳迪内洛;卡洛·费里加托;斯特凡·哈尔;露西娅·波梅尔 2 2014 在量子逻辑和并发之间。 Zbl 1464.68229号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 1 2014 基本网络系统的局部状态精化和组合：一种基于形态的方法。 Zbl 1394.68242号 卢卡·伯纳迪内洛;伊丽莎白·曼吉奥尼;露西娅·波梅尔 2 2013 偏序集和发生网中并发性派生的闭包运算符和格。 Zbl 1209.68333号 卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡尼亚，罗马 2 2010 并发关系诱导的正交模格。 Zbl 1456.68113号 卢卡·伯纳迪内洛;露西娅·波梅尔;斯特凡尼亚，罗马 1 2009 通过在接口上构成网络系统来保持结构和行为属性。 Zbl 1128.68059号 卢卡·伯纳迪内洛;埃琳娜·蒙蒂塞利;露西娅·波梅尔 1 2007 用Petri超网建模移动性。 Zbl 1118.68567号 贝德纳尔奇克，马雷克A。;卢卡·伯纳迪内洛;Pawłowski、Wies \322»aw;露西娅·波梅尔 4 2005 分布式系统中可观察属性的代数模型。 Zbl 1019.68004号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 5 2003 模块化系统开发和回拉。 Zbl 1274.68220号 马雷克·贝德纳奇克（Marek A.Bednarczyk）。;卢卡·伯纳迪内洛;贝诺·凯劳德;Pawłowski、Wies \322»aw;露西娅·波梅尔 1 2003 面向基本网络系统的模块化综合。 Zbl 1087.93040号 卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 1 2002 初等网络系统的综合问题是NP-完全的。 Zbl 0893.68111号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 30 1997 一类过渡系统及其与正交模偏序集的关系。 Zbl 0934.18005号 卢卡·伯纳迪内洛;露西娅·波梅尔 1 1997 有界网综合的多项式算法。 Zbl 1496.68212号 埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 25 1995 所有引用出版物 前5名被引用出版物 全部的 前5名75位作者引用 16 雷蒙德·魔鬼队 15 特雷杜普，罗尼 10 最好的，艾克 9 卢卡·伯纳迪内洛 7 马西耶·库特尼 7 Marta Pietkiewicz-Koutny 7 露西娅·波梅尔 6 埃罗菲耶夫·叶夫根尼 6 Wil M.P.范德阿尔斯特。 5 码头Kleijn 5 Uli Schlachter公司 5 哈罗·威梅尔 4 菲利普·达伦多 三 乔塞普·卡莫纳 三 乔迪·科尔塔德拉 三 曼内尔，丽莎·路易斯 三 亚历山大五世·雅科夫列夫。 2 费德里卡·阿多巴蒂 2 卡洛·费里加托 2 托马斯·胡贾萨 2 安娜·A·卡伦科娃。 2 科伦萨，哥尔基姆 2 亚历克斯·孔德拉提耶夫 2 马塞洛·拉罗莎 2 卢西亚诺·拉瓦尼奥 2 伊琳娜·洛马佐娃。 2 乌卡斯·米库尔斯基 2 Polyvyany，Artem公司 2 克里斯蒂安·罗森克 2 格列泽戈兹·罗森贝格 2 van Dongen，Boudewijn F。 1 艾沙·艾哈迈德 1 埃里克·巴杜埃尔 1 卡米拉·巴里尔斯卡 1 Grzegorz的Bazydło 1 亚历山德罗·贝尔蒂 1 尼古拉·邦扎尼 1 Andrzej M.Borzyszkowski。 1 沃伊切赫（Wojciech）Cegła 1 马里亚格拉齐亚·多托利 1 Leonid W·德沃赞斯基。 1 阿里·阿克巴尔，埃斯塔吉 1 玛丽亚·皮亚·范蒂 1 简·弗洛雷克 1 斯特凡诺·甘德利 1 曼努埃尔·吉塞金 1 科尔·A·J·赫肯斯。 1 伯纳德·扬切维奇 1 迈克尔·基希内夫斯基 1 迈克尔·科勒-布·迈耶 1 伊万·拉内斯 1 阿戈斯蒂诺·马塞洛（Agostino Marcello Mangini） 1 伊丽莎白·曼吉奥尼 1 马可·马斯切罗尼 1 内斯特罗夫，罗马人 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 马钦·皮·特考夫斯基 1 波普·阿夫斯基，马特乌斯 1 Rahimeh Pourkhandani 1 阿德里安港 1 奥贝尔·阿德里安港 1 斯特凡尼亚，罗马 1 费尔南多·罗莎·维拉尔多 1 亚历山大·塞雷布雷尼克 1 保罗·塔布阿达 1 亚历山大·托宾。 1 维克托·特伦 1 van der Werf，Jan Martijn E.M。 1 塞巴斯蒂安·范泽尔斯特。 1 梅赫迪·瓦坦多奥斯特 1 H.M.W.韦贝克。 1 蒂齐亚诺别墅 1 雷米吉乌斯·维希·涅夫斯基 1 马钦·沃尼科夫斯基（Marcin Wojnakowski） 1 尼克·Würdemann 全部的 前5名11篇连载文章中引用 10 理论计算机科学 9 计算机基础理论 5 信息学报 2 信息与计算 2 国际应用数学与计算机科学杂志 1 信息处理信件 1 数学物理报告 1 Automatica公司 1 计算 1 计算机与系统科学杂志 1 系统和控制信件 全部的 前5名在8个字段中引用 70 计算机科学（68至XX） 4 运筹学、数学规划（90-XX） 三 有序，格，有序代数结构（06-XX） 三 系统论；控制（93至XX） 2 数学逻辑和基础（03-XX） 2 相对论与引力理论（83至XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 量子理论（81-XX） 按年份列出的引文