×
作者ID: 巴尔丹·波洛Baldan,Paolo最近发表的zbMATH文章
发布日期: 保罗·巴尔丹;鲍尔丹,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 张林鹏

按年份列出的出版物

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名

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多名作者

按年份列出的引文