编辑配置文件（在新选项卡中打开） Lengauer，基督徒 合著者距离 作者ID： 哥伦布基督教 发布日期： Lengauer，基督徒；Lengauer，C。 主页： https://www.infosun.fim.uni-passau.de/cl/staff/lengauer网站/ 外部链接： 管理程序 已编制索引的文档： 31出版物自1982年以来 8作为编辑的贡献 合著者： 44位合著者具有34联合出版物 649合著作者 全部的 前5名合著者 4 单作者的 6 谢尔盖·戈拉奇 5 马丁·格里布尔 4 克里斯托夫·阿尔敏·赫尔曼 4 黄，蔡黄 三 斯文·阿佩尔 2 亚历山大，迈克尔 2 齐格弗里德·本克纳 2 延斯·布雷巴特 2 马里奥·卡纳塔罗 2 罗伯托·卡塞拉。 2 亚历山德鲁·科斯坦 2 彼得·费伯 2 Hunold、Sascha 2 艾曼纽·杰恩诺 2 Kästner，基督徒 2 加博尔·凯斯科梅蒂 2 斯特凡·兰克斯 2 路易斯·马里奥·洛佩斯 2 伯恩哈德·莫勒 2 佩雷斯（Jesus Carretero Perez） 2 萨尔瓦多佩蒂特 2 劳拉·里奇 2 维托里奥·斯卡拉诺 2 斯蒂芬·斯科特。 2 克里斯托夫·韦德勒 2 朱利叶斯·伊林斯卡斯 1 马尔科·阿尔迪努奇 1 最好的，艾克 1 曼弗雷德·布罗伊 1 尼尔斯·埃尔门里奇 1 伯克哈德·弗雷塔格 1 M.盖格尔。 1 阿明·格里格林格 1 埃里克·C·R·海纳。 1 Duncan G.哈德森。 1 约翰·杰林 1 克利夫·琼斯。 1 朱莉娅·劳尔。 1 苏珊娜·佩拉加蒂 1 戴维·桑吉奥吉 1 Hans-Jörg Schek 1 希兰，玛丽 1 瓦利德·塔哈 1 薛晶玲 全部的 前5名系列 7 计算机程序设计科学 4 信息学报 三 计算机科学课堂讲稿 2 计算的形式方面 2 并行算法与应用 1 计算机与系统科学杂志 1 理论计算机科学 1 并行计算 1 符号计算杂志 1 自动推理杂志 1 集成。超大规模集成电路杂志 1 超级计算杂志 1 分布式计算 1 函数编程杂志 1 计算机语言、系统和结构 1 Kluwer国际工程与计算机科学系列 1 计算进展：理论与实践 全部的 前5名领域 39 计算机科学（68至XX） 6 总体主题；集合（00-XX） 三 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用62中的次43文件 引用人▼ 年份▼ 并发编程方法：一种非正式的演示。 Zbl 0491.68005号 Lengauer，基督徒；埃里克·C·R·海纳。 8 1982 基于特征的程序自动综合的代数基础。 Zbl 1209.68129号 斯文·阿佩尔；Lengauer，基督徒；伯恩哈德·莫勒；Kästner，基督徒 6 2010 并发编程方法：形式主义。 Zbl 0491.68006号 Lengauer，基督徒 6 1982 程序脉动实现的派生。 Zbl 0633.68045号 黄，蔡黄；Lengauer，基督徒 5 1987 代数路径问题脉动解的增量力学发展。 Zbl 0689.68004号 黄，蔡黄；Lengauer，基督徒 5 1989 具有并行性和持久性的对象定向。 Zbl 0896.68020号 4 1996 双音排序跟踪转换的自动证明。 Zbl 0618.68053号 黄，蔡黄；Lengauer，基督徒 4 1986 语义独立性。 Zbl 0697.68021号 最好的，艾克；Lengauer，基督徒 4 1989 通过转换实现并行编程：FAN框架。 Zbl 1021.68026号 奥尔迪努奇，M。；S.戈拉奇。；Lengauer，C。；佩拉加蒂，S。 三 2001 特征和特征组合的代数。 Zbl 1170.68424号 斯文·阿佩尔；Lengauer，基督徒；伯恩哈德·莫勒；Kästner，基督徒 三 2008 一维脉动阵列控制信号的合成。 Zbl 0756.68018号 薛晶玲；Lengauer，基督徒 2 1992 在线性列表上并行递归。 Zbl 0927.68011号 克里斯托夫·韦德勒；Lengauer，基督徒 2 1998 并发的静态派生及其机械化认证。 Zbl 0565.68015号 Lengauer，基督徒；黄，蔡黄 2 1985 自动循环并行化中的量词消除。 Zbl 1124.68035号 阿明·格里格林格；马丁·格里布尔；Lengauer，基督徒 2 2006 关于自动定理证明在编译时并发推导中的作用。 Zbl 0614.68067号 Lengauer，基督徒 2 1985 通过转换到嵌套循环实现分治的并行化。 Zbl 0948.68228号 克里斯托夫·埃尔曼（Christoph A.Herrmann）。；Lengauer，基督徒 1 1999 循环和递归的静态并行化。 Zbl 0885.68047号 Lengauer，基督徒；谢尔盖·戈拉奇；克里斯托夫·埃尔曼（Christoph A.Herrmann）。 1 1997 一种结合大小推断和程序优化的转换方法。 Zbl 1030.68539号 克里斯托夫·埃尔曼（Christoph A.Herrmann）。；Lengauer，基督徒 1 2001 收缩程序的投影。 Zbl 0703.68052号 Lengauer，C。；J.W.桑德斯。 1 1990 基于特征的程序自动综合的代数基础。 Zbl 1209.68129号 斯文·阿佩尔；Lengauer，基督徒；伯恩哈德·莫勒；Kästner，基督徒 6 2010 特征和特征组合的代数。 Zbl 1170.68424号 斯文·阿佩尔；Lengauer，基督徒；伯恩哈德·莫勒；Kästner，基督徒 三 2008 自动循环并行化中的量词消除。 Zbl 1124.68035号 阿明·格里格林格；马丁·格里布尔；Lengauer，基督徒 2 2006 通过转换实现并行编程：FAN框架。 Zbl 1021.68026号 奥尔迪努奇，M。；S.戈拉奇。；Lengauer，C。；佩拉加蒂，S。 三 2001 一种结合大小推断和程序优化的转换方法。 Zbl 1030.68539号 克里斯托夫·埃尔曼（Christoph A.Herrmann）。；Lengauer，基督徒 1 2001 通过转换到嵌套循环实现分治的并行化。 Zbl 0948.68228号 克里斯托夫·埃尔曼（Christoph A.Herrmann）。；Lengauer，基督徒 1 1999 线性列表上并行递归。 Zbl 0927.68011号 克里斯托夫·韦德勒；Lengauer，基督徒 2 1998 循环和递归的静态并行化。 Zbl 0885.68047号 Lengauer，基督徒；谢尔盖·戈拉奇；克里斯托夫·埃尔曼（Christoph A.Herrmann）。 1 1997 具有并行性和持久性的对象定向。 Zbl 0896.68020号 4 1996 一维脉动阵列控制信号的合成。 Zbl 0756.68018号 薛晶玲；Lengauer，基督徒 2 1992 收缩程序的投影。 Zbl 0703.68052号 Lengauer，C。；J.W.桑德斯。 1 1990 代数路径问题脉动解的增量力学发展。 Zbl 0689.68004号 黄，蔡黄；Lengauer，基督徒 5 1989 语义独立性。 Zbl 0697.68021号 最好的，艾克；Lengauer，基督徒 4 1989 程序脉动实现的派生。 Zbl 0633.68045号 黄，蔡黄；Lengauer，基督徒 5 1987 双音排序跟踪转换的自动证明。 Zbl 0618.68053号 黄，蔡黄；Lengauer，基督徒 4 1986 并发的静态派生及其机械化认证。 Zbl 0565.68015号 Lengauer，基督徒；黄，蔡黄 2 1985 关于自动定理证明在编译时并发推导中的作用。 Zbl 0614.68067号 Lengauer，基督徒 2 1985 并发编程方法：一种非正式的演示。 Zbl 0491.68005号 Lengauer，基督徒；埃里克·C·R·海纳。 8 1982 并发编程方法：形式主义。 Zbl 0491.68006号 Lengauer，基督徒 6 1982 所有引用出版物 前5名被引用出版物 全部的 前5名63位作者引用 9 Lengauer，基督徒 4 伯恩哈德·莫勒 三 彼得·霍夫纳 三 里扎德·贾尼基 2 马尔科·阿尔迪努奇 2 谢尔盖·戈拉奇 2 黄，蔡黄 2 马西耶·库特尼 2 伯恩哈德·冯·斯坦格尔 2 安德烈亚斯·泽伦德 1 Andrew I.Adamatzky。 1 斯文·阿佩尔 1 唐·S·巴托里。 1 罗伯特·博伊尔。 1 曼弗雷德·布罗伊 1 陈昌波 1 克拉克，戴夫 1 马可·丹拉托托 1 德塞尔，约格 1 尼尔斯·埃尔曼瑞奇 1 Fränzle，马丁 1 甘内特，伊森 1 罗伯特·伊恩·戈德布拉特 1 古德蒙德·格罗夫 1 埃里克·C·R·海纳。 1 米歇尔·赫文斯泰恩 1 Hoon Hong 1 Duncan G.哈德森。 1 Kästner，基督徒 1 Shmuel Katz 1 里达·凯德里 1 码头Kleijn 1 多米尼克·科普 1 雅各布·科纳鲁普 1 苏拉杰·科塔里。 1 Joaquín Mateos，拉戈 1 拉尔夫·拉梅尔 1 比约恩·利斯特 1 格雷厄姆·梅格森。 1 格雷格·迈克尔森 1 J Strother摩尔 1 马克·莫雷诺·马扎 1 托马斯·穆尔德纳 1 Jean-Frédéric Myoupo 1 苏珊娜·佩拉加蒂 1 Doron A.Peled。 1 胡安·伊格纳西奥 1 Plaks，香椿P。 1 沃尔夫冈·雷西格 1 马里奥·罗德里格斯-阿塔莱霍 1 昂德雷杰·瑞帕克 1 伊娜·谢弗 1 奥哈·什卡拉夫斯卡 1 唐晓仙 1 马尔科·范·埃克伦 1 罗恩·范凯斯特伦 1 沃尔特·福格勒 1 克里斯托夫·韦德勒 1 阿恩·维特穆斯 1 詹姆斯·C·P·伍德科克。 1 夏碧灿 1 Yen、Hsuchun 1 张庆雷 全部的 前5名15篇连载文章中引用 7 理论计算机科学 4 信息处理信件 4 并行算法与应用 三 计算机程序设计科学 2 信息学报 2 符号计算杂志 2 计算的形式方面 2 分布式计算 2 计算机语言、系统和结构 2 程序设计中的逻辑和代数方法杂志 1 数学和计算机建模 1 MSCS公司。计算机科学中的数学结构 1 RAIRO公司。Informatique Théorique et Applications公司 1 函数编程杂志 1 高阶和符号计算 全部的 前5名在7个字段中引用 43 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文