编辑配置文件(在新选项卡中打开) 马可·萨梅尔 合著者距离 作者ID: 萨梅尔·马尔科 发布日期: 马可·萨梅尔 外部链接: MGP公司 已编制索引的文档: 16出版物自2003年起 1进一步贡献 合著者: 6位合著者具有15联合出版物 389位合作作者 全部的 前5名合著者 1 单作者的 7 斯泽德,斯特凡 6 赫尔穆特·维思 2 乔治·戈特洛布 1 埃克塞尔·贝林芬特 1 特蕾莎·伯格 1 克尔斯滕·伯克科特 1 亨利克·比约克隆德 1 劳拉·布兰丹,布里奥内斯 1 曼弗雷德·布罗伊 1 斯特凡·D·布鲁达。 1 塞维琳·科林 1 戴振儒 1 乔治·丁 1 穆罕默德·勒姆利 1 拉尔斯·弗兰岑 1 安吉洛·加甘蒂尼 1 克里斯托夫·加斯顿 1 马丁·格罗 1 马克·霍斯特曼 1 本特·琼森 1 Joost-Pieter卡托恩 1 雷蒙·科纳 1 莫伊斯·克里钦 1 马丁·勒克 1 利瓦·卢西奥 1 莱昂纳多·马里亚尼 1 尼斯雷特·穆斯利乌 1 法比安·佩鲁克斯 1 菲利普斯,简 1 沃尔夫冈·普伦宁格 1 亚历山大·普雷施纳 1 哈拉尔德·拉菲尔特 1 马蒂亚斯·罗尔 1 斯文·桑德伯格 1 弗朗西斯科·斯卡切罗 1 Schallhart,基督徒 1 德克·塞弗特 1 瓦列里察恩 1 马基尔·范德·比吉尔 1 维雷娜·沃尔夫 全部的 前5名系列 1 计算机与系统科学杂志 1 自动推理杂志 1 约束条件 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 离散算法杂志 1 计算机科学课堂讲稿 领域 16 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用157中的次122文件 引用人▼ 年份▼ 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 命题模型计数算法。 Zbl 1214.05166号 马可·萨梅尔;斯泽德,斯特凡 31 2010 量化布尔公式的后门集合。 Zbl 1191.68353号 马可·萨梅尔;斯泽德,斯特凡 28 2009 重新审视有界树宽的约束满足度。 Zbl 1186.68443号 马可·萨梅尔;斯泽德,斯特凡 22 2010 扩展的全局基数约束的可追踪情况。 Zbl 1215.68164号 马可·萨梅尔;斯泽德,斯特凡 15 2011 超树分解:结构、算法和应用。 Zbl 1126.68516号 乔治·戈特洛布;马丁·格罗;尼斯雷特·穆斯利乌;马可·萨梅尔;弗朗西斯科·斯卡切罗 12 2005 重新访问有界树宽的约束满足。 Zbl 1160.68563号 马可·萨梅尔;斯泽德,斯特凡 9 2006 命题模型计数算法。 Zbl 1137.68623号 马可·萨梅尔;斯泽德,斯特凡 8 2007 量化CSP的可变依赖性。 Zbl 1182.68268号 马可·萨梅尔 7 2008 一种基于回溯的超树分解算法。 Zbl 1284.05284号 乔治·戈特洛布;马可·萨梅尔 7 2009 将树宽度编码为SAT。 Zbl 1247.68259号 马可·萨梅尔;赫尔穆特·维思 5 2009 关于空洞真理的概念。 Zbl 1137.68438号 马可·萨梅尔;赫尔穆特·维思 4 2007 参数化真空度。 Zbl 1117.68436号 马可·萨梅尔;赫尔穆特·维思 三 2004 重新审查CTL查询的有效性。 Zbl 1116.03320号 马可·萨梅尔;赫尔穆特·维思 三 2003 分布式LTL查询的语法特征。 Zbl 1099.68058号 马可·萨梅尔;赫尔穆特·维思 2 2004 量化布尔公式的后门集合。 Zbl 1214.68372号 马可·萨梅尔;斯泽德,斯特凡 1 2007 扩展的全局基数约束的可追踪情况。 Zbl 1215.68164号 马可·萨梅尔;斯泽德,斯特凡 15 2011 命题模型计数算法。 Zbl 1214.05166号 马可·萨梅尔;斯泽德,斯特凡 31 2010 重新访问有界树宽的约束满足。 Zbl 1186.68443号 马可·萨梅尔;斯泽德,斯特凡 22 2010 量化布尔公式的后门集合。 Zbl 1191.68353号 马可·萨梅尔;斯泽德,斯特凡 28 2009 一种基于回溯的超树分解算法。 Zbl 1284.05284号 乔治·戈特洛布;马可·萨梅尔 7 2009 将树宽编码为SAT。 Zbl 1247.68259号 马可·萨梅尔;赫尔穆特·维思 5 2009 量化CSP的可变依赖性。 Zbl 1182.68268号 马可·萨梅尔 7 2008 命题模型计数算法。 Zbl 1137.68623号 马可·萨梅尔;斯泽德,斯特凡 8 2007 关于空洞真理的概念。 Zbl 1137.68438号 马可·萨梅尔;赫尔穆特·维思 4 2007 量化布尔公式的后门集合。 Zbl 1214.68372号 马可·萨梅尔;斯泽德,斯特凡 1 2007 重新访问有界树宽的约束满足。 Zbl 1160.68563号 马可·萨梅尔;斯泽德,斯特凡 9 2006 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 超树分解:结构、算法和应用。 Zbl 1126.68516号 乔治·戈特洛布;马丁·格罗;尼斯雷特·穆斯利乌;马可·萨梅尔;弗朗西斯科·斯卡切罗 12 2005 参数化真空度。 Zbl 1117.68436号 马可·萨梅尔;赫尔穆特·维思 三 2004 分布式LTL查询的语法特征。 Zbl 1099.68058号 马可·萨梅尔;赫尔穆特·维思 2 2004 重新审查CTL查询的有效性。 Zbl 1116.03320号 马可·萨梅尔;赫尔穆特·维思 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名203位作者引用 30 斯泽德,斯特凡 14 塞巴斯蒂安·奥德尼亚克 8 罗伯特·加尼安 6 塞尔盖·加斯佩斯 6 金恩贞(Kim,Eun Jung) 6 弗里德里希·斯利沃夫斯基 5 费希特,约翰内斯·克劳斯 5 乔治·戈特洛布 5 马库斯·赫彻 5 弗洛里安·朗辛 5 马可·萨梅尔 4 迈克尔·兰皮斯 4 瓦利亚·米苏 4 斯特凡·沃尔特兰 三 贝恩德·贝克尔 三 阿明·比尔 三 吉安路易吉·格雷科 三 阿恩·迈尔 三 丹尼尔·保卢斯马 三 弗朗西斯科·斯卡切罗 三 克里斯托夫·斯科尔 三 拉尔夫·维默(Ralf D.Wimmer)。 2 马尔科·阿尔迪 2 雷米·贝尔蒙特 2 尼尔·德·博德拉普 2 比斯特拉·迪尔基纳 2 埃格利,乌韦 2 爱德华·艾本 2 研究员迈克尔·拉尔夫 2 费多尔·福明。 2 塞瓦格·加里比安 2 卡拉·戈麦斯。 2 克劳斯·扬森 2 彼得·琼森 2 帕斯卡·科伊兰 2 马丁·克罗内格 2 奥尔纳库普弗曼 2 Jean-Marie拉格尼茨 2 大卫·马里奥·隆戈 2 马滕·马克 2 皮埃尔·侯爵 2 克劳斯·米尔 2 迈克尔·莫拉克 2 塞姆·奥库莫斯 2 Yota Otachi 2 汤姆·佩特尔 2 安德烈亚斯·普范德勒 2 莱因哈德·皮克勒 2 拉马努扬,M.S。 2 弗朗西斯·罗萨蒙德。 2 阿什什·萨巴沃尔 2 塞伊兰·赛义迪 2 萨科特·索拉布 2 艾伦娜·辛德勒 2 马蒂娜·塞德尔 2 罗伯托·索利斯·奥巴 2 久崎田木 2 帕特里克·蒂尔 2 赫尔穆特·维思 1 艾索尔德·阿德勒 1 阿利亚斯·阿拉马维 1 卡马尔·阿姆隆 1 阿什温·阿鲁塞尔文 1 阿夫尼,盖伊 1 朱利安·巴斯特 1 肖姆·本·达维德 1 克里斯托夫·贝奇 1 丹尼尔·贝伦德 1 杰里米亚斯·伯格 1 奥拉夫·拜尔斯多夫 1 雅各布·D·比亚蒙特。 1 安德烈亚斯·比约克隆德 1 伯恩哈德布利姆 1 乔舒亚·布林霍恩 1 曼纽尔·博迪尔斯基 1 恩德雷·博罗斯 1 布兰德,科尼利厄斯 1 艾伦·布里克尔 1 弗朗西斯科·卡利默里 1 佛罗伦萨卡佩利 1 石炭纪,Clément 1 诺法尔·卡梅利 1 乔佩克,Ondřej 1 埃斯拉·塞兰 1 勒罗伊·周 1 哈娜·乔克勒 1 亚历山德罗·西马蒂 1 克拉克(Edmund Melson jun Clarke)。 1 大卫·A·科恩。 1 马丁·库珀。 1 科普提,费迪 1 切赫,阿格内斯 1 康拉德·卡齐米尔兹·达布罗夫斯基 1 戴尔、霍尔格 1 戴,帕拉什 1 罗德尼·格雷厄姆·唐尼 1 简·德雷尔 1 杰弗里·杜德克。 1 沃尔夫冈·德沃亚克 1 托马斯·艾特 …还有103位作者 全部的 前5名26篇连载文章中引用 14 人工智能 9 理论计算机科学 7 算法 5 计算机与系统科学杂志 5 自动推理杂志 5 系统设计中的形式化方法 4 数学与人工智能年鉴 4 约束条件 三 离散应用数学 三 逻辑程序设计理论与实践 三 ACM实验算法杂志 2 信息与计算 2 SIAM离散数学杂志 2 人工智能研究杂志 2 组合优化期刊 2 ACM计算逻辑事务 2 离散算法杂志 1 信息学报 1 数学物理中的通信 1 统计物理杂志 1 欧洲组合数学杂志 1 计算机程序设计科学 1 计算系统理论 1 RAIRO公司。运筹学 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 全部的 前5名11个领域引用 110 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 22 组合数学(05-XX) 13 运筹学、数学规划(90-XX) 三 量子理论(81-XX) 2 统计力学,物质结构(82-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般代数系统(08-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文