编辑配置文件（在新选项卡中打开） 斯梅特泽斯，沙克 合著者距离 作者ID： 史密瑟斯·沙克 发布日期： 斯梅特泽斯，沙克 外部链接： MGP公司 已编制索引的文档： 14出版物自1994年以来 合著者： 14位合著者具有14联合出版物 261合著作者 全部的 前5名合著者 0 单作者的 7 马克·范·埃克伦 4 埃里克·巴伦德森 3 肯·马德勒 3 莱纳斯·普拉斯梅耶 2 贝尔纳·范·加斯特尔 1 阿特姆·阿利马林 1 丹尼尔·朱利叶斯·伯恩斯坦 1 巴特·雅各布斯 1 韦斯利·詹森 1 坦尼娅·兰格 1 伦纳德·伦辛 1 彼得·施瓦布 1 阿扬·范·维尔登 1 罗尼·威彻斯·施勒尔 系列 1 计算机程序设计科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 计算机语言、系统和结构 领域 13 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用30中的次28文件 引用人▼ 年份▼ 具有图形重写语义的函数语言的唯一性类型。 兹比尔0863.68081 埃里克·巴伦德森;斯梅特泽斯，沙克 11 1996 TweetNaCl：一个包含100条推文的加密库。 兹比尔1378.94025 丹尼尔·伯恩斯坦。;伯纳德·范加斯特尔;韦斯利·詹森;坦尼娅·兰格;彼得·施瓦布;斯梅特泽斯，沙克 8 2015 优化泛型函数。 Zbl 1106.68336号 阿特姆·阿利马林;斯梅特泽斯，沙克 3 2004 唯一性类型的派生系统。 Zbl 0910.68096号 埃里克·巴伦德森;斯梅特泽斯，沙克 2 1995 代码关联理论。 Zbl 1121.68030号 巴特·雅各布斯;斯梅特泽斯，沙克;罗尼·威彻斯·施勒 1 2007 函数编程语言的图形重写语义。 Zbl 0884.68079号 马克·范·埃克伦;斯梅特泽斯，沙克;莱纳斯·普拉斯梅耶 1 1997 模双代数语义和代数定律。 Zbl 1405.68175号 肯·马德勒;斯梅特泽斯，沙克;马克·范·埃克伦 1 2013 无死锁和饥饿的可重入读写器：结合模型检查和定理证明的案例研究。 Zbl 1213.68193号 伯纳德·范加斯特尔;伦纳德·伦辛克;斯梅特泽斯，沙克;马克·范·埃克伦 1 2011 通过具有图的唯一性信息的类型系统确保安全的破坏性更新。 Zbl 1494.68124号 斯梅特泽斯，沙克;埃里克·巴伦德森;马克·范·埃克伦;莱纳斯·普拉斯梅耶 1 1994 使用复制扩展图形重写。 Zbl 1494.68103号 埃里克·巴伦德森;斯梅特泽斯，沙克 1 1994 TweetNaCl：一个包含100条推文的加密库。 兹比尔1378.94025 丹尼尔·伯恩斯坦。;伯纳德·范加斯特尔;韦斯利·詹森;坦尼娅·兰格;彼得·施瓦布;斯梅特泽斯，沙克 8 2015 模双代数语义和代数定律。 Zbl 1405.68175号 肯·马德勒;斯梅特泽斯，沙克;马克·范·埃克伦 1 2013 死锁和无饥饿的可重入读者作者：一个结合模型检验和定理证明的案例研究。 Zbl 1213.68193号 伯纳德·范加斯特尔;伦纳德·伦辛克;斯梅特泽斯，沙克;马克·范·埃克伦 1 2011 代码携带理论。 Zbl 1121.68030号 巴特·雅各布斯;斯梅特泽斯，沙克;罗尼·威彻斯·施勒 1 2007 优化泛型函数。 Zbl 1106.68336号 阿特姆·阿利马林;斯梅特泽斯，沙克 3 2004 函数编程语言的图形重写语义。 Zbl 0884.68079号 马克·范·埃克伦;斯梅特泽斯，沙克;莱纳斯·普拉斯梅耶 1 1997 具有图形重写语义的函数语言的唯一性类型。 Zbl 0863.68081号 埃里克·巴伦德森;斯梅特泽斯，沙克 11 1996 唯一性类型的派生系统。 Zbl 0910.68096号 埃里克·巴伦德森;斯梅特泽斯，沙克 2 1995 通过具有图的唯一性信息的类型系统确保安全的破坏性更新。 Zbl 1494.68124号 斯梅特泽斯，沙克;埃里克·巴伦德森;马克·范·埃克伦;莱纳斯·普拉斯梅耶 1 1994 使用复制扩展图形重写。 Zbl 1494.68103号 埃里克·巴伦德森;斯梅特泽斯，沙克 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名70位作者引用 3 斯梅特泽斯，沙克 3 马克·范·埃克伦 2 阿尔西诺·库尼亚 1 安德鲁·W·阿佩尔。 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 郭，H.S。 1 Kwon，Goo Rak先生 1 坦尼娅·兰格 1 皮革，肖恩 1 伦纳德·伦辛 1 肯·马德勒 1 何塞·佩德罗·马加莱斯 1 丹尼尔·马歇尔。 1 克洛伊·马丁代尔 1 安东尼斯·米查拉斯 1 阿米尔·莫拉迪 1 格雷格·莫里塞特 1 约阿希姆·尼伦 1 乌节，多米尼克·A。 1 克里斯托夫·帕尔 1 雨果·帕切科 1 尼古拉·帕拉迪 1 潘尼，洛伦茨 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 亚历山大·皮萨奇克。 1 丰满，细节 1 乔斯特·雷内斯 1 阿列克谢·罗德里格斯·雅库舍夫 1 彼得·施瓦布 1 施温哈默，Jan 1 伊利亚·谢尔盖 1 阿尼什·普拉萨德·什雷斯塔 1 格特·斯莫尔卡 1 H·斯托尔茨。 1 马丁·斯特雷克 1 唐华莱士·基特·桑 1 杰西·托夫（Jesse A.Tov）。 1 范·贝克尔，斯特芬 1 伯纳德·范加斯特尔 1 Joost Visser公司 1 迈克尔·沃尔默 1 Vytiniotis，迪米特里奥斯 1 乌玛·扎拉坎 1 马西米利亚诺·扎宁 1 伊恩·泽尼 1 张振飞 1 张振峰 全部的 前5名14篇连载文章中引用 2 理论计算机科学 2 计算机程序设计科学 1 计算机与数学及其应用 1 混沌、孤子和分形 1 计算机与系统科学杂志 1 物理D 1 信息与计算 1 自动推理杂志 1 函数编程杂志 1 并行算法与应用 1 高阶和符号计算 1 计算机语言、系统和结构 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 23 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 6 信息与通信理论、电路（94-XX） 2 动力系统和遍历理论（37至XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 按年份列出的引文