编辑配置文件（在新选项卡中打开） 约瑟夫·塔萨罗蒂 合著者距离 作者ID： 塔萨洛蒂·约瑟夫 发布方式： 约瑟夫·塔萨罗蒂 已编制索引的文档： 2出版物自2017年起 1进一步贡献 合著者： 2合著者具有2联合出版物 65位合作作者 全部的 前5名合著者 0 单一作者 2 罗伯特·哈珀 1 乌穆特·阿卡尔。 1 阿加瓦尔，阿什什 1 卡洛·安吉利 1 埃文·卡瓦洛 1 佩里·程 1 德里克·德雷尔（Derek R.Dreyer）。 1 Hou（Favonia）、Kuen-Bang 1 拉尔夫·荣格 1 丹·利卡塔 1 格雷格·莫里塞特 1 汤姆七世墨菲 1 Petersen，Leaf公司 1 本杰明·皮尔斯。 1 丹尼尔·斯波恩豪威尔 1 乔纳森·斯特林 1 克里斯托弗·斯通（Christopher A.Stone）。 系列 1 函数编程杂志 领域 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用11中的次10文件 引用人▼ 年份▼ 已验证随机程序的尾部界限。 Zbl 1511.68342号 约瑟夫·塔萨罗蒂;罗伯特·哈珀 6 2018 一种用于并发终止保护优化的高阶逻辑。 Zbl 1485.68076号 约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 5 2017 已验证随机程序的尾部界限。 Zbl 1511.68342号 约瑟夫·塔萨罗蒂;罗伯特·哈珀 6 2018 一种用于并发终止保护优化的高阶逻辑。 Zbl 1485.68076号 约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 5 2017 所有引用出版物 前5名被引用出版物 全部的 前5名33位作者引用 三 拉尔斯·比克达尔 三 罗伯特·克雷伯斯 2 阿列舍·比兹亚克 2 拉尔夫·荣格 1 雷纳尔德·阿弗尔德 1 凯文·巴茨 1 杰斯珀·本特森 1 德里克·德雷尔（Derek R.Dreyer）。 1 曼纽尔·埃贝尔 1 伊拉·费塞费尔特 1 丹·弗鲁明 1 雅克·加里格 1 吉尔根·吉斯尔 1 彼得·吉斯尔 1 马塞尔·哈克 1 罗伯特·哈珀 1 Max W·哈斯贝克。 1 奥马尔·因弗索 1 马文·詹森 1 雅克·亨利·乔尔丹 1 卡斯特伯格·欣里森，乔纳斯 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 克里斯托夫·马提亚 1 埃尔南·梅尔格拉蒂 1 托比亚斯·尼普科 1 诺尔，托马斯 1 大卫·E·诺瓦克。 1 卢卡·帕多瓦尼 1 高福美斋川 1 约瑟夫·塔萨罗蒂 1 卡蒂亚·特鲁比亚尼 1 埃米利奥·托斯托 3篇连载文章中引用 2 函数编程杂志 2 计算机科学中的逻辑方法 1 自动推理杂志 在2个字段中引用 9 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 按年份列出的引文