编辑配置文件(在新选项卡中打开) 萨瓦·A·克里斯蒂。 合著者距离 作者ID: krstic.sava-a公司 发布日期: 萨瓦·克里斯蒂奇;萨瓦·克里斯蒂;Krstić,S。;萨瓦·A·克里斯蒂。;萨瓦·克里斯蒂;Krstic,S。 更多。。。较少的 主页: http://www.csee.ogi.edu/~克里斯蒂斯/ 外部链接: MGP公司 已编制索引的文档: 40出版物自1980年以来 1名编辑贡献 合著者: 24位合著者具有26联合出版物 474位合作作者 全部的 前5名合著者 13 单作者的 6 阿米特·戈尔 5 詹姆斯·麦科尔 5 塞萨尔·蒂内利 4 Sylvain Conchon公司 4 吉姆·格兰迪 2 富克斯,亚历山大 2 毛里西奥·古铁雷斯。 2 约翰·朗奇伯里 2 凯伦·沃格特曼 1 克拉克·W·巴雷特。 1 娜塔莎·博佐维奇。 1 Deters,摩根 1 威弗里德·伊姆里奇 1 罗伯特·琼斯。 1 杰弗里·基拉利斯 1 马丁·卢斯蒂格 1 肖恩·麦克劳林 1 汤姆·梅尔姆 1 Zbigniew H.尼特基。 1 阿尔伯特·奥利弗拉斯 1 巴甫洛维奇,杜什科 1 安德鲁·雷诺兹 1 索尔温,T.E。 1 爱德华·查尔斯·特纳 全部的 前5名系列 6 《数学研究所出版物》。Nouvelle Série公司 2 数学发明 2 纯粹与应用代数杂志 2 美国数学学会会刊 2 伦敦数学学会会刊。第三系列 1 数学档案馆 1 Commentarii Mathematici Helvetici评论 1 代数杂志 1 伦敦数学学会杂志。第二系列 1 爱丁堡数学学会会刊。系列II 1 数学德布勒森出版物 1 理论计算机科学 1 拓扑及其应用 1 信息与计算 1 国际代数与计算杂志 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 全部的 前5名领域 24 群论与推广(20-XX) 16 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 三 \(K\)理论(19-XX) 2 一般代数系统(08-XX) 2 流形和细胞复合体(57至XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 29出版物有被引用194中的次165文件 引用人▼ 年份▼ \(IA(F_3)\)和\(\text的非有限表示性{总账}_2(Z[t,t^{-1}])\)。 Zbl 0880.20031号 萨瓦·克里斯蒂奇;詹姆斯·麦考尔 30 1997 等变外层空间和自由有限群的自同构。 Zbl 0805.20030号 萨瓦·克里斯蒂奇;凯伦·沃格特曼 19 1993 SAT模理论的体系结构求解器:Nelson-Oppen与DPLL。 Zbl 1148.68466号 萨瓦·克里斯蒂奇;阿米特·戈尔 16 2007 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters,摩根;克拉克·巴雷特 16 2013 图的有限群的作用和自由群的相关自同构。 Zbl 0675.20025号 萨瓦·克里斯蒂 15 1989 组合可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇;阿米特·戈尔;吉姆·格兰迪;塞萨尔·蒂内利 13 2007 组合理论的地面插值。 Zbl 1250.68188号 阿米特·戈尔;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 11 2009 平等理论的地面插值。 Zbl 1234.68257号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 11 2009 演示\(GL_n(k\langle T\rangle)\)。 Zbl 0930.19001号 萨瓦·克里斯蒂奇;詹姆斯·麦科尔 9 1999 \(\text的自由商{SL}_2(R[x])\)。 兹伯利0878.20033 萨瓦·克里斯蒂;詹姆斯·麦科尔 8 1997 有限生成的虚自由群具有有限表示的自同构群。 Zbl 0773.20008号 Krstić,萨瓦 8 1992 自由群的基共轭自同构的正规形式。 Zbl 0960.20021号 毛里西奥·古铁雷斯;萨瓦·克里斯蒂奇 5 1998 理论不相交结合的经典化。 Zbl 1078.68138号 萨瓦·克里斯蒂奇;Sylvain Conchon公司 4 2005 Dehn扭自同构根的等变Whitehead算法和共轭性。 Zbl 0980.20030号 萨瓦·克里斯蒂奇;马丁·卢斯蒂格;凯伦·沃格特曼 4 2001 在最终余代数中丰富的过程类别。 Zbl 0978.68101号 萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科 4 2001 组合决策程序的策略。 Zbl 1031.68585号 Sylvain Conchon公司;萨瓦·克里斯蒂奇 三 2003 有限群自由自同构的固定子群:Cooper证明的推广。 Zbl 0624.20023号 萨瓦·克里斯蒂奇 2 1987 平等理论的地面插值。 Zbl 1239.03022号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 2 2012 理论不相交结合的经典化。 Zbl 1278.68269号 萨瓦·克里斯蒂奇;Sylvain Conchon公司 2 2003 局部可指示群上的方程组。 Zbl 0575.20033号 Krstić,萨瓦 2 1985 嵌套递归的归纳不变量。 Zbl 1279.68289号 萨瓦·克里斯蒂奇;约翰·马修斯 2 2003 关于幂零群中的对称词。 Zbl 0472.20012号 萨瓦·克里斯蒂 1 1980 \(\Phi_n(G)\),\(\text的有限可表示性{总账}_n(mathbb{Z}G)及其初等子群和Steinberg群。 Zbl 0865.20025号 杰弗里·基拉利斯;萨瓦·克里斯蒂奇;詹姆斯·麦科尔 1 1996 秩2的自由(mathbb{Z})-群的自同构群的非有限可表示性。 兹比尔0908.20024 萨瓦·克里斯蒂奇;詹姆斯·麦科尔 1 1997 在群中嵌入半群。几何方法。 Zbl 0633.20034号 萨瓦·克里斯蒂奇 1 1985 组合决策程序的策略。 Zbl 1088.68161号 Sylvain Conchon公司;萨瓦·克里斯蒂奇 1 2006 通过一元解释验证BDD算法。 Zbl 1057.68629号 萨瓦·克里斯蒂;约翰·马修斯 1 2002 关于表示自由群自同构的图。 Zbl 0688.20010号 萨瓦·克里斯蒂奇 1 1989 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters,摩根;克拉克·巴雷特 16 2013 平等理论的地面插值。 兹比尔1239.03022 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 2 2012 组合理论的地面插值。 Zbl 1250.68188号 阿米特·戈尔;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 11 2009 平等理论的地面插值。 Zbl 1234.68257号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;Krstić,萨瓦;塞萨尔·蒂内利 11 2009 SAT模理论的体系结构求解器:Nelson-Oppen与DPLL。 Zbl 1148.68466号 萨瓦·克里斯蒂奇;阿米特·戈尔 16 2007 组合可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇;阿米特·戈尔;吉姆·格兰迪;塞萨尔·蒂内利 13 2007 组合决策程序的策略。 Zbl 1088.68161号 Sylvain Conchon公司;萨瓦·克里斯蒂奇 1 2006 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 理论不相交结合的经典化。 Zbl 1078.68138号 萨瓦·克里斯蒂奇;Sylvain Conchon公司 4 2005 组合决策程序的策略。 Zbl 1031.68585号 Sylvain Conchon公司;Krstić,萨瓦 三 2003 理论不相交结合的经典化。 Zbl 1278.68269号 萨瓦·克里斯蒂奇;Sylvain Conchon公司 2 2003 嵌套递归的归纳不变量。 兹比尔1279.68289 萨瓦·克里斯蒂奇;约翰·马修斯 2 2003 通过一元解释验证BDD算法。 Zbl 1057.68629号 萨瓦·克里斯蒂;约翰·马修斯 1 2002 Dehn扭自同构根的等变Whitehead算法和共轭性。 Zbl 0980.20030号 萨瓦·克里斯蒂奇;马丁·卢斯蒂格;卡伦·沃格曼 4 2001 在最终余代数中丰富的过程类别。 Zbl 0978.68101号 萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科 4 2001 演示\(GL_n(k\langle T\rangle)\)。 Zbl 0930.19001号 萨瓦·克里斯蒂奇;詹姆斯·麦科尔 9 1999 自由群的基共轭自同构的正规形式。 Zbl 0960.20021号 毛里西奥·古铁雷斯;萨瓦·克里斯蒂奇 5 1998 (IA(F_3)和(text)的非有限可表示性{总账}_2(Z[t,t^{-1}])\)。 Zbl 0880.20031号 萨瓦·克里斯蒂奇;詹姆斯·麦科尔 30 1997 \(\text的自由商{SL}_2(R[x])\)。 兹伯利0878.20033 萨瓦·克里斯蒂;詹姆斯·麦科尔 8 1997 秩2的自由(mathbb{Z})-群的自同构群的非有限可表示性。 Zbl 0908.20024号 Krstić,萨瓦;詹姆斯·麦科尔 1 1997 \(\Phi_n(G)\),\(\text的有限可表示性{总账}_n(mathbb{Z}G)及其初等子群和Steinberg群。 Zbl 0865.20025号 杰弗里·基拉利斯;萨瓦·克里斯蒂奇;詹姆斯·麦科尔 1 1996 等变外层空间和自由有限群的自同构。 兹比尔0805.20030 Krstić,萨瓦;凯伦·沃格特曼 19 1993 有限生成的虚自由群具有有限表示的自同构群。 Zbl 0773.20008号 萨瓦·克里斯蒂奇 8 1992 图的有限群的作用和自由群的相关自同构。 Zbl 0675.20025号 萨瓦·克里斯蒂 15 1989 关于表示自由群自同构的图。 Zbl 0688.20010号 萨瓦·克里斯蒂奇 1 1989 有限群自由自同构的固定子群:Cooper证明的推广。 Zbl 0624.20023号 萨瓦·克里斯蒂奇 2 1987 局部可指示群上的方程组。 Zbl 0575.20033号 萨瓦·克里斯蒂奇 2 1985 在群中嵌入半群。几何方法。 Zbl 0633.20034号 萨瓦·克里斯蒂奇 1 1985 幂零群中的对称词。 兹伯利0472.20012 萨瓦·克里斯蒂 1 1980 所有引用出版物 排名前五的出版物 全部的 前5名227位作者引用 14 佐藤、高雄 11 安德鲁·雷诺兹 10 克拉克·W·巴雷特。 10 塞萨尔·蒂内利 6 玛丽亚·保拉(Maria Paola Bonacina) 6 克雷格·詹森。 5 贾斯敏·克里斯蒂安·布兰切特 5 罗伯特·布鲁托梅索 5 克里斯托夫·林盖森 5 卡伦·沃格曼 5 尤尼·佐哈尔 4 Sylvain Conchon公司 4 马丁·卡萨波夫 4 萨瓦·A·克里斯蒂。 4 盛英 三 Bux、Kai-Uwe 三 亚历山德罗·西马蒂 三 莱昂纳多·德·莫拉 三 帕斯卡·方丹 三 西尔维奥·吉拉尔迪 三 阿尔贝托·格里乔 三 莫阿·约翰逊 三 亚历山大·克劳斯 三 Kuncak,维克多 三 菲利普·马里奇 三 乔恩·麦卡蒙德 三 约翰·迈尔 三 何塞·梅塞盖尔·瓜伊塔 三 西尔维奥·兰伊斯 三 罗伯托·塞巴斯蒂亚尼 三 Sykiotis,米哈利斯 三 凯文·沃特曼。 2 班科维奇,米兰 2 哈尼尔·巴博萨 2 姆拉丹·贝斯特维纳 2 尼古拉·S·比约纳。 2 迈克尔·鲍林斯基 2 伊芙琳·孔特让 2 格洛弗,亨利·H·。 2 谢尔盖·冈查洛夫 2 圣菲省格拉汉·伦格兰德 2 凯文·哈钦森 2 萨绍·卡拉季耶夫斯基 2 简·兰格 2 吉尔伯特·莱维特 2 亚历山大·W·梅森。 2 马丁·佩特特。 2 亚当·皮戈特 2 鲁齐卡皮斯卡 2 安德鲁·普特曼 2 维塔利·阿纳托尔·埃维奇·罗曼科夫 2 菲利普·吕默 2 卢茨·施罗德 2 塞尼泽格斯,热罗 2 Natarajan Shankar 2 娜塔莎·莎莉吉娜 2 斯蒂芬·斯基里克 2 维托尔德·托马谢夫斯基 2 阿敏·韦 2 马蒂亚斯·温特 2 托马斯·怀斯 1 弗朗西斯科·阿尔贝蒂 1 安德鲁·内奥米 1 亚历山德罗·阿塔尔 1 彼得·贝克曼 1 瓦莱里·乔治·巴达科夫 1 乔纳森·阿里尔·巴马克 1 曼纽尔·博迪尔斯基 1 安娜·波夫 1 诺埃尔·布雷迪 1 科里·布雷格曼 1 马丁·布里德森。 1 安吉洛·布里洛特 1 卢卡斯·布尔瓦恩 1 布伦·卡瓦洛 1 露丝·米歇尔·查尼 1 查特基,英迪拉 1 陈玉清 1 Cheng,Xi(西成) 1 伊奥努·奇凡 1 莎拉·科布 1 康德,马斯顿·唐纳德·爱德华 1 约翰·D·C·克里斯普。 1 马克西米利亚诺·克里斯蒂亚 1 西蒙·克鲁恩斯 1 雅克·达内 1 戴,马修·B。 1 罗兰多圣地亚哥 1 乔尔迪·德尔加多 1 Deters,摩根 1 戴伊,索米亚 1 沃尔克·迪克特 1 伊凡·德雷村 1 安德鲁·邓肯。 1 加布里埃尔·埃布纳 1 穆纳乔·埃切宁 1 史蒂文·埃克 1 丹尼尔·欧拉维 1 Elder,Murray J。 1 内奥亚·伊诺莫托 ……还有127位作者 全部的 前5名52篇连载文章被引用 17 自动推理杂志 12 纯粹与应用代数杂志 10 代数杂志 6 美国数学学会会刊 6 国际代数与计算杂志 6 几何和拓扑 5 代数拓扑与几何拓扑 4 数学发明 4 系统设计中的形式化方法 三 代数通讯 三 剑桥哲学学会数学进展杂志 三 理论计算机科学 三 符号计算杂志 2 数学进展 2 代数与逻辑 2 美国数学学会会刊 2 爱丁堡数学学会会刊。系列II 2 信息与计算 2 爱丁堡皇家学会会刊,A辑,数学 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 拓扑与分析杂志 1 精密科学史档案 1 人工智能 1 数学物理中的通信 1 数学档案馆 1 《伦敦数学学会通报》 1 Commentarii Mathematici Helvetici评论 1 Dedicata几何 1 伊利诺伊数学杂志 1 伦敦数学学会会刊。第三系列 1 拓扑及其应用 1 数学应用学报 1 美国数学学会杂志 1 MSCS公司。计算机科学中的数学结构 1 几何和功能分析。GAFA公司 1 数学科学杂志(纽约) 1 数学与人工智能年鉴 1 约束条件 1 群论杂志 1 韩国数学学会通讯 1 RAIRO公司。理论信息学及其应用 1 逻辑程序设计理论与实践 1 代数杂志及其应用 1 组、几何体和动力学 1 拓扑杂志 1 (K)理论杂志 1 组、复杂性、密码学 1 程序设计中的逻辑和代数方法杂志 1 开放数学 1 亨利·勒贝格年鉴 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名在20个字段中引用 87 群论与推广(20-XX) 73 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 25 流形和细胞复合体(57至XX) 8 组合数学(05-XX) 7 代数拓扑(55-XX) 6 范畴理论;同调代数(18-XX) 5 数论(11-XX) 5 非结合环和代数(17-XX) 5 \(K\)理论(19-XX) 2 一般代数系统(08-XX) 2 代数几何(14-XX) 2 结合环与代数(16-XX) 2 拓扑群、李群(22日至XX日) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 复变量的函数(30-XX) 1 功能分析(46-XX) 1 凸和离散几何(52至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文