编辑配置文件（在新选项卡中打开） 斯坦珀斯，弗兰克·P·M。 合著者距离 作者ID: 订书钉。等级p-m 发布日期： 斯坦珀斯，弗兰克·P·M。 外部链接： MGP公司 已编制索引的文档： 2出版物自2010年起 合著者： 7合著者具有2联合出版物 189位联合作者 全部的 前5名合著者 0 单作者的 2 Jan Friso，格鲁特 1 斯乔德·克兰恩 1 埃里克·P·德文克。 1 Jeroen J.A.Keiren。 1 米歇尔·阿德里安·雷尼尔 1 威格·威瑟林克 1 蒂姆·威廉姆斯。 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用22中的次22文件 引用人▼ 年份▼ mCRL2工具集及其最新进展概述。 Zbl 1381.68198号 斯乔德·克兰恩;Jan Friso，格鲁特;Jeroen J.A.Keiren。;弗兰克·斯塔普斯。;埃里克·P·德文克。;威格·威瑟林克;蒂姆·威廉姆斯。 22 2013 mCRL2工具集及其最新进展概述。 Zbl 1381.68198号 斯乔德·克兰恩;Jan Friso，格鲁特;杰伦·J·A·凯伦。;斯坦珀斯，弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;蒂姆·威廉姆斯。 22 2013 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 5 蒂姆·威廉姆斯。 2 卢卡·埃特罗 2 埃里克·P·德文克。 2 休伯特Garavel 2 卡洛斯·格雷戈里奥·罗德里格斯 2 Jan Friso，格鲁特 2 Anna Ingólfsdóttir 2 钟曼，宋世堂。 2 Jeroen J.A.Keiren。 2 莫里斯·比克。 2 威格·威瑟林克 2 安东·威伊斯（Anton J.Wijs）。 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 法哈德·阿尔巴 1 大卫·巴兹勒 1 哈什·贝哈尔 1 西蒙·布利兹 1 莫里斯·布吕诺格 1 兰斯·克莱维兰 1 斯乔德·克兰恩 1 戴维·德·弗鲁托斯·埃斯克里格 1 胡安·德·拉腊 1 德普特、桑德 1 马克·德内克 1 Dokter，Kasper公司 1 段振华 1 伊格纳西奥·法布雷加斯 1 安东尼奥·加门迪亚 1 马西耶·加兹达。 1 简·赫尔曼·杰弗斯 1 戈梅斯·马丁内斯，埃琳娜 1 埃丝特·格拉 1 彼得·霍夫纳 1 大卫·詹森（David N.Jansen）。 1 弗雷德里克·朗 1 鲁本·拉波尔 1 路易斯·利亚纳 1 马，钱 1 拉斐尔·加西亚·马丁内斯 1 罗萨里奥·普格利泽 1 里奥·里维拉·威尔杜斯科 1 莉塞特·桑切斯 1 范·德尔夫特（Myrthe van Delft） 1 朱尔·范德沃尔 1 范格拉贝克、罗伯特·扬 1 谢夫·范·卢 1 王晓兵 1 吉田、Nobuko 1 张楠 5篇连载文章中引用 7 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 2 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 算法 在4个字段中引用 22 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文