编辑配置文件（在新选项卡中打开） Jan Friso，格鲁特 合著者距离 作者ID： 简·弗里索 发布日期： Jan Friso，格鲁特；J.F.格罗特。；格罗特，Jan F。；简·弗里斯科·格罗特；弗里索·格罗特，简 更多。。。较少的 已编制索引的文档： 90出版物自1990年以来，包括3本书和1个附加arXiv预打印 6作为编辑的贡献 审查活动： 25条评论 合著者： 84位合著者具有93联合出版物 1281位合作作者 全部的 前5名合著者 三 单作者的 11 米歇尔·阿德里安 9 Tim A.C.Willemse。 6 埃里克·P·德文克。 5 汉斯·赞特马 4 威廉·扬·福克金 4 维姆·赫塞林克。 4 穆罕默德·穆萨维 4 亚罗斯拉夫·乌森科。 4 范德波尔，扬·科内利斯 4 乔斯·范瓦梅尔 4 安东·威伊斯（Anton J.Wijs）。 三 罗兰·博尔。 三 大卫·詹森（David N.Jansen）。 三 Jeroen J.A.Keiren。 三 简·马滕斯 三 绍克·莫 三 庞、军 三 阿尔班·蓬塞 三 斯普林菲尔德，一月 三 Van Weerdenburg，Muck J。 2 巴哈雷赫巴德班 2 马克·贝泽姆 2 斯特凡·布隆 2 斯乔德·克兰恩 2 高慧 2 米萨Keinänen 2 金·古德斯特兰·拉森 2 莫里斯·拉维奥 2 亚德·马蒂杰森 2 贝斯·普洛格 2 斯坦珀斯，弗兰克·P·M。 2 Timmers，渡轮 2 Vaandrager，Frits W。 2 华纳，Joost P。 1 卢卡·埃特罗 1 奥马尔·杜海比 1 安德鲁斯，德里克·J·。 1 穆罕默德·阿提夫 1 Jos C.M.Baeten。 1 博斯特，C学期。 1 奥诺·约翰·博克斯马 1 文森佐·西安西亚 1 亚历山德罗·迪·布奇亚尼科 1 汤姆·恩格斯。 1 里克·埃尔肯斯 1 拉尔斯·弗雷德隆德 1 皮特·希玛 1 侯赛因·霍贾特 1 汉斯·休特尔 1 萨门·凯什扎德 1 威尔科·科恩 1 Henri Korver 1 蒂姆·库特斯（Tim W.D.M.Kouters）。 1 罗纳德·克鲁德霍夫 1 费泽·拉巴夫 1 迭戈·拉特拉 1 Jean-Paul M.G.林纳茨。 1 伯特·利瑟 1 巴斯·卢提克 1 梅克·马西克 1 拉杜·马特埃斯库 1 Middelburg，Cornelis A。 1 弗朗索瓦·莫宁 1 罗尔夫·莫雷尔 1 阿马尔·奥萨韦兰 1 里奥·里维拉·威尔杜斯科 1 朱利安·施马耳茨 1 医学硕士Sellink。 1 亚历山大·塞雷布雷尼克 1 马哈茂德·塔莱比 1 奥尔加·特维雷蒂纳 1 范德兹瓦格，马克B。 1 乔赫里·范·埃尔德 1 范·哈姆（Frank van Ham） 1 范希、基斯·马克斯 1 伊扎克·范·兰格沃尔德 1 塞巴斯蒂安·范·维利杰曼 1 罗杰·弗默伦 1 马克·沃霍夫 1 亚当·沃特金斯 1 威格·威瑟林克 1 弗里克·威迪杰克 1 沃特斯，A.G。 1 杨鹏飞 全部的 前5名系列 9 理论计算机科学 5 计算的形式方面 5 逻辑与代数程序设计杂志 4 计算机科学课堂讲稿 三 计算机程序设计科学 三 信息与计算 三 分布式计算 三 计算机科学中的逻辑方法 2 信息处理信件 1 离散应用数学 1 自动推理杂志 1 国际计算机科学基础杂志 1 统计传播。模拟和计算 1 SIAM审查 1 系统设计中的形式化方法 1 调度日志 1 美国医学会杂志 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 尼乌档案馆（Nieuw Archief voor Wiskunde）。Vijfde系列 1 ACM计算逻辑事务 1 计算机科学科学年鉴 1 算法 1 系统、决策和控制研究 全部的 前5名领域 90 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 8 总体主题；集合（00-XX） 三 概率论与随机过程（60-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 75出版物有被引用768中的次465文件 引用人▼ 年份▼ 结构化操作语义和互模拟作为同余。 Zbl 0752.68053号 Jan Friso，格鲁特；Vaandrager，Frits公司 96 1992 带有否定前提的过渡系统规范。 Zbl 0778.68057号 Jan Friso，格鲁特 61 1993 一种有效的分支互模拟和断续等价算法。 Zbl 0765.68125号 Jan Friso，格鲁特；Vaandrager，Frits公司 54 1990 过渡系统规范中否定前提的含义。 兹伯利0889.68113 罗兰·波尔；简·弗里斯科·格罗特 46 1996 通信系统的建模和分析。 Zbl 1353.68006号 Jan Friso，格鲁特；穆罕默德·雷扎·穆萨维 38 2014 SOS格式和元理论：20年后。 Zbl 1111.68069号 穆罕默德·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 33 2007 工艺验证汇流。 Zbl 0874.68118号 J.F.格罗特。；医学硕士Sellink。 23 1996 \CRL：分析代数规范的工具集。 Zbl 0991.68640号 斯特凡·布隆；Wan Fokkink公司；Jan Friso，格鲁特；伊扎克·范·兰格沃尔德；伯特·利瑟 22 2001 代数过程验证。 Zbl 1035.68069号 J.F.格罗特。；雷尼尔斯，M.A。 22 2001 mCRL2工具集及其最新进展概述。 兹比尔1381.68198 斯约尔德·克兰恩；Jan Friso，格鲁特；Jeroen J.A.Keiren。；斯坦珀斯，弗兰克·P·M。；埃里克·P·德文克。；威格·威瑟林克；Tim A.C.Willemse。 22 2013 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 Zbl 1367.68211号 Jan Friso，格鲁特；大卫·詹森（David N.Jansen）。；Jeroen J.A.Keiren。；安东·威伊斯（Anton J.Wijs）。 19 2017 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 18 2005 基本过程代数的不可判定等价。 Zbl 0834.68069号 Jan Friso，格鲁特；汉斯·休特尔 17 1994 规范BPA过程互模拟可判定性的简短证明。 兹比尔0779.68029 Jan Friso，格鲁特 16 1992 CRL的证明理论：一种用于处理数据的语言。 Zbl 0813.68135号 Jan Friso，格鲁特；阿尔班·蓬塞 14 1994 参数化布尔方程系统。 Zbl 1077.68061号 Jan Friso，格鲁特；Tim A.C.Willemse。 13 2005 使用数据对过程进行模型检查。 Zbl 1082.68067号 J.F.格罗特。；威廉姆斯，T.A.C。 13 2005 使用mCRL2分析分布式系统。 兹比尔1171.68400 Jan Friso，格鲁特；亚德·马蒂杰森；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 11 2009 使用数据验证设置中进程的时间属性。 Zbl 0926.03036号 Jan Friso，格鲁特；拉杜·马特埃斯库 11 1999 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1029.68129号 J.F.格罗特。；H.赞蒂玛。 11 2003 带保护的进程代数：将hoare逻辑与进程代数相结合。 兹伯利0806.68078 Jan Friso，格鲁特；阿尔班·蓬塞 10 1994 使用部分汇流的状态空间约简。 兹比尔0996.68122 Jan Friso，格鲁特；范德波尔（Jaco van de Pol） 10 2000 等式二元决策图。 Zbl 0988.68590号 Jan Friso，格鲁特；范德波尔（Jaco van de Pol） 10 2000 命题公式检查器HeerHugo。 Zbl 0968.68148号 Jan Friso，格鲁特；华纳，Joost P。 9 2000 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维；米歇尔·雷尼尔斯；Jan Friso，格鲁特 8 2005 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso，格鲁特；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 8 2006 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷赫巴德班；Wan Fokkink公司；Jan Friso，格鲁特；庞、军；范德波尔（Jaco van de Pol） 8 2005 并行pCRL中的线性化。 Zbl 0988.68121号 J.F.格罗特。；A.Ponse。；Usenko，Y.S。 8 2001 标记转移系统上分支双相似性的（O（m\log n）算法。 Zbl 1483.68232号 大卫·詹森（David N.Jansen）。；Jan Friso，格鲁特；Jeroen J.A.Keiren。；安东·威伊斯 8 2020 焦点和收敛过程操作符：协议验证的证明策略。 Zbl 1015.68175号 Jan Friso，格鲁特；斯普林菲尔德，一月 7 2001 一种用于断续等价和分支互模拟的（O（m\log n）算法。 兹比尔1420.68146 Jan Friso，格鲁特；安东·威伊斯 7 2016 过程代数中领导选举协议的形式化验证。 Zbl 0911.68057号 拉尔斯·弗雷德隆德；弗里索·格罗特，简；Henri Korver 7 1997 通过标记和扫描实现无锁并行和并发垃圾收集。 兹比尔1178.68528 高，H。；J.F.格罗特。；西赫塞林克。 6 2007 一种确定概率互模拟的有效算法。 兹比尔1461.68133 Jan Friso，格鲁特；里奥·里维拉·威尔杜斯科；埃里克·P·德文克。 5 2018 键入lambda计算和应用程序。国际会议，1993年3月16日至18日，荷兰乌得勒支。诉讼程序。 Zbl 0866.00038号 5 1993 命题公式检查器HeerHugo。 Zbl 0979.68088号 Jan Friso，格鲁特；华纳，Joost P。 5 2000 异步的一种算法全部写入基于进程冲突的问题。 Zbl 1448.68471号 Jan Friso，格鲁特；维姆·赫塞林克。；绍克·莫；罗杰·弗默伦 5 2001 从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号 斯约尔德·克兰恩；Jan Friso，格鲁特；米歇尔·雷尼尔斯 4 2011 过渡系统规范中否定前提的含义。 Zbl 0796.68142号 罗兰·波尔；Jan Friso，格鲁特 4 1991 具有开放寻址的无锁动态哈希表。 Zbl 1264.68217号 高，H。；J.F.格罗特。；西赫塞林克。 4 2005 均匀过程与数据的并行组合。 Zbl 0992.68235号 J.F.格罗特。；J.范瓦梅尔。 4 2001 定时CRL的完整性。 兹比尔1011.68063 雷尼尔斯，M.A。；J.F.格罗特。；范德兹瓦格，M.B。；J.范瓦梅尔。 4 2002 多服务器系统中的任务分配。 Zbl 1154.90418号 博斯特，塞姆；奥诺州博克斯马；Jan Friso，格鲁特；绍克·莫 4 2003 从\（\mu\）CRL到mCRL2：动机和大纲。 Zbl 1316.68094号 Jan Friso，格鲁特；亚德·马蒂杰森；蒙克·范·维尔登堡；亚罗斯拉夫乌森科 4 2006 马尔可夫链弱双相似性的近线性时间算法。 Zbl 07559464号 大卫·詹森（David N.Jansen）。；Jan Friso，格鲁特；Timmers，渡轮；杨鹏飞 4 2020 切换图形。 Zbl 1187.68314号 Jan Friso，格鲁特；贝斯·普洛格 三 2009 一阶谓词逻辑的二进制决策图。 Zbl 1035.03012号 Jan Friso，格鲁特；奥尔加·特维雷蒂纳 三 2003 定时（mu CRL）中三个混合系统的分析。 Zbl 0971.68113号 Jan Friso，格鲁特；乔斯·范瓦梅尔 三 2001 起重车分布式系统分析。 Zbl 1048.68055号 J.F.格罗特。；J.庞。；沃特斯，A.G。 三 2003 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司；Jan Friso，格鲁特；庞、军；巴哈雷赫巴德班；范德波尔（Jaco van de Pol） 三 2004 通过分区的互模拟Is\（\Omega（（m+n）\log n）\）。 Zbl 07730633号 Jan Friso，格鲁特；简·马滕斯；埃里克·德文克 三 2021 焦点和收敛过程操作符。 Zbl 1123.68305号 Jan Friso，格鲁特；斯普林菲尔德，一月 2 2007 求解具有交替不动点的析取/合取布尔方程组。 Zbl 1126.68478号 Jan Friso，格鲁特；米萨Keinänen 2 2004 过程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司；Jan Friso，格鲁特；米歇尔·雷尼尔斯 2 2004 规范指南，以避免国家空间爆炸问题。 Zbl 1353.68178号 Jan Friso，格鲁特；蒂姆·库特斯（Tim W.D.M.Kouters）。；阿马尔·奥萨韦兰 2 2012 计算机检查分布式求和算法的代数验证。 Zbl 1105.68072号 Jan Friso，格鲁特；弗朗索瓦·莫宁；斯普林菲尔德，一月 2 2005 参数化布尔方程系统（扩展抽象）。 Zbl 1099.68670号 Jan Friso，格鲁特；蒂姆·威廉姆斯 2 2004 利用字符串迭代实现MPA的完整方程公理化。 Zbl 0913.68108号 卢卡·埃特罗；Jan Friso，格鲁特 2 1999 使用过程代数解决问题被认为是有洞察力的。 Zbl 1498.68186号 Jan Friso，格鲁特；埃里克·P·德文克。 2 2017 将等式逻辑转换为命题逻辑。 Zbl 1261.03070号 汉斯·赞特马；Jan Friso，格鲁特 1 2003 在BDD中隐藏命题常量。 Zbl 1425.68088号 Jan Friso，格鲁特 1 1996 一种用于合取和析取布尔方程组的次二次算法。 Zbl 1169.68652号 Jan Friso，格鲁特；米萨Keinänen 1 2005 软件系统的统计认证。 Zbl 1132.62086号 亚历山德罗·迪·布奇亚尼科；Jan Friso，格鲁特；Kees的Van Hee；罗纳德·克鲁德霍夫 1 2008 赢得《鹅的游戏》的机会。 Zbl 1346.91023号 Jan Friso，格鲁特；汉斯·赞特马 1 2014 使用\（\mu\）CRL分析BKE安全协议。 Zbl 1272.68224号 斯特凡·布隆；Jan Friso，格鲁特；绍克·莫；亚历山大·塞雷布雷尼克 1 2005 均值漂移：为实际应用裁剪马尔可夫过程的平均场理论。 Zbl 06962354号 马哈茂德·塔莱比；Jan Friso，格鲁特；Jean-Paul M.G.林纳茨。 1 2017 大型状态空间可视化。 Zbl 1031.68522号 Jan Friso，格鲁特；范·哈姆（Frank van Ham） 1 2003 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1073.03520号 Jan Friso，格鲁特；汉斯·赞特马 1 2001 逻辑门、电路、处理器、编译器和计算机。 Zbl 1473.68005号 Jan Friso，格鲁特；罗尔夫·莫雷尔；朱利安·施马耳茨；亚当·沃特金斯 1 2021 概率轨迹等价的完全公理化。 Zbl 1513.68037号 Timmers，渡轮；Jan Friso，格鲁特 1 2020 GPU上的术语重写。 Zbl 1496.68168号 乔赫里·范·埃尔德；Jan Friso，格鲁特；皮特·希玛；简·马滕斯；安东·威伊斯 1 2021 用于定位术语中所有模式匹配的集合自动机。 Zbl 07500638号 里克·埃尔肯斯；Jan Friso，格鲁特 1 2021 通过创建和读取直至删除的无等待并发内存管理（CaRuD）。 Zbl 1448.68112号 维姆·赫塞林克。；Jan Friso，格鲁特 1 2001 用于细化检查的正确有效的反链算法。 兹比尔1509.68168 莫里斯·拉维奥；Jan Friso，格鲁特；Tim A.C.Willemse。 1 2021 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 Zbl 1471.68016号 1 2021 通过分区的互模拟Is\（\Omega（（m+n）\log n）\）。 Zbl 07730633号 Jan Friso，格鲁特；简·马滕斯；埃里克·德文克 三 2021 逻辑门、电路、处理器、编译器和计算机。 Zbl 1473.68005号 Jan Friso，格鲁特；罗尔夫·莫雷尔；朱利安·施马耳茨；亚当·沃特金斯 1 2021 GPU上的术语重写。 Zbl 1496.68168号 乔赫里·范·埃尔德；Jan Friso，格鲁特；皮特·希玛；简·马滕斯；安东·威伊斯 1 2021 用于定位术语中所有模式匹配的集合自动机。 Zbl 07500638号 里克·埃尔肯斯；Jan Friso，格鲁特 1 2021 用于细化检查的正确有效的反链算法。 Zbl 1509.68168号 莫里斯·拉维奥；Jan Friso，格鲁特；Tim A.C.Willemse。 1 2021 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 Zbl 1471.68016号 1 2021 标记转移系统分支双相似性的一个\（O（m\logn）\）算法。 Zbl 1483.68232号 大卫·詹森（David N.Jansen）。；Jan Friso，格鲁特；Jeroen J.A.Keiren。；安东·威伊斯 8 2020 马尔可夫链弱双相似性的近线性时间算法。 Zbl 07559464号 大卫·詹森（David N.Jansen）。；Jan Friso，格鲁特；Timmers，渡轮；杨鹏飞 4 2020 概率迹等价的完整公理化。 Zbl 1513.68037号 Timmers，渡轮；Jan Friso，格鲁特 1 2020 一种确定概率互模拟的有效算法。 兹比尔1461.68133 Jan Friso，格鲁特；里奥·里维拉·威尔杜斯科；埃里克·P·德文克。 5 2018 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 Zbl 1367.68211号 Jan Friso，格鲁特；大卫·詹森（David N.Jansen）。；Jeroen J.A.Keiren。；安东·威伊斯（Anton J.Wijs）。 19 2017 使用过程代数解决问题被认为很有见地。 兹比尔1498.68186 Jan Friso，格鲁特；埃里克·P·德文克。 2 2017 均值漂移：为实际应用裁剪马尔可夫过程的平均场理论。 Zbl 06962354号 马哈茂德·塔莱比；Jan Friso，格鲁特；Jean-Paul M.G.林纳茨。 1 2017 一种用于断续等价和分支互模拟的（O（m\log n）算法。 兹比尔1420.68146 Jan Friso，格鲁特；安东·威伊斯 7 2016 通信系统的建模和分析。 Zbl 1353.68006号 Jan Friso，格鲁特；穆罕默德·雷扎·穆萨维 38 2014 赢得《鹅的游戏》的机会。 Zbl 1346.91023号 Jan Friso，格鲁特；汉斯·赞特马 1 2014 mCRL2工具集概述及其最新进展。 兹比尔1381.68198 斯乔德·克兰恩；Jan Friso，格鲁特；Jeroen J.A.Keiren。；斯坦珀斯，弗兰克·P·M。；埃里克·P·德文克。；威格·威瑟林克；Tim A.C.Willemse。 22 2013 规范指南，以避免国家空间爆炸问题。 Zbl 1353.68178号 Jan Friso，格鲁特；蒂姆·库特斯（Tim W.D.M.Kouters）。；阿马尔·奥萨韦兰 2 2012 从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号 斯乔德·克兰恩；Jan Friso，格鲁特；米歇尔·雷尼尔斯 4 2011 使用mCRL2分析分布式系统。 兹比尔1171.68400 Jan Friso，格鲁特；亚德·马蒂杰森；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 11 2009 切换图形。 Zbl 1187.68314号 Jan Friso，格鲁特；贝斯·普洛格 三 2009 软件系统的统计认证。 Zbl 1132.62086号 亚历山德罗·迪·布奇亚尼科；Jan Friso，格鲁特；Kees的Van Hee；罗纳德·克鲁德霍夫 1 2008 SOS格式和元理论：20年后。 Zbl 1111.68069号 穆罕默德·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 33 2007 通过标记和扫描实现无锁并行和并发垃圾收集。 兹比尔1178.68528 高，H。；J.F.格罗特。；西赫塞林克。 6 2007 焦点和收敛过程操作符。 Zbl 1123.68305号 Jan Friso，格鲁特；斯普林菲尔德，一月 2 2007 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso，格鲁特；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 8 2006 从\（\mu\）CRL到mCRL2：动机和大纲。 Zbl 1316.68094号 Jan Friso，格鲁特；亚德·马蒂杰森；蒙克·范·维尔登堡；亚罗斯拉夫乌森科 4 2006 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 18 2005 参数化布尔方程系统。 Zbl 1077.68061号 Jan Friso，格鲁特；蒂姆·威廉姆斯。 13 2005 使用数据对过程进行模型检查。 Zbl 1082.68067号 J.F.格罗特。；威廉姆斯，T.A.C。 13 2005 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维；米歇尔·雷尼尔斯；Jan Friso，格鲁特 8 2005 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷赫巴德班；Wan Fokkink公司；Jan Friso，格鲁特；庞、军；范德波尔（Jaco van de Pol） 8 2005 具有开放寻址的无锁动态哈希表。 Zbl 1264.68217号 高，H。；J.F.格罗特。；西赫塞林克。 4 2005 计算机检查分布式求和算法的代数验证。 Zbl 1105.68072号 Jan Friso，格鲁特；弗朗索瓦·莫宁；斯普林菲尔德，一月 2 2005 一种用于合取和析取布尔方程组的次二次算法。 兹比尔1169.68652 Jan Friso，格鲁特；米萨Keinänen 1 2005 使用\（\mu\）CRL分析BKE安全协议。 Zbl 1272.68224号 斯特凡·布隆；Jan Friso，格鲁特；绍克·莫；亚历山大·塞雷布雷尼克 1 2005 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司；Jan Friso，格鲁特；庞、军；巴哈雷赫巴德班；范德波尔（Jaco van de Pol） 三 2004 求解具有交替不动点的析取/合取布尔方程组。 Zbl 1126.68478号 Jan Friso，格鲁特；米萨Keinänen 2 2004 进程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司；Jan Friso，格鲁特；米歇尔·雷尼尔斯 2 2004 参数化布尔方程系统（扩展抽象）。 Zbl 1099.68670号 Jan Friso，格鲁特；蒂姆·威廉姆斯 2 2004 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1029.68129号 J.F.格罗特。；H.赞蒂玛。 11 2003 多服务器系统中的任务分配。 Zbl 1154.90418号 博斯特，塞姆；奥诺州博克斯马；Jan Friso，格鲁特；绍克·莫 4 2003 一阶谓词逻辑的二进制决策图。 Zbl 1035.03012号 Jan Friso，格鲁特；奥尔加·特维雷蒂纳 三 2003 起重车分布式系统分析。 Zbl 1048.68055号 J.F.格罗特。；J.庞。；沃特斯，A.G。 三 2003 将等式逻辑转换为命题逻辑。 Zbl 1261.03070号 汉斯·赞特马；Jan Friso，格鲁特 1 2003 大型状态空间可视化。 Zbl 1031.68522号 Jan Friso，格鲁特；范·哈姆（Frank van Ham） 1 2003 定时CRL的完整性。 Zbl 1011.68063号 雷尼尔斯，M.A。；J.F.格罗特。；范德兹瓦格，M.B。；van Wamel，J。 4 2002 \CRL：分析代数规范的工具集。 Zbl 0991.68640号 斯特凡·布隆；Wan Fokkink公司；Jan Friso，格鲁特；伊扎克·范·兰格沃尔德；伯特·利瑟 22 2001 代数过程验证。 Zbl 1035.68069号 J.F.格罗特。；雷尼尔斯，M.A。 22 2001 并行pCRL中的线性化。 Zbl 0988.68121号 J.F.格罗特。；A.Ponse。；Usenko，Y.S。 8 2001 焦点和收敛过程操作符：协议验证的证明策略。 Zbl 1015.68175号 Jan Friso，格鲁特；斯普林菲尔德，一月 7 2001 异步的一种算法全部写入基于进程冲突的问题。 Zbl 1448.68471号 Jan Friso，格鲁特；维姆·赫塞林克。；绍克·莫；罗杰·弗默伦 5 2001 均匀过程与数据的并行组合。 Zbl 0992.68235号 J.F.格罗特。；J.范瓦梅尔。 4 2001 定时（mu CRL）中三个混合系统的分析。 Zbl 0971.68113号 Jan Friso，格鲁特；乔斯·范瓦梅尔 三 2001 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1073.03520号 Jan Friso，格鲁特；汉斯·赞特马 1 2001 通过创建和读取直至删除的无等待并发内存管理（CaRuD）。 Zbl 1448.68112号 维姆·赫塞林克。；Jan Friso，格鲁特 1 2001 使用部分汇流的状态空间约简。 兹比尔0996.68122 Jan Friso，格鲁特；范德波尔（Jaco van de Pol） 10 2000 等式二元决策图。 Zbl 0988.68590号 Jan Friso，格鲁特；范德波尔（Jaco van de Pol） 10 2000 命题公式检查器HeerHugo。 Zbl 0968.68148号 Jan Friso，格鲁特；华纳，Joost P。 9 2000 命题公式检查器HeerHugo。 Zbl 0979.68088号 Jan Friso，格鲁特；华纳，Joost P。 5 2000 使用数据验证设置中进程的时间属性。 Zbl 0926.03036号 Jan Friso，格鲁特；拉杜·马特埃斯库 11 1999 利用字符串迭代实现MPA的完整方程公理化。 Zbl 0913.68108号 卢卡·埃特罗；Jan Friso，格鲁特 2 1999 过程代数中领导选举协议的形式化验证。 Zbl 0911.68057号 拉尔斯·弗雷德隆德；弗里索·格鲁特，简；Henri Korver 7 1997 过渡系统规范中否定前提的含义。 兹伯利0889.68113 罗兰·波尔；简·弗里斯科·格罗特 46 1996 工艺验证汇流。 Zbl 0874.68118号 J.F.格罗特。；医学硕士Sellink。 23 1996 在BDD中隐藏命题常量。 兹比尔1425.68088 Jan Friso，格鲁特 1 1996 基本过程代数的不可判定等价。 Zbl 0834.68069号 Jan Friso，格鲁特；汉斯·休特尔 17 1994 CRL的证明理论：一种用于处理数据的语言。 Zbl 0813.68135号 Jan Friso，格鲁特；阿尔班·蓬塞 14 1994 带保护的进程代数：将hoare逻辑与进程代数相结合。 Zbl 0806.68078号 Jan Friso，格鲁特；阿尔班·蓬塞 10 1994 带有否定前提的过渡系统规范。 Zbl 0778.68057号 Jan Friso，格鲁特 61 1993 键入lambda计算和应用程序。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。 Zbl 0866.00038号 5 1993 结构化操作语义和互模拟作为同余。 Zbl 0752.68053号 Jan Friso，格鲁特；Vaandrager，Frits公司 96 1992 一个简短的证据，证明了标准化BPA过程的双刺激决定性。 Zbl 0779.68029号 Jan Friso，格鲁特 16 1992 过渡系统规范中否定前提的含义。 Zbl 0796.68142号 罗兰·波尔；Jan Friso，格鲁特 4 1991 一种有效的分支互模拟和断续等价算法。 Zbl 0765.68125号 Jan Friso，格鲁特；Vaandrager，Frits公司 54 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名550位作者引用 34 Jan Friso，格鲁特 23 卢卡·埃特罗 23 Tim A.C.Willemse。 22 米歇尔·阿德里安 20 Anna Ingólfsdóttir 20 范格拉贝克、罗伯特·扬 18 威廉·扬·福克金 15 Jan A.Bergstra。 15 巴斯·卢提克 14 范德波尔，扬·科内利斯 10 Jos C.M.Baeten。 10 Middelburg，Cornelis A。 10 阿尔班·蓬塞 10 西蒙·蒂尼 9 埃里克·P·德文克。 8 瓦伦蒂娜·卡斯蒂格利奥尼 7 罗尔夫·亨尼克 6 马蒂奥·奇米尼 6 罗伯托·戈里埃里 6 弗雷德里克·朗 6 乌戈·蒙塔纳里。 6 西蒙娜·奥尔赞 6 莫里斯·比克。 6 伊雷克·乌利多夫斯基 6 安东·威伊斯（Anton J.Wijs）。 5 苏珊娜·安多瓦 5 Pieter J.L.Cuijpers。 5 佩德罗·鲁宾·达吉尼奥 5 伊格纳西奥·法布雷加斯 5 大卫·詹森（David N.Jansen）。 5 Joost-Pieter卡托恩 5 巴托克·克林 5 安东宁·库切拉 5 庞、军 5 贝斯·普洛格 5 弗朗西斯科·兰扎托 5 戴维·桑吉奥吉 5 Van Weerdenburg，Muck J。 5 威格·威瑟林克 5 汉斯·赞特马 4 阿明·比尔 4 西蒙·布利兹 4 马里奥·布拉维蒂 4 纳迪亚·布西 4 斯乔德·克兰恩 4 乌里·法伦贝格 4 休伯特·加拉维 4 Daniel E.Gebler。 4 简·赫尔曼·杰弗斯 4 法特梅·加塞米 4 霍尔格·赫尔曼斯 4 维姆·赫塞林克。 4 Jeroen J.A.Keiren。 4 Legay、Axel 4 拉杜·马特埃斯库 4 理查德·梅尔。 4 弗朗科·马扎蒂 4 法隆·莫勒 4 穆罕默德·穆萨维 4 雅各布斯·E·罗达。 4 马克·蒂默 4 亚罗斯拉夫·乌森科。 4 吉安路易吉·扎瓦塔罗 4 张金金 4 张燕 4 朱兆辉 三 埃利·阿纳斯塔西亚迪 三 巴哈雷赫巴德班 三 斯特凡·布隆 三 布鲁姆，巴德 三 Randal E.布莱恩特。 三 文森佐·西安西亚 三 牧场克利夫兰 三 罗伯特·J·科尔文。 三 阿德里安·杜里埃 三 吉安·路易吉，法拉利 三 阿尔瓦罗·加西亚·佩雷斯 三 马西耶·加兹达。 三 Heule，Marijn J.H。 三 丹尼尔·赫希科夫 三 C.A.R.Tony Hoare 三 金·古德斯特兰·拉森 三 迭戈·拉特拉 三 莫里斯·拉维奥 三 亚历山大·马德拉 三 梅克·马西克 三 马蒂亚斯·拉加德·佩德森 三 伊恩·菲利普斯。 三 保拉·夸里亚 三 Righter，朗达 三 安德鲁·威廉，罗斯科 三 格温·萨拉恩 三 R.R.H.希弗勒。 三 吉·斯尔巴 三 玛丽·斯托琳加 三 奥尔加·特维雷蒂纳 三 范·比克，D.A。 三 Vu，Thuy Duong先生 三 托尔斯滕·魏斯曼 三 袁，Shoji …还有450多名作者 全部的 前5名48篇连载文章中引用 80 理论计算机科学 38 信息与计算 31 逻辑与代数程序设计杂志 22 计算机科学中的逻辑方法 21 程序设计中的逻辑和代数方法杂志 20 信息学报 18 计算的形式方面 12 信息处理信件 8 计算机程序设计科学 7 离散应用数学 7 系统设计中的形式化方法 5 MSCS公司。计算机科学中的数学结构 5 ACM计算逻辑事务 4 计算机与系统科学杂志 4 自动推理杂志 三 分布式计算 2 人工智能 2 纯逻辑与应用逻辑年鉴 2 数学与人工智能年鉴 2 计算机基础理论 2 Prikladnaya Diskretnaya Matematika公司 1 应用概率研究进展 1 物理A 1 自动化 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 运筹学 1 编程与计算机软件 1 运营研究信件 1 符号计算杂志 1 并行与分布式计算杂志 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 SIAM审查 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 工程中的数学问题 1 计算系统理论 1 调度日志 1 美国医学会杂志 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 数字学报 1 算法 全部的 前5名16个领域引用 449 计算机科学（68至XX） 86 数理逻辑与基础（03-XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 10 运筹学、数学规划（90-XX） 6 概率论与随机过程（60-XX） 5 系统论；控制（93至XX） 4 信息与通信理论、电路（94-XX） 2 范畴理论；同调代数（18-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 一般拓扑结构（54至XX） 1 数值分析（65-XX） 1 统计力学，物质结构（82-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文