编辑配置文件(在新选项卡中打开) 保罗·巴尔丹 合著者距离 作者ID: 巴尔丹·波洛 发布日期: 保罗·巴尔丹;鲍尔丹,P。 编入索引的文档: 95出版物自1995年起 3作为编辑的贡献 合著者: 62位合著者具有97联合出版物 966合著作者 全部的 前5名合著者 1 单作者的 35 安德烈亚·科拉迪尼 31 巴巴拉·科尼格 14 法比奥·加杜奇 12 乌戈·蒙塔纳里。 9 托马索帕多瓦 8 哈特穆特·埃里格 7 菲利波·邦奇 6 罗伯托·布鲁尼 5 瑞科·赫克尔 4 法比奥·阿莱西 4 克拉拉·贝托利西 4 安德烈亚·克拉克·布拉夏利 4 丹尼尔·戈拉 4 托比亚斯·海因德尔 4 亚历山德拉·拉斐塔 4 斯特凡·施温 4 巴布亚州索波辛斯基 3 阿尔贝托·卡拉罗 3 霍雷修·西尔斯泰 3 尼科莱塔·科科 3 西尔维亚·克拉法 3 Stefan哈尔 3 柯斯坦、海宁 3 克洛德·基什内尔 3 里贝罗,莱拉 3 玛尔塔·西蒙 2 吉安娜·贝尔 2 亚历山德罗·布鲁尼 2 纳迪亚·布西 2 托马斯·查泰恩 2 理查德·艾格特 2 卢西亚娜·福斯 2 伯恩哈德·科尼格 2 蒙雷利,贾科玛·瓦伦蒂娜 2 G.Michele Pinna 2 罗德里格斯,塞萨尔·马林 2 伊万诺·萨尔沃 1 阿贝尔·阿玛斯·塞万提斯 1 亚历山德罗·贝吉亚托 1 玛蒂娜·博奇 1 丹尼尔·布里戈林 1 琳达·布罗多 1 瓦莱里亚·德·佩瓦 1 费尔南多·路易斯·多蒂 1 卢西亚诺加西亚·巴努埃洛斯 1 乔治·盖利 1 费德里卡·朱莫莱 1 莫尼卡·海纳 1 凯瑟琳·霍夫曼 1 Furio Honsell 1 莱恩·兰伯斯 1 阿尔贝托·卢什·拉富恩特 1 保罗·曼卡雷拉 1 安德烈亚·马林 1 埃尔南·梅尔格拉蒂 1 朱莉娅·帕德伯格 1 吉勒梅尔·兰格尔 1 弗朗西斯科·兰扎托 1 简·J·M·M·鲁顿。 1 英戈·施蒂尔默 1 佛朗哥·都灵 1 张林鹏 全部的 前5名系列 9 理论计算机科学 9 信息与计算 4 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 2 计算机基础理论 1 信息学报 1 符号计算杂志 1 美国医学会杂志 1 自然计算 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 96 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 11 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 3 总体主题;集合(00-XX) 1 有序,格,有序代数结构(06-XX) 1 结合环与代数(16-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 80出版物有被引用430中的次259文件 引用人▼ 年份▼ 上下文Petri网、非对称事件结构和过程。 Zbl 1005.68103号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 41 2001 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 图变换系统的静态分析技术。 Zbl 1006.68529号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 18 2001 协同行为指标。 Zbl 1515.68199号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 16 2018 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 15 2007 一个用于验证无限状态图转换系统的框架。 Zbl 1153.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 15 2008 基于确定性过程的开放Petri网的合成语义。 Zbl 1089.68068号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔 13 2005 真正并发的逻辑。 Zbl 1321.68355号 保罗·巴尔丹;西尔维亚·克拉法 12 2014 验证有限状态图文法:基于展开的方法。 Zbl 1099.68046号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 10 2004 通过统一实现相互模拟。 Zbl 1275.68100号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 10 2002 图文法的展开和事件结构语义。 Zbl 0946.68087号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 1999 通过函子提升的行为度量。 Zbl 1360.68607号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 9 2014 双推出图文法的展开是一个共同反映。 兹比尔0958.68081 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 2000 代谢途径建模的Petri网:一项调查。 Zbl 1206.68209号 保罗·巴尔丹;尼科莱塔·科科;安德烈亚·马林;玛尔塔·西蒙 9 2010 上下文Petri网的有效展开。 Zbl 1263.68117号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;塞萨尔·罗德里格斯;斯特凡·施温 9 2012 近似图变换系统的行为。 Zbl 1028.68089号 保罗·巴尔丹;巴巴拉·科尼格 8 2002 P/T上下文网络的事件结构语义:非对称事件结构。 Zbl 0902.68140号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 8 1998 泛函和非泛函度量域方程的解。 Zbl 0910.68130号 阿莱西,F。;鲍尔丹,P。;G·贝尔。;J.J.M.M.鲁顿。 8 1995 使用开放网络对反应系统进行组合建模。 Zbl 1006.68084号 鲍尔丹,P。;科拉迪尼,A。;埃里格·H·。;R.赫克尔。 7 2001 粘合剂改写系统的工艺。 Zbl 1180.68165号 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2006 展开粘合类别中的语法。 Zbl 1239.68036号 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2009 Petri网的分布式展开。 Zbl 1180.68185号 保罗·巴尔丹;Stefan哈尔;巴巴拉·科尼格 6 2006 用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特 6 2007 具有演化拓扑的系统的基于展开的诊断。 Zbl 1214.68242号 保罗·巴尔丹;托马斯·查泰恩;Stefan哈尔;巴巴拉·科尼格 6 2010 使用借用的上下文组合和分解DPO转换。 Zbl 1156.68417号 保罗·巴尔丹;哈特穆特·埃里格;巴巴拉·科尼格 6 2006 开放Petri网的双相似性和行为保护重构。 Zbl 1214.68243号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 6 2007 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;G.Michele Pinna 5 2000 循环高阶项图的重写演算。 Zbl 1272.68167号 Bertolisi,C。;鲍尔丹,P。;希尔斯塔,H。;C·基什内尔。 5 2005 开放流程的语义框架。 Zbl 1132.68042号 鲍尔丹,P。;A.Braciali。;R.布鲁尼。 5 2007 真正并发的逻辑。 Zbl 1287.68120号 保罗·巴尔丹;西尔维亚·克拉法 5 2010 使用开放的Petri网编码异步交互。 Zbl 1254.68161号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇 5 2009 具有演化拓扑的系统的基于展开的诊断。 Zbl 1160.68453号 保罗·巴尔丹;托马斯·查泰恩;Stefan哈尔;巴巴拉·科尼格 5 2008 McMillan的上下文网络的完整前缀。 Zbl 1171.68560号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 5 2008 紧度量空间中的一个不动点定理。 Zbl 0873.68126号 法比奥·阿莱西;保罗·巴尔丹;吉安娜·贝尔 4 1995 异步跟踪和开放Petri网。 Zbl 1434.68320号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷亚莱,Giacoma V。 4 2015 图文法的互模拟等价性。 Zbl 1060.68050号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 4 2002 关于不干涉的因果观点。 Zbl 1335.68162号 保罗·巴尔丹;阿尔贝托·卡拉罗 4 2015 循环高阶项图的重写演算。 Zbl 1125.68062号 保罗·巴尔丹;克拉拉·贝托利西;霍雷修·西尔斯泰;克洛德·基什内尔 4 2007 通过图转换指定和验证UML活动图。 Zbl 1111.68496号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 3 2005 历史保持互模拟下的事件结构约简。 Zbl 1392.68281号 阿贝尔·阿玛斯·塞万提斯;保罗·巴尔丹;卢西亚诺加西亚·巴努埃洛斯 3 2016 多层次传递和不传递不干涉,因果关系。 Zbl 1380.68292号 保罗·巴尔丹;亚历山德罗·贝吉亚托 3 2018 通过函子提升实现跟踪度量。 兹比尔1366.68189 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 3 2015 上下文网络的历史保持互模拟。 Zbl 0966.68151号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 3 2000 遗传历史提供的双重相似性:逻辑和自动机。 Zbl 1453.68110号 保罗·巴尔丹;西尔维亚·克拉法 3 2014 预备网,阅读ARCS和展开:功能演示。 Zbl 1278.68210号 保罗·巴尔丹;罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2003 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 3 2003 附着力不够:重访了当地的Church-Rosser。 兹比尔1343.68126 保罗·巴尔丹;法比奥·加杜奇;Pawel索波辛斯基 3 2011 关于上下文网络和图文法的麦克米兰前缀的计算。 Zbl 1306.68120号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 3 2010 融合的域和事件结构。 Zbl 1458.68128号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 3 2017 使用DPO转换和借用上下文进行模型重构时的行为保留。 Zbl 1175.68231号 吉勒梅尔·兰格尔;莱恩·兰伯斯;巴巴拉·科尼格;哈特穆特·埃里格;保罗·巴尔丹 3 2008 抽象,直到不动点方程组的技术和游戏。 Zbl 07559481号 保罗·巴尔丹;巴巴拉·科尼格;托马索·帕多安 3 2020 开放Petri网的双相似性和行为保护重构。 Zbl 1161.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 3 2008 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 开放系统的符号等价。 Zbl 1111.68530号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 2 2005 可分离Stone空间的一类合成域模型。 Zbl 1051.68102号 法比奥·阿莱西;保罗·巴尔丹;Furio Honsell 2 2003 使用具有等价关系的图来建模具有名称迁移的计算。 Zbl 1278.68211号 保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 2 2007 过程和展开:粘合剂类别中的并发计算。 兹比尔1342.68223 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 2 2014 通过展开不干涉。 Zbl 1334.68144号 保罗·巴尔丹;阿尔贝托·卡拉罗 2 2014 粘合剂类别的格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格 2 2011 通过泛空间刻画1-有界紧超度量空间之间的距离。 Zbl 0908.68099号 法比奥·阿莱西;保罗·巴尔丹 2 1998 展开图变换系统:理论和验证应用。 Zbl 1143.68422号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 2 2008 具有等价关系的图的并发重写。 兹比尔1151.68503 保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 2 2006 有效的上下文展开。 Zbl 1343.68176号 塞萨尔·罗德里格斯;斯特凡·施温;保罗·巴尔丹 2 2011 Petri网是二元体。 Zbl 1170.68536号 保罗·巴尔丹;法比奥·加杜奇 2 2008 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 2 2022 Petri网是二元体:非确定性网络理论的新代数基础。 兹伯利1417.68114 保罗·巴尔丹;法比奥·加杜奇 1 2019 用于分析图转换系统抽象的逻辑。 Zbl 1067.68095号 保罗·巴尔丹;巴巴拉·科尼格;伯恩哈德·科尼格 1 2003 图重写演算的共享策略。 Zbl 1279.68111号 鲍尔丹,P。;贝托利西,C。;希尔斯塔,H。;C·基什内尔。 1 2008 无法异步观察并发。 Zbl 1361.68158号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 1 2015 CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。 Zbl 1295.68016号 1 2014 图重写中事务的概念。 兹比尔1283.68182 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;F.加杜奇。;里贝罗。 1 2008 Petri网外壳中图文法的并发性。 Zbl 1263.68065号 保罗·巴尔丹 1 2002 验证图形转换系统的行为逻辑。 Zbl 1271.68167号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德柯尼格 1 2004 高级网络进程。 Zbl 1060.68078号 哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格;保罗·巴尔丹;瑞科·赫克尔 1 2002 MuTACLP:一种具有多种理论的时间推理语言。 Zbl 1012.68544号 保罗·巴尔丹;保罗·曼卡雷拉;亚历山德拉·拉斐塔;佛朗哥·都灵 1 2002 通过展开图转换系统为代码生成器生成测试用例。 Zbl 1116.68477号 保罗·巴尔丹;巴巴拉·科尼格;英戈·施蒂尔默 1 2004 定点理论——颠倒过来。 Zbl 07410419号 保罗·巴尔丹;理查德·艾格特;巴巴拉·科尼格;托马索·帕多安 1 2021 开放Petri网:非确定性过程和组合性。 Zbl 1175.68269号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格 1 2008 将事务绘制为流程。 Zbl 1156.68416号 保罗·巴尔丹;安德烈亚·科拉迪尼;卢西亚娜·福斯;法比奥·加杜奇 1 2006 事件结构最小化。 Zbl 07650327号 保罗·巴尔丹;亚历山德拉·拉斐塔 1 2019 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 2 2022 定点理论——颠倒。 兹伯利07410419 保罗·巴尔丹;理查德·艾格特;巴巴拉·科尼格;托马索·帕多安 1 2021 不动点方程组的抽象、升级技术和游戏。 Zbl 07559481号 保罗·巴尔丹;巴巴拉·科尼格;托马索·帕多安 3 2020 Petri网是二元体:非确定性网络理论的新代数基础。 Zbl 1417.68114号 保罗·巴尔丹;法比奥·加杜奇 1 2019 事件结构最小化。 Zbl 07650327号 保罗·巴尔丹;亚历山德拉·拉斐塔 1 2019 联合盲文行为指标。 Zbl 1515.68199号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 16 2018 多层次传递和不传递不干涉,因果关系。 Zbl 1380.68292号 保罗·巴尔丹;亚历山德罗·贝吉亚托 3 2018 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 融合的域和事件结构。 Zbl 1458.68128号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 3 2017 历史保持互模拟下的事件结构约简。 Zbl 1392.68281号 阿贝尔·阿玛斯·塞万提斯;保罗·巴尔丹;卢西亚诺加西亚·巴努埃洛斯 3 2016 异步跟踪和开放式Petri网。 Zbl 1434.68320号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科马五世。 4 2015 关于不干涉的因果观点。 Zbl 1335.68162号 保罗·巴尔丹;阿尔贝托·卡拉罗 4 2015 通过函子提升实现跟踪度量。 Zbl 1366.68189号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 3 2015 无法异步观察并发。 Zbl 1361.68158号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 1 2015 真正并发的逻辑。 Zbl 1321.68355号 保罗·巴尔丹;西尔维亚·克拉法 12 2014 通过函子提升的行为度量。 Zbl 1360.68607号 保罗·巴尔丹;菲利波·邦奇;亨宁,克斯坦;巴巴拉·科尼格 9 2014 遗传历史提供的双重相似性:逻辑和自动机。 Zbl 1453.68110号 保罗·巴尔丹;西尔维亚·克拉法 3 2014 过程和展开:粘合剂类别中的并发计算。 Zbl 1342.68223号 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 2 2014 通过展开不干涉。 Zbl 1334.68144号 保罗·巴尔丹;阿尔贝托·卡拉罗 2 2014 CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。 Zbl 1295.68016号 1 2014 上下文Petri网的有效展开。 兹比尔1263.68117 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;塞萨尔·罗德里格斯;斯特凡·施温 9 2012 附着力不够:重访了当地的Church-Rosser。 Zbl 1343.68126号 保罗·巴尔丹;法比奥·加杜奇;Pawel索波辛斯基 3 2011 粘合剂类别的格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格 2 2011 有效的上下文展开。 Zbl 1343.68176号 塞萨尔·罗德里格斯;斯特凡·施温;保罗·巴尔丹 2 2011 用于建模代谢途径的Petri网:一项调查。 Zbl 1206.68209号 保罗·巴尔丹;尼科莱塔·科科;安德烈亚·马林;玛尔塔·西蒙 9 2010 具有演化拓扑的系统的基于展开的诊断。 Zbl 1214.68242号 保罗·巴尔丹;托马斯·查泰恩;Stefan哈尔;巴巴拉·科尼格 6 2010 真正并发的逻辑。 Zbl 1287.68120号 保罗·巴尔丹;西尔维亚·克拉法 5 2010 关于上下文网络和图文法的麦克米兰前缀的计算。 Zbl 1306.68120号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 3 2010 粘合剂类别中的展开语法。 Zbl 1239.68036号 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2009 使用开放Petri网编码异步交互。 Zbl 1254.68161号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇 5 2009 用于验证无限状态图转换系统的框架。 Zbl 1153.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 15 2008 具有演化拓扑的系统的基于展开的诊断。 Zbl 1160.68453号 保罗·巴尔丹;托马斯·查泰恩;Stefan哈尔;巴巴拉·科尼格 5 2008 McMillan上下文网络的完整前缀。 Zbl 1171.68560号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 5 2008 使用DPO转换和借用上下文进行模型重构时的行为保留。 Zbl 1175.68231号 吉勒梅尔·兰格尔;莱恩·兰伯斯;巴巴拉·科尼格;哈特穆特·埃里格;保罗·巴尔丹 3 2008 开放Petri网的双相似性和行为保护重构。 Zbl 1161.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 3 2008 展开图变换系统:理论和验证应用。 Zbl 1143.68422号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 2 2008 Petri网是二元体。 兹比尔1170.68536 保罗·巴尔丹;法比奥·加杜奇 2 2008 图重写演算的共享策略。 Zbl 1279.68111号 鲍尔丹,P。;贝托利西,C。;希尔斯塔,H。;C·基什内尔。 1 2008 图重写中事务的概念。 Zbl 1283.68182号 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;F.加杜奇。;里贝罗。 1 2008 开放Petri网:非确定性过程和组合性。 Zbl 1175.68269号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格 1 2008 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 15 2007 用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特 6 2007 开放Petri网的双相似性和行为保护重构。 Zbl 1214.68243号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 6 2007 开放流程的语义框架。 Zbl 1132.68042号 鲍尔丹,P。;Bracciali,A。;R.布鲁尼。 5 2007 循环高阶项图的重写演算。 Zbl 1125.68062号 保罗·巴尔丹;克拉拉·贝托利西;霍雷修·西尔斯泰;克洛德·基什内尔 4 2007 使用具有等价关系的图来建模具有名称迁移的计算。 Zbl 1278.68211号 保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 2 2007 粘合剂改写系统的工艺。 Zbl 1180.68165号 保罗·巴尔丹;安德烈亚·科拉迪尼;托比亚斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2006 Petri网的分布式展开。 Zbl 1180.68185号 保罗·巴尔丹;Stefan哈尔;巴巴拉·科尼格 6 2006 具有借用上下文的DPO转换的组合和分解。 Zbl 1156.68417号 保罗·巴尔丹;哈特穆特·埃里格;巴巴拉·科尼格 6 2006 具有等价关系的图的并发重写。 Zbl 1151.68503号 保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 2 2006 将事务绘制为流程。 Zbl 1156.68416号 保罗·巴尔丹;安德烈亚·科拉迪尼;卢西亚娜·福斯;法比奥·加杜奇 1 2006 基于确定性过程的开放Petri网的合成语义。 Zbl 1089.68068号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔 13 2005 循环高阶项图的重写演算。 Zbl 1272.68167号 贝托利西,C。;鲍尔丹,P。;西斯塔,H。;C·基什内尔。 5 2005 通过图转换指定和验证UML活动图。 Zbl 1111.68496号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 3 2005 开放系统的符号等价。 Zbl 1111.68530号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 2 2005 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 验证有限状态图文法:基于展开的方法。 Zbl 1099.68046号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 10 2004 验证图形转换系统的行为逻辑。 兹比尔1271.68167 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德·科尼格 1 2004 通过展开图转换系统为代码生成器生成测试用例。 Zbl 1116.68477号 保罗·巴尔丹;巴巴拉·科尼格;英戈·施蒂尔默 1 2004 预备网,阅读ARCS和展开:功能演示。 Zbl 1278.68210号 保罗·巴尔丹;罗伯托·布鲁尼;乌戈·蒙塔纳里 3 2003 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 3 2003 可分离Stone空间的一类合成域模型。 Zbl 1051.68102号 法比奥·阿莱西;保罗·巴尔丹;Furio Honsell 2 2003 一种用于分析图转换系统抽象的逻辑。 Zbl 1067.68095号 保罗·巴尔丹;巴巴拉·科尼格;伯恩哈德·科尼格 1 2003 通过统一实现相互模拟。 Zbl 1275.68100号 保罗·巴尔丹;安德烈亚·布拉夏利;罗伯托·布鲁尼 10 2002 近似图变换系统的行为。 Zbl 1028.68089号 保罗·巴尔丹;巴巴拉·科尼格 8 2002 图文法的互模拟等价性。 Zbl 1060.68050号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 4 2002 Petri网外壳中图文法的并发性。 兹比尔1263.68065 保罗·巴尔丹 1 2002 高级网络进程。 Zbl 1060.68078号 哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格;保罗·巴尔丹;瑞科·赫克尔 1 2002 MuTACLP:一种具有多种理论的时间推理语言。 Zbl 1012.68544号 保罗·巴尔丹;保罗·曼卡雷拉;亚历山德拉·拉斐塔;佛朗哥·都灵 1 2002 上下文Petri网、非对称事件结构和过程。 Zbl 1005.68103号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 41 2001 图变换系统的静态分析技术。 Zbl 1006.68529号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 18 2001 使用开放网络对反应系统进行组合建模。 Zbl 1006.68084号 鲍尔丹,P。;科拉迪尼,A。;埃里格·H·。;R.赫克尔。 7 2001 双推出图文法的展开是一个共同反映。 兹比尔0958.68081 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 2000 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;G.Michele Pinna 5 2000 上下文网络的历史保持互模拟。 Zbl 0966.68151号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 3 2000 图文法的展开和事件结构语义。 Zbl 0946.68087号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 1999 P/T上下文网络的事件结构语义:非对称事件结构。 Zbl 0902.68140号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 8 1998 通过泛空间刻画1-有界紧超度量空间之间的距离。 Zbl 0908.68099号 法比奥·阿莱西;保罗·巴尔丹 2 1998 泛函和非泛函度量域方程的解。 Zbl 0910.68130号 阿莱西,F。;鲍尔丹,P。;G·贝尔。;J.J.M.M.鲁顿。 8 1995 紧度量空间中的一个不动点定理。 Zbl 0873.68126号 法比奥·阿莱西;保罗·巴尔丹;吉安娜·贝尔 4 1995 所有引用出版物 前5名被引用出版物 全部的 前5名330位作者引用 40 保罗·巴尔丹 26 安德烈亚·科拉迪尼 23 巴巴拉·科尼格 18 法比奥·加杜奇 17 乌戈·蒙塔纳里。 16 菲利波·邦奇 12 罗伯托·布鲁尼 11 里贝罗,莱拉 9 哈特穆特·埃里格 8 里扎德·贾尼基 8 G.Michele Pinna 7 托马斯·查泰恩 7 Stefan哈尔 7 巴布亚州索波辛斯基 6 瑞科·赫克尔 6 托比亚斯·海因德尔 6 埃尔南·梅尔格拉蒂 6 斯特凡·施温 5 卢西亚娜·福斯 5 罗伯托·戈里埃里 5 蒙雷利,贾科玛·瓦伦蒂娜 5 费尔南多·奥雷哈斯 5 托马索帕多瓦 4 丹尼尔·戈拉 4 码头Kleijn 4 马西耶·库特尼 4 阿尔贝托·卢什·拉富恩特 4 玛丽亚姆·加法里·萨达特 4 伊万诺·萨尔沃 4 卢茨·施罗德 4 伊琳娜·B·维碧茨卡岩。 4 威尔德,保罗 3 法比奥·阿莱西 3 安德烈亚·克拉克·布拉夏利 3 费尔南多·路易斯·多蒂 3 卢西亚诺加西亚·巴努埃洛斯 3 霍尔格·吉斯 3 莫妮卡·海纳 3 弗兰克·赫尔曼 3 亚历克斯·基辛格 3 维塔利·科齐奥拉 3 莱恩·兰伯斯 3 乌卡斯·米库尔斯基 3 洛伊奇·波列维 3 伊恩·菲利普斯。 3 乌尔里克·普兰奇 3 罗德里格斯,塞萨尔·马林 2 萨米·阿贝斯 2 奥纳·安德烈 2 阿贝尔·阿玛斯·塞万提斯 2 克莱门·奥伯特 2 弗朗西斯科·巴西利 2 尼古拉斯·贝尔 2 阿尔伯特·本文尼斯特 2 克拉拉·贝托利西 2 伊利亚州卡斯特拉尼 2 伊奥娜·多姆尼纳·克里斯特斯库 2 达科斯塔,西蒙·安德雷 2 吉安马利亚·德·托马西 2 德博伊斯,瑟伦 2 雷娜·迪米特洛娃 2 马龙·杜马 2 理查德·艾格特 2 哈维尔·埃斯帕尔扎 2 埃里克·法布雷 2 卡斯滕·加布里埃尔 2 丹尼尔·格纳德 2 乌尔里克·戈拉斯 2 克劳迪奥·赫米达 2 托马斯·希尔德布兰特。 2 霍夫曼,约格 2 德克·霍夫曼 2 Furio Honsell 2 巴特·雅各布斯 2 克洛德·贾德 2 洛依格·杰泽奎尔 2 胜本,Shin-ya 2 赫莱内·基什内尔 2 艾瑞克·马德琳 2 鲁帕克·马朱姆达尔 2 玛丽亚·马克西莫娃 2 何塞·梅塞盖尔·瓜伊塔 2 卡洛·莫塔 2 佩德罗·诺拉 2 Daniela Luan Petrisan 2 波波瓦·齐格曼(Louchka Popova-Zeugmann) 2 克里斯托弗·波斯基特。 2 何塞·普伦萨 2 瓦希德·拉夫 2 阿德尔·拉赫曼尼(Adel T.Rahmani)。 2 米哈伊尔·拉斯金 2 朱里安·罗特 2 奥利维尔·H·鲁克斯。 2 弗拉迪米罗·萨松 2 斯文·施奈德 2 斯莱亚特,蒂杰斯 2 伊雷克·乌利多夫斯基 2 弗兰克·范·布鲁格尔 2 范格拉贝克、罗伯特·扬 2 丹尼尔·瓦拉卡 …还有230多名作者 全部的 前5名32篇连载文章中引用 38 理论计算机科学 19 程序设计中的逻辑和代数方法杂志 16 MSCS公司。计算机科学中的数学结构 11 信息与计算 11 计算机科学中的逻辑方法 8 信息学报 4 计算的形式方面 4 离散事件动态系统 3 计算机程序设计科学 3 逻辑与代数程序设计杂志 3 自然计算 2 Automatica公司 2 编程和计算机软件 2 应用的分类结构 1 人工智能 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 Quaestions数学 1 拓扑及其应用 1 欧洲组合数学杂志 1 符号计算杂志 1 系统设计中的形式化方法 1 应用数学。B系列(英文版) 1 工程中的数学问题 1 组合优化期刊 1 美国医学会杂志 1 计算机基础理论 1 不动点理论 1 浙江大学学报。科学A 1 非线性分析。混合动力系统 全部的 前5名18个领域被引用 243 计算机科学(68至XX) 34 范畴理论;同调代数(18-XX) 27 数学逻辑和基础(03-XX) 11 生物学和其他自然科学(92-XX) 9 系统论;控制(93至XX) 8 有序,格,有序代数结构(06-XX) 8 一般拓扑结构(54至XX) 7 运筹学、数学规划(90-XX) 5 组合数学(05-XX) 4 历史和传记(01-XX) 3 概率论与随机过程(60-XX) 2 动力系统和遍历理论(37至XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 群论与推广(20-XX) 1 算子理论(47-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文