编辑配置文件(在新选项卡中打开) 沃尔特·福格勒 合著者距离 作者ID: 沃格勒·沃尔特 发布日期: 沃尔特·福格勒;沃格勒,W。 编入索引的文档: 114出版物自1984年以来,包括1本书 2作为编辑的贡献 传记参考: 1出版物 合著者: 45位合著者具有80联合出版物 698合著作者 全部的 前5名合著者 34 单作者的 20 杰拉尔德·吕特根 13 弗拉维奥·科拉迪尼 9 迪·贝拉迪尼、玛丽亚·丽塔 7 维克托·科门科 6 马克·施费尔 5 费伦茨·巴伊托 4 拉尔斯·詹纳 4 马西耶·库特尼 4 克里斯蒂安·斯塔尔 4 拉尔夫·沃洛夫斯基 3 芬德里奇、萨沙 3 阿内格丽特·哈贝尔 3 汉斯·约尔格·克鲁斯基 3 艾琳·辛科 2 埃尔玛·比勒 2 沃尔克·迪克特 2 约翰内斯·加里斯 2 戈尔德,罗伯特 2 亚历克斯·孔德拉提耶夫 2 德克·陶布纳 2 安蒂·瓦尔马里 1 布莱·博内 1 威尔弗里德·布劳尔 1 费德里科·布蒂 1 马西莫卡利斯托·德多纳托 1 莱因哈德·迪斯特尔 1 斯蒂芬·爱德华兹。 1 哈维尔·埃斯帕尔扎 1 鲁道夫·哈林 1 帕特里克·哈斯鲁姆 1 乔治·亨德利。 1 凯特琳·伊尔特根 1 彼得·扬查尔 1 里扎德·贾尼基 1 康萨,B。 1 库班(Marcos E.Kurbán)。 1 N.Tri Nguyen公司 1 彼得·尼伯特 1 曲洪阳 1 斯特凡·Römer 1 维塔利施耐德 1 亚历克斯·塞梅诺夫 1 西尔维·蒂埃鲍克斯 1 维斯特,多米尼克 1 亚历山大五世·雅科夫列夫。 全部的 前5名系列 15 理论计算机科学 14 信息学报 7 信息与计算 5 计算机基础理论 3 信息处理信件 3 图论杂志 1 离散应用数学 1 组合理论杂志。B系列 1 数学系统理论 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科 1 组合数学 1 欧洲理论计算机科学协会(EATCS)公报 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 系统设计中的形式化方法 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 全部的 前5名领域 109 计算机科学(68至XX) 9 组合数学(05-XX) 6 数学逻辑和基础(03-XX) 4 信息与通信理论、电路(94-XX) 3 群论与推广(20-XX) 2 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 有序,格,有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 96出版物有被引用625中的次345文件 引用人▼ 年份▼ Petri网的模块化结构和偏序语义。 Zbl 1293.68015号 沃尔特·福格勒 51 1992 麦克米兰展开算法的改进。 Zbl 1017.68085号 哈维尔·埃斯帕尔扎;斯特凡·Römer;沃尔特·福格勒 44 2002 Petri网展开的标准前缀。 Zbl 1072.68072号 维克托·科门科;马西耶·库特尼;沃尔特·福格勒 32 2003 公平测试。 Zbl 1109.68077号 阿伦德·伦辛克;沃尔特·福格勒 29 2007 具有读取弧的网络的展开和有限前缀。 兹伯利0940.68096 沃尔特·福格勒;亚历克斯·塞梅诺夫;亚历克斯·雅科夫列夫 19 1998 相互模拟和动作细化。 Zbl 0778.68060号 沃尔特·福格勒 18 1993 并发系统的定时测试。 Zbl 0833.68048号 沃尔特·福格勒 16 1995 部分顺序语义和读取弧。 兹伯利1016.68051 沃尔特·福格勒 15 2002 基于区间半词的失败语义是求精的同余。 Zbl 0723.68069号 沃尔特·福格勒 15 1991 比较异步系统与PAFAS的最坏情况效率。 Zbl 1034.68047号 弗拉维奥·科拉迪尼;沃尔特·福格勒;拉尔斯·詹纳 14 2002 决定历史保存的相似性。 Zbl 0769.68106号 沃尔特·福格勒 13 1991 Petri网中异步系统和读取弧的效率。 Zbl 1401.68235号 沃尔特·福格勒 12 1997 异步系统的效率、读弧和MUTEX问题。 Zbl 1026.68099号 沃尔特·福格勒 12 2002 模块化Petri网的故障语义和死锁。 Zbl 0642.68109号 沃尔特·福格勒 12 1989 超边替换生成的图集的可判定有界性问题。 Zbl 0706.68070号 A.哈贝尔。;Kreowski,H.-J。;沃格勒,W。 11 1991 超边替换图语言上决策问题的元定理。 Zbl 0674.68047号 阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 10 1989 相互模拟和动作细化。 Zbl 0773.68052号 沃尔特·福格勒 9 1991 密集时间内的快速异步系统。 Zbl 0974.68128号 詹纳,L。;沃格勒,W。 9 2001 无连通图的平方是顶点泛圈的。 Zbl 0664.05038号 乔治·亨德利;沃尔特·福格勒 9 1985 准备好并发模拟:这是合乎逻辑的! Zbl 1197.68053号 杰拉尔德·吕特根;沃尔特·福格勒 9 2010 痕迹的概括。 Zbl 0731.68083号 沃尔特·福格勒 9 1991 合并过程:Petri网行为的一种新的浓缩表示。 Zbl 1104.68072号 维克托·科门科;亚历克斯·孔德拉提耶夫;马西耶·库特尼;沃尔特·福格勒 9 2006 在立方时间内识别边缘替换图语言。 Zbl 0769.68078号 沃尔特·福格勒 8 1991 模态接口自动机。 Zbl 1272.68313号 杰拉尔德·吕特根;沃尔特·福格勒 8 2013 速度上的相互模拟:最坏情况下的效率。 兹比尔1074.68037 杰拉尔德·吕特根;沃尔特·福格勒 8 2004 过程上的连接:通过现成树语义进行完全抽象。 Zbl 1111.68085号 杰拉尔德·吕特根;沃尔特·福格勒 8 2007 执行:Petri网的一种新的部分顺序语义。 Zbl 0756.68076号 沃尔特·福格勒 7 1991 Petri网的行为保持改进。 Zbl 0643.68075号 沃尔特·福格勒 7 1987 使用逻辑LTS进行安全推理。 Zbl 1216.68193号 杰拉尔德·吕特根;沃尔特·福格勒 7 2011 关于泛图的一些注记。 Zbl 0619.05039号 莱因哈德·迪斯特尔;鲁道夫·哈林;沃尔特·福格勒 6 1985 具有乐观和悲观兼容性的更丰富的接口自动机。 Zbl 1325.68161号 杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 6 2015 展开技术的最新进展。 Zbl 1360.68628号 布莱·博内;帕特里克·哈斯鲁姆;维克托·科门科;西尔维·蒂埃鲍克斯;沃尔特·福格勒 6 2014 系统计算中动作的公平性。 Zbl 1097.68087号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 6 2006 具有非阻塞读取的进程代数中的时间和公平性。 Zbl 1206.68213号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 6 2009 分裂语言等价的极限。 Zbl 0855.68031号 沃尔特·福格勒 5 1996 公平性和偏序语义。 Zbl 0875.68622号 沃尔特·福格勒 5 1995 关于超边替换和BNLC图文法。 Zbl 0768.68186号 沃尔特·福格勒 5 1990 更快的异步系统。 Zbl 1054.68097号 沃尔特·福格勒 5 2003 非确定性模态接口。 Zbl 1345.68231号 费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 5 2016 用具有常链的图和超图来表示群。 Zbl 0632.05034号 沃尔特·福格勒 5 1986 基于跟踪和故障的响应语义。 Zbl 1304.68033号 沃尔特·福格勒;克里斯蒂安·斯塔尔;理查德·米勒 5 2014 时间Petri网:异步系统的效率。 Zbl 1105.68080号 埃尔玛·比勒;沃尔特·福格勒 5 2004 偏序语义和读弧。 Zbl 0941.68091号 沃尔特·福格勒 4 1997 密集时间内的快速异步系统。 Zbl 1046.68623号 拉尔斯·詹纳;沃尔特·福格勒 4 1996 公平测试和顽固设置。 Zbl 1354.68203号 安蒂·瓦尔马里;沃尔特·福格勒 4 2016 步骤失败语义。 Zbl 0612.68023号 德克·托布纳;沃尔特·福格勒 4 1987 具有给定群和给定常量链接的图。 Zbl 0534.05035号 沃尔特·福格勒 4 1984 接口自动机中的错误修剪。 Zbl 1422.68147号 费伦茨·巴伊托;沃尔特·福格勒 4 2014 非确定性模态接口。 Zbl 1345.68230号 费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 4 2015 STG分解的组件细化和CSC求解。 Zbl 1143.68055号 马克·谢弗;沃尔特·福格勒 4 2007 合并过程——Petri网行为的新浓缩表示。 Zbl 1134.68445号 维克托·科门科;亚历克斯·孔德拉提耶夫;马西耶·库特尼;沃尔特·福格勒 4 2005 公平进程代数中互斥算法的活性。 Zbl 1166.68030号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 4 2009 广义OM-模拟。 Zbl 0939.68920号 沃尔特·福格勒 3 1995 使用PAFAS测量异步系统的性能。 Zbl 1080.68076号 科拉迪尼,F。;沃格勒,W。 3 2005 关于超边替换和BNLC图文法。 兹比尔0789.68087 沃尔特·福格勒 3 1993 异步电路设计中的分解。 Zbl 1029.68006号 沃尔特·福格勒;拉尔夫·沃洛夫斯基 3 2002 速度上的相互模拟:一种统一的方法。 Zbl 1097.68585号 杰拉尔德·吕特根;沃尔特·福格勒 3 2005 对于超边缘替换图形语言,兼容的图形属性是可以判定的。 Zbl 0664.68076号 阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 3 1987 速度上的相互模拟:较低的时间界限。 兹比尔1126.68505 杰拉尔德·吕特根;沃尔特·福格勒 3 2004 STG分解策略与展开相结合。 Zbl 1183.68125号 维克托·科门科;马克·谢弗;沃尔特·福格勒;拉尔夫·沃洛夫斯基 3 2009 步骤失败语义和完整的证明系统。 Zbl 0689.68105号 德克·托布纳;沃尔特·福格勒 3 1989 MUTEX算法的自动分析FASE公司. Zbl 1457.68181号 费德里科·布蒂;马西莫卡利斯托·德多纳托;弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 3 2011 基于跟踪的服务语义保证了无死锁。 Zbl 1277.68206号 克里斯蒂安·斯塔尔;沃尔特·福格勒 3 2012 基于区间半词的失败语义是求精的同余。 Zbl 0729.68069号 沃尔特·福格勒 3 1990 速度上的相互模拟:一种统一的方法。 兹比尔1097.68097 杰拉尔德·吕特根;沃尔特·福格勒 3 2006 在过程代数中关联公平性和时间。 Zbl 1273.68253号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 3 2003 具有容量的位置/转换网络的偏序语义的质量标准。 Zbl 0766.68087号 戈尔德,罗伯特;沃尔特·福格勒 2 1992 接口自动机的无故障优化。 Zbl 1424.68088号 艾琳·辛科;沃尔特·福格勒 2 2018 异步进程的一种比关系更快的关系。 Zbl 1006.68076号 杰拉尔德·吕特根;沃尔特·福格勒 2 2001 速度上的相互模拟:较低的时间界限。 Zbl 1077.68064号 杰拉尔德·吕特根;沃尔特·福格勒 2 2005 确定标记图的STG分解。 Zbl 1128.68385号 马克·谢弗;沃尔特·福格勒;彼得·扬查尔 2 2005 接口自动机中的错误修剪。 Zbl 1328.68136号 费伦茨·巴伊托;沃尔特·福格勒 2 2015 准备好并发模拟:这是合乎逻辑的! Zbl 1171.68574号 杰拉尔德·吕特根;沃尔特·福格勒 2 2007 系统计算中组件的公平性。 Zbl 1092.68065号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 2 2006 改进了信号转换图的分解。 Zbl 1138.68472号 沃格勒,W。;康萨,B。 2 2007 公平地检查进程代数中的互斥算法。 Zbl 1151.68522号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 2 2006 ACTL用于模态接口自动机。 Zbl 1373.68296号 费伦茨·巴伊托;沃尔特·福格勒 2 2017 模态接口自动机。 Zbl 1272.68312号 杰拉尔德·吕特根;沃尔特·福格勒 2 2012 代币传递MUTEX解决方案的效率——一些实验。 Zbl 1510.68052号 埃尔玛·比勒;沃尔特·福格勒 2 1998 \(\operatorname的限制{拆分}_n\)-语言对等。 Zbl 1412.68157号 沃尔特·福格勒 1 1995 接口自动机的线性时间分支时间透视图。 Zbl 1443.68099号 沃尔特·福格勒;杰拉尔德·吕特根 1 2020 共享内存的接口自动机。 Zbl 1519.68118号 约翰内斯·加里斯;杰拉尔德·吕特根;艾琳·辛科;沃尔特·福格勒 1 2019 Petri网展开的规范前缀。 Zbl 1010.68094号 维克托·科门科;马西耶·库特尼;沃尔特·福格勒 1 2002 STG分解的组件细化和CSC求解。 Zbl 1118.68576号 马克·谢弗;沃尔特·福格勒 1 2005 跟踪同步性的本地检查。 Zbl 0652.68018号 沃尔克·迪克特;沃尔特·福格勒 1 1988 具有无限消息队列的开放系统一致性的不确定性。 Zbl 1371.68196号 理查德·米勒;克里斯蒂安·斯塔尔;沃尔特·福格勒 1 2014 系统计算中组件的公平性。 Zbl 1272.68296号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 1 2005 通过内部沟通避免不可减少的CSC冲突。 Zbl 1214.68253号 维斯特,多米尼克;拉尔夫·沃洛夫斯基;马克·谢弗;沃尔特·福格勒 1 2009 进程上的连接:通过现成树语义进行全抽象。 Zbl 1180.68196号 杰拉尔德·吕特根;沃尔特·福格勒 1 2006 公理化PAFAS片段。 Zbl 0970.68112号 沃尔特·福格勒;拉尔斯·詹纳 1 2000 过程代数中的读取操作符及其表达。 Zbl 1457.68183号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 1 2011 针对本地第一搜索的更强的缩减标准。 Zbl 1168.68386号 库班(Marcos E.Kurbán)。;彼得·尼伯特;曲洪阳;沃尔特·福格勒 1 2006 使用逻辑LTS进行安全推理。 Zbl 1206.68189号 杰拉尔德·吕特根;沃尔特·福格勒 1 2009 输出确定性和异步电路综合。 Zbl 1167.68042号 维克托·科门科;马克·谢弗;沃尔特·福格勒 1 2008 MIN缓存替换算法最优性的另一个简短证明。 Zbl 1193.68074号 沃尔特·福格勒 1 2008 共享内存的接口自动机。 Zbl 07592342号 艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 1 2022 共享内存的接口自动机。 兹伯利07592342 艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 1 2022 接口自动机的线性时间分支时间透视图。 Zbl 1443.68099号 沃尔特·福格勒;杰拉尔德·吕特根 1 2020 共享内存的接口自动机。 Zbl 1519.68118号 约翰内斯·加里斯;杰拉尔德·吕特根;艾琳·辛科;沃尔特·福格勒 1 2019 接口自动机的无故障优化。 Zbl 1424.68088号 艾琳·辛科;沃尔特·福格勒 2 2018 ACTL用于模态接口自动机。 Zbl 1373.68296号 费伦茨·巴伊托;沃尔特·福格勒 2 2017 非确定性模态接口。 Zbl 1345.68231号 费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 5 2016 公平的测试和顽固的设置。 Zbl 1354.68203号 安蒂·瓦尔马里;沃尔特·福格勒 4 2016 具有乐观和悲观兼容性的更丰富的接口自动机。 Zbl 1325.68161号 杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 6 2015 非确定性模态接口。 Zbl 1345.68230号 费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 4 2015 接口自动机中的错误修剪。 兹比尔1328.68136 费伦茨·巴伊托;沃尔特·福格勒 2 2015 展开技术的最新进展。 Zbl 1360.68628号 布莱·博内;帕特里克·哈斯鲁姆;维克托·科门科;西尔维·蒂埃鲍克斯;沃尔特·福格勒 6 2014 基于跟踪和故障的响应语义。 Zbl 1304.68033号 沃尔特·福格勒;克里斯蒂安·斯塔尔;理查德·米勒 5 2014 接口自动机中的错误修剪。 Zbl 1422.68147号 费伦茨·巴伊托;沃尔特·福格勒 4 2014 具有无限消息队列的开放系统一致性的不确定性。 Zbl 1371.68196号 理查德·米勒;克里斯蒂安·斯塔尔;沃尔特·福格勒 1 2014 模态接口自动机。 Zbl 1272.68313号 杰拉尔德·吕特根;沃尔特·福格勒 8 2013 基于跟踪的服务语义保证了无死锁。 Zbl 1277.68206号 克里斯蒂安·斯塔尔;沃尔特·福格勒 3 2012 模态接口自动机。 Zbl 1272.68312号 杰拉尔德·吕特根;沃尔特·福格勒 2 2012 使用逻辑LTS进行安全推理。 Zbl 1216.68193号 杰拉尔德·吕特根;沃尔特·福格勒 7 2011 MUTEX算法的自动分析FASE公司. Zbl 1457.68181号 费德里科·布蒂;马西莫卡利斯托·德多纳托;弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 3 2011 过程代数中的读取操作符及其表达。 Zbl 1457.68183号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 1 2011 准备好模拟并发:这是合乎逻辑的! Zbl 1197.68053号 杰拉尔德·吕特根;沃尔特·福格勒 9 2010 具有非阻塞读取的进程代数中的时间和公平性。 Zbl 1206.68213号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 6 2009 公平进程代数中互斥算法的活性。 Zbl 1166.68030号 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 4 2009 STG分解策略与展开相结合。 Zbl 1183.68125号 维克托·科门科;马克·谢弗;沃尔特·福格勒;拉尔夫·沃洛夫斯基 3 2009 通过内部沟通避免不可减少的CSC冲突。 Zbl 1214.68253号 维斯特,多米尼克;拉尔夫·沃洛夫斯基;马克·谢弗;沃尔特·福格勒 1 2009 使用逻辑LTS进行安全推理。 Zbl 1206.68189号 杰拉尔德·吕特根;沃尔特·福格勒 1 2009 输出确定性和异步电路综合。 Zbl 1167.68042号 维克托·科门科;马克·谢弗;沃尔特·福格勒 1 2008 MIN缓存替换算法最优性的另一个简短证明。 Zbl 1193.68074号 沃尔特·福格勒 1 2008 公平测试。 Zbl 1109.68077号 阿伦德·伦辛克;沃尔特·福格勒 29 2007 过程上的连接:通过现成树语义进行完全抽象。 兹比尔1111.68085 杰拉尔德·吕特根;沃尔特·福格勒 8 2007 STG分解的组件细化和CSC求解。 Zbl 1143.68055号 马克·谢弗;沃尔特·福格勒 4 2007 准备好并发模拟:这是合乎逻辑的! Zbl 1171.68574号 杰拉尔德·吕特根;沃尔特·福格勒 2 2007 改进了信号转换图的分解。 Zbl 1138.68472号 沃格勒,W。;康萨,B。 2 2007 合并进程:Petri网行为的一种新的浓缩表示。 Zbl 1104.68072号 维克托·科门科;亚历克斯·孔德拉提耶夫;马西耶·库特尼;沃尔特·福格勒 9 2006 系统计算中动作的公平性。 Zbl 1097.68087号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 6 2006 速度上的相互模拟:一种统一的方法。 Zbl 1097.68097号 杰拉尔德·吕特根;沃尔特·福格勒 3 2006 系统计算中组件的公平性。 Zbl 1092.68065号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 2 2006 检查进程代数中具有公平性的互斥算法。 兹比尔1151.68522 弗拉维奥·科拉迪尼;迪·贝拉迪尼、玛丽亚·丽塔;沃尔特·福格勒 2 2006 进程上的连接:通过现成树语义进行全抽象。 Zbl 1180.68196号 杰拉尔德·吕特根;沃尔特·福格勒 1 2006 局部优先搜索的归约标准更强。 Zbl 1168.68386号 库班(Marcos E.Kurbán)。;彼得·尼伯特;曲洪阳;沃尔特·福格勒 1 2006 合并过程——Petri网行为的新浓缩表示。 Zbl 1134.68445号 维克托·科门科;Kondratyev,亚历克斯;马西耶·库特尼;沃尔特·福格勒 4 2005 使用PAFAS测量异步系统的性能。 Zbl 1080.68076号 科拉迪尼,F。;沃格勒,W。 3 2005 速度上的相互模拟:一种统一的方法。 Zbl 1097.68585号 杰拉尔德·吕特根;沃尔特·福格勒 3 2005 速度上的相互模拟:较低的时间界限。 Zbl 1077.68064号 杰拉尔德·吕特根;沃尔特·福格勒 2 2005 确定标记图的STG分解。 Zbl 1128.68385号 马克·施费尔;沃尔特·福格勒;彼得·扬查尔 2 2005 STG分解的组件细化和CSC求解。 Zbl 1118.68576号 马克·谢弗;沃尔特·福格勒 1 2005 系统计算中组件的公平性。 Zbl 1272.68296号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 1 2005 速度上的相互模拟:最坏情况下的效率。 兹比尔1074.68037 杰拉尔德·吕特根;沃尔特·福格勒 8 2004 时间Petri网:异步系统的效率。 Zbl 1105.68080号 埃尔玛·比勒;沃尔特·福格勒 5 2004 速度上的双重刺激:较低的时间界限。 Zbl 1126.68505号 杰拉尔德·吕特根;沃尔特·福格勒 3 2004 Petri网展开的标准前缀。 Zbl 1072.68072号 维克托·科门科;马西耶·库特尼;沃尔特·福格勒 32 2003 更快的异步系统。 Zbl 1054.68097号 沃尔特·福格勒 5 2003 在过程代数中关联公平性和时间。 Zbl 1273.68253号 科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 3 2003 麦克米兰展开算法的改进。 Zbl 1017.68085号 哈维尔·埃斯帕尔扎;斯特凡·Römer;沃尔特·福格勒 44 2002 部分顺序语义和读取弧。 兹伯利1016.68051 沃尔特·福格勒 15 2002 比较异步系统与PAFAS的最坏情况效率。 Zbl 1034.68047号 弗拉维奥·科拉迪尼;沃尔特·福格勒;拉尔斯·詹纳 14 2002 异步系统的效率、读弧和MUTEX问题。 Zbl 1026.68099号 沃尔特·福格勒 12 2002 异步电路设计中的分解。 Zbl 1029.68006号 沃尔特·福格勒;拉尔夫·沃洛夫斯基 3 2002 Petri网展开的规范前缀。 Zbl 1010.68094号 维克托·科门科;马西耶·库特尼;沃尔特·福格勒 1 2002 密集时间内的快速异步系统。 兹伯利0974.68128 詹纳,L。;沃格勒,W。 9 2001 异步进程的一种比关系更快的关系。 Zbl 1006.68076号 杰拉尔德·吕特根;沃尔特·福格勒 2 2001 公理化PAFAS片段。 Zbl 0970.68112号 沃尔特·福格勒;拉尔斯·詹纳 1 2000 具有读取弧的网络的展开和有限前缀。 Zbl 0940.68096号 沃尔特·福格勒;亚历克斯·塞梅诺夫;亚历克斯·雅科夫列夫 19 1998 代币传递MUTEX解决方案的效率——一些实验。 Zbl 1510.68052号 埃尔玛·比勒;沃尔特·福格勒 2 1998 Petri网中异步系统和读取弧的效率。 Zbl 1401.68235号 沃尔特·福格勒 12 1997 偏序语义和读弧。 Zbl 0941.68091号 沃尔特·福格勒 4 1997 分裂语言等价的极限。 Zbl 0855.68031号 沃尔特·福格勒 5 1996 密集时间内的快速异步系统。 Zbl 1046.68623号 拉尔斯·詹纳;沃尔特·福格勒 4 1996 并发系统的定时测试。 Zbl 0833.68048号 沃尔特·福格勒 16 1995 公平性和偏序语义。 Zbl 0875.68622号 沃尔特·福格勒 5 1995 广义OM-模拟。 Zbl 0939.68920号 沃尔特·福格勒 3 1995 \(\operatorname的限制{拆分}_n\)-语言对等。 兹比尔1412.68157 沃尔特·福格勒 1 1995 相互模拟和动作细化。 Zbl 0778.68060号 沃尔特·福格勒 18 1993 关于超边替换和BNLC图文法。 Zbl 0789.68087号 沃尔特·福格勒 3 1993 Petri网的模块化结构和偏序语义。 Zbl 1293.68015号 沃尔特·福格勒 51 1992 具有容量的位置/转换网络的偏序语义的质量标准。 兹比尔0766.68087 戈尔德,罗伯特;沃尔特·福格勒 2 1992 基于区间半词的失败语义是求精的同余。 Zbl 0723.68069号 沃尔特·福格勒 15 1991 决定历史保存的相似性。 Zbl 0769.68106号 沃尔特·福格勒 13 1991 超边替换生成的图集的可判定有界性问题。 Zbl 0706.68070号 A.哈贝尔。;Kreowski,H.-J。;沃格勒,W。 11 1991 相互模拟和动作细化。 Zbl 0773.68052号 沃尔特·福格勒 9 1991 痕迹的概括。 Zbl 0731.68083号 沃尔特·福格勒 9 1991 以立方时间识别边缘替换图语言。 Zbl 0769.68078号 沃尔特·福格勒 8 1991 执行:一种新的Petri网偏序语义。 Zbl 0756.68076号 沃尔特·福格勒 7 1991 关于超边替换和BNLC图文法。 Zbl 0768.68186号 沃尔特·福格勒 5 1990 基于区间半词的失败语义是求精的同余。 Zbl 0729.68069号 沃尔特·福格勒 3 1990 模块化Petri网的故障语义和死锁。 Zbl 0642.68109号 沃尔特·福格勒 12 1989 超边替换图语言上决策问题的元定理。 Zbl 0674.68047号 阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 10 1989 步骤失败语义和完整的证明系统。 Zbl 0689.68105号 德克·托布纳;沃尔特·福格勒 3 1989 跟踪同步性的本地检查。 Zbl 0652.68018号 沃尔克·迪克特;沃尔特·福格勒 1 1988 Petri网的行为保持改进。 Zbl 0643.68075号 沃尔特·福格勒 7 1987 步骤失败语义。 Zbl 0612.68023号 德克·托布纳;沃尔特·福格勒 4 1987 对于超边缘替换图形语言,兼容的图形属性是可以判定的。 Zbl 0664.68076号 阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 3 1987 用具有常链接和超图的图表示群。 Zbl 0632.05034号 沃尔特·福格勒 5 1986 无连通图的平方是顶点泛圈的。 兹比尔0664.05038 乔治·亨德利;沃尔特·福格勒 9 1985 关于泛图的一些注记。 Zbl 0619.05039号 莱因哈德·迪斯特尔;鲁道夫·哈林;沃尔特·福格勒 6 1985 具有给定群和给定常量链接的图。 Zbl 0534.05035号 沃尔特·福格勒 4 1984 所有引用出版物 前5名被引用出版物 全部的 前5名431位作者引用 44 沃尔特·福格勒 16 保罗·巴尔丹 14 杰拉尔德·吕特根 13 弗拉维奥·科拉迪尼 12 马西耶·库特尼 11 范格拉贝克、罗伯特·扬 10 Stefan哈尔 10 里扎德·贾尼基 9 法兰克·德雷维斯 8 安德烈亚·科拉迪尼 8 G.Michele Pinna 7 维克托·科门科 7 斯特凡·施温 6 托马斯·查泰恩 6 乔斯特·恩格尔弗里特 6 罗伯托·戈里埃里 6 卡洛斯·格雷戈里奥·罗德里格斯 6 洛伊奇·波列维 6 伊琳娜·B·维碧茨卡岩。 5 戴维·德·弗鲁托斯·埃斯克里格 5 雷蒙德·魔鬼队 5 乌里·法伦贝格 5 乌苏拉·戈尔茨 5 码头Kleijn 5 乌卡斯·米库尔斯基 5 乌戈·蒙塔纳里。 5 克里斯蒂安·斯塔尔 4 卢卡·埃特罗 4 迪·贝拉迪尼、玛丽亚·丽塔 4 芬德里奇、萨沙 4 克里斯蒂安·约翰森 4 汉娜·克劳代尔 4 巴巴拉·科尼格 4 罗马人奈德拉 4 大卫·萨贝尔 4 吉·斯尔巴 4 乔治·斯特鲁斯 4 张金金 4 张燕 4 朱兆辉 3 最好的,艾克 3 马里奥·布拉维蒂 3 费伦茨·巴伊托 3 纳迪亚·布西 3 布鲁诺·库塞尔 3 法比奥·加杜奇 3 丹尼尔·格纳德 3 阿内格丽特·哈贝尔 3 轩尼诗,Matthew C.B。 3 伯特霍尔德·霍夫曼 3 霍夫曼,约格 3 Anna Ingólfsdóttir 3 拉德哈·贾加迪桑 3 尤拉杰·科尔查克 3 汉斯·约尔格·克鲁斯基 3 米拉·塞德尔巴姆少校。 3 马克·米纳斯 3 尼尔森,莫根斯 3 卢卡·帕多瓦尼 3 马可·皮斯托雷 3 法兰克·波默罗 3 罗德里格斯,塞萨尔·马林 3 Schicke、Jens Wolfhard 3 Schmidt Schauß,曼弗雷德 3 马克·奥利弗·斯特尔 3 安蒂·瓦尔马里 3 熊立明 3 吉安路易吉·扎瓦塔罗 2 克莱门·奥伯特 2 米歇尔·鲍德龙 2 罗宾·伯根图姆 2 菲利波·邦奇 2 布莱·博内 2 米歇尔·博雷尔 2 博振科娃(Elena N.Bozhenkova)。 2 罗伯托·布鲁尼 2 乔瓦尼·卡苏 2 兰斯·克莱维兰 2 洛科·德尼古拉 2 德奥利维拉·奥利维拉,马特乌斯 2 埃里克·P·德文克。 2 德塞尔,约格 2 沃尔克·迪克特 2 莱因哈德·迪斯特尔 2 简·埃克斯坦 2 埃里克·法布雷 2 吉安·路易吉,法拉利 2 威廉·扬·福克金 2 Fröschle,Sibylle B。 2 戈尔德,罗伯特 2 葡萄藤古普塔 2 帕特里克·哈斯鲁姆 2 洛依茨海露 2 罗尔夫·亨尼克 2 琳达·海克 2 彼得·霍夫纳 2 彼得·扬查尔 2 克洛德·贾德 2 拉利塔·A·贾特冈卡尔。 2 彼得·格约尔·詹森 …还有331名作者 全部的 前5名在45篇连载文章中被引用 51 理论计算机科学 34 信息学报 33 信息与计算 13 程序设计中的逻辑和代数方法杂志 12 离散数学 12 信息处理信件 8 MSCS公司。计算机科学中的数学结构 7 计算机与系统科学杂志 5 编程和计算机软件 5 系统设计中的形式化方法 5 逻辑与代数程序设计杂志 5 计算机科学中的逻辑方法 4 计算的形式方面 4 离散事件动态系统 3 信息科学 2 人工智能 2 斯洛伐克数学 2 数学系统理论 2 分布式计算 2 RAIRO公司。Informatique Théorique et Applications公司 2 计算机基础理论 2 自然计算 1 离散应用数学 1 应用数学与计算 1 捷克斯洛伐克数学期刊 1 组合理论杂志。B系列 1 图论杂志 1 日本科学院院刊。系列A 1 欧洲组合数学杂志 1 计算机程序设计科学 1 算法 1 自动推理杂志 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 组合数学电子杂志 1 工程中的数学问题 1 软计算 1 美国医学会杂志 1 数据挖掘与知识发现 1 RAIRO公司。理论信息学及其应用 1 应用数学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 中国科学。F系列 1 Modelirovanie i Analiz信息系统 全部的 前5名在20个字段中引用 320 计算机科学(68至XX) 34 数学逻辑和基础(03-XX) 26 组合数学(05-XX) 5 有序,格,有序代数结构(06-XX) 5 生物学和其他自然科学(92-XX) 5 系统论;控制(93至XX) 4 运筹学、数学规划(90-XX) 3 范畴理论;同调代数(18-XX) 3 群论与推广(20-XX) 2 一般代数系统(08-XX) 2 动力系统和遍历理论(37至XX) 1 结合环与代数(16-XX) 1 偏微分方程(35-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文