编辑配置文件（在新选项卡中打开） 弗兰克·皮森斯 合著者距离 作者ID： 皮森斯·弗兰克 发布日期： 弗兰克·皮森斯 已编制索引的文档： 27出版物自1995年起 1名编辑贡献 合著者： 29位合著者具有28联合出版物 271合著作者 全部的 前5名合著者 0 单作者的 12 多米尼克·德夫里塞 7 巴特·雅各布斯 4 杰斯珀·考克斯 4 埃里克·斯蒂格曼斯 2 安德烈亚斯·努伊茨 2 马可·帕特里格纳尼 2 斯泰利奥斯·赞帕斯 2 福雷德里克·沃格尔 1 彼得·阿格滕 1 达姆，麦兹 1 巴特·德德克尔 1 奇诺维·迪斯金 1 丹尼尔·赫丁 1 约翰逊，迈克尔·斯特林·詹姆斯 1 鲍里斯·卡迪什 1 史蒂文·基切 1 安德烈亚斯·伦德布拉德 1 法比奥·马萨奇 1 迪米特·米卢舍夫 1 格雷戈里·内文 1 威廉·彭宁克 1 安德烈·萨贝尔菲尔德 1 沃尔夫拉姆·舒尔特 1 亚历山大·施滕 1 斯曼斯（Jan Smans） 1 埃里克·范·霍米森 1 托马斯·范·斯特里多克 1 卢卡·维甘诺 1 克里斯蒂安·威廉姆斯 全部的 前5名系列 三 函数编程杂志 2 纯粹与应用代数杂志 2 计算机科学中的逻辑方法 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 范畴的理论与应用 1 计算机科学讲义 全部的 前5名领域 28 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 2 代数拓扑（55-XX） 1 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用64中的次52文件 引用人▼ 年份▼ 表达性模块化细粒度并发规范。 Zbl 1284.68428号 巴特·雅各布斯;弗兰克·皮森斯 9 2011 使用动态框架自动验证Java程序。 Zbl 1204.68131号 斯曼斯（Jan Smans）;巴特·雅各布斯;弗兰克·皮森斯;沃尔夫拉姆·舒尔特 7 2010 类型类的优点是：Agda中的实例参数。 兹比尔1323.68108 多米尼克·德夫里塞;弗兰克·皮森斯 6 2011 类型化语法元编程。 Zbl 1323.68109号 多米尼克·德夫里塞;弗兰克·皮森斯 5 2013 分类数据特定化。 Zbl 0919.18001号 弗兰克·皮森斯;埃里克·斯蒂格曼斯 4 1995 无K的模式匹配。 Zbl 1345.68045号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 4 2014 用于分离逻辑验证代码的完全抽象编译的线性功能。 Zbl 1522.68138号 托马斯·范·斯特里多克;弗兰克·皮森斯;多米尼克·德夫里塞 三 2021 Featherweight VeriFast。 Zbl 1448.68221号 巴特·雅各布斯;福雷德里克·沃格尔;弗兰克·皮森斯 三 2015 可视化建模的通用箭头基础。 兹伯利0973.68576 奇诺维·迪斯金;鲍里斯·卡迪什;弗兰克·皮森斯;迈克尔·约翰逊 三 2000 通过近似回译进行完全抽象编译。 Zbl 1347.68064号 多米尼克·德夫里塞;马可·帕特里格纳尼;弗兰克·皮森斯 三 2016 作为等价物的统一：相关类型数据的相关证明统一。 Zbl 1360.68321号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 三 2016 证明数据规范的语义等价性。 Zbl 0867.68080号 弗兰克·皮森斯;埃里克·斯蒂格曼斯 2 1997 在图书馆在场的情况下跟踪信息流的原则性方法。 Zbl 1444.68051号 丹尼尔·赫丁;亚历山大·施滕;弗兰克·皮森斯;安德烈·萨贝尔菲尔德 2 2017 程序输入/输出行为的声音、模块和合成验证。 Zbl 1335.68063号 威廉·彭宁克;巴特·雅各布斯;弗兰克·皮森斯 2 2015 安全编译的明确方法。 Zbl 07314153号 斯泰利奥斯·赞帕斯;安德烈亚斯·努伊茨;多米尼克·德夫里塞;弗兰克·皮森斯 1 2020 消除无K的依赖模式匹配。 Zbl 1419.68037号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 1 2016 通过近似回译进行模块化、完全抽象的编译。 Zbl 1398.68089号 多米尼克·德夫里塞;马可·帕特里格纳尼;弗兰克·皮森斯;史蒂文·基切 1 2017 机器检查了中间验证语言的稳健性证明。 Zbl 1206.68193号 福雷德里克·沃格尔;巴特·雅各布斯;弗兰克·皮森斯 1 2009 黑匣子反应式程序安全策略的运行时强制执行。 Zbl 1345.68113号 明尼苏达州Ngo;法比奥·马萨奇;迪米特·米卢舍夫;弗兰克·皮森斯 1 2015 在未经验证的上下文中执行的C代码的健全模块化验证。 Zbl 1345.68089号 彼得·阿格滕;巴特·雅各布斯;弗兰克·皮森斯 1 2015 安全和信任原则。2016年4月2日至8日在荷兰埃因霍温举行的第五届国际会议，即2016年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1333.68016号 1 2016 重叠模式和订单依赖模式。人人平等。 Zbl 1405.68075号 杰斯珀·考克斯;弗兰克·皮森斯;多米尼克·德夫里塞 1 2014 用于分离逻辑验证代码的完全抽象编译的线性功能。 Zbl 1522.68138号 托马斯·范·斯特里多克;弗兰克·皮森斯;多米尼克·德夫里塞 三 2021 安全编译的明确方法。 兹伯利07314153 斯泰利奥斯·赞帕斯;安德烈亚斯·努伊茨;多米尼克·德夫里塞;弗兰克·皮森斯 1 2020 在图书馆在场的情况下跟踪信息流的原则性方法。 Zbl 1444.68051号 丹尼尔·赫丁;亚历山大·施滕;弗兰克·皮森斯;安德烈·萨贝尔菲尔德 2 2017 通过近似回译进行模块化、完全抽象的编译。 Zbl 1398.68089号 多米尼克·德夫里塞;马可·帕特里格纳尼;弗兰克·皮森斯;史蒂文·基切 1 2017 通过近似反译进行完全抽象的编译。 Zbl 1347.68064号 多米尼克·德夫里塞;马可·帕特里格纳尼;弗兰克·皮森斯 三 2016 作为等价物的统一：相关类型数据的相关证明统一。 Zbl 1360.68321号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 三 2016 消除无K的依赖模式匹配。 Zbl 1419.68037号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 1 2016 安全和信任原则。2016年4月2日至8日在荷兰埃因霍温举行的第五届国际会议，即2016年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1333.68016号 1 2016 Featherweight VeriFast。 Zbl 1448.68221号 巴特·雅各布斯;福雷德里克·沃格尔;弗兰克·皮森斯 三 2015 程序输入/输出行为的声音、模块和合成验证。 Zbl 1335.68063号 威廉·彭宁克;巴特·雅各布斯;弗兰克·皮森斯 2 2015 黑匣子反应式程序安全策略的运行时强制执行。 Zbl 1345.68113号 明尼苏达州Ngo;法比奥·马萨奇;迪米特·米卢舍夫;弗兰克·皮森斯 1 2015 对在未经验证的上下文中执行的C代码进行合理的模块化验证。 Zbl 1345.68089号 彼得·阿格滕;巴特·雅各布斯;弗兰克·皮森斯 1 2015 无K的模式匹配。 Zbl 1345.68045号 杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 4 2014 重叠模式和订单依赖模式。人人平等。 兹比尔1405.68075 杰斯珀·考克斯;弗兰克·皮森斯;多米尼克·德夫里塞 1 2014 类型化语法元编程。 Zbl 1323.68109号 多米尼克·德夫里塞;弗兰克·皮森斯 5 2013 表达性模块化细粒度并发规范。 Zbl 1284.68428号 巴特·雅各布斯;弗兰克·皮森斯 9 2011 类型类的优点是：Agda中的实例参数。 Zbl 1323.68108号 多米尼克·德夫里塞;弗兰克·皮森斯 6 2011 使用动态帧自动验证Java程序。 Zbl 1204.68131号 斯曼斯（Jan Smans）;巴特·雅各布斯;弗兰克·皮森斯;沃尔夫拉姆·舒尔特 7 2010 一种机器检查的中间验证语言的可靠性证明。 Zbl 1206.68193号 福雷德里克·沃格尔;巴特·雅各布斯;弗兰克·皮森斯 1 2009 可视化建模的通用箭头基础。 Zbl 0973.68576号 奇诺维·迪斯金;鲍里斯·卡迪什;弗兰克·皮森斯;迈克尔·约翰逊 三 2000 证明数据规范的语义等价性。 Zbl 0867.68080号 弗兰克·皮森斯;埃里克·斯蒂格曼斯 2 1997 分类数据规范。 Zbl 0919.18001号 弗兰克·皮森斯;埃里克·斯蒂格曼斯 4 1995 所有引用出版物 前5名被引用出版物 全部的 前5名127位作者引用 5 弗兰克·皮森斯 4 杰斯珀·考克斯 4 多米尼克·德夫里塞 三 拉尔斯·比克达尔 三 佩德罗·达罗查·平托 三 菲利普·安·加德纳 三 Uwe E.沃尔特。 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 托马斯·丁斯代尔·扬 2 德里克·德雷尔（Derek R.Dreyer）。 2 巴特·雅各布斯 2 约翰逊，迈克尔·斯特林·詹姆斯 2 罗伯特·克雷伯斯 2 多雷尔·卢卡努 2 格雷戈里·马莱查 2 布鲁诺·C·d·S·奥利维拉。 2 罗伯特·罗斯布鲁。 2 亚历山德罗·罗西尼 2 阿德里安·拉特尔 2 沃特·斯威斯特拉 2 尼古拉斯·塔巴鲁 2 维克托·瓦菲亚迪斯 2 菲利普·李·沃德勒 1 卡明·阿巴特 1 艾尔维拉·阿尔伯特 1 奥曼，波霍拉·约翰内斯 1 阿夫申·阿米吉 1 阿南德，阿比舍克 1 安德鲁·W·阿佩尔。 1 艺术，托马斯 1 艾丽卡·阿斯尼娜 1 安妮·巴南 1 鲍玉燕 1 克拉拉·贝纳克·厄尔 1 杰斯珀·本特森 1 阿列舍·比兹亚克 1 布隆，斯特凡 1 鲍利耶，西蒙 1 Busi，Matteo公司 1 吉尔莫·卡尔德龙 1 科宁，诺林 1 西里尔·科恩 1 维罗尼克·科尔蒂尔 1 皮埃尔·埃瓦里斯特·达甘 1 赛义德·达拉比 1 蒂鲍特·达迪尼尔 1 胡安·德·拉腊 1 斯特凡尼德劳恩 1 奇诺维·迪斯金 1 索菲亚·克洛伊·德罗索波卢 1 苏珊·艾森巴赫 1 吉登·恩斯特 1 伯恩德·芬克贝纳 1 扬尼克·福斯特 1 拉尔斯·弗雷德隆德 1 丹·弗鲁明 1 克里斯蒂安·吉尔吉纳 1 杰里米·吉本斯 1 安德烈·格雷夫 1 埃丝特·格拉 1 克里斯托弗·哈恩 1 雷纳·哈内尔 1 丹尼尔·赫丁 1 布兰登·休尔 1 阿奎那·霍伯 1 贾娜·霍夫曼 1 霍诺雷，沃尔夫 1 黄雪晶 1 马里克，Huisman 1 格雷厄姆·赫顿 1 沙迦·伊扎基 1 彼得·吉普森 1 雅克·亨利·乔尔丹 1 拉尔夫·荣格 1 Ioannis T.卡西奥斯。 1 高向尚 1 佩皮因·科克 1 尼拉坎坦·R·克里希纳斯瓦米。 1 维克多·昆卡 1 费边·昆泽 1 Yngve拉莫 1 Gary T.Leavens。 1 塔德乌兹·利塔克 1 亚历山德鲁·伊昂（Alexandru-Ioan）伦古（Lungu） 1 朱利安·麦凯 1 威廉·曼斯基 1 科尔·马丁罗西安 1 艾丽西亚·梅拉约 1 沃伊西奇·莫斯托夫斯基。 1 彼得·米勒 1 玛格努斯·奥·米林。 1 阿列克桑达尔·纳内夫斯基 1 詹姆斯·诺布尔。 1 Gian Ntzik 1 贾尼斯·奥斯 1 高拉夫，Parthasarathy 1 希拉·佩勒 1 纳迪亚·波里卡波娃 1 亨利克·罗斯特德 1 鲁本·罗伊，N.S。 …还有27位作者 全部的 前5名9篇连载文章中引用 10 函数编程杂志 4 计算的形式方面 2 理论计算机科学 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 纯粹与应用代数杂志 1 信息与计算 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 51 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 几何图形（51至XX） 1 代数拓扑（55-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文