编辑配置文件(在新选项卡中打开) 尼科尔·施韦卡特 合著者距离 作者ID: schweikart.nicole公司 发布日期: 尼科尔·施韦卡特 已编制索引的文档: 50种出版物自1998年以来 1名编辑贡献 合著者: 32位合著者具有42联合出版物 765位合作作者 全部的 前5名合著者 9 单作者的 10 马丁·格罗 5 弗雷德里克·哈瓦特 4 克里斯托弗·伯霍尔兹 4 卢卡斯·海姆伯格 4 斯蒂芬·克鲁泽 4 迪特里赫·库斯克 4 卢克·塞古芬 三 安德烈·赫尼奇 三 Jens Keppeler公司 三 Christoph T.科赫。 三 克莱门斯·劳特曼 2 奥利弗·马茨 2 法兰克·奈文 2 托马斯·施温蒂克 2 弗雷德里克·塞瓦伊斯 2 托尼·谭 2 迪特尔·范·梅尔凯贝克 1 帕瓦内·巴巴里 1 瓦西里斯·克里斯托菲德斯 1 阿努吉·达瓦尔 1 多米尼克·D·弗雷登伯格。 1 尤里·古里维奇 1 尼尔·伊梅尔曼 1 德克·伦德斯 1 文森特·勒罗伊 1 Mix Barrington,David A。 1 马丁·奥托 1 丹尼斯·塞里安 1 沃尔夫冈·托马斯 1 杰西·蒂什基维茨(Jerzy Tyszkiewicz) 1 Van den Bussche,简 1 亚历山大·维格尼 全部的 前5名系列 5 计算机科学中的逻辑方法 三 理论计算机科学 2 计算机与系统科学杂志 2 信息与计算 2 美国计算机学会期刊 2 ACM计算逻辑事务 1 ACM数据库系统事务 1 SIAM计算机杂志 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 全部的 前5名领域 47 计算机科学(68至XX) 36 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用161中的次106文件 引用人▼ 年份▼ 算术、一阶逻辑和计算量词。 Zbl 1407.03050号 尼科尔·施韦卡特 15 2005 一元量词在网格和图上的交替层次结构。 兹比尔1096.03007 奥利弗·马茨;尼科尔·施韦卡特;沃尔夫冈·托马斯 12 2002 线性序上一阶逻辑的简洁性。 兹比尔1125.03024 马丁·格罗;尼科尔·施韦卡特 12 2005 在有界度数据库更新下回答FO+MOD查询。 Zbl 1402.68041号 克里斯托夫·伯克霍尔茨;Jens Keppeler公司;尼科尔·施韦卡特 12 2017 模型理论使公式变大。 Zbl 1171.03324号 阿努吉·达瓦尔;马丁·格罗;斯蒂芬·克鲁泽;尼科尔·施韦卡特 11 2007 一元逻辑对单词、树、图片和图形的表达能力。 Zbl 1244.03118号 奥利弗·马茨;尼科尔·施韦卡特 8 2008 一元量词在网格和图片上交替层次。 Zbl 0909.03009号 尼科尔·施韦卡特 7 1998 扩展连接正则路径查询的表达性和静态分析。 Zbl 1409.68082号 多米尼克·D·弗雷登伯格。;尼科尔·施韦卡特 7 2013 在更新和存在完整性约束的情况下回答UCQ。 Zbl 1489.68069号 克里斯托夫·伯克霍尔茨;Jens Keppeler公司;尼科尔·施韦卡特 6 2018 比较有限树上一元查询语言的简洁性。 Zbl 1116.03327号 马丁·格罗;尼科尔·施韦卡特 5 2003 流式处理和外部内存数据的查询处理的严格下限。 Zbl 1118.68051号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 5 2007 流式数据和外部内存数据的查询处理的严格下限。 Zbl 1085.68036号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 5 2005 带有中性字母或的语言的一阶表达能力:Crane Beach猜想。 Zbl 1069.03021号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;克莱门斯·劳特曼;尼科尔·施韦卡特;丹尼斯·塞里安 4 2005 使用有限游标机的数据库查询处理。 Zbl 1192.68213号 马丁·格罗;尤里·古里维奇;德克·伦德斯;尼科尔·施韦卡特;杰西·蒂什基维茨(Jerzy Tyszkiewicz);Van den Bussche,简 4 2009 重温逆转复杂性。 Zbl 1147.68022号 安德烈·埃尔尼奇;尼科尔·施韦卡特 4 2008 关于序变量一阶逻辑的简短教程。 Zbl 1381.03027号 尼科尔·施韦卡特 4 2013 带计数的一阶逻辑:至少,虚弱的汉夫范式总是存在的,可以计算! Zbl 1452.03087号 迪特里赫·库斯克;尼科尔·施韦卡特 4 2017 一种Ehrenfeucht-Fraíssé方法,用于折叠嵌入式数据库上一阶查询的结果。 Zbl 0976.68047号 克莱门斯·劳特曼;尼科尔·施韦卡特 三 2001 有界度结构的最优Gaifman范式构造。 Zbl 1366.03212号 卢卡斯·海姆伯格;迪特里赫·库斯克;尼科尔·施韦卡特 三 2013 枚举低度数据库上一阶查询的答案。 Zbl 07566063号 阿诺·杜兰德;尼科尔·施韦卡特;卢克·塞古芬 三 2022 无处密集图上FO查询的枚举。 Zbl 07679918号 尼科尔·施韦卡特;卢克·塞古芬;亚历山大·维格尼 三 2022 查询外部内存和流数据的复杂性。 Zbl 1122.68453号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 2 2005 关于一元最小不动点逻辑的表达能力。 Zbl 1086.68049号 尼科尔·施韦卡特 2 2006 非确定性图灵机上线性时间的一种逻辑表征。 Zbl 0924.03070号 克莱门斯·劳特曼;尼科尔·施韦卡特;托马斯·施温蒂克 2 1999 比较有限树上一元查询语言的简洁性。 Zbl 1067.03018号 马丁·格罗;尼科尔·施韦卡特 2 2004 关于带模计数量词的arb-invariant一阶公式的局部性。 Zbl 1445.03038号 弗雷德里克·哈瓦特;尼科尔·施韦卡特 2 2016 在有界度数据库更新下回答FO+MOD查询。 Zbl 1474.68080号 克里斯托夫·伯克霍尔茨;Jens Keppeler公司;尼科尔·施韦卡特 2 2018 带有一元计数量词的一阶逻辑的Hanf范式。 Zbl 1394.03061号 卢卡斯·海姆伯格;迪特里赫·库斯克;尼科尔·施韦卡特 2 2016 有界度结构的保持和分解定理。 Zbl 1448.03024号 弗雷德里克·哈瓦特;卢卡斯海姆伯格;尼科尔·施韦卡特 2 2015 有理群和实数有序群上可表示数据库的自然有序泛型崩溃。 Zbl 1005.68057号 尼科尔·施韦卡特 1 2001 关于一元最小不动点逻辑的表达能力。 Zbl 1099.68639号 尼科尔·施韦卡特 1 2004 逻辑和数据交换:哪些解决方案是“好的”解决方案? Zbl 1287.68036号 安德烈·赫尼奇;尼科尔·施韦卡特 1 2010 关于带模计数量词的arb-invariant一阶逻辑的局部性。 Zbl 1356.03078号 弗雷德里克·哈瓦特;尼科尔·施韦卡特 1 2013 用Ehrenfeucht-Fraíssé博弈方法来解决数据库理论中的崩溃问题。 Zbl 1110.68035号 尼科尔·施韦卡特 1 2007 电路下限的位置。 Zbl 1273.03114号 马修·安德森;Van Melkebeek,迪特;尼科尔·施韦卡特;卢克·塞古芬 1 2012 有界度结构的保持与分解定理。 Zbl 1394.03060号 弗雷德里克·哈瓦特;卢卡斯·海姆伯格;尼科尔·施韦卡特 1 2014 关于Hanf等价和小诱导子图的嵌入数。 Zbl 1394.03057号 斯蒂芬·克鲁泽;尼科尔·施韦卡特 1 2014 枚举低度数据库上一阶查询的答案。 Zbl 07566063号 阿诺·杜兰德;尼科尔·施韦卡特;卢克·塞古芬 三 2022 无处密集图上FO查询的枚举。 Zbl 07679918号 尼科尔·施韦卡特;卢克·塞古芬;亚历山大·维格尼 三 2022 在更新和存在完整性约束的情况下回答UCQ。 Zbl 1489.68069号 克里斯托夫·伯克霍尔茨;Jens Keppeler公司;尼科尔·施韦卡特 6 2018 在有界度数据库更新下回答FO+MOD查询。 Zbl 1474.68080号 克里斯托夫·伯克霍尔茨;简斯·开普勒;尼科尔·施韦卡特 2 2018 在有界度数据库更新下回答FO+MOD查询。 Zbl 1402.68041号 克里斯托弗·伯霍尔兹;Jens Keppeler公司;尼科尔·施韦卡特 12 2017 带计数的一阶逻辑:至少,虚弱的汉夫范式总是存在的,可以计算! Zbl 1452.03087号 迪特里赫·库斯克;尼科尔·施韦卡特 4 2017 关于带模计数量词的arb-invariant一阶公式的局部性。 Zbl 1445.03038号 弗雷德里克·哈瓦特;尼科尔·施韦卡特 2 2016 带有一元计数量词的一阶逻辑的Hanf范式。 Zbl 1394.03061号 卢卡斯·海姆伯格;迪特里赫·库斯克;尼科尔·施韦卡特 2 2016 有界度结构的保持与分解定理。 Zbl 1448.03024号 弗雷德里克·哈瓦特;卢卡斯·海姆伯格;尼科尔·施韦卡特 2 2015 有界度结构的保持与分解定理。 Zbl 1394.03060号 弗雷德里克·哈瓦特;卢卡斯·海姆伯格;尼科尔·施韦卡特 1 2014 关于Hanf等价性和小诱导子图的嵌入数。 兹比尔1394.03057 斯蒂芬·克鲁泽;尼科尔·施韦卡特 1 2014 扩展连接正则路径查询的表达性和静态分析。 Zbl 1409.68082号 多米尼克·D·弗雷登伯格。;尼科尔·施韦卡特 7 2013 关于序变量一阶逻辑的简短教程。 Zbl 1381.03027号 尼科尔·施韦卡特 4 2013 有界度结构的最优Gaifman范式构造。 Zbl 1366.03212号 卢卡斯·海姆伯格;迪特里赫·库斯克;尼科尔·施韦卡特 三 2013 关于带模计数量词的arb-invariant一阶逻辑的局部性。 Zbl 1356.03078号 弗雷德里克·哈瓦特;尼科尔·施韦卡特 1 2013 电路下限的位置。 Zbl 1273.03114号 马修·安德森;Van Melkebeek,迪特;尼科尔·施韦卡特;卢克·塞古芬 1 2012 逻辑和数据交换:哪些解决方案是“好的”解决方案? 兹比尔1287.68036 安德烈·赫尼奇;尼科尔·施韦卡特 1 2010 使用有限游标机的数据库查询处理。 兹比尔1192.68213 马丁·格罗;尤里·古里维奇;德克·伦德斯;尼科尔·施韦卡特;杰西·蒂什基维茨(Jerzy Tyszkiewicz);Van den Bussche,简 4 2009 一元逻辑对单词、树、图片和图形的表达能力。 Zbl 1244.03118号 奥利弗·马茨;尼科尔·施韦卡特 8 2008 重温逆转复杂性。 Zbl 1147.68022号 安德烈·赫尼奇;尼科尔·施韦卡特 4 2008 模型理论使公式变大。 Zbl 1171.03324号 阿努吉·达瓦尔;马丁·格罗;斯蒂芬·克鲁泽;尼科尔·施韦卡特 11 2007 流式数据和外部内存数据的查询处理的严格下限。 Zbl 1118.68051号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 5 2007 用Ehrenfeucht-Fraíssé博弈方法来解决数据库理论中的崩溃问题。 Zbl 1110.68035号 尼科尔·施韦卡特 1 2007 关于一元最小不动点逻辑的表达能力。 Zbl 1086.68049号 尼科尔·施韦卡特 2 2006 算术、一阶逻辑和计算量词。 Zbl 1407.03050号 尼科尔·施韦卡特 15 2005 线性序上一阶逻辑的简洁性。 Zbl 1125.03024号 马丁·格罗;尼科尔·施韦卡特 12 2005 流式处理和外部内存数据的查询处理的严格下限。 Zbl 1085.68036号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 5 2005 带有中性字母或的语言的一阶表达能力:Crane Beach猜想。 Zbl 1069.03021号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;克莱门斯·劳特曼;尼科尔·施韦卡特;丹尼斯·塞里安 4 2005 查询外部内存和流数据的复杂性。 Zbl 1122.68453号 马丁·格罗;科赫,克里斯托夫;尼科尔·施韦卡特 2 2005 比较有限树上一元查询语言的简洁性。 Zbl 1067.03018号 马丁·格罗;尼科尔·施韦卡特 2 2004 关于一元最小不动点逻辑的表达能力。 Zbl 1099.68639号 尼科尔·施韦卡特 1 2004 在有限树上比较一元查询语言的简洁性。 Zbl 1116.03327号 马丁·格罗;尼科尔·施韦卡特 5 2003 一元量词在网格和图上的交替层次结构。 兹比尔1096.03007 奥利弗·马茨;尼科尔·施韦卡特;沃尔夫冈·托马斯 12 2002 一种Ehrenfeucht-Fraíssé方法,用于折叠嵌入式数据库上一阶查询的结果。 Zbl 0976.68047号 克莱门斯·劳特曼;尼科尔·施韦卡特 三 2001 有理群和实数有序群上可表示数据库的自然有序泛型崩溃。 Zbl 1005.68057号 尼科尔·施韦卡特 1 2001 不确定图灵机上线性时间的逻辑特征。 Zbl 0924.03070号 克莱门斯·劳特曼;尼科尔·施韦卡特;托马斯·施温蒂克 2 1999 一元量词在网格和图片上交替层次。 Zbl 0909.03009号 尼科尔·施韦卡特 7 1998 所有引用出版物 前5名被引用出版物 全部的 前5名172位作者引用 14 尼科尔·施韦卡特 4 多米尼克·D·弗雷登伯格。 4 迪特里赫·库斯克 三 博利格,贝内迪克特 三 马丁·格罗 三 艾哈迈特·卡拉 三 奥利弗·马茨 三 卢克·塞古芬 三 奥列格·维尔比茨基 三 朱可夫斯基(Maksim Evgen’evich) 2 Ingo Felscher公司 2 崔维斯·盖吉 2 保罗·加斯丁 2 奥利维·高文 2 麦哲尔克 2 彼得·哈贝梅尔 2 皮塔·伊利耶夫 2 汤姆·亚什·雅克 2 伊曼纽尔·詹德尔 2 朱哈·科廷宁 2 马丁·兰格 2 马丁·勒克 2 吉木中村 2 米洛什·尼科利奇 2 丹·奥尔特阿努 2 Przybyłko,马钦 2 雷焦·卢卡 2 阿布谢克·桑卡兰 2 马库斯·施密德。 2 托马斯·施温蒂克 2 陶宇飞 2 十个Cate,Balder David 2 他们是纪尧姆 2 沃尔夫冈·托马斯 2 Van den Bussche,简 2 赫里贝特·沃尔默 2 张浩哲 1 艾索尔德·阿德勒 1 巴拉特·阿德苏尔 1 米克洛斯·阿杰泰 1 安托万·阿马里利 1 马塞拉·安塞尔莫 1 马塞洛·阿里纳斯 1 维克拉曼·阿尔文德 1 齐夫·巴·约瑟夫 1 马蒂亚斯·巴拉 1 巴托斯·贝德纳西克 1 Michael A.Benedikt。 1 克里斯托夫·伯克霍尔茨 1 埃琳娜·博托埃娃 1 皮埃尔·布赫斯 1 卡尔·布林格曼 1 米歇尔·卡迪尔哈克 1 迭戈·卡尔瓦内斯 1 诺法尔·卡梅利 1 卡瑟尔·凯特琳 1 Supratik查克拉博蒂 1 维托尔德·查拉托尼克 1 陈,胡比 1 陈一佳 1 德米特里五世·奇斯蒂科夫。 1 贾斯汀·达兰特 1 达斯,拉米特 1 戴维·马泰伊 1 诺曼·戴克 1 深,沙琳 1 柯特林·迪马 1 简·德雷尔 1 罗纳德·费金 1 波莉·法伊 1 弗拉维奥·安东尼奥·费拉罗蒂 1 迭戈·菲格拉 1 艾曼纽·菲利奥特 1 尼克·菲舍尔 1 马库斯·丰图拉。 1 玛丽·何塞·福廷 1 塞维琳·弗拉塔尼 1 法语,蒂姆 1 弗兰克·福尔布吕克 1 Amélie Gheerbrant 1 克里斯蒂安·格拉齐克 1 斯特凡·格勒 1 艾蒂安·格兰让 1 奥列格·格里戈里安 1 尤里·古里维奇 1 马克·吉森 1 安塞尔姆·哈克 1 克里斯托夫·哈斯 1 雅辛·哈恰奇 1 弗雷德里克·哈瓦特 1 海林斯,杰尔 1 安德烈·赫尼奇 1 马里奥·霍尔达克 1 胡,肖 1 约翰·伊阿科诺 1 托马斯·伊卡德(Thomas F.III) 1 尼尔·伊梅尔曼 1 瓦尼娅·约西福夫斯基 1 让·克里斯托夫·荣格 1 沃伊特克,卡扎纳 …还有72位作者 全部的 前5名22篇连载文章中引用 13 理论计算机科学 12 计算机与系统科学杂志 10 计算机科学中的逻辑方法 7 信息与计算 6 计算系统理论 4 纯逻辑与应用逻辑年鉴 4 ACM计算逻辑事务 2 人工智能 2 数学与人工智能年鉴 1 信息学报 1 信息处理信件 1 计算几何 1 骨髓间充质干细胞。计算机科学中的数学结构 1 计算复杂性 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 美国计算机学会期刊 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 莫斯科组合数学与数论杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 90 计算机科学(68至XX) 54 数学逻辑和基础(03-XX) 9 组合数学(05-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文