编辑配置文件（在新选项卡中打开） 威廉·扬·福克金 合著者距离 作者ID： 福克金·威廉姆詹 发布日期： Wan Fokkink公司;W.J.福克金。;万·J·福克金。;福建省;福克金，W。;威廉·扬·福克金 更多。。。较少的 主页： 网址：https://www.cs.vu.nl/~汪/ 外部链接： MGP公司·ORCID公司·谷歌学者·数据库许可证 编入索引的文档： 111出版物自1994年以来，包括3本书 5名编辑的贡献 合著者： 78位合著者具有103联合出版物 979合著作者 全部的 前5名合著者 13 单作者的 28 Aceto，卢卡 22 Ingólfsdóttir，安娜 18 范格拉贝克、罗伯特·扬 12 庞、军 10 巴斯·卢提克 8 陈、陶璐 7 苏米特·奈恩 6 法特梅·加塞米 6 范德波尔，扬·科内利斯 5 保利安·德温德 5 米歇尔·阿德里安 4 马西耶·加兹达。 4 Jan Friso，格鲁特 4 阿里·莫瓦加尔 4 克里斯·弗霍夫 三 雅各布斯·E·罗达。 三 范·德·莫特尔·弗朗恰克（van de Mortel-Fronczak），乔安娜·M·。 三 安东·威伊斯（Anton J.Wijs）。 2 巴哈雷赫巴德班 2 Jos C.M.Baeten。 2 雷娜·巴赫西 2 亨利·E·巴尔。 2 Jan A.Bergstra。 2 布隆，斯特凡 2 尼古拉·邦扎尼 2 伊万格洛斯·查齐卡利姆尼奥斯 2 Robert Johan福克金 2 Martijn A.古登。 2 格鲁，迪克 2 雅普·赫林加 2 布利尼奥洪德 2 彼得·罗格斯 2 阿兰·范·赫斯特。 2 斯特凡·J·J·维杰泽拉（Stefan J.J.Vijzelaar）。 1 萨伊德·艾哈迈迪 1 布鲁姆，巴德 1 博特尼克，E。 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 乔里·德·鲁伊特 1 约尔格恩德鲁利斯 1 佐尔坦·埃西克 1 马丁·费比安 1 安东·芬斯特拉 1 芬斯特拉（K.Anton Feenstra） 1 达尼埃拉·加维迪亚 1 Daniel E.Gebler。 1 克莱门斯，抓斗手 1 贾普·亨克·霍普曼 1 罗格·霍夫曼 1 娜塔莉亚·尤斯蒂诺娃 1 阿拉德·卡凯本 1 恩斯特·凯塞勒 1 蒂洛·基尔曼 1 扬·威廉·克鲁普 1 史蒂文·克鲁塞纳 1 克雷普斯卡，埃尔兹别塔 1 伯特·利瑟 1 Luttik，S.P。 1 维托里奥·马萨罗 1 科内利斯·A·米德尔堡。 1 穆罕默德·穆萨维 1 塞德加尼·穆萨耶夫 1 乌韦州内斯特曼 1 阿尔班·蓬塞 1 尼古拉·特里卡 1 伊雷克·乌利多夫斯基 1 亚罗斯拉夫·乌森科。 1 范德伦，简 1 伊扎克·范·兰格沃尔德 1 马滕·范·斯汀 1 罗纳德·维尔德马。 1 基斯·弗斯托普 1 苏吉思·维杰 1 Vu，Thuy Duong先生 1 王正兵 1 大卫·M·威廉姆斯。 1 Yuri A.Yushtein。 1 汉斯·赞特马 全部的 前5名系列 11 信息与计算 8 理论计算机科学 6 信息处理信件 4 计算机基础理论 三 信息学报 三 MSCS公司。计算机科学中的数学结构 三 逻辑与代数程序设计杂志 三 ACM计算逻辑事务 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 离散事件动态系统 2 系统设计中的形式化方法 2 欧洲理论计算机科学协会公告EATCS 2 计算机科学中的逻辑方法 1 美国数学月刊 1 代数普遍性 1 IEEE自动控制汇刊 1 计算机与系统科学杂志 1 计算的形式方面 1 国际计算机数学杂志 1 尼乌档案馆（Nieuw Archief voor Wiskunde）。维尔德（Vierde）Serie 1 比利时数学学会公报-西蒙·斯特文 1 北欧计算机杂志 1 计算机网络 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学文本。EATCS系列 全部的 前5名领域 112 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 4 系统论；控制（93至XX） 三 一般代数系统（08-XX） 2 数论（11-XX） 2 生物学和其他自然科学（92-XX） 1 运筹学、数学规划（90-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 95出版物有被引用692中的次347文件 引用人▼ 年份▼ 结构操作语义。 Zbl 1062.68074号 Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 90 2001 过程代数导论。 Zbl 0941.68087号 Wan Fokkink公司 53 2000 \（Ntyft/ntyxt）规则简化为（n）树规则。 Zbl 0853.68124号 Wan Fokkink公司;罗布·范格拉贝克 29 1996 修饰跟踪语义的前同余格式。 Zbl 1367.68209号 布鲁姆，巴德;Wan Fokkink公司;罗布·范·格拉贝克。 24 2004 \CRL：分析代数规范的工具集。 Zbl 0991.68640号 布隆，斯特凡;Wan Fokkink公司;Jan Friso，格鲁特;伊扎克·范·兰格沃尔德;伯特·利瑟 22 2001 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 Zbl 1088.68094号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 20 2006 根分枝互模拟作为同余。 Zbl 0955.68074号 Wan Fokkink公司 20 2000 保守地看待变量绑定的操作语义。 Zbl 0916.68098号 Wan Fokkink公司;克里斯·弗霍夫 18 1998 公理化前缀迭代和静默步骤。 Zbl 0855.68030号 Aceto，卢卡;罗布·范格拉贝克;Wan Fokkink公司;Ingólfsdóttir，安娜 17 1996 过程代数中的有限方程基础：结果和开放问题。 Zbl 1171.68558号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 15 2005 分区与除数之间的关系。 Zbl 0831.11056号 王正兵;罗伯特·福金克;Wan Fokkink公司 14 1995 除法和同余：从模态公式的分解到分支和\（\eta\）-二相似性的保留。 Zbl 1277.68182号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 13 2012 前缀迭代的完整等式公理化。 Zbl 0938.68697号 Wan Fokkink公司 12 1994 具有递归操作的进程代数。 Zbl 1027.68091号 Jan A.Bergstra。;Wan Fokkink公司;阿尔班·蓬塞 12 2001 BPA*上的一系列基于非有限的流程语义–从就绪模拟到完成的跟踪。 Zbl 0917.68138号 Aceto，卢卡;Wan Fokkink公司;Anna Ingólfssdóttir，安娜 11 1998 准备预订：免费获取BCCSP公理化！ Zbl 1214.68239号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 11 2007 具有左合并和通信合并的CCS有限方程组。 Zbl 1367.68207号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 11 2009 CCS与轩尼诗的合并没有有限等式公理化。 Zbl 1078.68102号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜;巴斯·卢提克 10 2005 有限树上的嵌套语义相当困难。 Zbl 1101.68690号 Aceto，卢卡;Wan Fokkink公司;罗布·范格拉贝克;Ingólfsdóttir，安娜 10 2004 关于互模拟中Kleene星方程的完备性。 Zbl 0886.03032号 Wan Fokkink公司 9 1996 交织的一个完整的等式规范。（扩展摘要）。 兹伯利0973.68533 W.J.福克金。;Luttik，S.P。 9 2000 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维 9 2010 基于有限字母和无限基数。 Zbl 1146.68047号 陈、陶璐;Wan Fokkink公司;巴斯·卢提克;苏米特·奈恩 9 2008 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso，格鲁特;庞、军;范德波尔（Jaco van de Pol） 8 2005 概率Hennessy-Milner逻辑通过结构操作语义的组合性。 Zbl 1364.68285号 丹尼尔·格布勒;Wan Fokkink公司 8 2012 分而治之。二： 延迟和弱相似性。 兹比尔1392.68299 Wan Fokkink公司;罗布·范格拉贝克 8 2016 进程代数中永久循环的公理化。 Zbl 1401.68225号 Wan Fokkink公司 8 1997 一个完整的1-自由正则表达式模双相似性的证明系统。 Zbl 1502.68192号 克莱门斯，抓斗手;Wan Fokkink公司 8 2020 分裂与同余：从模态分解到分支互模拟的保持。 Zbl 1196.68156号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 7 2006 关于就绪跟踪、就绪模拟和故障跟踪的公理化。 Zbl 1039.68081号 布隆，斯特凡;Wan Fokkink公司;苏米特·奈恩 7 2003 分而治之。三： 从模态公式的分解到稳定性和发散性的保持。 Zbl 1430.68162号 Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 7 2019 具有中断的BPA上的双相似性不是有限的。 Zbl 1154.68084号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 6 2006 模拟是重写系统的正确转换。 Zbl 0941.68067号 Wan Fokkink公司;范德波尔（Jaco van de Pol） 6 1997 关于优先权的公理化。 Zbl 1141.68042号 Aceto，卢卡;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 6 2008 分布式算法。直观的方法。 Zbl 1278.68003号 Wan Fokkink公司 6 2013 分而治之。三： 稳定性和发散性。 兹比尔1442.68139 Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 6 2017 锥和焦点：协议验证的机械框架。 Zbl 1103.68652号 Wan Fokkink公司;庞、军;范德波尔（Jaco van de Pol） 5 2006 关于优先权的公理化。 Zbl 1134.68038号 Aceto，卢卡;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 5 2006 多出口迭代的等式公理化。 Zbl 0881.68069号 Aceto，卢卡;Wan Fokkink公司 5 1997 准备预订：弱流程语义的情况。 Zbl 1191.68434号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 5 2009 移动自组网中的等式推理。 Zbl 1209.68015号 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 5 2010 移动自组网的验证：代数方法。 Zbl 1216.68160号 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 5 2011 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 兹比尔1278.68169 Wan Fokkink公司;罗伯·范·格拉贝克;风，Paulien de 5 2003 结构操作语义和有界不确定性。 Zbl 1060.68070号 Wan Fokkink公司;Vu，Thuy Duong先生 5 2003 应用于\（\eta\）-互模拟的除法和同余。 Zbl 1273.68257号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 5 2006 tyft/tyxt格式简化为树规则。 Zbl 0942.68620号 威廉·扬·福克金 4 1994 关于a.Salomaa的一个问题，单字母表上正则表达式的等式理论并不是以有限为基础的。 Zbl 0915.68117号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 4 1998 结构操作语义中的保守扩展。 Zbl 0941.68620号 Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 4 1999 结构操作语义中的保守扩展。 兹比尔1049.68082 Aceto，卢卡;Wan Fokkink公司;Verhoef，克里斯 4 2001 重新审查协议验证的锥和焦点。 Zbl 1029.68040号 Wan Fokkink公司;庞、军 4 2003 具有任意移动性的模型检查MANET。 Zbl 1434.68299号 法特梅·加塞米;萨伊德·艾哈迈迪;Wan Fokkink公司;阿里·莫瓦加尔 4 2013 非确定性和模态逻辑的最大允许受控系统综合。 Zbl 1356.93030号 范·赫斯特，A.C。;Reniers，医学硕士。;W.J.福克金。 4 2017 分支互模拟中前缀迭代的完整公理化。 Zbl 0846.68072号 Wan Fokkink公司 4 1996 模型检查Java DSM实现的缓存一致性协议。 Zbl 1106.68013号 庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 4 2007 基于有限的字母表和无限的基：从现成的对到可能的世界。 Zbl 1126.68497号 Wan Fokkink公司;苏米特·奈恩 三 2004 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol） 三 2004 特设网络上的等式推理。 Zbl 1274.68009号 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 三 2010 故障语义的有限基础。 Zbl 1084.68082号 Wan Fokkink公司;苏米特·奈恩 三 2005 关于不可能的未来的公理化。 Zbl 1448.68335号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 三 2015 分而治之。二： 从模态公式的分解到延迟和弱相似性的保持。 兹比尔1380.68295 Wan Fokkink公司;罗布·范格拉贝克 三 2017 获得并行组合的有限公理化是否需要两个二进制运算符？ Zbl 1508.68239号 Aceto，卢卡;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Ingólfsdóttir，安娜;巴斯·卢提克 三 2022 通过模态分解具有前瞻性的前同余格式。 Zbl 1440.68168号 Wan Fokkink公司;罗布·范·格拉贝克。 三 2017 简化伊泰·罗德赫（Itai-Rodeh）领导人的匿名选举。 Zbl 1272.68041号 Wan Fokkink公司;庞、军 三 2005 分布式系统建模。 Zbl 1130.68028号 万福京 2 2007 具有中断的BPA上的双相似性不是有限的。 Zbl 1151.68499号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 2 2005 时间分支双相似性真的是等价的吗？ Zbl 1175.68277号 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 基于有限字母和无限基数。三： 模拟。 兹比尔1151.68519 陈、陶璐;Wan Fokkink公司 2 2006 模态逻辑和近似归纳原理。 Zbl 1260.68266号 马西耶·加兹达;Wan Fokkink公司 2 2012 2嵌套模拟不是有限的等式可公理化的。 Zbl 0976.68111号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 2 2001 利用Petri网对生物细胞进行定性建模的设计问题。 Zbl 1375.92020年 克雷普斯卡，埃尔兹别塔;邦赞尼，尼古拉;安东·芬斯特拉;Wan Fokkink公司;蒂洛·基尔曼;亨利·巴尔;雅普·赫林加 2 2008 使用Spin、CADP和Uppaal分析转台系统的（chi）模型。 Zbl 1088.68523号 博特尼克，E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克（J.M.Van De Mortel-Fronczak）。;巴顿，J.C.M。;W.J.福克金。;罗达，J.E。 2 2005 进程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司;Jan Friso，格鲁特;米歇尔·雷尼尔斯 2 2004 基于流言的协议的信息传播分析模型。 Zbl 1191.68027号 雷娜·巴赫西;达尼埃拉·加维迪亚;Wan Fokkink公司;马滕·范·斯汀 2 2009 从操作员的角度来看一致性：过程语义的组合性要求。 Zbl 1455.68099号 马西耶·加兹达;Wan Fokkink公司 2 2010 用依赖结构矩阵构造多级离散事件系统。 Zbl 07256281号 马尔蒂恩·古登;van de Mortel Fronczak，乔安娜;米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达 2 2020 从操作员的角度来看，一致性。模态特征的句法要求。 Zbl 1443.68111号 马西耶·加兹达;Wan Fokkink公司;维托里奥·马萨罗 2 2020 实时ACP的有效公理化。 Zbl 1096.68625号 Wan Fokkink公司;史蒂文·克鲁塞纳 1 1995 库克的前缀迭代方程公理化之旅。 Zbl 0901.03027号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 1 1998 具有左合并和通信合并的CCS有限方程组。 Zbl 1134.68039号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 1 2006 基于弱语义的有限基础：失败与不可能的未来。 Zbl 1206.68212号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 1 2009 适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号 Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔（Jaco van de Pol）;亚罗斯拉夫·乌森科。;Yuri A.Yushtein。 1 2002 BCCSP的一个对消定理。 Zbl 1154.68445号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂 1 2008 通过抽象交换终止模方程，并应用于迭代。 Zbl 0901.68090号 Wan Fokkink公司;汉斯·赞特马 1 1997 定时分支互模拟中正则过程的公理化。 兹伯利0926.68054 Wan Fokkink公司 1 1997 语言的前序作为前序。 Zbl 0944.68101号 福克金，W。 1 2000 时间帧代数。 Zbl 1001.68518号 J.A.伯格斯特拉。;W.J.福克金。;加利福尼亚州米德尔堡。 1 1996 关于带（K=N\）环中的\（K\）-状态自稳定的注记。 Zbl 1083.68003号 Wan Fokkink公司;贾普·亨克·霍普曼;庞、军 1 2005 模态逻辑的最大允许受控系统综合。 Zbl 1432.68248号 阿兰·范·赫斯特。;米歇尔·雷尼尔斯（Michel A.Reniers）。;万·J·福克金。 1 2015 ProB中公平性下的模型检测及其在公平交换协议中的应用。 Zbl 1362.68223号 威廉姆斯，大卫·M。;乔里·德·鲁伊特;Wan Fokkink公司 1 2012 基于有限字母和无限基数。二： 完成并准备好模拟。 Zbl 1151.68520号 陈、陶璐;Wan Fokkink公司;苏米特·奈恩 1 2006 检测下推自动机中无用的转换。 Zbl 1485.68142号 格鲁，迪克;Wan Fokkink公司;伊万格洛斯·查齐卡利姆尼奥斯;布利尼奥洪德;彼得·罗格斯 1 2017 扩展有限自动机的合成协调器综合。 Zbl 1478.93186号 Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克（van de Mortel-Fronczak），乔安娜·M·。;米歇尔·雷尼尔斯（Michel A.Reniers）。;万·J·福克金。;雅各布斯·E·罗达。 1 2021 具有有限预期延迟的匿名环中的快速领导者选举。 Zbl 1260.68029号 雷娜·巴赫西;约尔格恩德鲁利斯;Wan Fokkink公司;庞、军 1 2011 检测下推自动机中无用的转换。 兹比尔1497.68255 伊万格洛斯·查齐卡利姆尼奥斯;Wan Fokkink公司;格鲁，迪克;布利尼奥洪德;彼得·罗格斯 1 2021 第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。 Zbl 1423.68023号 1 2019 获得并行组合的有限公理化是否需要两个二进制运算符？ Zbl 1508.68239号 Aceto，卢卡;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Ingólfsdóttir，安娜;巴斯·卢提克 三 2022 扩展有限自动机的合成协调器综合。 Zbl 1478.93186号 Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克（van de Mortel-Fronczak），乔安娜·M·。;米歇尔·雷尼尔斯（Michel A.Reniers）。;万·J·福克金。;雅各布斯·E·罗达。 1 2021 检测下推自动机中无用的转换。 Zbl 1497.68255号 伊万格洛斯·查齐卡利姆尼奥斯;Wan Fokkink公司;格鲁，迪克;布利尼奥洪德;彼得·罗格斯 1 2021 一个完整的1-自由正则表达式模双相似性的证明系统。 兹比尔1502.68192 克莱门斯，抓斗手;Wan Fokkink公司 8 2020 用依赖结构矩阵构造多级离散事件系统。 Zbl 07256281号 马尔蒂恩·古登;乔安娜·范·德·莫特尔·弗朗查克（Joanna van de Mortel-Fronczak）;米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达 2 2020 从操作员的角度来看，一致性。模态特征的句法要求。 Zbl 1443.68111号 马西耶·加兹达;Wan Fokkink公司;维托里奥·马萨罗 2 2020 分而治之。三： 从模态公式的分解到稳定性和发散性的保持。 Zbl 1430.68162号 Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 7 2019 第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。 Zbl 1423.68023号 1 2019 分而治之。三： 稳定性和发散性。 兹比尔1442.68139 Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 6 2017 非确定性和模态逻辑的最大允许受控系统综合。 Zbl 1356.93030号 范·赫斯特，A.C。;Reniers，医学硕士。;W.J.福克金。 4 2017 分而治之。二： 从模态公式的分解到延迟和弱相似性的保持。 兹比尔1380.68295 Wan Fokkink公司;罗布·范格拉贝克 三 2017 通过模态分解具有前瞻性的前同余格式。 Zbl 1440.68168号 Wan Fokkink公司;罗布·范·格拉贝克。 三 2017 检测下推自动机中无用的转换。 Zbl 1485.68142号 格鲁，迪克;Wan Fokkink公司;伊万格洛斯·查齐卡利姆尼奥斯;布利尼奥洪德;彼得·罗格斯 1 2017 分而治之。二： 延迟和弱相似性。 兹比尔1392.68299 Wan Fokkink公司;罗布·范格拉贝克 8 2016 关于不可能的未来的公理化。 Zbl 1448.68335号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 三 2015 模态逻辑的最大允许受控系统综合。 Zbl 1432.68248号 阿兰·范·赫斯特。;米歇尔·雷尼尔斯（Michel A.Reniers）。;Fokkink，万·J。 1 2015 分布式算法。直观的方法。 Zbl 1278.68003号 Wan Fokkink公司 6 2013 具有任意移动性的模型检查MANET。 Zbl 1434.68299号 法特梅·加塞米;萨伊德·艾哈迈迪;Wan Fokkink公司;阿里·莫瓦加尔 4 2013 除法和同余：从模态公式的分解到分支和\（\eta\）-二相似性的保留。 Zbl 1277.68182号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 13 2012 通过结构操作语义实现概率Hennessy-Milner逻辑的组合性。 Zbl 1364.68285号 丹尼尔·格布勒;Wan Fokkink公司 8 2012 模态逻辑和近似归纳原理。 Zbl 1260.68266号 马西耶·加兹达;Wan Fokkink公司 2 2012 ProB中公平性下的模型检测及其在公平交换协议中的应用。 Zbl 1362.68223号 大卫·M·威廉姆斯。;乔里·德·鲁伊特;Wan Fokkink公司 1 2012 移动自组织网络的验证：一种代数方法。 Zbl 1216.68160号 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 5 2011 具有有限预期延迟的匿名环中的快速领导者选举。 Zbl 1260.68029号 雷娜·巴赫西;约尔格恩德鲁利斯;Wan Fokkink公司;庞、军 1 2011 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维 9 2010 移动自组网中的等式推理。 兹比尔1209.68015 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 5 2010 adhoc网络上的等式推理。 Zbl 1274.68009号 法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 三 2010 从操作员的角度来看一致性：过程语义的组合性要求。 Zbl 1455.68099号 马西耶·加兹达;Wan Fokkink公司 2 2010 具有左合并和通信合并的CCS有限方程组。 Zbl 1367.68207号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 11 2009 准备预订：弱流程语义的情况。 Zbl 1191.68434号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 5 2009 基于流言的协议的信息传播分析模型。 Zbl 1191.68027号 雷娜·巴赫西;达尼埃拉·加维迪亚;Wan Fokkink公司;马滕·范·斯汀 2 2009 基于弱语义的有限基础：失败与不可能的未来。 Zbl 1206.68212号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 1 2009 基于有限字母和无限基数。 Zbl 1146.68047号 陈、陶璐;Wan Fokkink公司;巴斯·卢提克;苏米特·奈恩 9 2008 关于优先权的公理化。 Zbl 1141.68042号 Aceto，卢卡;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 6 2008 用Petri网对生物细胞进行定性建模的设计问题。 Zbl 1375.92020年 克雷普斯卡，埃尔兹别塔;尼古拉·邦扎尼;安东·芬斯特拉;Wan Fokkink公司;蒂洛·基尔曼;亨利·巴尔;雅普·赫林加 2 2008 BCCSP的一个对消定理。 Zbl 1154.68445号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂 1 2008 准备预订：免费获取BCCSP公理化！ Zbl 1214.68239号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 11 2007 模型检查Java DSM实现的缓存一致性协议。 Zbl 1106.68013号 庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 4 2007 分布式系统建模。 兹比尔1130.68028 万福京 2 2007 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 Zbl 1088.68094号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 20 2006 分裂与同余：从模态分解到分支互模拟的保持。 Zbl 1196.68156号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 7 2006 具有中断的BPA上的双相似性不是有限的。 Zbl 1154.68084号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 6 2006 锥和焦点：协议验证的机械框架。 Zbl 1103.68652号 Wan Fokkink公司;庞、军;范德波尔（Jaco van de Pol） 5 2006 关于优先权的公理化。 Zbl 1134.68038号 Aceto，卢卡;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 5 2006 应用于\（\eta\）-互模拟的除法和同余。 Zbl 1273.68257号 Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 5 2006 在有限的字母表和无限的基数上。三： 模拟。 Zbl 1151.68519号 陈、陶璐;Wan Fokkink公司 2 2006 具有左合并和通信合并的CCS有限方程组。 Zbl 1134.68039号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 1 2006 基于有限字母和无限基数。二： 完成并准备好模拟。 Zbl 1151.68520号 陈、陶璐;Wan Fokkink公司;苏米特·奈恩 1 2006 过程代数中的有限方程基础：结果和开放问题。 Zbl 1171.68558号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 15 2005 CCS与轩尼诗的合并没有有限等式公理化。 Zbl 1078.68102号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜;巴斯·卢提克 10 2005 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso，格鲁特;庞、军;范德波尔（Jaco van de Pol） 8 2005 故障语义的有限基础。 Zbl 1084.68082号 Wan Fokkink公司;苏米特·奈恩 三 2005 简化伊泰·罗德赫（Itai-Rodeh）领导人的匿名选举。 兹比尔1272.68041 Wan Fokkink公司;庞、军 三 2005 具有中断的BPA上的双相似性不是有限的。 Zbl 1151.68499号 Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 2 2005 时间分支双相似性真的是等价的吗？ Zbl 1175.68277号 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 使用Spin、CADP和Uppaal分析转台系统的（chi）模型。 Zbl 1088.68523号 博特尼克，E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克（J.M.Van De Mortel-Fronczak）。;巴顿，J.C.M。;W.J.福克金。;罗达，J.E。 2 2005 关于带（K=N\）环中的\（K\）-状态自稳定的注记。 Zbl 1083.68003号 Wan Fokkink公司;贾普·亨克·霍普曼;庞、军 1 2005 修饰跟踪语义的前同余格式。 Zbl 1367.68209号 布鲁姆，巴德;Wan Fokkink公司;罗布·范·格拉贝克。 24 2004 有限树上的嵌套语义相当困难。 Zbl 1101.68690号 Aceto，卢卡;Wan Fokkink公司;罗布·范格拉贝克;Ingólfsdóttir，安娜 10 2004 基于有限的字母表和无限的基：从现成的对到可能的世界。 Zbl 1126.68497号 Wan Fokkink公司;苏米特·奈恩 三 2004 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol） 三 2004 进程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司;Jan Friso，格鲁特;米歇尔·雷尼尔斯 2 2004 关于就绪跟踪、就绪模拟和故障跟踪的公理化。 兹比尔1039.68081 布隆，斯特凡;Wan Fokkink公司;苏米特·奈恩 7 2003 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 兹比尔1278.68169 Wan Fokkink公司;罗伯·范·格拉贝克;风，Paulien de 5 2003 结构操作语义和有界不确定性。 Zbl 1060.68070号 Wan Fokkink公司;Vu，Thuy Duong先生 5 2003 重新审查协议验证的锥和焦点。 Zbl 1029.68040号 Wan Fokkink公司;庞、军 4 2003 适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号 Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔（Jaco van de Pol）;亚罗斯拉夫·乌森科。;Yuri A.Yushtein。 1 2002 结构操作语义。 Zbl 1062.68074号 Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 90 2001 \CRL：分析代数规范的工具集。 Zbl 0991.68640号 布隆，斯特凡;Wan Fokkink公司;Jan Friso，格鲁特;伊扎克·范·兰格沃尔德;伯特·利瑟 22 2001 具有递归操作的进程代数。 Zbl 1027.68091号 Jan A.Bergstra。;Wan Fokkink公司;阿尔班·蓬塞 12 2001 结构操作语义中的保守扩展。 兹比尔1049.68082 Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 4 2001 2嵌套模拟不是有限的等式可公理化的。 Zbl 0976.68111号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 2 2001 过程代数导论。 Zbl 0941.68087号 Wan Fokkink公司 53 2000 根分枝互模拟作为同余。 Zbl 0955.68074号 Wan Fokkink公司 20 2000 交织的一个完整的等式规范。（扩展摘要）。 Zbl 0973.68533号 W.J.福克金。;Luttik，S.P。 9 2000 语言的前序作为前序。 Zbl 0944.68101号 福克金，W。 1 2000 结构操作语义中的保守扩展。 Zbl 0941.68620号 Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 4 1999 保守地看待变量绑定的操作语义。 Zbl 0916.68098号 Wan Fokkink公司;Verhoef，克里斯 18 1998 BPA*上的一系列基于非有限的流程语义–从就绪模拟到完成的跟踪。 Zbl 0917.68138号 Aceto，卢卡;Wan Fokkink公司;Anna Ingólfssdóttir，安娜 11 1998 关于a.Salomaa的一个问题，单字母表上正则表达式的等式理论并不是以有限为基础的。 Zbl 0915.68117号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 4 1998 库克的前缀迭代方程公理化之旅。 Zbl 0901.03027号 Aceto，卢卡;Wan Fokkink公司;Ingólfsdóttir，安娜 1 1998 过程代数中永久循环的公理化。 Zbl 1401.68225号 Wan Fokkink公司 8 1997 模拟是重写系统的正确转换。 Zbl 0941.68067号 Wan Fokkink公司;范德波尔（Jaco van de Pol） 6 1997 多出口迭代的等式公理化。 Zbl 0881.68069号 Aceto，卢卡;Wan Fokkink公司 5 1997 通过抽象交换终止模方程，并应用于迭代。 Zbl 0901.68090号 Wan Fokkink公司;汉斯·赞特马 1 1997 定时分支互模拟中正则过程的公理化。 Zbl 0926.68054号 Wan Fokkink公司 1 1997 \（Ntyft/ntyxt）规则简化为（n）树规则。 Zbl 0853.68124号 Wan Fokkink公司;罗布·范格拉贝克 29 1996 公理化前缀迭代和静默步骤。 Zbl 0855.68030号 Aceto，卢卡;罗布·范格拉贝克;Wan Fokkink公司;Ingólfsdóttir，安娜 17 1996 关于互模拟中Kleene星方程的完备性。 Zbl 0886.03032号 Wan Fokkink公司 9 1996 分支互模拟中前缀迭代的完整公理化。 Zbl 0846.68072号 Wan Fokkink公司 4 1996 时间帧代数。 兹比尔1001.68518 J.A.伯格斯特拉。;W.J.福克金。;加利福尼亚州米德尔堡。 1 1996 分区与除数之间的关系。 Zbl 0831.11056号 王正兵;罗伯特·福克金;Wan Fokkink公司 14 1995 实时ACP的有效公理化。 Zbl 1096.68625号 Wan Fokkink公司;史蒂文·克鲁塞纳 1 1995 前缀迭代的完整等式公理化。 Zbl 0938.68697号 Wan Fokkink公司 12 1994 tyft/tyxt格式简化为树规则。 Zbl 0942.68620号 威廉·扬·福克金 4 1994 所有引用出版物 前5名被引用出版物 全部的 前5名378位作者引用 41 Aceto，卢卡 37 Ingólfsdóttir，安娜 35 威廉·扬·福克金 21 巴斯·卢提克 19 米歇尔·阿德里安 18 范格拉贝克、罗伯特·扬 17 Jan A.Bergstra。 16 西蒙·蒂尼 13 Jos C.M.Baeten。 12 卡洛斯·格雷戈里奥·罗德里格斯 12 范德波尔，扬·科内利斯 11 科内利斯·A·米德尔堡。 11 阿尔班·蓬塞 10 瓦伦蒂娜·卡斯蒂格利奥尼 10 戴维·德·弗鲁托斯·埃斯克里格 10 Jan Friso，格鲁特 8 巴托克·克林 7 庞、军 7 朱里安·罗特 6 陈、陶璐 6 伊格纳西奥·法布雷加斯 6 伊雷克·乌利多夫斯基 5 马蒂奥·奇米尼 5 Daniel E.Gebler。 4 佩德罗·鲁宾·达吉尼奥 4 埃里克·P·德文克。 4 佐尔坦·埃西克 4 休伯特·加拉维 4 法特梅·加塞米 4 安德烈亚·马吉奥洛·谢蒂尼 4 马西莫·梅罗 4 穆罕默德·穆萨维 4 雅各布斯·E·罗达。 4 马克·蒂默 4 亚罗斯拉夫·乌森科。 三 埃利·阿纳斯塔西亚迪 三 塞尔吉奥·安托伊 三 罗伯托·巴布蒂 三 贝内维特斯，马里奥·R·F·。 三 本杰明·比斯平 三 布隆，斯特凡 三 马塞洛·玛丽亚·邦桑格 三 伊恩·卡萨尔 三 Pieter J.L.Cuijpers。 三 乌里·法伦贝格 三 阿德里安·弗兰卡兰扎 三 加西亚·佩雷斯，阿尔瓦罗 三 克莱门斯，抓斗手 三 Joost-Pieter卡托恩 三 拉诺特、拉格罗 三 李，马蒂亚斯·戴维 三 Legay、Axel 三 杰拉尔德·吕特根 三 马吉，Bibekananda 三 保罗·米拉佐 三 彼得·莫塞斯（Peter D.Mosses）。 三 乌韦州内斯特曼 三 西蒙娜·奥尔赞 三 米盖尔·帕洛米诺 三 马蒂亚斯·拉加德·佩德森 三 R.R.H.希弗勒。 三 马里耶·斯托林加 三 van Beek博士。 三 范德兹瓦格，马克B。 三 Van Weerdenburg，Muck J。 三 王勇 三 安东·威伊斯（Anton J.Wijs）。 2 安德鲁斯、乔治·爱 2 尼古拉·贝内什 2 马可·贝尔纳多 2 菲利波·邦奇 2 汤姆·乔西亚 2 罗伯特·J·科尔文。 2 弗拉维奥·科拉迪尼 2 JoséFélix科斯塔 2 辛尼沙·克文科维奇 2 De Nicola，罗科 2 保利安·德温德 2 阿图尔·迪克西特 2 伊戈尔·多林卡 2 阿德里安·杜里埃 2 约尔格恩德鲁利斯 2 普拉莫德·埃尤尼 2 伏玉溪 2 默多克·詹姆斯·加贝 2 马西耶·加兹达。 2 欧根·伊安·戈里亚克 2 赫利亚·格拉 2 拉贾特·古普塔 2 丹尼尔·赫希科夫 2 安迪·乔斯特 2 Khosravi，拉姆丁 2 码头Kleijn 2 马西耶·库特尼 2 斯特凡·库恩 2 安娜·拉布拉 2 弗雷德里克·朗 2 刘，思 2 罗比·马利克 2 伙计，卡洛克 …还有278位作者 全部的 前5名43连载 49 理论计算机科学 33 信息与计算 30 逻辑与代数程序设计杂志 17 计算机科学中的逻辑方法 17 程序设计中的逻辑和代数方法杂志 14 信息学报 14 信息处理信件 8 计算的形式方面 6 计算机程序设计科学 4 国际理论物理杂志 4 MSCS公司。计算机科学中的数学结构 4 系统设计中的形式化方法 三 组合理论杂志。系列A 三 计算机与系统科学杂志 三 离散事件动态系统 三 应用非经典逻辑杂志 三 Ramanujan杂志 2 离散数学 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 计算系统理论 2 RAIRO公司。理论信息学及其应用 2 应用逻辑杂志 1 国际控制杂志 1 数学分析与应用杂志 1 Automatica公司 1 信息科学 1 数论杂志 1 《Reine und Angewandte Mathematik》杂志 1 圣母院形式逻辑杂志 1 编程和计算机软件 1 合成 1 欧洲组合数学杂志 1 符号计算杂志 1 并行与分布式计算杂志 1 工程、通信和计算中的应用代数 1 计算与决策科学基础 1 工程中的数学问题 1 组合年刊 1 计算机基础理论 1 自然计算 1 ACM计算逻辑事务 1 南非荷兰语Matematika 全部的 前5名19个领域引用 320 计算机科学（68至XX） 60 数学逻辑和基础（03-XX） 12 组合数学（05-XX） 12 数论（11-XX） 8 一般代数系统（08-XX） 7 范畴理论；同调代数（18-XX） 6 生物学和其他自然科学（92-XX） 6 系统论；控制（93至XX） 5 量子理论（81-XX） 三 结合环与代数（16-XX） 三 特殊功能（33至XX） 三 运筹学、数学规划（90-XX） 2 阶、格、有序代数结构（06-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 偏微分方程（35-XX） 1 数学教育（97-XX） 按年份列出的引文