编辑配置文件(在新选项卡中打开) 吉·维勒比尔 合著者距离 作者ID: 维勒比尔·吉里 发布日期: 吉·维勒比尔;韦利比尔,J。 主页: https://math.fel.cvut.cz/en/people/velebil网站/ 外部链接: MGP公司·数据库许可证 已编制索引的文档: 61出版物自1996年以来,包括4个附加arXiv预打印 合著者: 19位合著者具有59联合出版物 351联合作者 全部的 前5名合著者 2 单作者的 37 阿达梅克,吉安尼 28 斯特凡·米利厄斯 12 亚历山大·库兹 6 马特·多斯塔尔 5 阿德里亚娜·巴兰 4 贝尔科娃,玛尔塔 4 卡拉泽利斯,帕纳吉斯 2 彼得·阿策尔 2 Daniela Luan Petrisan 1 莱因哈德·博格尔 1 罗伯特·巴希尔 1 罗斯蒂斯拉夫·霍奇克 1 Krzysztof卡普尔金 1 瓦茨拉夫·库贝克 1 阿波斯托洛斯·马扎利斯 1 罗西克、吉伊 1 卢尔德·索萨 1 特伦科娃,维拉 1 维尼马,伊德 全部的 前5名系列 12 MSCS公司。计算机科学中的数学结构 5 理论计算机科学 5 范畴的理论与应用 5 计算机科学中的逻辑方法 4 应用的分类结构 三 信息与计算 2 纯粹与应用代数杂志 1 卡罗莱纳大学数学评论 1 逻辑与计算杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 程序设计中的逻辑和代数方法杂志 字段 51 范畴理论;同调代数(18-XX) 23 计算机科学(68-XX) 15 数学逻辑和基础(03-XX) 7 一般代数系统(08-XX) 6 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 49出版物有被引用321中的次168文件 引用人▼ 年份▼ 无限的树和完全迭代的理论:一种代数观点。 Zbl 1028.68077号 彼得·阿策尔;阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 44 2003 迭代代数在起作用。 Zbl 1112.18005号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 31 2006 无限树和迭代的联合视图。 兹比尔1260.68235 彼得·阿策尔;阿达梅克,吉安尼;吉·维勒比尔 17 2001 埃尔戈特代数。 Zbl 1127.68058号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 16 2006 自由迭代理论:一个联合的观点。 Zbl 1030.18004号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 14 2003 关系解除,一项调查。 Zbl 1344.68167号 亚历山大·库兹;吉·维勒比尔 13 2016 有序丰富类别中的Kan内射性。 Zbl 1362.18012号 阿达梅克,吉安尼;卢尔德·索萨;吉·维勒比尔 11 2015 积极联合逻辑的表达。 Zbl 1291.03034号 Krzysztof卡普尔金;亚历山大·库兹;吉·维勒比尔 11 2012 迭代单子的方程性质。 Zbl 1234.68271号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 10 2010 序代数的拟簇和簇:正则性和精确性。 Zbl 1423.08007号 亚历山大·库兹;吉里韦莱比尔 9 2015 Elgot理论:迭代方程性质的新视角。 Zbl 1222.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔 9 2011 解析函子和弱回调。 Zbl 1163.18002号 阿达梅克,J;韦利比尔,J。 7 2008 迭代代数:它们是如何迭代的? Zbl 1137.68042号 阿达梅克,J。;R·Börger。;米利厄斯,S。;韦利比尔,J。 7 2007 基于类的余代数。 兹比尔1047.18005 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 7 2004 单子的迭代反射。 Zbl 1239.18005号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 7 2010 无穷变数和代数理论之间的对偶关系。 Zbl 1035.08004号 阿达梅克,吉安尼;瓦克拉夫·库贝克;韦利比尔,J。 6 2000 联合逻辑的积极片段。 Zbl 1394.03035号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 6 2013 高阶递归方案的语义。 Zbl 1218.03013号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 6 2011 函子和单子的等式表示。 Zbl 1235.18003号 吉·维勒比尔;亚历山大·库兹 6 2011 关于有限单子和迭代单子的一些注释。 Zbl 1035.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 5 2003 联合逻辑的积极片段。 兹比尔1337.03024 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 5 2015 关系提升,应用于多值覆盖形式。 Zbl 1287.18008号 贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔 5 2013 预升的同时反射和共反射子类别。 Zbl 1035.18005号 罗伯特·巴希尔;吉·维勒比尔 4 2002 共同完成的完整性。 Zbl 1068.18002号 卡拉泽利斯,帕纳吉斯;罗西克、吉伊;吉·维勒比尔 4 2005 什么是迭代理论? 兹比尔1147.18301 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 4 2007 有序代数变体的分类视图。 Zbl 1506.18009号 阿达梅克,J。;多斯塔尔,M。;韦利比尔,J。 4 2022 丰富的逻辑连接。 Zbl 1298.18007号 亚历山大·库兹;吉·维勒比尔 4 2013 关于有理单子和自由迭代理论。 Zbl 1270.18010号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 4 2003 高阶递归方案的语义。 Zbl 1239.68041号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2009 将集函子扩展到广义度量空间。 Zbl 1408.18005号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 三 2019 参数化迭代的基。 Zbl 1160.18003号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2008 具有参数化迭代性的代数。 Zbl 1131.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2007 Elgot理论:迭代理论的新视角(扩展抽象)。 Zbl 1338.18017号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2009 函子从Set到\({\mathcal V}\)-cat的扩展。 Zbl 1366.18003号 阿德里安娜·巴兰;亚历山大·库兹;吉·维勒比尔 三 2015 基的迭代代数。 Zbl 1272.68281号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2005 最终余代数和任意内函子的解定理。 Zbl 1270.68183号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔 三 2002 预订单和偏序集上的关系提升。 Zbl 1343.18003号 贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔 三 2011 关于二阶迭代单子。 Zbl 1243.68206号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2011 单子的迭代反射描述(扩展抽象)。 Zbl 1234.18003号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 2 2009 相对于学说的代表性。 Zbl 1190.18001号 卡拉泽利斯,帕纳吉斯;吉·维勒比尔 2 2009 一个一般的最后余代数定理。 Zbl 1080.18004号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 2 2005 将子结构逻辑作为偏序集上的余代数逻辑进行分配。 Zbl 1295.03012号 贝尔科娃,玛尔塔;罗斯蒂斯拉夫·霍奇克;吉·维勒比尔 2 2012 关于泛化泛域的范畴。 Zbl 0933.18005号 特伦科娃,维拉;吉·维勒比尔 1 1999 关于范畴的保守共构成的一句话。 Zbl 1003.18003号 吉·维勒比尔;阿达梅克,吉安尼 1 2002 可及范畴中的最终余代数。 Zbl 1258.18002号 卡拉泽利斯,帕纳吉斯;阿波斯托洛斯·马扎利斯;吉·维勒比尔 1 2011 一种对正的哥白氏逻辑的制度方法。 Zbl 1444.03184号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 1 2017 Elgot代数(扩展抽象)。 Zbl 1273.18008号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 1 2006 递归程序方案和上下文无关的monad。 Zbl 1247.68049号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 1 2010 参数化迭代的基本模块。 Zbl 1282.68168号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 1 2014 有序代数变体的分类视图。 Zbl 1506.18009号 阿达梅克,J。;多斯塔尔,M。;韦利比尔,J。 4 2022 将集函子扩展到广义度量空间。 Zbl 1408.18005号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 三 2019 积极联合逻辑的制度方法。 Zbl 1444.03184号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 1 2017 关系解除,一项调查。 Zbl 1344.68167号 亚历山大·库兹;吉·维勒比尔 13 2016 有序丰富类别中的Kan内射性。 兹伯利1362.18012 阿达梅克,吉安尼;卢尔德·索萨;吉·维勒比尔 11 2015 序代数的拟簇和簇:正则性和精确性。 Zbl 1423.08007号 亚历山大·库兹;吉·维勒比尔 9 2015 联合逻辑的积极片段。 Zbl 1337.03024号 阿德里安娜·巴兰;亚历山大·库兹;吉·维勒比尔 5 2015 函子从Set到\({\mathcal V}\)-cat的扩展。 Zbl 1366.18003号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 三 2015 参数化迭代的基本模块。 兹比尔1282.68168 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 1 2014 联合逻辑的积极片段。 Zbl 1394.03035号 阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 6 2013 关系提升,应用于多值覆盖形式。 Zbl 1287.18008号 贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔 5 2013 丰富的逻辑连接。 Zbl 1298.18007号 亚历山大·库兹;吉·维勒比尔 4 2013 积极联合逻辑的表达。 Zbl 1291.03034号 Krzysztof卡普尔金;亚历山大·库兹;吉·维勒比尔 11 2012 将子结构逻辑作为偏序集上的余代数逻辑进行分配。 Zbl 1295.03012号 贝尔科娃,玛尔塔;罗斯蒂斯拉夫·霍奇克;吉·维勒比尔 2 2012 Elgot理论:迭代方程性质的新视角。 Zbl 1222.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 9 2011 高阶递归方案的语义。 Zbl 1218.03013号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔 6 2011 函子和单子的等式表示。 Zbl 1235.18003号 吉·维勒比尔;亚历山大·库兹 6 2011 预订单和偏序集上的关系提升。 Zbl 1343.18003号 贝尔科娃,玛尔塔;亚历山大·库兹;丹尼拉·佩特里西安;吉·维勒比尔 三 2011 关于二阶迭代单子。 兹比尔1243.68206 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2011 可及范畴中的最终余代数。 Zbl 1258.18002号 卡拉泽利斯,帕纳吉斯;阿波斯托洛斯·马扎利斯;吉·维勒比尔 1 2011 迭代单元的赤道性质。 Zbl 1234.68271号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 10 2010 单子的迭代反射。 Zbl 1239.18005号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 7 2010 递归程序方案和无上下文单体。 Zbl 1247.68049号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉里韦莱比尔 1 2010 高阶递归方案的语义。 Zbl 1239.68041号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2009 Elgot理论:迭代理论的新视角(扩展抽象)。 Zbl 1338.18017号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2009 单子的迭代反射描述(扩展抽象)。 Zbl 1234.18003号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 2 2009 相对于学说的代表性。 Zbl 1190.18001号 卡拉泽利斯,帕纳吉斯;吉·维勒比尔 2 2009 解析函子和弱回调。 兹比尔1163.18002 阿达梅克,J;韦利比尔,J。 7 2008 参数化迭代的基。 Zbl 1160.18003号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2008 迭代代数:它们是如何迭代的? Zbl 1137.68042号 Adámek,J。;R·Börger。;米利厄斯,S。;韦利比尔,J。 7 2007 什么是迭代理论? Zbl 1147.18301号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 4 2007 具有参数化迭代性的代数。 Zbl 1131.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2007 迭代代数在起作用。 Zbl 1112.18005号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 31 2006 埃尔戈特代数。 Zbl 1127.68058号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 16 2006 Elgot代数(扩展抽象)。 Zbl 1273.18008号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 1 2006 共同完成的完整性。 Zbl 1068.18002号 卡拉泽利斯,帕纳吉斯;罗西克、吉伊;吉·维勒比尔 4 2005 基的迭代代数。 Zbl 1272.68281号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2005 一个一般的最后余代数定理。 Zbl 1080.18004号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 2 2005 基于类的余代数。 兹比尔1047.18005 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 7 2004 无限树和完全迭代理论:一个联合的观点。 Zbl 1028.68077号 彼得·阿策尔;阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 44 2003 自由迭代理论:一个联合的观点。 Zbl 1030.18004号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 14 2003 关于有限元和迭代单元的一些注记。 Zbl 1035.18002号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 5 2003 关于有理单子和自由迭代理论。 Zbl 1270.18010号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 4 2003 预升的同时反射和共反射子类别。 兹比尔1035.18005 罗伯特·巴希尔;吉·维勒比尔 4 2002 最终余代数和任意内函子的解定理。 Zbl 1270.68183号 阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 三 2002 关于范畴的保守余完备的一点注记。 Zbl 1003.18003号 吉·维勒比尔;阿达梅克,吉安尼 1 2002 无限树和迭代的联合视图。 Zbl 1260.68235号 彼得·阿策尔;阿达梅克,吉安尼;吉·维勒比尔 17 2001 无穷变数和代数理论之间的对偶关系。 Zbl 1035.08004号 阿达梅克,吉安尼;瓦克拉夫·库贝克;韦利比尔,J。 6 2000 关于泛化泛域的范畴。 Zbl 0933.18005号 特伦科娃,维拉;吉·维勒比尔 1 1999 所有引用出版物 排名前五的出版物 全部的 前5名160位作者引用 39 斯特凡·米利厄斯 33 阿达梅克,吉安尼 23 吉·维勒比尔 10 卢茨·施罗德 8 塔尔莫乌斯塔卢 7 谢尔盖·冈查洛夫 7 卢尔德·索萨 6 菲利波·邦奇 6 弗朗西斯科·达尼诺 5 尼尔·加尼 5 亚历山大·库兹 5 劳伦斯·莫斯。 5 马西耶·皮罗格 5 克里斯托夫·劳赫 5 罗西克、吉伊 5 朱里安·罗特 4 巴特·雅各布斯 4 保罗·布莱恩·利维 4 亚历山大·席尔瓦 4 海宁·乌尔巴特 4 托尔斯滕·维曼 三 玛丽亚·曼努埃尔·克莱门蒂诺 三 弗雷德里克·达尔奎斯特 三 吉姆·德·格罗特 三 费德里科·德·马奇 三 佐尔坦·埃西克 三 马科托·哈马纳 三 彼得·吉普森 三 德克斯特·C·科赞。 三 莱克,斯蒂芬 三 克里斯托弗·吕思 三 罗伯特·S·R·迈尔斯。 三 德克·帕丁森 三 阿莱西奥·桑塔马利亚 三 瓦尔莫·维尼 三 威尔德,保罗 2 纳塔内尔·阿尔佩 2 大卫·安科纳 2 马塞洛·玛丽亚·邦桑格 2 弗朗西斯·博尔塞克斯 2 马里亚纽拉州Dezani-Ciancaglini 2 马特·多斯塔尔 2 杰里米·吉本斯 2 克劳迪奥·赫米达 2 德克·霍夫曼 2 卡拉泽利斯,帕纳吉斯 2 胜本,Shin-ya 2 萨米·拉扎尔 2 洛佩斯·弗兰科,伊格纳西奥·L。 2 费尔南多·卢卡泰利·努恩斯 2 Lucyshyn-Wright,Rory B。 2 阿卜杜勒瓦赫布·姆赫姆迪 2 佩德罗·诺拉 2 杰森·帕克。 2 Daniela Luan Petrisan 2 Damien Pous 2 美国雷迪。 2 Edmund P.罗宾逊。 2 圣托卡纳莱,路易吉 2 梅丽莎·杉本 2 贾科莫·丹达斯 2 维尼马,伊德 2 伊泰·韦斯 2 祖卡,埃琳娜 1 穆尔迪·阿巴斯 1 彼得·阿策尔 1 沙比尔·艾哈迈德·阿汉加 1 阿伦斯,贝内迪克特 1 塔雷克·穆罕默德·阿尔·沙米 1 花生四烯酸盐、瓦西里欧斯 1 川崎朝田 1 杰里米·阿维加德 1 阿德里亚娜·巴兰 1 佛朗哥·巴巴内拉 1 埃尔万·贝里尔 1 尼克·贝扎尼什维利 1 贝尔科娃,玛尔塔 1 斯蒂芬·布鲁姆。 1 维南西奥·卡普雷塔 1 玛格丽达·卡瓦略 1 吉安·卢卡·卡塔尼 1 陈良婷 1 文森佐·西安西亚 1 杰弗里·S·H·克鲁特韦尔。 1 天,布莱恩·约翰 1 乌尔里希·多尔希 1 杰瑞米·杜布特 1 约尔格恩德鲁利斯 1 贝特弗里德·福泽 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 福特、蔡斯 1 乔纳森·加拉赫 1 尼古拉·甘比诺 1 理查德·加纳 1 杰伦、布拉姆 1 保拉·吉安尼尼 1 勒内·吉塔特 1 Zuzana Haniková 1 Helle Hvid Hansen先生 1 一郎·哈索 …还有60多位作者 全部的 前5名33篇连载文章中引用 16 计算机科学中的逻辑方法 15 MSCS公司。计算机科学中的数学结构 12 理论计算机科学 10 应用的分类结构 9 纯粹与应用代数杂志 8 信息与计算 6 范畴的理论与应用 4 RAIRO公司。理论信息学及其应用 三 代数普遍性 三 程序设计中的逻辑和代数方法杂志 2 计算机与系统科学杂志 2 圣母院形式逻辑杂志 1 信息学报 1 数学进展 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 卡罗莱纳大学数学评论 1 美国数学学会回忆录 1 Quaestions数学 1 Studia Logica公司 1 拓扑及其应用 1 纯逻辑与应用逻辑年鉴 1 国际代数与计算杂志 1 拓扑程序 1 函数编程杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 ACM计算逻辑事务 1 Hacettepe数学与统计杂志 1 第比利斯数学杂志 1 符号逻辑述评 1 应用数学 全部的 前5名17个字段中引用 111 范畴理论;同调代数(18-XX) 103 计算机科学(68-XX) 43 数学逻辑和基础(03-XX) 16 阶、格、有序代数结构(06-XX) 15 一般代数系统(08-XX) 11 一般拓扑结构(54至XX) 三 群论与推广(20-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 结合环与代数(16-XX) 2 测量和集成(28-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 1 动力系统和遍历理论(37至XX) 1 几何图形(51-XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 按年份列出的引文