编辑配置文件（在新选项卡中打开） 斯普林菲尔德，一月 合著者距离 作者ID： 斯普林菲尔德·简 发布方式： 斯普林菲尔德，一月;斯普林因特维尔德，J。 已编制索引的文档： 9出版物自1993年起 合著者： 6位合著者具有6联合出版物 207位合作作者 全部的 前5名合著者 三 单作者的 三 Jan Friso，格鲁特 1 马克·贝泽姆 1 佩德罗·鲁宾·达吉尼奥 1 Henri Korver 1 弗朗索瓦·莫宁 1 Vaandrager，Frits W。 系列 1 理论计算机科学 1 计算的形式方面 1 函数编程杂志 1 逻辑与代数程序设计杂志 领域 8 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用43中的次38文件 引用人▼ 年份▼ 测试定时自动机。 Zbl 0972.68104号 斯普林因特维尔德，J。;Vaandrager，F。;达格尼奥，P.R。 19 2001 焦点和收敛过程操作符：协议验证的证明策略。 Zbl 1015.68175号 Jan Friso，格鲁特;斯普林特维尔 7 2001 计算机对米尔纳的调度程序进行了检查验证。 Zbl 0942.68710号 Henri Korver;斯普林菲尔德，一月 6 1994 居住在\（\lambda P\）中不可判定性的简单证明。 Zbl 0872.68035号 马克·贝泽姆;斯普林菲尔德，一月 三 1996 存在类型构造函数时的三阶匹配（扩展抽象）。 Zbl 1063.03525号 斯普林特维尔 三 1995 焦点和收敛过程操作符。 Zbl 1123.68305号 Jan Friso，格鲁特;斯普林菲尔德，一月 2 2007 计算机检查分布式求和算法的代数验证。 Zbl 1105.68072号 Jan Friso，格鲁特;弗朗索瓦·莫宁;斯普林菲尔德，一月 2 2005 \（\lambda{\underline\omega}\）和\（\lambda P\）中类型约简的上下限。 Zbl 0795.68028号 斯普林菲尔德，一月 1 1993 焦点和收敛的流程操作员。 Zbl 1123.68305号 Jan Friso，格鲁特;斯普林菲尔德，一月 2 2007 计算机检查分布式求和算法的代数验证。 Zbl 1105.68072号 Jan Friso，格鲁特;弗朗索瓦·莫宁;斯普林菲尔德，一月 2 2005 测试定时自动机。 Zbl 0972.68104号 斯普林因特维尔德，J。;Vaandrager，F。;D&rsquo；阿吉尼奥，P.R。 19 2001 焦点和收敛过程操作符：协议验证的证明策略。 Zbl 1015.68175号 Jan Friso，格鲁特;斯普林菲尔德，一月 7 2001 居住在\（\lambda P\）中不可判定性的简单证明。 Zbl 0872.68035号 马克·贝泽姆;斯普林菲尔德，一月 三 1996 存在类型构造函数（扩展抽象）时的三阶匹配。 Zbl 1063.03525号 斯普林菲尔德，一月 三 1995 计算机对米尔纳的调度程序进行了检查验证。 Zbl 0942.68710号 Henri Korver;斯普林菲尔德，一月 6 1994 \（\lambda{\underline\omega}\）和\（\lambda P\）中类型约简的上下限。 Zbl 0795.68028号 斯普林菲尔德，一月 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 7 Jan Friso，格鲁特 4 Manuel A.努内兹。 4 伊斯梅尔·罗德里格斯 三 梅雷约（Mercedes G.Merayo）。 2 威廉·扬·福克金 2 利奥·亨利 2 罗伯特·马克·海伦斯 2 蒂埃里·杰伦 2 艾哈迈德·库姆西 2 尼古拉斯·马基 2 穆斯塔法·努勒法特 2 斯普林菲尔德，一月 2 范德波尔，扬·科内利斯 1 Jan A.Bergstra。 1 马克·贝泽姆 1 罗兰·博尔。 1 大卫·布雷索林 1 阿兰·邦迪 1 兰斯·克莱维兰 1 马达琳娜·克罗伊托鲁 1 奥格·德穆尔 1 马蒂杰斯·德·维特（Mathijs M.de Weerdt）。 1 El-Fakih，哈立德 1 彼得·丰塔纳 1 拉尔斯·弗雷德隆德 1 弗扎蒂、拉切尔 1 简·赫尔曼·杰弗斯 1 法特梅·加塞米 1 格林，伊恩 1 奥尔加·格林斯坦 1 马克西姆·列奥尼多维奇（Maksim Leonidovich Gromov） 1 黄文玲 1 迪娜·阿琳娜·伊罗夫蒂 1 本特·琼森 1 Joost-Pieter卡托恩 1 Henri Korver 1 莫伊斯·克里钦 1 马丁·勒克 1 孟亚坤 1 马西莫·梅罗 1 科内利斯·A·米德尔堡。 1 劳尔·蒙罗伊 1 阿里·莫瓦加尔 1 乌韦·内斯特曼 1 卢西恩·瓦德拉奥戈（Lucien Ouédraogo） 1 庞、军 1 简·佩莱斯卡 1 阿尔班·蓬塞 1 朱塞佩·普里米埃罗 1 费尔南多·罗莎·维拉尔多 1 费尔南多·鲁比奥 1 医学硕士Sellink。 1 阿齐兹·斯法尔 1 甘尼什·西坦帕兰 1 索伦森，莫滕·海涅B。 1 tefénescu，Gheorghe 1 玛丽·斯托琳加 1 孙景浩 1 谭国珍 1 马克·蒂默 1 斯塔夫罗斯·特里帕基斯 1 亚罗斯拉夫·乌森科。 1 乔斯·范瓦梅尔 1 四川省韦尔市 1 蒂齐亚诺别墅 1 Tim A.C.Willemse。 1 Cees威特文 1 N.V.叶夫图申科。 1 叶夫图申科，尼娜 全部的 前5名17篇连载文章中引用 8 理论计算机科学 4 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 2 计算的形式方面 1 倒排索引综述 1 信息学报 1 模拟中的数学与计算机 1 编程和计算机软件 1 信息与计算 1 自动推理杂志 1 实时系统 1 机器学习 1 国际计算机数学杂志 1 分布式计算 1 组合优化期刊 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 36 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文