编辑配置文件(在新选项卡中打开) 阿希姆·荣格 合著者距离 作者ID: 容加希姆 发布日期: 阿希姆·荣格;A.Jung。 已编制索引的文档: 49出版物自1988年以来,包括2本书和1个附加arXiv预打印 11作为编辑的贡献 合著者: 51位合著者具有49联合出版物 1162合作作者 全部的 前5名合著者 8 单作者的 8 M.Andrew Moshier 5 翁贝托·里维奇奥 4 克劳斯·凯梅尔 4 李庆国 三 汤姆·亚什·雅克 三 贾晓东 三 马蒂亚斯·凯格曼 2 阿达梅克,吉安尼 2 Dan R.吉卡。 2 让·古鲍特·拉雷克 2 Hötzel Escardó,马汀 2 迈克尔·R·A·胡特。 2 Mislove,Michael W。 2 赫尔曼·普尔曼 2 阿莱什·普尔特尔 2 菲利普·苏恩德豪夫 1 毛里西奥·阿尔瓦雷斯·马尼拉 1 弗朗西斯·博尔塞克斯 1 斯蒂芬·布鲁克斯。 1 彼得·布内曼 1 陈良婷 1 陈一香 1 Ernst-Erich Doberkat 1 阿巴斯·埃达拉特 1 El-Zawawy,Mohamed A。 1 卡尔·A·冈特。 1 Ho,翁金 1 拉蒙·詹萨纳 1 卡默勒,S。 1 奥拉夫·卡尔·克林克 1 尤尔根·科斯洛夫斯基 1 寇,惠 1 亚历山大·库兹 1 Marta Z.Kwiatkowska。 1 Leonid O·利金。 1 阿利奥姆·洛佩兹 1 罗茂康 1 保罗·迈亚 1 安德鲁·莫希尔 1 伊夫林·尼尔森(Evelyn M.Nelson)。 1 Atsushi Ohori 1 帕夫拉特,M。 1 罗西克、吉伊 1 乔纳森·罗。 1 安德烈·斯克洛夫 1 卢尔德·索萨 1 艾伦·斯托顿 1 安德烈·塔莱基 1 Jerzy Tiuryn 1 蒂克斯,里贾纳 1 史蒂文·维克斯 1 乌茨韦弗 1 习晓勇 1 徐,罗山 1 赵浩然 全部的 前5名系列 7 理论计算机科学 7 理论计算机科学电子笔记 三 拓扑及其应用 三 MSCS公司。计算机科学中的数学结构 2 应用的分类结构 1 休斯顿数学杂志 1 数学分析与应用杂志 1 卡罗莱纳大学数学评论 1 纯粹与应用代数杂志 1 Studia Logica公司 1 逻辑与计算杂志 1 IGPL逻辑杂志 1 软计算 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 CWI拖拉机 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 36 计算机科学(68至XX) 31 阶、格、有序代数结构(06-XX) 14 范畴理论;同调代数(18-XX) 12 总体主题;集合(00-XX) 10 数学逻辑和基础(03-XX) 10 一般拓扑结构(54-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 动力系统和遍历理论(37至XX) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用471中的次345文件 引用人▼ 年份▼ 笛卡尔闭域范畴。 兹比尔0719.06004 阿希姆·荣格 76 1989 笛卡尔闭域范畴。 Zbl 0663.18004号 阿希姆·荣格 26 1988 稳定紧空间与概率幂空间的构造。 Zbl 1270.68152号 阿希姆·荣格 24 2004 麻烦的概率域。 Zbl 0917.68135号 阿希姆·荣格;蒂克斯,里贾纳 23 1997 关于dcpos连贯性的注记。 Zbl 1355.54013号 贾晓东;阿希姆·荣格;李庆国 21 2016 四值模态逻辑:克里普克语义和对偶。 Zbl 1444.03073号 翁贝托·里维奇奥;阿希姆·荣格;拉蒙·詹萨纳 20 2017 关于紧凑与开放的二重性。 Zbl 0885.54001号 阿希姆·荣格;菲利普·苏恩德豪夫 18 1996 多语言序列演算和相干空间。 Zbl 0935.68068号 阿希姆·荣格;马蒂亚斯·凯格曼;M.Andrew Moshier 17 1999 稳定紧致空间的概率幂域。 Zbl 1071.68058号 毛里西奥·阿尔瓦雷兹·马尼拉;阿希姆·荣格;克劳斯·凯梅尔 17 2004 λ可定义性的一个新特征。 Zbl 0795.03021号 阿希姆·荣格;Jerzy Tiuryn 17 1993 模态双值逻辑的克里普克语义。 Zbl 1366.03187号 阿希姆·荣格;翁贝托·里维奇奥 17 2013 代数cpo的笛卡尔闭范畴。 兹伯利0693.18004 阿希姆·荣格 17 1990 使用powerdomains泛化关系数据库。 Zbl 0799.68064号 彼得·布内曼;阿希姆·荣格;Atsushi Ohori 16 1991 稳定域的逻辑方法。 Zbl 1105.03026号 陈一祥;阿希姆·荣格 14 2006 Ho-Zhao问题。 Zbl 1459.06003号 Ho,翁金;让·古鲍特·拉雷克;阿希姆·荣格;习晓勇 14 2018 双参数的普里斯特利对偶。 Zbl 1258.06008号 A.Jung。;Rivieccio,美国。 12 2012 介绍dcpos和dcpo代数。 Zbl 1286.68300号 阿希姆·荣格;M.Andrew Moshier;史蒂夫·维克斯 12 2008 稳定紧空间和闭关系。 Zbl 1260.18002号 阿希姆·荣格;马蒂亚斯·凯格曼;M.Andrew Moshier 11 2001 领域的一致性和一致性。 Zbl 0686.68062号 卡尔·A·冈特。;阿希姆·荣格 10 1990 逻辑形式的连续域理论。 Zbl 1264.68106号 阿希姆·荣格 9 2013 数字电路的图解语义。 Zbl 1440.68169号 Dan R.吉卡。;阿希姆·荣格;阿利奥姆·洛佩兹 8 2017 语义中概率的逻辑。 Zbl 1020.68050号 M.Andrew Moshier;阿希姆·荣格 7 2002 在连续函数模型中研究PCF的完全抽象模型。 Zbl 0788.68021号 阿希姆·荣格;艾伦·斯托顿 6 1993 压缩的双拓扑无点方法。 Zbl 1222.06006号 奥拉夫·卡尔·克林克;阿希姆·荣格;M.Andrew Moshier 6 2011 拟连续域的所有笛卡尔闭范畴都由域组成。 Zbl 1328.68123号 贾晓东;阿希姆·荣格;寇,惠;李庆国;赵浩然 6 2015 关于余代数模态逻辑的范畴框架。 Zbl 1337.03091号 陈良婷;阿希姆·荣格 5 2014 QRB、QFS和概率功率域。 Zbl 1337.68160号 让·古鲍特·拉雷克;阿希姆·荣格 5 2014 双拓扑和四值逻辑。 Zbl 1394.03041号 汤姆·亚什·雅克;阿希姆·荣格;阿莱什·普尔特尔 4 2016 子集系统的比较。 Zbl 0657.06009号 尼尔森,E。;阿达梅克,J。;A.Jung。;雷特曼,J。;A.塔莱基。 4 1988 非渐进扭转结构。 Zbl 1477.03097号 翁贝托·里维奇奥;保罗·马亚;阿希姆·荣格 4 2020 第27届EACSL计算机科学逻辑年会,2018年9月4日至8日,英国伯明翰,CSL 2018。诉讼程序。 Zbl 1402.68019号 三 2018 线性类型和近似。 Zbl 0982.06007号 哈,迈克尔;阿希姆·荣格;克劳斯·凯梅尔 三 2000 域层次结构的新结果。 Zbl 0652.06007号 阿希姆·荣格 三 1988 域的分解。 兹比尔1518.68201 阿希姆·荣格;列昂尼德·利布金;赫尔曼·普尔曼 三 1992 双拓扑空间的Hofmann-Mislove定理。 Zbl 1316.54012号 阿希姆·荣格;M.Andrew Moshier 2 2007 d-框架的商。 Zbl 1423.18008号 汤姆·亚什·雅克;阿希姆·荣格;阿莱什·普尔特尔 2 2019 混合、同时通用和不相交通用向后移动。 Zbl 1376.37007号 A.Jung。 2 2017 d-框架的自由构造和余积。 Zbl 1433.68204号 汤姆·亚什·雅克;阿希姆·荣格 2 2017 双拓扑空间的Hofmann-Mislove定理。 Zbl 1221.54036号 阿希姆·荣格;M.Andrew Moshier 2 2008 编程语义的数学基础。1999年4月28日至5月1日,路易斯安那州新奥尔良市杜兰大学第十五届会议记录。 Zbl 0921.00026号 1 1999 嵌套数据库的类型、逻辑和语义。 Zbl 0910.68132号 阿希姆·荣格;赫尔曼·普尔曼 1 1995 拓扑空间的一致逼近。 Zbl 0933.54026号 阿希姆·荣格;菲利普·苏恩德豪夫 1 1998 强邻近格的Priestley对偶。 Zbl 1273.06007号 El-Zawawy,Mohamed A。;阿希姆·荣格 1 2006 第七届领域理论及其应用国际研讨会论文集,中国石家庄,2017年6月2-6日。 兹比尔1376.68012 1 2017 非渐进扭转结构。 Zbl 1477.03097号 翁贝托·里维奇奥;保罗·马亚;阿希姆·荣格 4 2020 d-框架的商。 Zbl 1423.18008号 Jakl,Tomáš;阿希姆·荣格;阿莱什·普尔特尔 2 2019 Ho-Zhao问题。 Zbl 1459.06003号 Ho,翁金;让·古鲍特·拉雷克;阿希姆·荣格;习晓勇 14 2018 第27届EACSL计算机科学逻辑年会,2018年9月4日至8日,英国伯明翰,CSL 2018。诉讼程序。 Zbl 1402.68019号 三 2018 四值模态逻辑:克里普克语义和对偶。 Zbl 1444.03073号 翁贝托·里维奇奥;阿希姆·荣格;拉蒙·詹萨纳 20 2017 数字电路的图解语义。 Zbl 1440.68169号 Dan R.吉卡。;阿希姆·荣格;阿利奥姆·洛佩兹 8 2017 混合、同时通用和不相交通用向后移动。 Zbl 1376.37007号 A.Jung。 2 2017 d框架的自由构造和副产物。 Zbl 1433.68204号 汤姆·亚什·雅克;阿希姆·荣格 2 2017 第七届领域理论及其应用国际研讨会论文集,中国石家庄,2017年6月2-6日。 Zbl 1376.68012号 1 2017 关于dcpos连贯性的注记。 Zbl 1355.54013号 贾晓东;阿希姆·荣格;李庆国 21 2016 双拓扑和四值逻辑。 Zbl 1394.03041号 汤姆·亚什·雅克;阿希姆·荣格;阿莱什·普尔特尔 4 2016 拟连续域的所有笛卡尔闭范畴都由域组成。 Zbl 1328.68123号 贾晓东;阿希姆·荣格;寇,惠;李庆国;赵浩然 6 2015 关于余代数模态逻辑的范畴框架。 Zbl 1337.03091号 陈良婷;阿希姆·荣格 5 2014 QRB、QFS和概率功率域。 Zbl 1337.68160号 让·古鲍特·拉雷克;阿希姆·荣格 5 2014 模态双值逻辑的克里普克语义。 Zbl 1366.03187号 阿希姆·荣格;翁贝托·里维奇奥 17 2013 逻辑形式的连续域理论。 Zbl 1264.68106号 阿希姆·荣格 9 2013 双参数的普里斯特利对偶。 Zbl 1258.06008号 A.Jung。;Rivieccio,美国。 12 2012 压缩的双拓扑无点方法。 Zbl 1222.06006号 奥拉夫·卡尔·克林克;阿希姆·荣格;M.Andrew Moshier 6 2011 介绍dcpos和dcpo代数。 Zbl 1286.68300号 阿希姆·荣格;M.Andrew Moshier;史蒂夫·维克斯 12 2008 关于双拓扑空间的Hofmann-Mislove定理。 Zbl 1221.54036号 阿希姆·荣格;M.Andrew Moshier 2 2008 双拓扑空间的Hofmann-Mislove定理。 Zbl 1316.54012号 阿希姆·荣格;M.Andrew Moshier 2 2007 稳定域的逻辑方法。 Zbl 1105.03026号 陈一祥;阿希姆·荣格 14 2006 强邻近格的Priestley对偶。 兹比尔1273.06007 El-Zawawy,Mohamed A。;阿希姆·荣格 1 2006 稳定紧空间与概率幂空间的构造。 Zbl 1270.68152号 阿希姆·荣格 24 2004 稳定紧空间的概率幂域。 Zbl 1071.68058号 毛里西奥·阿尔瓦雷兹·马尼拉;阿希姆·荣格;克劳斯·凯梅尔 17 2004 语义中概率的逻辑。 Zbl 1020.68050号 M.Andrew Moshier;阿希姆·荣格 7 2002 稳定紧空间和闭关系。 Zbl 1260.18002号 阿希姆·荣格;马蒂亚斯·凯格曼;M.Andrew Moshier 11 2001 线性类型和近似值。 Zbl 0982.06007号 哈,迈克尔;阿希姆·荣格;克劳斯·凯梅尔 三 2000 多语言序列演算和相干空间。 Zbl 0935.68068号 阿希姆·荣格;马蒂亚斯·凯格曼;M.Andrew Moshier 17 1999 编程语义的数学基础。1999年4月28日至5月1日,路易斯安那州新奥尔良市杜兰大学第十五届会议记录。 Zbl 0921.00026号 1 1999 拓扑空间的一致逼近。 Zbl 0933.54026号 阿希姆·荣格;菲利普·苏恩德豪夫 1 1998 麻烦的概率域。 Zbl 0917.68135号 阿希姆·荣格;蒂克斯,里贾纳 23 1997 关于紧凑与开放的二重性。 兹比尔0885.54001 阿希姆·荣格;菲利普·苏恩德豪夫 18 1996 嵌套数据库的类型、逻辑和语义。 兹比尔0910.68132 阿希姆·荣格;赫尔曼·普尔曼 1 1995 λ可定义性的一个新特征。 Zbl 0795.03021号 阿希姆·荣格;Jerzy Tiuryn 17 1993 在连续函数模型中研究PCF的完全抽象模型。 Zbl 0788.68021号 阿希姆·荣格;艾伦·斯托顿 6 1993 域的分解。 Zbl 1518.68201号 阿希姆·荣格;列昂尼德·利布金;赫尔曼·普尔曼 三 1992 使用powerdomains泛化关系数据库。 Zbl 0799.68064号 彼得·布内曼;阿希姆·荣格;Atsushi Ohori 16 1991 代数cpo的笛卡尔闭范畴。 Zbl 0693.18004号 阿希姆·荣格 17 1990 领域的一致性和一致性。 Zbl 0686.68062号 卡尔·A·冈特。;阿希姆·荣格 10 1990 笛卡尔闭域范畴。 Zbl 0719.06004号 阿希姆·荣格 76 1989 笛卡尔闭范畴。 Zbl 0663.18004号 阿希姆·荣格 26 1988 子集系统的比较。 Zbl 0657.06009号 尼尔森,E。;阿达梅克,J。;A.Jung。;雷特曼,J。;A.塔莱基。 4 1988 域层次结构的新结果。 Zbl 0652.06007号 阿希姆·荣格 三 1988 所有引用出版物 前5名被引用出版物 全部的 前5名333位作者引用 37 李庆国 23 习晓勇 18 赵东生 16 阿希姆·荣格 12 让·古鲍特·拉雷克 12 王龙春 11 克劳斯·凯梅尔 10 寇,惠 10 劳森,吉米·唐 10 徐,罗山 9 德克·霍夫曼 9 徐晓泉 8 贾晓东 7 梅·盖尔克 7 何庆余 7 Mislove,Michael W。 7 翁贝托·里维奇奥 6 Leonid O·利金。 5 乌戈·达尔拉戈 5 曼弗雷德·德罗斯特 5 郭兰坤 5 苗华林 5 M.Andrew Moshier 5 谢尔盖·奥丁佐夫。 5 沈冲 5 海因里希·西奥多 4 古拉姆·贝扎尼什维利 4 陈一香 4 莱因霍尔德·赫克曼 4 Hötzel Escardó,马汀 4 汤姆·亚什·雅克 4 哈利米·莫格贝利 4 佩德罗·诺拉 4 巴布亚州索波辛斯基 4 斯坦尼斯拉夫·斯佩兰斯基。 4 塞缪尔·雅各布 4 周向南 三 尼克·贝扎尼什维利 三 谢尔盖·德罗比舍维奇 三 托马斯·埃尔哈德 三 卡尔·A·冈特。 三 诺里希罗·卡米德 三 梁继华 三 刘德贤 三 吕崇霞 三 莫伊根·马哈茂迪 三 Movsisyan、Yuri Movses 三 希拉里·普里斯特利(Hilary A.Priestley)。 三 卢卡·雷吉奥 三 朱里安·罗特 三 丹尼尔·斯科特 三 马修·斯宾克斯 三 维尼马,伊德 三 吴国华 三 姚玲娟 三 袁亚燕 三 张忠熙 三 赵浩然 2 马可·阿巴迪尼 2 阿达梅克,吉安尼 2 卡洛·安吉利 2 英戈·巴滕菲尔德 2 特里斯坦·马修·比斯 2 菲利波·邦奇 2 弗拉维恩·布鲁瓦特 2 O.P.布内曼。 2 莱昂纳多·曼纽尔·卡布勒 2 罗希特·查达 2 可口、蒂埃里 2 戴安娜·戴维多娃。 2 苏珊·B·戴维森。 2 吉姆·德·格罗特 2 埃琳娜·迪拉沃雷 2 阿巴斯·埃达拉特 2 马塞洛·菲奥雷(Marcelo P.Fiore)。 2 大卫·加伯里亚 2 Dan R.吉卡。 2 吕迪格,戈贝尔 2 丹尼尔·格拉泽 2 约翰·哈丁 2 阿加提·埃尔鲁 2 Ho,翁金 2 黄、孟桥 2 迈克尔·R·A·胡特。 2 拉德哈·贾加迪桑 2 Tatsuji Kawai 2 奥拉夫·卡尔·克林克 2 亚历山大·库兹 2 李高林 2 刘,韩 2 罗茂康 2 吕振超 2 凯·马丁 2 哈利米·莫格贝利·达马内 2 内维斯、雷纳托 2 科拉德·彼得·皮奥罗 2 阿莱什·普尔特尔 2 马蒂亚斯·施罗德 2 亚历克斯·K·辛普森。 2 乔纳森·斯特林 …还有233位作者 全部的 前5名53篇连载文章中引用 50 理论计算机科学 43 拓扑及其应用 22 MSCS公司。计算机科学中的数学结构 14 计算机科学中的逻辑方法 13 纯粹与应用代数杂志 11 代数普遍性 11 应用的分类结构 9 Studia Logica公司 9 订单 9 信息与计算 6 纯逻辑与应用逻辑年鉴 4 信息科学 4 计算机与系统科学杂志 4 软计算 三 休斯顿数学杂志 三 逻辑、语言与信息杂志 三 数学学报。英语系列 三 逻辑与逻辑哲学 三 符号逻辑述评 三 范畴和一般代数结构及其应用 2 计算机与数学及其应用 2 信息处理信件 2 代数与逻辑 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 模糊集与系统 2 斯洛伐克数学 2 半群论坛 2 拓扑程序 2 范畴的理论与应用 2 计算系统理论 2 摘要与应用分析 2 逻辑与代数程序设计杂志 2 马来西亚数学科学学会公报。第二系列 2 泛逻辑 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 离散应用数学 1 洛基山数学杂志 1 演示数学 1 数学基础 1 代数杂志 1 匈牙利数学学报 1 计算机科学与技术杂志 1 中国科学。系列A 1 数学逻辑档案 1 计算机基础理论 1 多值逻辑与软计算杂志 1 阿塞拜疆国家科学院学报。物理技术和数学科学系列 1 亚欧数学杂志 1 非线性科学与应用杂志 1 环球数学与数学科学杂志 1 欧洲数学杂志 1 代数结构及其应用 全部的 前5名21个领域被引用 180 阶、格、有序代数结构(06-XX) 164 计算机科学(68至XX) 98 一般拓扑结构(54-XX) 92 数学逻辑和基础(03-XX) 92 范畴理论;同调代数(18-XX) 10 一般代数系统(08-XX) 6 功能分析(46倍X倍) 5 群论与推广(20-XX) 5 测量和集成(28-XX) 4 拓扑群、李群(22日至XX日) 三 历史和传记(01-XX) 三 概率论与随机过程(60-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 结合环与代数(16-XX) 2 量子理论(81-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 代数拓扑(55-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文