马蒂亚斯·斯托尔曼
人员信息
附属: 北卡罗来纳州立大学计算机科学系
优化列表
2020年–今天
2021 [公元19年] 艾萨·奥吉特 , 马蒂亚斯·斯托尔曼 :
查找树的2个中间值的有效算法。 网络 77 ( 三 ) : 383-402 ( 2021 ) 2020 [i1] 马蒂亚斯·斯托尔曼 , 杨浩 , 蒂莫西·D·古德里奇 :
顶点覆盖的图形轮廓:分支中的目标约简和约简解算器。 CoRR公司 abs/2003.06639 ( 2020 )
2010 – 2019
2017 [公元18年] 马蒂亚斯·斯托尔曼 :
Galant的算法动画。 IEEE计算机图形和应用 37 ( 1 ) : 8-14 ( 2017 ) 2016 [公元17年] 陈文斌 , Nagiza F.萨马托娃 , 马蒂亚斯·斯托尔曼 , 威廉·亨德里克斯 , 魏钦英 :
关于尺寸约束的最小s-t割问题和尺寸约束的稠密子图问题。 西奥。 计算。 科学。 609 : 434-442 ( 2016 ) 2014 [第18条] 苏珊娜·巴利克 , 肖恩·梅林 , 马蒂亚斯·斯托尔曼 , 罗伯特·罗德曼 , 米歇尔·格拉茨 , 维罗妮卡·西格勒 :
通过访问图形将盲人包括在计算中。 资产 2014 : 91-98 2013 [c17] 威廉·埃伯勒 , 约翰·卡罗 , 尼尔·勒纳 , 马蒂亚斯·斯托尔曼 :
在数据结构和算法课程中整合沟通技能。 菲 2013 : 1503-1509 [第16条] 苏珊娜·巴利克 , 肖恩·梅林 , 马蒂亚斯·斯托尔曼 , 罗伯特·罗德曼 :
GSK:通用图形绘制。 SIGCSE公司 2013 : 221-226 2012 [公元16年] 马蒂亚斯·斯托尔曼 :
瓶颈交叉最小化的启发式算法及其在一般交叉最小化上的性能:假设和实验研究。 ACM J.实验算法 17 ( 1 ) ( 2012 )
2000 – 2009
2009 [第15条] 马克西姆·科米利辛 , 拉达·奇尔科娃 , 叶海亚·法蒂 , 马蒂亚斯·斯托尔曼 :
自动数据库重组高效查询计划的系统探索。 亚的斯亚贝巴 2009 : 133-148 2008 [公元15年] 拉杰夫·拉曼 , 马蒂亚斯·斯托尔曼 :
前言。 ACM J.实验算法 13 ( 2008 ) [第14条] 马克西姆·科尔米利钦 , 拉达·奇尔科娃 , 叶海亚·法蒂 , 马蒂亚斯·斯托尔曼 :
查询性能改进的视图和索引选择:以质量为中心的算法和启发式。 CIKM公司 2008 : 1329-1330 [第13条] Zohreh Asgharzadeh Talebi公司 , 拉达·奇尔科娃 , 叶海亚·法蒂 , 马蒂亚斯·斯托尔曼 :
选择视图和索引以提高OLAP性能的精确和不精确方法。 EDBT公司 2008 : 311-322 2007 [公元14年] 劳拉·杰克逊 , 乔治·N·鲁斯卡斯 , 马蒂亚斯·F·M·斯塔尔曼 :
定向p。 欧洲药典。 物件。 179 ( 三 ) : 1097-1108 ( 2007 ) [第12条] 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 :
高控制算法行为:观察、假设和实验设计。 实验计算机科学 2007 : 12 [第11条] 马蒂亚斯·斯托尔曼 , 苏珊娜·巴利克 , 罗伯特·罗德曼 , 新浪巴林 , 迈克尔·C·格雷斯 , 苏珊·D·高 :
ProofChecker:自动机理论正确性证明的可访问环境。 ITiCSE公司 2007 : 48-52 [第10条] 克里斯蒂·伊丽莎白·博伊尔 , 雷切尔·德怀特 , 卡罗琳·米勒 , C.戴安娜·劳本海默 , 马蒂亚斯·斯托尔曼 , 姆拉丹·A·沃克 :
一个小班规模的案例,集成了计算机科学入门实验室。 SIGCSE公司 2007 : 341-345 2006 [电子1] 拉杰夫·拉曼 , 马蒂亚斯·斯托尔曼 :
第八届算法工程与实验研讨会论文集,ALENEX 2006,美国佛罗里达州迈阿密,2006年1月21日。 暹罗 2006 ,国际标准图书编号 978-1-61197-286-3 [目录] 2005 [j13] 弗兰克·布尔格勒 , 小余力 , 马蒂亚斯·F·M·斯塔尔曼 :
关于SAT实例类和使用SAT解算器进行可靠性能实验的方法。 安。数学。 Artif公司。 智力。 43 ( 1 ) : 1-34 ( 2005 ) 【c9】 小余力 , 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 :
解决unate和binate覆盖问题的有效边界技术。 数模转换器 2005 : 385-390 2003 [公元12年] 罗伯特·霍克伯格 , 马蒂亚斯·F·M·斯塔尔曼 :
线性时间内的最优单页树嵌入。 信息处理。 莱特。 87 ( 2 ) : 59-66 ( 2003 ) 【c8】 小余力 , 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 :
使用有效切换策略和有效单位传播的本地搜索SAT解算器。 坐 2003 : 53-68 2002 [公元11年] 小余力 , 马蒂亚斯·F·M·斯塔尔曼 :
二部图绘制重心启发式的新边界。 信息处理。 莱特。 82 ( 6 ) : 293-298 ( 2002 ) 2001 [公元10年] 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 , 黛布拉塔·戈什 :
最大图交叉最小化中的启发式、实验对象和处理评估。 ACM J.实验算法 6 : 8 ( 2001 ) 2000 [公元9年] 耶日·坎布罗夫斯基 , 大卫·J·迈克尔 , 马蒂亚斯·F·M·斯塔尔曼 :
将活动网络的复杂性降至最低。 网络 36 ( 1 ) : 47-52 ( 2000 )
1990 – 1999
1999 【c7】 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 , 黛布拉塔·戈什 :
最大图交叉数最小化的启发式和实验设计。 亚历克斯 1999 : 74-93 【c6】 马蒂亚斯·F·M·斯塔尔曼 , 弗兰克·布尔格勒 , 黛布拉塔·戈什 :
评估用于最大图交叉最小化的迭代改进启发式。 国际会计准则委员会(6) 1999 : 444-447 1995 [j8] Woei-Kae Chen先生 , 马蒂亚斯·F·M·斯塔尔曼 :
关于将二叉树嵌入超立方体。 J.并行分布式计算。 24 ( 2 ) : 132-138 ( 1995 ) 1993 [j7] 马蒂亚斯·F·M·斯塔尔曼 :
关于计算平面嵌入件。 自由裁量权。 数学。 122 ( 1-3 ) : 385-392 ( 1993 ) 【c5】 马蒂亚斯·F·M·斯塔尔曼 , 托马斯·休斯 :
基于点动插入的一维压缩快速算法。 WADS公司 1993 : 589-600 1992 [j6] 沃尔夫冈·贝恩 , 杰里·坎伯罗夫斯基 , 马蒂亚斯·F·M·斯塔尔曼 :
二端有向非循环图的最优约简。 SIAM J.计算。 21 ( 6 ) : 1112-1129 ( 1992 ) 【c4】 马蒂亚斯·斯托尔曼 , 兰斯·克莱维兰 , Prashant Hebbar公司 :
GDR:图形算法可视化工具。 离散数学的计算支持 1992 : 17-28 1991 [j5] 沃尔夫冈·贝恩 , 彼得·布鲁克 , 马蒂亚斯·F·M·斯塔尔曼 :
网络代表性多拟阵的特征。 ZOR方法模型。 操作。 物件。 35 ( 4 ) : 267-272 ( 1991 ) 【c3】 马蒂亚斯·F·M·斯塔尔曼 :
一种用于拟阵调度的单向阵列算法。 SPAA公司 1991 : 349-356 1990 [j4] 卡拉·萨维奇 , 马蒂亚斯·F·M·斯塔尔曼 , 乔·埃伦·佩里 :
用单向数据流解决阵列上的一些组合问题。 算法 5 ( 2 ) : 179-199 ( 1990 ) [j3] 马蒂亚斯·F·M·斯塔尔曼 , 托马斯·休斯 , 刘文泰 :
拓扑多层布线的无约束通孔最小化。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 9 ( 9 ) : 970-980 ( 1990 )
1980 – 1989
1989 [注2] Woei-Kae Chen先生 , 马蒂亚斯·F·M·斯塔尔曼 , 爱德华·盖林格 :
超立方体嵌入启发式:评估。 Int.J.并行程序。 18 ( 6 ) : 505-549 ( 1989 ) 1986 [j1] 哈罗德·加博 , 马蒂亚斯·F·M·斯塔尔曼 :
线性拟阵奇偶校验的增广路径算法。 梳子。 6 ( 2 ) : 123-150 ( 1986 ) 1985 [c2] 哈罗德·加博 , 马蒂亚斯·F·M·斯塔尔曼 :
图形拟阵交集和奇偶校验的有效算法(扩展抽象)。 ICALP公司 1985 : 210-220 1984 【c1】 马蒂亚斯·F·M·斯塔尔曼 , 哈罗德·加博 :
线性拟阵奇偶问题的一种增广路径算法。 光纤通信系统 1984 : 217-228