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

斯蒂芬妮·斯威德斯基

合著者距离
作者ID： 滑雪者滑雪“Swiderski，Stephanie”最近发表的zbMATH文章
发布日期： 斯蒂芬妮·斯威德斯基
已编制索引的文档： 2出版物自2014年起
合著者： 12位合著者具有2联合出版物
97合著作者
全部的 前5名

合著者

0 单作者的
2 马克·布罗克施米特
2 费边·埃姆斯
2 弗洛里安·弗洛恩
2 卡斯滕·福斯
2 吉尔根·吉斯尔
2 卡斯滕·奥托
2 马丁·普吕克
2 彼得·施奈德·坎普
2 托马斯·斯特罗德
2 勒内，蒂曼
1 科尼利厄斯·阿斯切尔曼
1 赫塞尔，杰拉

系列

1 自动推理杂志

领域

2 计算机科学（68至XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

2出版物有被引用48中的次48文件 引用人▼ 年份▼
使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;勒内，蒂曼
26
2017
用AProVE自动证明程序终止。 Zbl 1409.68256号
吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;勒内，蒂曼
22
2014
使用自动分析程序终止和复杂性AProVE公司. 兹比尔1409.68255
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;勒内，蒂曼
26
2017
用AProVE自动证明程序终止。 Zbl 1409.68256号
吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;勒内，蒂曼
22
2014
所有引用出版物 前5名被引用出版物
全部的 前5名

被100位作者引用

7 吉尔根·吉斯尔
6 弗洛里安·弗洛恩
5 赫塞尔，杰拉
5 托马斯·斯特罗德
4 乔治·莫瑟
4 莎拉·温克勒
3 艾丽卡·阿尔布拉汉姆
3 科尼利厄斯·阿斯切尔曼
3 马克·布罗克施米特
3 亚历山德罗·西马蒂
3 卡斯滕·福斯
3 阿尔贝托·格里乔
3 基里恩·克莱默
3 恩里科·马格纳戈
3 勒内，蒂曼
3 秋久山田
2 洛伦兹·勒特盖布
2 萨尔瓦多卢卡斯
2 彼得·施奈德·坎普
2 弗洛里安·祖勒格
1 斯科特·亚伦森
1 艾尔维拉·阿尔伯特
1 埃齐奥·巴托西
1 波登，泰国
1 玛丽亚·保拉（Maria Paola Bonacina）
1 克里斯蒂娜·博拉莱拉斯
1 乔治亚娜·卡尔泰斯
1 曹振福
1 亚瑟·查古埃罗
1 陈杰
1 弗洛里安·科齐利厄斯
1 邓玉欣
1 丹尼尔·迪特施
1 董晓雷
1 弗朗西斯科·杜兰
1 费边·埃姆斯
1 托马斯·杰奈特
1 阿尔芬斯·盖瑟
1 龚俊清
1 劳雷·贡诺德
1 阿玛·盖诺
1 郭丽叶
1 雷纳·哈内尔
1 马塞尔·哈克
1 Heule，Marijn J.H。
1 迪特尔·霍夫鲍尔
1 马丁·霍夫曼
1 石祖木，早矢香
1 雅克·亨利·乔尔丹
1 约万诺维奇，德扬
1 塞巴斯蒂安·荣格斯
1 Joost-Pieter卡托恩
1 辛西娅·科普
1 埃里克·科斯金
1 Kovács，Laura Ildikó
1 丹尼尔·拉拉兹
1 Le，Ton Chanh先生
1 恩格尔·勒福丘
1 刘远东赛勒斯
1 马丁·奥列特，纳西索
1 艾丽西亚·梅拉约
1 费比安·梅耶
1 阿尔特·米德尔多普
1 马塞尔·穆斯布鲁克
1 托比亚斯·尼普科
1 直纪西田
1 大卫·奥布瓦勒
1 阿尔伯特·奥利弗拉斯
1 卡斯滕·奥托
1 乔尔·欧·瓦克宁。
1 小山口，美雄
1 庞成斌
1 鲍尔森、劳伦斯·查尔斯
1 马丁·普吕克
1 乔治·波托卡利迪斯
1 弗朗索瓦·波蒂埃
1 乘务长，大卫
1 恩里克·罗德里格斯-卡博内尔
1 阿尔伯特·鲁比奥
1 大卫·萨贝尔
1 Masahiko酒井
1 亚恩鲑鱼
1 亚历杭德罗·桑切斯。
1 塞萨尔·桑切斯
1 玛丽亚·谢特（Maria A.Schett）。
1 斯特凡·舒普
1 多米尼克·施泰因霍费尔
1 托马斯·斯特纳格尔
1 斯蒂芬妮·斯威德斯基
1 唐少华
1 昆卡罐Tunç
1 迪维德·维尔
1 阿尔贝托·维尔德乔
1 约翰内斯·沃尔德曼
1 马卡里乌斯·温策尔
1 詹姆斯·沃雷尔。
1 徐军
1 徐明
1 埃姆雷·约尔库
1 汉斯·赞特马
全部的 前5名

10篇连载文章中引用

7 自动推理杂志
4 程序设计中的逻辑和代数方法杂志
3 计算机科学中的逻辑方法
2 信息与计算
1 信息处理信件
1 计算的形式方面
1 MSCS公司。计算机科学中的数学结构
1 工程、通信和计算中的应用代数
1 数学与人工智能年鉴
1 《大学学报》。Informatica公司
全部的 前5名

在7个字段中引用

47 计算机科学（68至XX）
6 数学逻辑和基础（03-XX）
1 组合数学（05-XX）
1 有序，格，有序代数结构（06-XX）
1 线性代数和多线性代数；矩阵理论（15-XX）
1 运筹学、数学规划（90-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文