罗素·G·米勒
人员信息
附属: 纽约城市大学皇后学院数学系,美国纽约州 附属: 美国纽约市立大学纽约市立大学研究生中心
其他同名人员
罗素·B·米勒 -美国英特尔公司
优化列表
2020年–今天
2023 [j35] Kirsten Eisenträger先生 , 拉塞尔·米勒 , 凯勒布·斯普林格 , 琳达·韦斯特里克 :
代数扩张中不可定义性的拓扑方法。 牛市。 符号。 日志。 29 ( 4 ) : 626-655 ( 2023 ) [公元20年] 罗素·G·米勒 :
斯科特理想的直接构建。 CiE公司 2023 : 23-34 2022 [j34] 罗素·G·米勒 , 亚历山德拉·什拉彭托克 :
特征为0的函数环的c.e.子集的存在性定义。 Ann.纯粹应用。 日志。 173 ( 4 ) : 103076 ( 2022 ) [公元33年] 罗素·G·米勒 :
卢辛定理的有效性。 J.日志。 分析。 14 ( 2022 ) [公元32年] 罗素·G·米勒 :
有理数的Htp-完全环。 J.塞姆。 日志。 87 ( 1 ) : 252-272 ( 2022 ) [公元31年] 蕾切尔·阿尔维尔 , 韦斯利·卡尔弗特 , 格兰特·古德曼 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 罗素·G·米勒 , 安德烈·莫罗佐夫 , 亚历山德拉·A·索斯科娃 , 罗丝·魏沙尔 :
解读海森堡集团的一个领域。 J.塞姆。 日志。 87 ( 三 ) : 1215-1230 ( 2022 ) 2021 【j30】 詹妮弗·查布 , 罗素·G·米勒 , 里德所罗门 :
模型完整性和相对可判定性。 架构(architecture)。 数学。 日志。 60 ( 6 ) : 721-735 ( 2021 ) [第19条] 拉塞尔·米勒 :
字段的可计算过程。 CiE公司 2021 : 342-352 2020 [第18条] 拉塞尔·米勒 :
非编码枚举运算符。 CiE公司 2020 : 112-123
2010 – 2019
2019 [公元29年] 拉塞尔·米勒 , 维克托·奥卡西奥·冈萨雷斯 :
实闭场的度谱。 架构(architecture)。 数学。 日志。 58 ( 3-4 ) : 387-411 ( 2019 ) [公元28年] 拉塞尔·米勒 :
可数结构的同构与分类。 计算。 8 ( 2 ) : 99-117 ( 2019 ) [第17条] 伊斯坎德Sh.Kalimullin , 罗素·G·米勒 , 汉斯·肖滕斯 :
领域超越的度谱。 CiE公司 2019 : 205-216 2018 [公元27年] 罗素·G·米勒 , 比约恩·普能 , 汉斯·肖滕斯 , 亚历山德拉·什拉彭托克 :
从图形到字段的可计算函数。 J.塞姆。 日志。 83 ( 1 ) : 326-348 ( 2018 ) [公元26年] 马修·哈里森-培训师 , 罗素·G·米勒 , 安东尼奥·蒙塔尔班 :
Borel函数和无限解释。 J.塞姆。 日志。 83 ( 4 ) : 1434-1456 ( 2018 ) [公元25年] 凯伦·兰格 , 罗素·G·米勒 , 丽贝卡·斯坦纳 :
可计算结构的分类。 圣母院J.正式日志。 59 ( 1 ) : 35-59 ( 2018 ) [电子1] 弗洛林·马内亚 , 罗素·G·米勒 , 德克·诺沃特卡 :
计算世界中的航海路线——第14届欧洲可计算性会议,2018年7月30日至8月3日,德国基尔,CiE 2018,会议记录。 计算机科学课堂讲稿 10936, 施普林格 2018 ,国际标准图书编号 978-3-319-94417-3 [目录] 2017 [公元24年] 大卫·马克 , 罗素·G·米勒 :
微分闭域的图灵度谱。 J.塞姆。 日志。 82 ( 1 ) : 1-25 ( 2017 ) [公元23年] 马修·哈里森-培训师 , 亚历山大·梅尔尼科夫 , 罗素·G·米勒 , 安东尼奥·蒙塔尔班 :
可计算函数和有效解释性。 J.塞姆。 日志。 82 ( 1 ) : 77-97 ( 2017 ) [第16条] 拉塞尔·米勒 :
重温统一可计算范畴:纪念罗德·唐尼教授六十岁生日。 可计算性和复杂性 2017 : 254-270 [第15条] 罗素·G·米勒 :
结构的可计算变换。 CiE公司 2017 : 88-97 2016 [公元22年] 罗素·G·米勒 , Keng Meng Ng公司 :
等价关系的金融可约性。 J.塞姆。 日志。 81 ( 4 ) : 1225-1254 ( 2016 ) [c14] 拉塞尔·米勒 :
拜尔范畴理论与希尔伯特的第十个问题。 CiE公司 2016 : 343-352 2014 [公元21年] 埃戈尔·伊诺夫斯基 , 罗素·G·米勒 , Keng Meng Ng公司 , 安德烈·尼斯 :
可计算性理论中等价关系和序数的复杂性。 J.塞姆。 日志。 79 ( 三 ) : 859-881 ( 2014 ) [第13条] 鲁门·D·迪米特洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 罗素·G·米勒 , K.J.穆拉德 :
非标准域的同构与Ash猜想。 CiE公司 2014 : 143-152 [第12条] 罗素·G·米勒 , 里德所罗门 , 丽贝卡·斯坦纳 :
论对称破缺的有效性。 CiE公司 2014 : 314-323 2013 [公元20年] 罗素·G·米勒 , 汉斯·肖滕斯 :
通过费马最后定理计算范畴场。 计算。 2 ( 1 ) : 51-65 ( 2013 ) [公元19年] 叶卡捷琳娜·福基纳 , 西德维德·弗里德曼 , 朱莉娅·奈特 , 罗素·G·米勒 :
具有宇宙子集的结构类 ω 1 . J.日志。 计算。 23 ( 6 ) : 1249-1265 ( 2013 ) [第11条] 约翰·富兰克林(Johanna N.Y.Franklin) , 阿舍·M·卡赫 , 罗素·G·米勒 , 里德所罗门 :
序号的局部可计算性。 CiE公司 2013 : 161-170 2012 [公元18年] 塞缪尔·考斯基 , 乔尔·戴维·哈姆金斯 , 罗素·G·米勒 :
可计算约简下自然数的等价关系层次。 计算。 1 ( 1 ) : 15-38 ( 2012 ) [公元17年] 安德烈·弗罗洛夫 , 伊斯坎德Sh.Kalimullin , 瓦伦蒂娜·哈里扎诺夫 , 奥列格·库迪诺夫 , 罗素·G·米勒 :
高光谱 n个 和非低 n个 度。 J.日志。 计算。 22 ( 4 ) : 755-777 ( 2012 ) [i2] 罗素·G·米勒 , 汉斯·肖滕斯 :
通过费马最后定理计算范畴场。 CoRR公司 abs/1212.6751 ( 2012 ) 2011 [公元16年] 韦斯利·卡尔弗特 , 肯·克莱默 , 罗素·G·米勒 :
Blum-Shub-Smale模型中的不可计算函数。 日志。 方法计算。 科学。 7 ( 2 ) ( 2011 ) [公元15年] 拉塞尔·米勒 :
介绍关于群和场的可计算模型理论。 群体复杂。 加密。 三 ( 1 ) : 25-45 ( 2011 ) [公元14年] 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 罗素·G·米勒 , 安东尼奥·蒙塔尔班 :
弗雷塞极限的可计算性。 J.塞姆。 日志。 76 ( 1 ) : 66-93 ( 2011 ) [j13] 拉塞尔·米勒 :
低 5 布尔子代数和可计算副本。 J.塞姆。 日志。 76 ( 三 ) : 1061-1074 ( 2011 ) [第10条] 拉塞尔·米勒 , 阿列克谢·奥夫钦尼科夫 :
将拉宾定理应用于微分场。 CiE公司 2011 : 211-220 [i1] 韦斯利·卡尔弗特 , 罗素·G·米勒 , 詹妮弗·查布·雷曼(Jennifer Chubb Reimann) :
可计算图上的距离函数。 CoRR公司 abs/1111.2480 ( 2011 ) 2010 [公元12年] 叶卡捷琳娜·福基纳 , 伊斯坎德Sh.Kalimullin , 罗素·G·米勒 :
可计算结构的分类程度。 架构(architecture)。 数学。 日志。 49 ( 1 ) : 51-67 ( 2010 ) [公元11年] 梅林·卡尔 , 蒂姆·菲施巴赫 , 彼得·科普克 , 罗素·G·米勒 , 米里亚姆·纳斯菲 , 格雷戈·威克贝克 :
无限时间寄存器机的基本理论。 架构(architecture)。 数学。 日志。 49 ( 2 ) : 249-273 ( 2010 ) 【c9】 韦斯利·卡尔弗特 , 肯·克莱默 , 罗素·G·米勒 :
Blum-Shub-Smale计算中Oracle的基数。 CCA公司 2010 : 56-66
2000 – 2009
2009 [公元10年] 乔尔·戴维·哈姆金斯 , 罗素·G·米勒 :
序数寄存器机器的波斯特问题:一种显式方法。 Ann.纯粹应用。 日志。 160 ( 三 ) : 302-309 ( 2009 ) [公元9年] 拉塞尔·米勒 :
代数域的d-可计算范畴。 J.塞姆。 日志。 74 ( 4 ) : 1325-1351 ( 2009 ) 【c8】 安德烈·弗罗洛夫 , 伊斯坎德Sh.Kalimullin , 罗素·G·米勒 :
代数域和子域的谱。 CiE公司 2009 : 232-241 【c7】 韦斯利·卡尔弗特 , 罗素·G·米勒 :
实可计算流形和同伦群。 加州大学 2009 : 98-109 2008 【c6】 彼得·科普克 , 罗素·G·米勒 :
无限时间寄存器机的一个增强理论。 CiE公司 2008 : 306-315 【c5】 拉塞尔·米勒 , 达斯汀·穆尔卡希 :
完美的局部可计算性和可计算模拟。 CiE公司 2008 : 447-456 2007 [j8] 瓦伦蒂娜·哈里扎诺夫 , 罗素·G·米勒 :
结构和关系的光谱。 J.塞姆。 日志。 72 ( 1 ) : 324-348 ( 2007 ) [j7] 丹尼斯·赫施费尔特 , 罗素·G·米勒 , 谢尔盖·波佐罗夫 :
有序可计算集。 圣母院J.正式日志。 48 ( 三 ) : 317-347 ( 2007 ) 【c4】 乔尔·戴维·哈姆金斯 , 罗素·G·米勒 :
顺序寄存器机器的Post问题。 CiE公司 2007 : 358-367 【c3】 乔尔·戴维·哈姆金斯 , 大卫·莱因茨基 , 罗素·G·米勒 :
快速ORM-可判定集的复杂性。 CiE公司 2007 : 488-496 【c2】 罗素·G·米勒 :
局部可计算结构。 CiE公司 2007 : 575-584 2005 [j6] 谢尔盖·冈查洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 查尔斯·F·D·麦考伊 , 罗素·G·米勒 , 里德所罗门 :
可计算结构理论中的枚举。 Ann.纯粹应用。 日志。 136 ( 三 ) : 219-246 ( 2005 ) [j5] 拉塞尔·米勒 :
无限高树木的可计算维数。 J.塞姆。 日志。 70 ( 1 ) : 111-141 ( 2005 ) 【j4】 斯特芬·伦普 , 查尔斯·麦考伊 , 罗素·G·米勒 , 里德所罗门 :
有限高度树的可计算分类。 J.塞姆。 日志。 70 ( 1 ) : 151-215 ( 2005 ) 2002 [j3] 拉塞尔·米勒 :
可计算可枚举集的轨道:低集可以避免上锥。 Ann.纯粹应用。 日志。 118 ( 1-2 ) : 61-85 ( 2002 ) [注2] 拉塞尔·米勒 :
可定义不完全性和Friedberg分裂。 J.塞姆。 日志。 67 ( 2 ) : 679-696 ( 2002 ) [c1] 理查德·施罗佩尔 , Cheryl L.海狸 , 丽塔·冈萨雷斯 , 拉塞尔·米勒 , 蒂莫西·德雷洛斯 :
椭圆曲线数字签名芯片的低功耗设计。 CHES公司 2002 : 366-380 2001 [j1] 拉塞尔·米勒 :
三角洲 0 2 -线性阶谱。 J.塞姆。 日志。 66 ( 2 ) : 470-486 ( 2001 )