编辑配置文件（在新选项卡中打开） 吉·斯尔巴 合著者距离 作者ID： 斯巴·吉里 发布日期： 吉·斯尔巴;吉尔·斯尔巴;斯尔巴，J。;吉里·斯尔巴 更多。。。较少的 已编制索引的文档： 81出版物自1998年以来，包括1本书 4作为编辑的贡献 合著者： 82位合著者具有66联合出版物 1128位合作作者 全部的 前5名合著者 19 单作者的 34 金·古德斯特兰·拉森 15 彼得·格约尔·詹森 7 尼古拉·贝内什 7 简·Křetínsk 6 弗雷德里克·梅耶·伯内兰 6 瑟伦·埃内沃德森 6 Møller、Mikael Harkjær 6 马尔科·穆尼兹 4 伊莎贝拉·考夫曼 三 安德烈亚斯·恩格尔布雷特·达尔斯加德 三 拉塞·雅各布森 三 雅各布森，莫顿 三 彼得·扬查尔 三 Lasse S.延森。 三 Juhl，Line公司 三 尼尔森，莫根斯 三 尼尔森，Søren M。 2 Aceto，卢卡 2 亚历山大·比尔格拉姆 2 雅各布·迪尔 2 乌里·法伦贝格 2 彼得·福格 2 汉斯·休特尔 2 Anna Ingólfsdóttir 2 托拜厄斯·杰普森。 2 麦德斯·约翰森 2 约根森、肯尼思·伊尔克 2 Ondřej，克里马 2 西蒙·劳尔森 2 何塞·安东尼奥·马特奥 2 Mads Christian奥列森 2 塞缪尔·帕斯特瓦 2 伊戈尔·波塔波夫 2 弗拉迪米罗·萨松 2 斯特凡·施密德 2 斯科特·斯莫尔卡。 2 瑟伦森，马蒂亚斯·格兰德 2 Peter H.Taankvist。 2 尼古拉·延森·乌尔里克 1 塞巴斯蒂安·鲍尔。 1 彼得·贝兹克 1 帕特里夏·鲍耶 1 约阿金·比格 1 伊万娜·乔纳 1 亚历山大·戴维 1 乔治·德尔扎诺 1 马丁·迪德里克森 1 哈维尔·埃斯帕尔扎 1 马蒂亚斯·克劳斯·詹森 1 尼克拉斯·约翰森。 1 乔恩·詹森，雅各布 1 乔纳森·昂勒。 1 Jurdziński，马钦 1 Kr，Lasse B。 1 卡拉、希亚姆·拉尔 1 安德烈·伊昂·卡托纳 1 斯特凡·基弗 1 莫顿Konggaard Schou 1 莫滕·库纳里奇 1 桑奇·D·L·喇嘛。 1 Legay、Axel 1 弗雷德里克·洛特鲁普。 1 安德烈亚斯·马德森。 1 安德斯·马里加德 1 尼古拉斯·马基 1 马吕斯·米库西奥尼斯 1 克里斯托夫·莫斯加德 1 法隆·莫勒 1 克里斯蒂安·尼尔森。 1 尼尔斯·诺加德·萨缪尔森 1 德克·诺沃特卡 1 克里斯蒂安·席林 1 尼古拉斯·施内普夫 1 斯特凡·施温 1 沙哈卜·沙贾拉特 1 所罗门·西克特 1 托马斯·斯蒂格·雅各布森 1 拉斯穆斯·托尔伦德。 1 范·杜伊恩（音） 1 胡安·瓦内里 1 Sine Viesmose Birch公司 1 Simon Mejlby，Virenfeldt 全部的 前5名系列 4 理论计算机科学 三 信息与计算 三 计算机基础理论 三 程序设计中的逻辑与代数方法杂志 2 信息学报 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 自动推理杂志 1 美国医学会杂志 1 欧洲理论计算机科学协会公报 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 84 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 总体主题；集合（00-XX） 三 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 群论与推广（20-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 61出版物有被引用423中的次279文件 引用人▼ 年份▼ 无限在能量约束的加权时间自动机中运行。 Zbl 1171.68524号 帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;吉·斯尔巴 57 2008 无功系统。建模、规范和验证。 Zbl 1141.68043号 卢卡·埃特罗;Anna Ingólfsdóttir;Larsen，Kim G。;吉·斯尔巴 55 2007 多权自动机中的能量博弈。 Zbl 1350.68168号 乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 19 2011 无限结果的路线图。 Zbl 1065.68073号 吉·斯尔巴 17 2004 高度确定的下推自动机。 Zbl 1147.68562号 德克·诺沃特卡;吉·斯尔巴 15 2007 连续时间参数时间自动机的语言空虚性。 Zbl 1440.68150号 尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴 15 2015 TAPAAL 2.0：时弧Petri网的集成开发环境。 Zbl 1352.68181号 亚历山大·戴维;拉塞·雅各布森;莫滕·雅各布森;约根森、肯尼思·伊尔克;米凯尔·H·默勒。;吉·斯尔巴 14 2012 论模态转换系统中的决定论。 Zbl 1186.68314号 北卡罗来纳州贝内什。;Křetínsk \345]，J。;拉森，K.G。;斯尔巴，J。 13 2009 基本并行过程的强相似性和正则性是PSPACE难以实现的。 Zbl 1054.68096号 吉·斯尔巴 13 2002 多米诺骨牌游戏的不确定性和hhp双相似性。 Zbl 1054.68094号 Jurdziński，马钦;尼尔森，莫根斯;吉·斯尔巴 11 2003 防守者的逼迫无法决定是否存在双重相似性。 兹比尔1326.68199 彼得·扬查尔;吉·斯尔巴 9 2008 完成EXPTIME-检查模态转换系统的彻底细化。 Zbl 1250.68117号 尼古拉·贝内什;Křetínský，简;Larsen，Kim G。;吉·斯尔巴 9 2009 用结构化标签扩展模态转换系统。 Zbl 1277.68160号 塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴 9 2012 时弧Petri网的验证。 Zbl 1298.68175号 拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。;吉·斯尔巴 9 2011 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴 8 2011 基本过程代数的强双相似性和正则性是PSPACE-难的。 Zbl 1057.68071号 吉·斯尔巴 8 2002 无限结果的路线图。 Zbl 1169.68554号 吉·斯尔巴 7 2002 双相似性算法。 Zbl 1285.68101号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;吉尔·斯尔巴 7 2012 简化CTL公式以有效检查Petri网的模型。 Zbl 1427.68161号 弗雷德里克·伯内兰;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴 7 2018 基于离散化的时弧Petri网博弈实时策略综合。 Zbl 1354.68196号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 5 2016 部分可观测性下的同步策略。 Zbl 1417.68129号 金·古德斯特兰·拉森;西蒙·劳尔森;吉·斯尔巴 5 2014 在可视下推自动机上超越语言等价性。 Zbl 1164.68018号 吉·斯尔巴 5 2009 比较时间自动机和Petri网时间扩展的表达能力。 兹比尔1171.68579 吉·斯尔巴 5 2008 具有重量间隔的模态转换系统。 Zbl 1243.68215号 Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 5 2012 时间弧Petri网与时间自动机网络。 兹比尔1128.68069 吉·斯尔巴 5 2005 两层可达博弈的顽固集约简。 Zbl 1501.68002号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 5 2021 下推过程弱双相似性的不确定性。 Zbl 1012.68138号 吉·斯尔巴 5 2002 简单过程代数的强双相似性：复杂性下界。 Zbl 1060.68081号 吉·斯尔巴 5 2003 Petri网的顽固与结构简化。 Zbl 1407.68330号 弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴 5 2019 可达性博弈的部分降阶。 Zbl 07649931号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 BPA和BPP的弱双相似性和正则性的复杂性。 Zbl 1260.68278号 吉·斯尔巴 4 2003 关于过渡系统中标签的力量。 Zbl 1006.68091号 吉·斯尔巴 4 2001 EXPTIME-对模态转换系统进行彻底细化的完整性。 Zbl 1282.68118号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;吉·斯尔巴 4 2012 扩展依赖关系图和高效的分布式定点计算。 Zbl 1393.68098号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 4 2017 当时间紧迫时开始修剪：定时系统的部分订单减少。 兹比尔1511.68180 弗雷德里克·伯内兰。;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 4 2018 PTrie：通过前缀共享压缩和存储集合的数据结构。 兹比尔1444.68063 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 三 2017 具有持续时间的双价格模式转换系统。 Zbl 1352.68144号 尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;吉·斯尔巴 三 2012 通过Petri游戏自动合成暂时正确的网络更新。 Zbl 1489.68157号 马丁·迪德里克森;彼得·詹森（Peter G.Jensen）。;乔纳森·昂勒。;安德烈·伊昂·卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈卜·沙贾拉特;吉·斯尔巴 三 2021 可视下推自动机：从语言等价到模拟和互模拟。 Zbl 1225.68104号 吉·斯尔巴 三 2006 分布式时弧Petri网的性质。 Zbl 1052.68639号 尼尔森，莫根斯;弗拉迪米罗·萨松;吉尔·斯尔巴 三 2001 扩展依赖图的分布式定点算法。 Zbl 1396.68070号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 三 2018 参数模态转换系统的精化检查。 Zbl 1309.68130号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;Møller，Mikael H。;所罗门·西克特;吉·斯尔巴 三 2015 部分可观测条件下加权同步的多项式时间可判定性。 Zbl 1374.68260号 克雷廷斯基，简;金·古德斯特兰·拉森;西蒙·劳森;吉里·斯尔巴 2 2015 有色Petri网展开的改进。 Zbl 07670973号 亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 2 2021 依赖图上不动点的分布式计算。 Zbl 1393.68099号 安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 2 2016 分支多权逻辑的模型检查与综合。 Zbl 1423.68284号 延森，L.S。;考夫曼，I。;拉森，K.G。;尼尔森，S.M。;斯尔巴，J。 2 2019 抽象依赖图及其在模型检查中的应用。 兹比尔1527.68127 瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 2 2019 扩展时间自动机的紧急部分降阶。 Zbl 1517.68259号 Larsen，Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 2 2020 时间弧Petri网模型检验的区间抽象精化。 Zbl 1448.68321号 Sine Viesmose Birch公司;托马斯·斯蒂格·雅各布森;乔恩·詹森，雅各布;克里斯托夫·莫斯加德;尼尔斯·诺加德·萨缪尔森;吉·斯尔巴 1 2014 TCTL提供从时间弧Petri网到时间自动机网络的转换。 Zbl 1359.68216号 约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;Møller、Mikael Harkjær;吉·斯尔巴 1 2014 简单加密协议中的递归与复制。 Zbl 1117.94320号 汉斯·休特尔;吉·斯尔巴 1 2005 关于互模拟的计算复杂性，redux。 兹比尔1074.68038 法隆·莫勒;斯科特·斯莫尔卡;吉·斯尔巴 1 2004 PA过程弱双相似性的不确定性。 Zbl 1015.68133号 吉尔·斯尔巴 1 2003 无上下文进程代数中的死锁状态。 Zbl 0917.68153号 吉·斯尔巴 1 1998 具有无限下降链的权重域上的跨过程数据流分析。 Zbl 1234.68219号 莫滕·库纳里奇;斯特凡·施温;吉·斯尔巴;斯特凡·基弗 1 2009 扩展乒乓协议的可决定性问题。 Zbl 1107.68042号 汉斯·休特尔;吉·斯尔巴 1 2006 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 Zbl 1371.68012号 1 2016 时间弧工作流网络的健全性。 Zbl 1334.90064号 何塞·安东尼奥·马特奥;吉·斯尔巴;瑟伦森，马蒂亚斯·格兰德 1 2014 弹性容量感知路由。 Zbl 1467.68013号 斯特凡·施密德;尼古拉·施奈普夫;吉·斯尔巴 1 2021 BPA和BPP的弱双相似性和正则性的复杂性。 Zbl 1088.68134号 吉·斯尔巴 1 2003 关于交换跃迁系统的tableau技术的注记。 Zbl 1077.68718号 吉·斯尔巴 1 2002 两层可达博弈的顽固集约简。 Zbl 1501.68002号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 5 2021 通过Petri游戏自动合成暂时正确的网络更新。 Zbl 1489.68157号 马丁·迪德里克森;彼得·詹森（Peter G.Jensen）。;乔纳森·昂勒。;安德烈·伊安，卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈拉特，沙哈布;吉·斯尔巴 三 2021 彩色Petri网展开的改进。 Zbl 07670973号 亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 2 2021 弹性容量感知路由。 Zbl 1467.68013号 斯特凡·施密德;尼古拉斯·施奈普夫;吉·斯尔巴 1 2021 扩展时间自动机的紧急部分降阶。 Zbl 1517.68259号 Larsen，Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 2 2020 Petri网的顽固与结构简化。 Zbl 1407.68330号 弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴 5 2019 可达性博弈的部分降阶。 Zbl 07649931号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 分支多权逻辑的模型检查与综合。 Zbl 1423.68284号 延森，L.S。;考夫曼，I。;拉森，K.G。;尼尔森，S.M。;斯尔巴，J。 2 2019 抽象依赖图及其在模型检查中的应用。 Zbl 1527.68127号 瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 2 2019 简化CTL公式以有效检查Petri网的模型。 Zbl 1427.68161号 弗雷德里克·伯内兰;雅各布·戴尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴 7 2018 当时间紧迫时开始修剪：定时系统的部分降阶。 兹比尔1511.68180 弗雷德里克·伯内兰。;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 4 2018 扩展依赖图的分布式定点算法。 Zbl 1396.68070号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 三 2018 扩展依赖关系图和高效的分布式定点计算。 Zbl 1393.68098号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 4 2017 PTrie：通过前缀共享压缩和存储集合的数据结构。 Zbl 1444.68063号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 三 2017 基于离散化的时弧Petri网博弈实时策略综合。 Zbl 1354.68196号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 5 2016 依赖图上不动点的分布式计算。 Zbl 1393.68099号 安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 2 2016 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 Zbl 1371.68012号 1 2016 连续时间参数时间自动机的语言空虚性。 Zbl 1440.68150号 尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴 15 2015 参数模态转换系统的精化检查。 Zbl 1309.68130号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;Møller，Mikael H。;所罗门·西克特;吉·斯尔巴 三 2015 部分可观测性下加权同步的多项式时间判定性。 Zbl 1374.68260号 简·克雷汀斯基;金·古德斯特兰·拉森;西蒙·劳尔森;吉里·斯尔巴 2 2015 部分可观测性下的同步策略。 Zbl 1417.68129号 金·古德斯特兰·拉森;西蒙·劳尔森;吉·斯尔巴 5 2014 时间弧Petri网模型检验的区间抽象精化。 Zbl 1448.68321号 Sine Viesmose Birch公司;托马斯·斯蒂格·雅各布森;乔恩·詹森，雅各布;克里斯托夫·莫斯加德;尼尔斯·诺加德·萨缪尔森;吉·斯尔巴 1 2014 TCTL提供从时间弧Petri网到时间自动机网络的转换。 Zbl 1359.68216号 约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;Møller、Mikael Harkjær;吉·斯尔巴 1 2014 时间弧工作流网络的健全性。 Zbl 1334.90064号 何塞·安东尼奥·马特奥;吉·斯尔巴;瑟伦森，马蒂亚斯·格兰德 1 2014 TAPAAL 2.0：时弧Petri网的集成开发环境。 Zbl 1352.68181号 大卫，亚历山大;拉塞·雅各布森;莫滕·雅各布森;约根森、肯尼思·伊尔克;米凯尔·H·默勒。;吉·斯尔巴 14 2012 使用结构化标签扩展模态转换系统。 Zbl 1277.68160号 塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴 9 2012 双相似性算法。 Zbl 1285.68101号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;吉尔·斯尔巴 7 2012 具有重量间隔的模态转换系统。 兹比尔1243.68215 Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 5 2012 EXPTIME-对模态转换系统进行彻底细化的完整性。 Zbl 1282.68118号 尼古拉·贝内什;Křetínský，简;Larsen，Kim G。;吉·斯尔巴 4 2012 具有持续时间的双价格模态转换系统。 Zbl 1352.68144号 尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;吉·斯尔巴 三 2012 多权自动机中的能量博弈。 兹比尔1350.68168 乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 19 2011 时弧Petri网的验证。 Zbl 1298.68175号 拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。;吉·斯尔巴 9 2011 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什;简·Křetínsk \345];Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴 8 2011 论模态转换系统中的决定论。 Zbl 1186.68314号 北卡罗来纳州贝内什。;Křetínsk \345]，J。;拉森，K.G。;斯尔巴，J。 13 2009 完成EXPTIME-检查模态转换系统的彻底细化。 Zbl 1250.68117号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;吉·斯尔巴 9 2009 在可视下推自动机上超越语言等价性。 Zbl 1164.68018号 吉·斯尔巴 5 2009 具有无限下降链的权重域上的跨过程数据流分析。 Zbl 1234.68219号 莫滕·库纳里奇;斯特凡·施温;吉·斯尔巴;斯特凡·基弗 1 2009 无限在能量约束的加权时间自动机中运行。 Zbl 1171.68524号 帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;吉·斯尔巴 57 2008 防守者的逼迫无法决定是否存在双重相似性。 Zbl 1326.68199号 彼得·扬查尔;吉·斯尔巴 9 2008 比较时间自动机和Petri网时间扩展的表达能力。 兹比尔1171.68579 吉·斯尔巴 5 2008 无功系统。建模、规范和验证。 Zbl 1141.68043号 Aceto，卢卡;Ingólfsdóttir，安娜;Larsen，Kim G。;吉·斯尔巴 55 2007 高度确定的下推自动机。 Zbl 1147.68562号 德克·诺沃特卡;吉·斯尔巴 15 2007 可视下推自动机：从语言等价到模拟和互模拟。 Zbl 1225.68104号 吉·斯尔巴 三 2006 扩展乒乓协议的可决定性问题。 Zbl 1107.68042号 汉斯·休特尔;吉·斯尔巴 1 2006 时间弧Petri网与时间自动机网络。 兹比尔1128.68069 吉·斯尔巴 5 2005 简单加密协议中的递归与复制。 Zbl 1117.94320号 汉斯·休特尔;吉·斯尔巴 1 2005 无限结果的路线图。 Zbl 1065.68073号 吉·斯尔巴 17 2004 关于互模拟的计算复杂性，redux。 Zbl 1074.68038号 法隆·莫勒;斯科特·斯莫尔卡;吉·斯尔巴 1 2004 多米诺骨牌游戏的不确定性和hhp双相似性。 Zbl 1054.68094号 Jurdziński，马钦;尼尔森，莫根斯;吉·斯尔巴 11 2003 简单过程代数的强双相似性：复杂性下界。 Zbl 1060.68081号 吉·斯尔巴 5 2003 BPA和BPP的弱双相似性和正则性的复杂性。 Zbl 1260.68278号 吉·斯尔巴 4 2003 PA过程弱双相似性的不确定性。 Zbl 1015.68133号 吉尔·斯尔巴 1 2003 BPA和BPP的弱双相似性和正则性的复杂性。 Zbl 1088.68134号 吉·斯尔巴 1 2003 基本并行过程的强相似性和正则性是PSPACE难以实现的。 Zbl 1054.68096号 吉·斯尔巴 13 2002 基本过程代数的强双相似性和正则性是PSPACE-难的。 Zbl 1057.68071号 吉·斯尔巴 8 2002 无限结果的路线图。 兹比尔1169.68554 吉·斯尔巴 7 2002 下推过程弱双相似性的不确定性。 Zbl 1012.68138号 吉·斯尔巴 5 2002 关于交换跃迁系统的tableau技术的注记。 兹比尔1077.68718 吉·斯尔巴 1 2002 关于过渡系统中标签的力量。 Zbl 1006.68091号 吉·斯尔巴 4 2001 分布式时弧Petri网的性质。 Zbl 1052.68639号 尼尔森，莫根斯;弗拉迪米罗·萨松;吉尔·斯尔巴 三 2001 无上下文进程代数中的死锁状态。 Zbl 0917.68153号 吉·斯尔巴 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名424位作者引用 41 金·古德斯特兰·拉森 30 吉·斯尔巴 21 乌里·法伦贝格 18 Legay、Axel 13 彼得·扬查尔 12 卢卡·埃特罗 12 帕特里夏·鲍耶 12 阿德里安·弗兰卡兰扎 11 Anna Ingólfsdóttir 11 尼古拉斯·马基 10 彼得·格约尔·詹森 10 萨沃米尔·拉索塔 8 埃蒂安·安德烈 8 米凯尔·兰多尔 7 克里希南德·查特吉 6 尼古拉·贝内什 6 贝诺·德拉哈耶 6 Zdeněk萨瓦 5 Fröschle，Sibylle B。 5 洛依茨海露 5 Juhl，Line公司 5 安东宁·库切拉 5 迪诺·曼德里奥利 5 拉杜·马达尔 5 理查德·梅尔（Richard M.Mayr）。 5 马尔科·穆尼兹 5 Jean-François拉斯金 5 安德烈·索夫斯基 4 安东尼斯·阿奇利奥斯 4 弗雷德里克·梅耶·伯内兰 4 曹永志 4 伊恩·卡萨尔 4 伊万娜·乔纳 4 米罗斯拉夫·奇·伊里奇。 4 劳伦特·多恩 4 彼得·霍夫曼 4 Janoušek，扬 4 简·Křetínsk \345] 4 博伊沃伊·梅利查 4 米克尔·莱克·佩德森 4 马蒂奥·普拉德拉 4 卡斯滕·沃尔夫 三 尼古拉斯·阿马特 三 乔瓦尼·巴奇 三 保罗·巴尔丹 三 塞巴斯蒂安·鲍尔。 三 彼得·贝兹克 三 达尔·齐利奥（Dal Zilio，Silvano） 三 曼弗雷德·德罗斯特 三 托马斯·弗洛里 三 罗伯托·戈里埃里 三 米克尔·汉森 三 罗尔夫·亨尼克 三 伊格尼亚托维奇（Jelena Ignjatović） 三 Joost-Pieter卡托恩 三 Stéphane勒鲁 三 Møller、Mikael Harkjær 三 托马斯·内勒 三 维塔利·佩雷沃什奇科夫 三 皮埃尔·阿莱·雷尼尔 三 蒂里·米格（Yann Thierry-Mieg） 三 帕特里克·托茨克 三 路易斯·马里·特劳努埃兹 三 Tim A.C.Willemse。 三 詹姆斯·沃雷尔。 三 薛冰田 三 马丁·齐默尔曼 2 阿克西，S。 2 艾丁·戈尔（Ebru Aydin Gol） 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 巴博萨、路易斯·索亚雷斯 2 JiříBarnat 2 巴西奇，米兰 2 雅罗斯拉夫·本迪克 2 马西莫·贝内雷切蒂 2 米哈伊尔·贝林科夫。 2 贝尔纳多·贝托米乌 2 亚历山大·比尔格拉姆 2 贝内迪克特·博利格 2 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 2 沃伊切赫，切尔文斯基 2 Damljanović，纳达 2 黛拉·莫妮卡，达里奥 2 丹尼尔·德尔尔巴 2 伊格纳西奥·法布雷加斯 2 亚历山德罗·范特奇 2 罗伯特·费伦斯 2 亨宁费尔瑙 2 马丁·范策尔 2 保罗·加斯丁 2 庆蒂里尼、拉斐拉 2 格内西、斯特凡尼亚 2 斯特凡·格勒 2 弗雷德里克·赫布雷托 2 彼得·赫夫纳 2 汉斯·休特尔 2 Iliopoulos，Costas S。 2 拉塞·雅各布森 2 莫滕·雅各布森 2 伊万娜·扬契奇 …还有324位作者 全部的 前5名34篇连载文章中引用 26 理论计算机科学 21 信息与计算 16 程序设计中的逻辑与代数方法杂志 14 计算机科学中的逻辑方法 9 信息学报 8 计算机与系统科学杂志 7 系统设计中的形式化方法 7 计算机基础理论 6 信息处理信件 6 MSCS公司。计算机科学中的数学结构 5 逻辑与代数程序设计杂志 4 计算的形式方面 三 信息科学 三 软计算 2 模糊集与系统 2 算法 2 国际近似推理杂志 2 计算系统理论 1 人工智能 1 应用数学与计算 1 组合理论杂志。B系列 1 凯贝内提卡 1 SIAM计算机杂志 1 Studia Logica公司 1 合成 1 分布式计算 1 控制论与系统分析 1 菲洛马 1 数学与人工智能年鉴 1 美国医学会杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 离散算法杂志 1 计算机科学评论 全部的 前5名13个领域引用 269 计算机科学（68至XX） 66 数学逻辑和基础（03-XX） 37 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 系统论；控制（93至XX） 4 组合数学（05-XX） 4 概率论与随机过程（60-XX） 4 运筹学、数学规划（90-XX） 2 阶、格、有序代数结构（06-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 范畴理论；同调代数（18-XX） 1 数论（11-XX） 1 流体力学（76-XX） 1 数学教育（97-XX） 按年份列出的引文