×
编辑配置文件（在新选项卡中打开）

菲利普·西奇科夫斯基

合著者距离
作者ID： 西茨科夫斯基.filip“Sieczkowski，Filip”最近发表的zbMATH文章
发布日期： 菲利普·西奇科夫斯基
已编制索引的文档： 10出版物自2011年起
合著者： 17合著者具有10联合出版物
185位合作作者
全部的 前5名

合著者

0 单作者的
7 拉尔斯·比克达尔
三 卡斯珀·斯文森
2 皮罗格，马西耶
2 彼得·波列修克
2 雅各布·塔姆斯堡
1 乌穆特·阿卡尔。
1 杰斯珀·本特森
1 阿列舍·比兹亚克
1 亚瑟·查古埃罗
1 德雷尔，德里克·R。
1 吉勒姆·贾伯
1 Jonas Braband Jensen
1 拉尔夫·荣格
1 Jean Pichon-Pharabod
1 雷尼，迈克
1 大卫·斯瓦西
1 亚伦·约瑟夫·图伦

系列

1 信息与计算

领域

10 计算机科学（68至XX）
5 数学逻辑和基础（03-XX）
1 一般代数系统（08-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

9出版物有被引用50中的次43文件 引用人▼ 年份▼
Iris：作为并发推理的正交基础的monoids和不变量。 Zbl 1346.68135号
拉尔夫·荣格;大卫·斯瓦西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·图伦;拉尔斯·比克达尔;德雷克·德雷尔
23
2015
并发逻辑关系。 Zbl 1252.68074号
拉尔斯·比克达尔;菲利普·西奇科夫斯基;雅各布·塔姆斯堡
6
2012
在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号
杰斯珀·本特森;Jonas Braband Jensen;菲利普·西奇科夫斯基;拉尔斯·比克达尔
5
2011
ModuRes：一个Coq库，用于对并发高阶命令式编程语言进行模块化推理。 Zbl 1465.68038号
菲利普·西奇科夫斯基;阿列舍·比兹亚克;拉尔斯·比克达尔
5
2015
超有限阶跃诱导：解耦具体步骤和逻辑步骤。 Zbl 1335.68071号
卡斯珀·斯文森;菲利普·西奇科夫斯基;拉尔斯·比克达尔
三
2016
等式理论和多项式Cayley表示的单子。 Zbl 1524.68061号
马西耶·皮罗格;彼得·波列修克;菲利普·西奇科夫斯基
三
2019
虚构序列一致性的分离逻辑。 Zbl 1335.68068号
菲利普·西奇科夫斯基;卡斯珀·斯文森;拉尔斯·比克达尔;Jean Pichon-Pharabod
2
2015
效果处理程序和分隔控件的类型等价。 Zbl 1528.68051号
马西耶·皮罗格;彼得·波列修克;菲利普·西奇科夫斯基
2
2019
基于效果的程序转换的Kripke逻辑关系。 Zbl 1345.68095号
拉尔斯·比克达尔;贾比尔，吉尔赫姆;菲利普·西奇科夫斯基;雅各布·塔姆斯堡
1
2016
等式理论和多项式Cayley表示的单子。 Zbl 1524.68061号
马西耶·皮罗格;彼得·波列修克;菲利普·西奇科夫斯基
三
2019
效果处理程序和分隔控件的类型等价。 Zbl 1528.68051号
马西耶·皮罗格;彼得·波列修克;菲利普·西奇科夫斯基
2
2019
超有限阶跃诱导：解耦具体步骤和逻辑步骤。 Zbl 1335.68071号
卡斯珀·斯文森;菲利普·西奇科夫斯基;拉尔斯·比克达尔
三
2016
基于效果的程序转换的Kripke逻辑关系。 Zbl 1345.68095号
拉尔斯·比克达尔;吉勒姆·贾伯;菲利普·西奇科夫斯基;雅各布·塔姆斯堡
1
2016
虹膜：作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号
拉尔夫·荣格;大卫·斯瓦西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·图伦;拉尔斯·比克达尔;德雷克·德雷尔
23
2015
ModuRes：一个Coq库，用于对并发高阶命令式编程语言进行模块化推理。 兹比尔1465.68038
菲利普·西奇科夫斯基;阿列舍·比兹亚克;拉尔斯·比克达尔
5
2015
虚构序列一致性的分离逻辑。 Zbl 1335.68068号
菲利普·西奇科夫斯基;卡斯珀·斯文森;拉尔斯·比克达尔;Jean Pichon-Pharabod
2
2015
并发逻辑关系。 Zbl 1252.68074号
拉尔斯·比克达尔;菲利普·西奇科夫斯基;雅各布·塔姆斯堡
6
2012
在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号
杰斯珀·本特森;Jonas Braband Jensen;菲利普·西奇科夫斯基;拉尔斯·比克达尔
5
2011
所有引用出版物 前5名被引用出版物
全部的 前5名

93位作者引用

9 拉尔斯·比克达尔
5 佩德罗·达罗查·平托
5 罗伯特·克雷伯斯
4 阿列舍·比兹亚克
4 托马斯·丁斯代尔·扬
4 菲利普·安·加德纳
三 杰斯珀·本特森
三 曹勤祥
三 拉尔夫·荣格
2 安德鲁·W·阿佩尔。
2 浅井，肯尼奇
2 聪，又有
2 德雷尔，德里克·R。
2 雅克·亨利·乔尔丹
2 奥里·拉哈夫
2 萨姆·林德利
2 塔德乌兹·利塔克
2 菲利普·西奇科夫斯基
2 维克托·瓦菲亚迪斯
1 安徒生、克里斯托弗·贾斯特·阿恩达尔
1 罗伯特·艾奇
1 吉尔·巴特
1 海宁·巴索尔德
1 Lennart贝林格
1 乔纳森·鲍文（Jonathan P.Bowen）。
1 Brachthäuser，乔纳森·伊曼纽尔
1 曹永志
1 亚瑟·查古埃罗
1 克劳斯顿，拉纳德·A。
1 卢卡斯修道院
1 拉斐尔·克鲁比莱
1 圣地亚哥库埃拉
1 乌戈·达尔拉戈
1 奥尔内拉·达达
1 约西亚·多兹
1 多科，马尔科
1 约坦·德维尔
1 康斯坦丁·埃纳
1 约塔姆·M·Y·费尔德曼。
1 丹·弗鲁明
1 弗朗西斯科·加瓦佐
1 汉斯·布格，格拉思沃尔
1 西蒙·奥德谢德·格雷格森
1 塞缪尔·格吕特
1 罗伯特·哈珀
1 何继峰
1 丹尼尔·希勒斯特罗姆
1 马丁·霍夫曼
1 卡霍本田
1 石雄，恰基
1 吉勒姆·贾伯
1 金，赵
1 彼得·吉普森
1 奥哈德·卡玛
1 乔纳斯·卡斯伯格·辛里奇森
1 直纪小林
1 莫滕·克罗格·杰斯佩森
1 丹尼尔·李卡塔（Daniel R.Licata）。
1 格雷戈里·马莱查
1 松下幸助
1 康诺·托马斯·麦克布莱德
1 克雷格·麦克劳林。
1 保罗·安德烈·梅利埃
1 亚当·莫里森
1 彼得·米勒
1 新，Max S。
1 Gian Ntzik
1 玛丽特·埃德娜·奥伦布施
1 克劳斯·奥斯特曼
1 马尔科·帕维奥蒂
1 弗朗索瓦·波蒂埃
1 诺姆·里内茨基
1 菲利普·舒斯特
1 马尔特·施韦霍夫
1 盛，冯
1 沙龙·肖姆
1 莱奥·斯特凡内斯科
1 朱利安·萨瑟兰
1 卡斯珀·斯文森
1 陶一成
1 约瑟夫·塔萨罗蒂
1 雅各布·塔姆斯堡
1 阿明·蒂曼尼
1 津田，武士
1 阿尔伯特·维瑟
1 王汉平
1 费利克斯·A·沃尔夫。
1 熊，页岩
1 杨宗元
1 乌玛·扎拉坎
1 张博文
1 张磊
1 朱慧彪
全部的 前5名

9篇连载文章中引用

4 函数编程杂志
4 计算机科学中的逻辑方法
三 自动推理杂志
2 程序设计中的逻辑和代数方法杂志
1 理论计算机科学
1 信息与计算
1 计算的形式方面
1 Indagationes Mathematicae公司。新系列
1 系统设计中的形式化方法

在3个字段中引用

39 计算机科学（68至XX）
28 数学逻辑和基础（03-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文