编辑配置文件(在新选项卡中打开) 克里斯托夫·梅内尔 合著者距离 作者ID: 梅内尔·克里斯托普 发布日期: 克里斯托夫·梅内尔;梅内尔,Ch。;梅内尔,C。;梅内尔,Chr。 更多。。。较少的 外部链接: MGP公司·维基数据·接地·ID参考 已编制索引的文档: 82出版物自1980年以来,包括13本书 4作为编辑的贡献 审查活动: 43条评论 合著者: 38位合著者具有59联合出版物 722名合著者 全部的 前5名合著者 27 单作者的 17 斯蒂芬·瓦克 7 该死,卡斯滕 7 马提亚斯·克劳斯 7 托尔斯滕·西奥博尔德 6 布达赫、洛塔尔 5 马丁·蒙德亨克 5 哈拉尔德·萨克 4 约旦格尔戈夫 三 伯恩德·格鲁 三 安娜·斯洛博多娃 2 格哈德·邦特洛克 2 恩斯特·古特·吉斯曼 2 休伯特·格拉斯曼 2 乌尔里希·赫斯特兰夫 2 丹尼尔·克罗布 2 博克哈德·莫尔赞 2 米歇尔·莫尔万 2 乌韦州Schäfer 2 克里斯蒂安·斯坦吉尔 2 彼得·齐尼克 1 艾哈迈德·阿尔萨德 1 程、冯 1 托马斯·恩格尔 1 穆罕默德·加森姆扎德 1 厄恩斯特·乔治·哈夫纳 1 安德烈亚斯·豪尔 1 朱拉吉·赫罗姆科维奇 1 意大利,朱塞佩·弗朗西斯科 1 弗朗蒂舍克·普拉舍尔 1 霍斯尼埃·拉菲 1 塞巴斯蒂安·罗斯克 1 乌韦·罗斯 1 罗伯特·舒宾斯 1 蒂森,索菲 1 范德霍克,维贝 1 范·列文(Jan Van Leeuwen) 1 阿诺·瓦格纳 1 斯特芬·扎恩 全部的 前5名系列 6 Elektronische信息verarbeitung und Kybernetik 4 计算机科学课堂讲稿 三 数学系统理论 三 理论计算机科学 三 信息处理与控制论杂志 三 欧洲理论计算机科学协会(EATCS)公报 三 研讨会,柏林洪堡大学,Sektion Mathematik 2 信息处理信件 2 计算机与人工智能 2 信息与计算 1 电气电子工程师学会计算机期刊 1 计算机与系统科学杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 赖罗。Informatique Théorique et Applications公司 1 计算复杂性 1 系统设计中的形式化方法 1 计算系统理论 1 离散数学和理论计算机科学。DMTCS公司 1 赖罗。理论信息学及其应用 1 Teubner-Texte zur Mathematik公司 全部的 前5名领域 84 计算机科学(68至XX) 14 信息和通信理论,电路(94-XX) 9 总体主题;集合(00-XX) 8 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 1 代数拓扑(55-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用214中的次170文件 引用人▼ 年份▼ logspace-MOD类的结构和重要性。 Zbl 0749.68033号 格哈德·邦特洛克;该死,卡斯滕;乌尔里希·赫斯特兰夫;克里斯托夫·梅内尔 34 1992 超大规模集成电路设计中的算法和数据结构。DBDD-基础和应用。(VLSI-Design.DBDD-Gundlagen und Anwendungen中的算法和日期说明。) Zbl 0899.68040号 克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 24 1998 使用OBDD的高效布尔操作可以扩展到FBDD。 兹比尔1063.68573 约旦格尔戈夫;克里斯托夫·梅内尔 18 1994 分离橡皮擦图灵机类\。 Zbl 0749.68036号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 18 1991 超大规模集成电路设计中的算法和数据结构。Transl.公司。来自德国。 Zbl 0907.68116号 克里斯托弗·梅内尔;托尔斯滕·西奥博尔德 13 1998 修改的分支程序及其计算能力。 Zbl 0669.68042号 克里斯托夫·梅内尔 13 1989 多项式大小\(\Omega \)-分支程序及其计算能力。 Zbl 0705.68052号 克里斯托夫·梅内尔 9 1990 带分支程序的可行布尔操作和概率可行布尔操作的前沿。(扩展摘要)。 Zbl 0798.68078号 约旦格尔戈夫;克里斯托夫·梅内尔 8 1993 关于计算通信复杂性类之间的关系。 Zbl 1159.68465号 该死,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 2004 p-投影可约性和复杂性类\({mathcal L}\)非均匀和\({mathcal N}{mathcal-L}\)(非均匀)。 Zbl 0611.03021号 克里斯托夫·梅内尔 6 1986 分离橡皮擦图灵机类\。 Zbl 0656.68050号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 1988 有限偏序集的代数和拓扑性质。 兹比尔0677.06001 布达赫、洛塔尔;伯恩德·格鲁;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 1988 分离与某些输入不经意对数空界图灵机相关的复杂性类。 Zbl 0768.68017号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 5 1992 切换图及其复杂性。 兹比尔0755.68071 克里斯托弗·梅内尔 4 1989 关于构造最优有序二元决策图的复杂性。 Zbl 1493.68161号 克里斯托夫·梅内尔;安娜·斯洛博多娃 4 1994 STACS 98标准。第十五届计算机科学理论方面年度研讨会。1998年2月25日至27日,法国巴黎。诉讼程序。 Zbl 0885.68008号 三 1998 非均匀复杂性类NC1、L和NL。 Zbl 0638.68028号 克里斯托夫·梅内尔 三 1987 多项式大小分支程序的幂。 Zbl 0644.68074号 克里斯托夫·梅内尔 三 1988 有界交替分支程序上某些图可达性问题的上下界。 Zbl 0789.68054号 克里斯托夫·梅内尔;斯蒂芬·瓦克 2 1993 根据决策图分析和操作布尔函数的复杂性。 Zbl 0803.68049号 约旦格尔戈夫;克里斯托夫·梅内尔 2 1994 状态编码对有限状态机OBDD表示的影响。 Zbl 0927.68051号 克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 2 1999 分支程序提供了多段确定性和非确定性VLSI电路面积的下限。 Zbl 0674.68033号 朱拉吉·赫罗姆科维奇;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 2 1990 多项式规模有界宽度分支程序中不确定性的幂。 Zbl 0642.68086号 克里斯托夫·梅内尔 2 1987 用于优化有限状态机的OBDD表示的局部编码转换。 兹比尔1001.68028 克里斯托弗·梅内尔;托尔斯滕·西奥博尔德 2 2001 分支程序-计算机辅助电路设计的有效数据结构。 Zbl 0751.68019号 克里斯托夫·梅内尔 2 1992 logspace-MOD-类的结构和重要性。 Zbl 0764.68041号 格哈德·邦特洛克;该死,卡斯滕;乌尔里希·赫斯特兰夫;克里斯托夫·梅内尔 2 1991 完全分离与多项式大小\(\Omega\)-决策树相关的复杂性类。 Zbl 0756.68039号 该死,卡斯滕;克里斯托夫·梅内尔 2 1989 分离计数通信复杂性类。 Zbl 1493.68149号 该死,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 2 1992 根据决策图分析和操作布尔函数。 Zbl 0789.68108号 约旦格尔戈夫;克里斯托夫·梅内尔 1 1993 STACS 99。第16届计算机科学理论方面年度研讨会,德国特里尔,1999年3月4日至6日。诉讼程序。 Zbl 0909.00052号 1 1999 用有序二元决策图定义的问题的可约性概念。 Zbl 0876.68044号 梅内尔,Ch。;斯洛博多娃,A。 1 1997 平面迷宫的重要性。 Zbl 0518.68033号 克里斯托夫·梅内尔 1 1982 环境和Autmata。一、。 Zbl 0534.68036号 布达赫,洛塔尔;克里斯托弗·梅内尔 1 1982 环境和自动化。二、。 Zbl 0534.68037号 布达赫、洛塔尔;克里斯托夫·梅内尔 1 1982 分隔不经意的线性长度\(\text{模块}_p\)-分支程序类。 Zbl 0838.68037号 该死,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 1 1994 受限分支程序及其计算能力。 Zbl 0747.68018号 克里斯托夫·梅内尔 1 1990 SOFSEM 2007:计算机科学理论与实践。2007年1月20日至26日在捷克共和国哈拉乔夫举行的第33届计算机科学理论和实践当前趋势会议。诉讼程序。 Zbl 1129.68007号 1 2007 Umwelten中的Umweleten和Automaten。 Zbl 0432.68042号 布达赫,L。;梅内尔,Ch。 1 1980 有界交替分支程序上某些图可达性问题的上下界。 Zbl 0776.68060号 克里斯托夫·梅内尔;瓦克,斯蒂芬 1 1991 SOFSEM 2007:计算机科学理论与实践。2007年1月20日至26日在捷克共和国哈拉乔夫举行的第33届计算机科学理论和实践当前趋势会议。诉讼程序。 Zbl 1129.68007号 1 2007 关于计算通信复杂性类之间的关系。 Zbl 1159.68465号 该死,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 2004 用于优化有限状态机的OBDD表示的局部编码转换。 兹比尔1001.68028 克里斯托弗·梅内尔;托尔斯滕·西奥博尔德 2 2001 状态编码对有限状态机OBDD表示的影响。 Zbl 0927.68051号 克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 2 1999 STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。 Zbl 0909.00052号 1 1999 超大规模集成电路设计中的算法和数据结构。DBDD-基础和应用。(VLSI-Design.DBDD-Gundlagen und Anwendungen中的算法和日期说明。) Zbl 0899.68040号 克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 24 1998 超大规模集成电路设计中的算法和数据结构。Transl.公司。来自德国。 Zbl 0907.68116号 克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 13 1998 STACS 98标准。第十五届计算机科学理论方面年度研讨会。1998年2月25日至27日,法国巴黎。诉讼程序。 Zbl 0885.68008号 三 1998 用有序二元决策图定义的问题的可约性概念。 Zbl 0876.68044号 梅奈尔,Ch。;斯洛博多娃,A。 1 1997 使用OBDD的高效布尔操作可以扩展到FBDD。 Zbl 1063.68573号 约旦格尔戈夫;克里斯托夫·梅内尔 18 1994 关于构造最优有序二元决策图的复杂性。 Zbl 1493.68161号 克里斯托夫·梅内尔;安娜·斯洛博多娃 4 1994 根据决策图分析和操作布尔函数的复杂性。 兹比尔0803.68049 约旦格尔戈夫;克里斯托夫·梅内尔 2 1994 分隔不经意的线性长度\(\text{模块}_p\)-分支程序类。 Zbl 0838.68037号 该死,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 1 1994 带分支程序的可行布尔操作和概率可行布尔操作的前沿。(扩展摘要)。 Zbl 0798.68078号 约旦格尔戈夫;克里斯托夫·梅内尔 8 1993 有界交替分支程序上某些图可达性问题的上下界。 Zbl 0789.68054号 克里斯托夫·梅内尔;斯蒂芬·瓦克 2 1993 根据决策图分析和操作布尔函数。 Zbl 0789.68108号 约旦格尔戈夫;克里斯托夫·梅内尔 1 1993 logspace-MOD类的结构和重要性。 Zbl 0749.68033号 格哈德·邦特洛克;该死,卡斯滕;乌尔里希赫特拉姆夫;克里斯托夫·梅内尔 34 1992 分离与某些输入不经意对数空界图灵机相关的复杂性类。 Zbl 0768.68017号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 5 1992 分支程序-计算机辅助电路设计的有效数据结构。 Zbl 0751.68019号 克里斯托夫·梅内尔 2 1992 分离计数通信复杂性类。 兹比尔1493.68149 达姆,卡斯滕;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 2 1992 分离橡皮擦图灵机类\。 Zbl 0749.68036号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 18 1991 logspace-MOD-类的结构和重要性。 Zbl 0764.68041号 格哈德·邦特洛克;该死,卡斯滕;乌尔里希·赫斯特兰夫;克里斯托夫·梅内尔 2 1991 有界交替分支程序上某些图可达性问题的上下界。 Zbl 0776.68060号 克里斯托夫·梅内尔;斯蒂芬·瓦克 1 1991 多项式大小\(\Omega \)-分支程序及其计算能力。 Zbl 0705.68052号 克里斯托夫·梅内尔 9 1990 分支程序提供了多段确定性和非确定性VLSI电路面积的下限。 Zbl 0674.68033号 朱拉吉·赫罗姆科维奇;马提亚斯·克劳斯;克里斯托弗·梅内尔;斯蒂芬·瓦克 2 1990 受限分支程序及其计算能力。 Zbl 0747.68018号 克里斯托夫·梅内尔 1 1990 修改的分支程序及其计算能力。 Zbl 0669.68042号 克里斯托夫·梅内尔 13 1989 切换图及其复杂性。 Zbl 0755.68071号 克里斯托夫·梅内尔 4 1989 完全分离与多项式大小\(\Omega\)决策树相关的复杂度类。 兹伯利0756.68039 该死,卡斯滕;克里斯托夫·梅内尔 2 1989 分离橡皮擦图灵机类\。 Zbl 0656.68050号 马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 1988 有限偏序集的代数和拓扑性质。 Zbl 0677.06001号 布达赫、洛塔尔;伯恩德·格鲁;克里斯托夫·梅内尔;斯蒂芬·瓦克 6 1988 多项式大小分支程序的幂。 Zbl 0644.68074号 克里斯托夫·梅内尔 三 1988 非均匀复杂性类NC1、L和NL。 Zbl 0638.68028号 克里斯托夫·梅内尔 三 1987 多项式规模有界宽度分支程序中不确定性的幂。 Zbl 0642.68086号 克里斯托夫·梅内尔 2 1987 p-投影可约性和复杂性类\({mathcal L}\)非均匀和\({mathcal N}{mathcal-L}\)(非均匀)。 Zbl 0611.03021号 克里斯托夫·梅内尔 6 1986 平面迷宫的重要性。 Zbl 0518.68033号 克里斯托夫·梅内尔 1 1982 环境和Autmata。一、。 Zbl 0534.68036号 布达赫、洛塔尔;克里斯托夫·梅内尔 1 1982 环境和自动化。二、。 Zbl 0534.68037号 布达赫、洛塔尔;克里斯托夫·梅内尔 1 1982 Umwelten的Umwelten和Automaten。 兹伯利0432.68042 布达赫,L。;梅内尔,Ch。 1 1980 所有引用出版物 前5名被引用出版物 全部的 前5名239位作者引用 17 克里斯托夫·梅内尔 13 斯蒂芬·瓦克 9 贝特·博利格 9 西林,德特勒夫 8 马提亚斯·克劳斯 7 英戈·韦格纳 6 该死,卡斯滕 5 比比洛,P.N。 5 约翰·科布勒 4 埃里克·艾伦德。 4 维克拉曼·阿尔文德 4 马提亚斯·霍米斯特 三 亨利克·布罗森 三 安娜·加尔 三 塞巴斯蒂安·库内特 三 Aleksandr Anatol’evich塞梅诺夫 三 安娜·斯洛博多娃 三 赫里贝特·沃尔默 2 利波·巴托 2 贝恩德·贝克尔 2 阿莫斯·贝梅尔 2 阿努吉·达瓦尔 2 约翰·费恩利 2 塞尔吉奥·弗莱斯卡 2 马丁·盖林 2 Jan Friso,格鲁特 2 克莱门斯·格里普 2 乌尔里希·赫斯特兰夫 2 朱拉吉·赫罗姆科维奇 2 Dmitry M.Itsykson。 2 克里莫维奇,A.S。 2 亚历山大·诺普 2 马库斯·洛伊 2 阿恩·迈尔 2 马蒂亚斯·姆尼奇 2 Mitsunori小原 2 弗朗西斯科·帕里西 2 托尼安·皮塔西 2 汉斯·于尔根(Hans Jürgen) 2 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 2 马丁·索尔霍夫 2 拉胡尔·萨瓦尼 2 德米特里·索科列夫 2 维亚切斯拉夫·索洛夫·埃夫。 2 阿南德·斯利瓦斯塔夫 2 蒂尔·坦托 2 拉古纳特·特瓦里 2 雅各布·托兰 2 维诺德钱德兰,N.Variyam 2 亨宁·旺德利希 2 斯塔西斯·尤克纳(Stasys P.Yukna)。 2 汉斯·赞特马 2 Ju ivaljević,Rade T。 1 阿布·拉迪·巴德 1 福斯汀·阿希什基耶 1 Al-Rawashdeh,Ahmad Saleh 1 罗伯托·阿马迪尼 1 天野之弥 1 安托万·阿马里利 1 安徒生、亨利克·雷夫 1 斯特凡·阿诺德 1 阿尔伯特·阿塞里亚斯 1 摩根·巴比尔 1 保罗·比姆。 1 马库斯·贝勒 1 奥拉夫·拜尔斯多夫 1 菲利普·比尔 1 埃里克·布莱斯 1 迈克尔·布隆丁 1 伯恩博彻特 1 艾伦·B·博罗丁。 1 恩德雷·博罗斯 1 米雷尔·布斯克特·梅卢 1 马克·布拉夫曼 1 尤里·布莱特巴特 1 Randal E.布莱恩特。 1 安德烈·布拉托夫(Andrei A.Bulatov)。 1 格哈德·邦特洛克 1 Samuel R.巴斯。 1 佛罗伦萨卡佩利 1 乔佩克,Ondřej 1 哈亚特·切巴拉 1 Chlebowski,席蒙 1 克里斯蒂安·乔夫鲁特 1 米洛舍·克罗姆 1 唐纳德·科恩。 1 阿德南·达尔维切 1 达斯,比雷斯瓦尔 1 丽娜·德希特 1 董倩 1 罗尔夫·德雷克斯勒 1 杰夫·埃德蒙兹(Jeff A.Edmonds)。 1 Elbassioni,Khaled M。 1 迈克尔·埃尔伯菲尔德 1 方良达 1 贝蒂娜·法辛加 1 费希·埃伦 1 富尔布吕克 1 菲利波·富法罗 1 毛里齐奥·加布里埃利 …还有139位作者 全部的 前5名49篇连载文章中引用 24 理论计算机科学 15 信息处理信件 10 信息与计算 7 离散应用数学 7 计算机与系统科学杂志 7 计算复杂性 7 计算系统理论 6 国际计算机与系统科学杂志 4 赖罗。Informatique Théorique et Applications公司 4 赖罗。理论信息学及其应用 三 人工智能 三 符号逻辑杂志 三 数学系统理论 三 算法 2 自动化和远程控制 2 国际应用数学与计算机科学杂志 2 Prikladnaya Diskretnaya Matematika公司 1 信息学报 1 离散数学 1 数学进展 1 信息科学 1 组合理论杂志。系列A 1 数值泛函分析与优化 1 编程和计算机软件 1 SIAM计算机杂志 1 应用数学进展 1 计算机程序设计科学 1 数学社会科学 1 离散与计算几何 1 SIAM离散数学杂志 1 计算几何 1 国际代数与计算杂志 1 离散数学与应用 1 数理逻辑档案 1 俄罗斯数学 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 符号逻辑公报 1 数学与人工智能年鉴 1 斯博尼克:数学 1 组合优化期刊 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 Modelirovanie i Analiz信息系统 1 Matematicheskie Voprosy Kriptografii公司 全部的 前5名21个领域引用 149 计算机科学(68至XX) 22 信息和通信理论,电路(94-XX) 19 数学逻辑和基础(03-XX) 17 组合数学(05-XX) 7 阶、格、有序代数结构(06-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 一般代数系统(08-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 凸和离散几何(52至XX) 4 运筹学、数学规划(90-XX) 三 动力系统和遍历理论(37至XX) 三 概率论与随机过程(60-XX) 2 群论与推广(20-XX) 2 系统论;控制(93至XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 算子理论(47-XX) 1 代数拓扑(55-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.