×

戴维·穆勒(David E.Muller)。

作者ID: 米勒戴维斯最近由“Muller,David E.”撰写的zbMATH文章
发布日期: 戴维·穆勒(David E.Muller)。;D.E.穆勒。;大卫·穆勒
外部链接: MGP公司·维基数据·ID参考
已编制索引的文档: 38出版物自1954年起
1进一步贡献
合著者: 8位合著者具有28联合出版物
144位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

24出版物有被引用608514文件 引用人 年份
群体、目的理论和无语境语言。 Zbl 0537.20011号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
110
1983
末端理论、下推自动机和二阶逻辑。 Zbl 0605.03005号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
96
1985
使用自动计算机求解代数方程的方法。 Zbl 0072.34002号
戴维·穆勒(David E.Muller)。
90
1956
无限树上的交替自动机。 Zbl 0636.68108号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
53
1987
求两个凸多面体的交点。 Zbl 0396.5202号
D.E.穆勒。;Preparia,F.P.公司。
51
1978
用非确定性自动机模拟交替树自动机:Rabin、McNaughton和Safra定理的新结果和新证明。 Zbl 0873.68135号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
49
1995
对于分拣和交换来说,必然会涉及到网络的复杂性。 Zbl 0334.94007号
戴维·穆勒(David E.Muller)。;Preparia,Franco P。
33
1975
异步电路的一种理论。 Zbl 0171.37902号
D.E.穆勒。;巴特基,W.S。
26
1959
交替自动机、树的弱一元理论及其复杂性。 Zbl 0617.03020号
戴维·穆勒(David E.Muller)。;艾哈迈德·索乌迪;Paul E.舒普。
25
1986
求时间O(n log n)中n个半空间的交集。 Zbl 0412.51001号
Preparia,F.P.公司。;D.E.穆勒。
15
1979
交替自动机,树的弱一元理论及其复杂性。 Zbl 0776.03017号
戴维·穆勒(David E.Muller)。;艾哈迈德·索乌迪;Paul E.舒普。
11
1992
无限对象上的交替自动机、确定性和拉宾定理。 Zbl 0608.03004号
大卫·穆勒;Paul E.舒普。
10
1985
重组算术表达式以进行并行计算。 Zbl 0335.68022号
戴维·穆勒(David E.Muller)。;Preparia,Franco P。
9
1976
无上下文语言、组、端点理论、二阶逻辑、平铺问题、细胞自动机和向量加法系统。 Zbl 0484.03019号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
9
1981
布尔表达式的高效并行计算。 Zbl 0327.94046号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。
6
1976
有限状态过程,(Z)-时间逻辑和整数的一元理论。 Zbl 0771.68076号
A.索乌迪。;D.E.穆勒。;P.E.舒普。
5
1992
带扇入约束的布尔网络深度约简。 Zbl 0361.94054号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。;阿姆农·B·巴拉克。
1977
自动机中的连通性和可逆性。 Zbl 0212.33703号
巴维尔,Z。;D.E.穆勒。
2
1970
计算无除法算术表达式所需的时间。 Zbl 0339.68041号
Preparia,F.P.公司。;D.E.穆勒。
2
1975
潮汐方程的球面特征函数。 Zbl 1020.86500号
米勒,D。;凯利,B.G。;J.J.奥布莱恩。
1
1994
表达式的并行重组和计算。 Zbl 0743.68068号
D.E.穆勒。;Preparia,F.P.公司。
1
1992
平面中的不相交路径。 Zbl 0822.90111号
Th.M.Liebling先生。;F.马戈特。;米勒,D。;普罗顿,A。;斯塔弗,L。
1
1995
关于实现布尔函数所需的延迟。 Zbl 0217.58806号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。
1
1971
不完全指定机器理论的推广。 Zbl 0275.94037号
D.E.穆勒。;R.E.米勒。
1
1972
用非确定性自动机模拟交替树自动机:Rabin、McNaughton和Safra定理的新结果和新证明。 Zbl 0873.68135号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
49
1995
断开平面中的路径。 Zbl 0822.90111号
Th.M.Liebling先生。;F.马戈特。;米勒,D。;A.普罗登。;斯塔弗,L。
1
1995
潮汐方程的球面特征函数。 Zbl 1020.86500号
米勒,D。;凯利,B.G。;O&rsquo的;J.J.布莱恩。
1
1994
交替自动机,树的弱一元理论及其复杂性。 Zbl 0776.03017号
戴维·穆勒(David E.Muller)。;艾哈迈德·萨乌迪;Paul E.舒普。
11
1992
有限状态过程,(Z)-时间逻辑和整数的一元理论。 Zbl 0771.68076号
A.索乌迪。;D.E.穆勒。;P.E.舒普。
5
1992
表达式的并行重组和计算。 Zbl 0743.68068号
D.E.穆勒。;Preparia,F.P.公司。
1
1992
无限树上的交替自动机。 Zbl 0636.68108号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
53
1987
交替自动机、树的弱一元理论及其复杂性。 Zbl 0617.03020号
戴维·穆勒(David E.Muller)。;艾哈迈德·索乌迪;Paul E.舒普。
25
1986
末端理论、下推自动机和二阶逻辑。 Zbl 0605.03005号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
96
1985
无限对象上的交替自动机、确定性和拉宾定理。 兹比尔0608.03004
大卫·穆勒;Paul E.舒普。
10
1985
群体、目的理论和无语境语言。 Zbl 0537.20011号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
110
1983
无上下文语言、组、端点理论、二阶逻辑、平铺问题、细胞自动机和向量加法系统。 Zbl 0484.03019号
戴维·穆勒(David E.Muller)。;Paul E.舒普。
9
1981
求时间O(n log n)中n个半空间的交集。 兹比尔0412.51001
Preparia,F.P.公司。;D.E.穆勒。
15
1979
求两个凸多面体的交点。 Zbl 0396.5202号
D.E.穆勒。;Preparia,F.P.公司。
51
1978
带扇入约束的布尔网络深度约简。 Zbl 0361.94054号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。;阿姆农·B·巴拉克。
1977
重组算术表达式以进行并行计算。 Zbl 0335.68022号
戴维·穆勒(David E.Muller)。;Preparia,Franco P。
9
1976
布尔表达式的高效并行求值。 Zbl 0327.94046号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。
6
1976
对于分拣和交换来说,必然会涉及到网络的复杂性。 Zbl 0334.94007号
戴维·穆勒(David E.Muller)。;Preparia,Franco P。
33
1975
计算无除法算术表达式所需的时间。 Zbl 0339.68041号
Preparia,F.P.公司。;D.E.穆勒。
2
1975
不完全指定机器理论的推广。 Zbl 0275.94037号
D.E.穆勒。;R.E.米勒。
1
1972
关于实现布尔函数所需的延迟。 Zbl 0217.58806号
Preparia,Franco P。;戴维·穆勒(David E.Muller)。
1
1971
自动机中的连通性和可逆性。 Zbl 0212.33703号
巴维尔,Z。;D.E.穆勒。
2
1970
异步电路理论。 兹伯利0171.37902
D.E.穆勒。;巴特基,W.S。
26
1959
使用自动计算机求解代数方程的方法。 Zbl 0072.34002号
戴维·穆勒(David E.Muller)。
90
1956
全部的 前5名

701位作者引用

15 奥尔纳库普弗曼
14 莫西·亚亚科夫·瓦尔迪
9 马库斯·洛伊
8 伯纳德·夏泽尔
8 沃尔夫冈·沃斯
7 沃尔克·迪克特
7 马克·坎比特
7 Paul E.舒普。
7 塞尼泽格斯,热罗
6 Ceccherini-Silberstein,Tullio G。
6 戴维·穆勒(David E.Muller)。
6 弗里德里希·奥托
6 尼尔·皮特曼
6 理查德·托马斯(Richard M.Thomas)。
6 伊戈尔·瓦卢基维奇
5 劳拉·博泽利
5 德里克·霍尔特(Derek F.Holt)。
5 蒋世东
5 李祥国
5 克劳斯·马德勒(Klaus E.Madlener)。
5 穆拉诺,阿尼洛
5 Nyberg-Brodda,Carl-Fredrik公司
5 斯文·舍韦
5 维尼马,伊德
4 安德烈·阿诺德
4 Elder,Murray J。
4 迈克尔·杜鲁门·古德里奇
4 托马斯·赫伯斯特
4 克里斯托夫·Löding
4 中野浩二
4 达米安·尼文斯基
4 利奥尼达斯·帕利奥斯
4 佩德罗·席尔瓦。
克里斯特尔·拜尔
米歇尔·鲍德龙
Alan A.Bertossi。
贾努斯·安东尼·布尔佐夫斯基
艾伦·J·凯恩。
米歇尔·库纳特
菲利普·达伦多
赫伯特·埃德尔斯布伦纳
弗朗西丝卡·菲奥伦齐
塞斯·福格蒂。
斯特凡·格勒
列奥尼达斯·约翰·吉巴斯
伊藤、靖国
迪特里赫·库斯克
萨尔瓦多拉托雷
马丁·兰格
马里恩·勒·戈尼迪克
卡斯滕·卢茨
米查勒夫斯基(Michalewski)、亨利克(Henryk)
Preparia,Franco P。
让-克洛德·拉乌尔
任洪民
Röver,Claas E。
艾哈迈德·索乌迪
纳塔尔·维塔尔·埃夫纳·塞沃丁纳
Micha Skrzypczak
沃尔夫冈·托马斯
Tsay,Yih-Kuen先生
2 拉杰夫·阿鲁尔
2 本杰明·阿米诺夫
2 哈比卜·阿米里
2 安托林,雅戈
2 纳撒利·奥布伦
2 埃里克·巴杜埃尔
2 塞巴斯蒂安·巴比里
2 劳伦特·巴托尔迪
2 杰森·贝尔。
2 阿维吉特·布尼亚
2 毕伟红
2 Bleak,科林
2 乌迪·博克
2 埃琳娜·博托埃娃
2 埃里克·布里森
2 奥拉夫·伯卡特
2 迭戈·卡尔瓦内斯
2 Carayol,阿诺
2 克里希南德·查特吉
2 Chebotarev,Anatoli N。
2 陈子怡
2 Robert J.奇米科夫斯基。
2 劳拉·乔巴努
2 克拉克森,肯尼斯·L。
2 布鲁诺·库塞尔
2 塞尔吉奥·J·D·达莱斯奥。
2 Stéphane P.德姆里。
2 塞巴斯蒂安·恩奎斯特
2 杰夫·埃里克森
2 亚历山德罗·法奇尼
2 Fernández-Díaz,Julio M。
2 伯恩德·芬克贝纳
2 维杰·加格。
2 瓦伦丁·F·戈兰科。
2 罗伯特·D·格雷。
2 托马斯·亨辛格(Thomas A.Henzinger)。
2 黄耿典
2 奥斯卡·H·伊巴拉。
2 西蒙·扬奇
…还有601多名作者
全部的 前5名

134篇连载文章中引用

68 理论计算机科学
21 信息处理信件
19 计算机与系统科学杂志
19 信息与计算
16 国际代数与计算杂志
10 算法学
10 离散和计算几何
9 信息学报
9 代数杂志
9 国际计算机科学基础杂志
7 机械学报
7 RAIRO公司。Informatique Théorique et Applications公司
6 离散应用数学
6 美国数学学会会刊
6 计算几何
6 ACM计算逻辑事务
6 组、复杂性、密码学
5 应用力学与工程中的计算机方法
5 应用数学与计算
5 计算
5 数学系统理论
5 半群论坛
5 系统设计中的形式化方法
5 计算机科学中的逻辑方法
4 人工智能
4 代数通讯
4 计算机与数学及其应用
4 计算物理杂志
4 流体力学杂志
4 比特币
4 控制论
4 纯逻辑与应用逻辑年鉴
4 流体物理学
4 RAIRO公司。理论信息学及其应用
离散数学
计算数学
科学计算杂志
国际计算几何与应用杂志
澳大利亚数学学会杂志
2 计算与应用数学杂志
2 符号逻辑杂志
2 模拟中的数学和计算机
2 数值数学
2 欧洲组合数学杂志
2 计算机科学与技术杂志
2 自动推理杂志
2 计算力学
2 应用数学快报
2 计算数学和数学物理
2 应用数学建模
2 国际计算机数学杂志
2 计算统计与数据分析
2 SIAM科学计算杂志
2 非线性科学与数值模拟中的通信
2 代数杂志及其应用
2 组、几何体和动力学
2 数值分析进展
2 组合代数杂志
1 澳大利亚数学学会公报
1 计算机和流体
1 计算机物理通信
1 以色列数学杂志
1 工程数学杂志
1 富兰克林学院学报
1 数学生物学杂志
1 固体力学与物理杂志
1 线性代数和多线性代数
1 数学生物科学
1 剑桥哲学学会数学进展杂志
1 Semesterberichte数学
1 ZAMP公司。Zeitschrift für angewandte数学与物理
1 数学生物学通报
1 数学进展
1 代数与逻辑
1 《伦敦数学学会通报》
1 伊利诺伊数学杂志
1 信息科学
1 国际计算机与信息科学杂志
1 组合理论杂志。B系列
1 伦敦数学学会杂志。第二系列
1 纯粹与应用代数杂志
1 数学规划
1 京都大学数学科学研究所出版物
1 意大利信息研究所
1 组合数学
1 符号计算杂志
1 复杂性杂志
1 新一代计算
1 可视化计算机
1 国际近似推理杂志
1 数学和计算机建模
1 计算的形式方面
1 MSCS公司。计算机科学中的数学结构
1 离散事件动态系统
1 数值算法
1 自动化和远程控制
1 欧洲运筹学杂志
1 SIAM应用数学杂志
1 工程、通信和计算中的应用代数
1 计算优化与应用
…还有34部连续剧
全部的 前5名

41个领域被引用

351 计算机科学(68至XX)
97 群论与推广(20-XX)
95 数学逻辑和基础(03-XX)
57 数值分析(65-XX)
41 组合数学(05-XX)
26 信息与通信理论、电路(94-XX)
22 流体力学(76-XX)
18 博弈论、经济学、金融和其他社会和行为科学(91-XX)
15 凸和离散几何(52-XX)
13 偏微分方程(35-XX)
13 可变形固体力学(74-XX)
13 运筹学、数学规划(90-XX)
8 有序,格,有序代数结构(06-XX)
6 几何图形(51至XX)
6 概率论与随机过程(60-XX)
5 范畴理论;同调代数(18-XX)
5 动力系统和遍历理论(37至XX)
5 生物学和其他自然科学(92-XX)
4 统计学(62-XX)
历史和传记(01-XX)
场论和多项式(12-XX)
线性代数和多线性代数;矩阵理论(15-XX)
光学、电磁理论(78-XX)
系统论;控制(93至XX)
2 常微分方程(34-XX)
2 功能分析(46倍X倍)
2 变分法与最优控制;最优化(49至XX)
2 一般拓扑结构(54至XX)
2 经典热力学,传热(80-XX)
2 统计力学,物质结构(82-XX)
1 一般代数系统(08-XX)
1 实际功能(26年X月X日)
1 势能理论(31日至XX日)
1 差分方程和函数方程(39至XX)
1 近似值和展开值(41至XX)
1 抽象谐波分析(43至XX)
1 积分方程(45-XX)
1 算子理论(47-XX)
1 流形和细胞复合体(57至XX)
1 量子理论(81-XX)
1 地球物理学(86-XX)

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.