编辑配置文件（在新选项卡中打开） 斯特凡·米利厄斯 合著者距离 作者ID： 米利乌斯·斯特凡 发布日期： 斯特凡·米利厄斯；米利厄斯，S。 外部链接： 管理程序 已编制索引的文档： 115出版物自2002年以来，包括1本书和5个附加arXiv预打印 2作为编辑的贡献 合著者： 41位合著者具有110联合出版物 844位合作作者 全部的 前5名合著者 7 单作者的 64 阿达梅克，吉安尼 28 吉·维勒比尔 21 海宁·乌尔巴特 17 卢茨施罗德 16 劳伦斯·莫斯。 16 托尔斯滕·维曼 7 罗伯特·S·R·迈尔斯。 6 亚历山德拉·席尔瓦 6 卢尔德·索萨 5 德克·帕丁森 4 乌尔里希·多尔希 4 谢尔盖·冈查洛夫 三 菲利波·邦奇 三 马塞洛·玛丽亚·邦桑格 三 陈良婷 三 福特、蔡斯 三 丹尼尔·施温克 2 费比安·伯克曼 2 汉斯·佩特·迪费尔 2 马赫迪·哈达迪 2 丹尼尔·豪斯曼 2 保罗·布莱恩·利维 2 塔德乌兹·利塔克 2 朱里安·罗特 2 法比奥·扎纳西 1 彼得·阿策尔 1 斯蒂芬·布鲁姆。 1 莱因哈德·博格尔 1 内森·鲍勒 1 杰雷米·杜布特 1 弗洛里安·弗兰克 1 海克尔，瑞科 1 马蒂亚斯·Hülsbusch 1 Katsumata、Shin ya 1 巴巴拉·科尼格 1 德克斯特·C·科赞。 1 亚历山大·库兹 1 多米尼克·吕克 1 托尔斯滕·帕尔姆 1 克里斯托夫·劳赫 1 斯泰利奥斯·赞帕斯 全部的 前5名系列 10 理论计算机科学 9 计算机科学中的逻辑方法 7 信息与计算 6 MSCS公司。计算机科学中的数学结构 4 应用的分类结构 4 范畴的理论与应用 4 ACM计算逻辑事务 2 逻辑与计算杂志 1 卡罗莱纳大学数学评论 1 计算机与系统科学杂志 1 计算的形式方面 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 86 计算机科学（68至XX） 79 范畴理论；同调代数（18-XX） 13 数学逻辑和基础（03-XX） 11 一般代数系统（08-XX） 4 群论与推广（20-XX） 三 概率论与随机过程（60-XX） 2 总体主题；集合（00-XX） 2 一般拓扑结构（54至XX） 1 结合环与代数（16-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 92出版物有被引用591中的次250文件 引用人▼ 年份▼ 无限树和完全迭代理论：一个联合的观点。 兹比尔1028.68077 彼得·阿策尔；阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 44 2003 迭代代数正在发挥作用。 兹比尔1112.18005 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 31 2006 完全迭代代数和完全迭代单子。 Zbl 1062.68075号 斯特凡·米利厄斯 31 2005 组合语言等价的合理且完整的公理化。 Zbl 1353.68186号 马塞洛·M·邦桑格。；斯特凡·米利厄斯；亚历山德拉·席尔瓦 28 2013 关于最小化和确定性的联合观点。 Zbl 1352.68171号 阿达梅克，吉安尼；菲利波·邦奇；马蒂亚斯·Hülsbusch；巴巴拉·科尼格；斯特凡·米利厄斯；亚历山德拉·席尔瓦 19 2012 埃尔戈特代数。 Zbl 1127.68058号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 16 2006 广义艾伦伯格定理。一： 当地语言的变体。 Zbl 1407.68314号 阿达梅克，吉安尼；斯特凡·米利厄斯；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特 15 2014 自由迭代理论：一个联合的观点。 Zbl 1030.18004号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 14 2003 通用跟踪语义和分级单体。 Zbl 1366.68211号 斯特凡·米利厄斯；德克·帕丁森；卢茨施罗德 13 2015 终端余代数和自由迭代理论。 Zbl 1104.68068号 阿达梅克，吉安尼；斯特凡·米利厄斯 13 2006 Profinite单子体、Profinite方程和Reiterman定理。 Zbl 1474.18010号 陈良婷；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 12 2016 抽象GSOS规则和递归定义的模块化处理。 Zbl 1307.68051号 斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施温克 12 2013 免费的艾伦伯格定理。 Zbl 1441.68139号 海宁·乌尔巴特；阿达梅克，吉安尼；陈良婷；斯特凡·米利厄斯 12 2017 规范非确定自动机的余代数构造。 Zbl 1380.68290号 罗伯特·S·R·迈尔斯。；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 11 2015 递归程序方案的分类理论解。 Zbl 1154.68041号 斯特凡·米利厄斯；劳伦斯·莫斯。 10 2006 具有效应的代数的完全迭代性。 Zbl 1239.68046号 斯特凡·米利厄斯；托尔斯滕·帕尔姆；丹尼尔·施温克 10 2009 迭代单子的方程性质。 Zbl 1234.68271号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 10 2010 Elgot理论：迭代方程性质的新视角。 Zbl 1222.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 9 2011 关于有限函子。 兹比尔1470.18006 Adámek，吉里；斯特凡·米利厄斯；卢德斯苏萨；托尔斯滕·威斯曼 9 2019 结构代数的等式公理化。 Zbl 1524.08003号 斯特凡·米利厄斯；海宁·乌尔巴特 9 2019 迭代代数：它们是如何迭代的？ Zbl 1137.68042号 阿达梅克，J。；R·Börger。；米利厄斯，S。；韦利比尔，J。 8 2007 单子的迭代反射。 Zbl 1239.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 8 2010 井点煤层。 Zbl 1272.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 8 2013 基于类的余代数。 Zbl 1047.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 7 2004 关于有限函子及其表示。 Zbl 1328.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；海宁·乌尔巴特 7 2015 一个类别中的各种语言。 Zbl 1401.68212号 阿达梅克，吉安尼；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特；斯特凡·米利厄斯 7 2015 集上单子的副积。 Zbl 1364.18001号 阿达梅克，吉安尼；斯特凡·米利厄斯；内森·鲍勒；保罗·利维（Paul B.Levy）。 7 2012 用匕首杀死ε：代数标记结构系统的联合代数研究。 Zbl 1330.68194号 菲利波·邦奇；斯特凡·米利厄斯；亚历山德拉·席尔瓦；法比奥·扎纳西 7 2015 有效的余代数划分精化。 Zbl 1442.68112号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 7 2017 高阶递归方案的语义。 Zbl 1218.03013号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 6 2011 有限共渗的新基础。局部有限不动点及其性质。 Zbl 1475.68196号 斯特凡·米利厄斯；德克·帕丁森；托尔斯滕·维曼 6 2016 具有名称绑定的标称自动机。 Zbl 1486.68097号 卢茨施罗德；德克斯特·科赞；斯特凡·米利厄斯；托尔斯滕·维曼 6 2017 无穷lambda演算的金融同余。 Zbl 1366.03172号 斯特凡·米利厄斯；托尔斯滕·维曼 6 2015 关于可迭代内函子。 Zbl 1270.18012号 斯特凡·米利厄斯 6 2003 有限函子的递归余代数。 兹比尔1147.18001 阿达梅克，吉安尼；多米尼克·吕克；斯特凡·米利厄斯 6 2007 线性时间-分支时间谱的分次单子和分次逻辑。 Zbl 07649944号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德 6 2019 守卫你的匕首和踪迹：守卫（协同）递归的属性。 Zbl 1375.68042号 斯特凡·米利厄斯；塔德乌兹·利塔克 6 2017 关于有限函子及其表示。 Zbl 1328.18004号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。 5 2012 关于有限单子和迭代单子的一些注释。 Zbl 1035.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 5 2003 完成Elgot monad和Colegebraic恢复。 Zbl 1395.18004号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；克里斯托夫·劳赫 5 2016 走向一个联合的乔姆斯基层次结构（扩展抽象）。 Zbl 1417.68085号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；亚历山德拉·席尔瓦 5 2014 余递归代数、余递归单体和Bloom单体。 Zbl 1341.68121号 阿达梅克，吉安尼；马赫迪·哈达迪；斯特凡·米利厄斯 5 2014 关于幂集函子和饱和树的最终余代数。 Zbl 1328.03059号 阿达梅克，吉安尼；保罗·利维（Paul B.Levy）。；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 5 2015 关于有理单子和自由迭代理论。 Zbl 1270.18010号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 5 2003 高效且模块化的余代数划分细化。 Zbl 1442.68113号 托尔斯滕·维曼；乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德 5 2020 有限共递归和迭代代数的新基础。 Zbl 1435.68208号 斯特凡·米利厄斯；德克·帕丁森；托尔斯滕·维曼 5 2020 广义艾伦伯格定理。一个类别中的各种语言。 Zbl 1407.68315号 阿达梅克，吉安尼；斯特凡·米利厄斯；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特 4 2019 关于关系范畴中的冲突。 Zbl 1038.18004号 斯特凡·米利厄斯 4 2003 带名称的正则行为：关于标称集上内函子的有理不动点。 Zbl 1375.18029号 斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 4 2016 范畴中的句法幺半群。 Zbl 1366.68188号 JiříAdamek；斯特凡·米利厄斯；海宁·乌尔巴特 4 2015 偏序集范畴上的Finitary monad。 兹比尔1495.18007 阿达梅克，吉安尼；福特、蔡斯；斯特凡·米利厄斯；卢茨施罗德 4 2021 什么是迭代理论？ Zbl 1147.18301号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 4 2007 高阶递归方案的语义。 Zbl 1239.68041号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2009 井点余代数（扩展抽象）。 Zbl 1352.68168号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 三 2012 参数化迭代的基。 Zbl 1160.18003号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2008 关于二阶迭代单子。 Zbl 1243.68206号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2011 规范非确定性自动机。 Zbl 1331.68138号 罗伯特·S·R·迈尔斯。；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 三 2014 Elgot理论：迭代理论的新视角（扩展抽象）。 Zbl 1338.18017号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2009 具有参数化迭代性的代数。 Zbl 1131.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2007 简化的余代数迹等价。 Zbl 1453.68112号 亚历山大·库兹；斯特凡·米利厄斯；德克·帕丁森；卢茨施罗德 三 2015 真函子及其有理不动点。 Zbl 1433.18001号 斯特凡·米利厄斯 三 2017 最终余代数和任意内函子的解定理。 Zbl 1270.68183号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2002 基的迭代代数。 Zbl 1272.68281号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2005 走向有效状态机的统一理论。 Zbl 1446.68085号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；亚历山德拉·席尔瓦 三 2020 从泛型分区细化到加权树自动机最小化。 兹比尔1519.68126 托尔斯滕·维曼；汉斯·佩特·迪费尔；斯特凡·米利厄斯；卢茨施罗德 三 2021 有限行为的适当函子和不动点。 Zbl 1448.18008号 斯特凡·米利厄斯 2 2018 关于具有有效迭代的代数。 Zbl 1520.18003号 斯特凡·米利厄斯；阿达梅克，吉安尼；海宁·乌尔巴特 2 2018 幂集函子和饱和树。 Zbl 1247.03140号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 2 2011 单子的迭代反射描述（扩展抽象）。 Zbl 1234.18003号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 2 2009 递归程序方案解的等式性质。 兹比尔1170.68009 斯特凡·米利厄斯；劳伦斯·莫斯。 2 2009 一个一般的最终余代数定理。 Zbl 1080.18004号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 2 2005 合理的运营模型。 Zbl 1334.68137号 斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；朱里安·罗特 2 2013 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。；斯特凡·米利厄斯；朱里安·罗特 2 2012 计算机科学中的代数和余代数。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。 Zbl 1271.68041号 2 2013 非确定性语法复杂性。 Zbl 07410438号 罗伯特·S·R·迈尔斯。；斯特凡·米利厄斯；海宁·乌尔巴特 2 2021 关于基础良好的递归余代数。 Zbl 1455.18001号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。 2 2020 保护你的匕首和踪迹：关于保护（共）递归的等式性质。 Zbl 1462.68027号 斯特凡·米利厄斯；塔德乌兹·利塔克 2 2013 关于可达性的联合观点。 Zbl 07177892号 托尔斯滕·维曼；斯特凡·米利厄斯；Katsumata、Shin ya；杰雷米·杜布特 2 2019 在拟线性时间内一般解释行为不公平。 Zbl 07730634号 托尔斯滕·维曼；斯特凡·米利厄斯；卢茨施罗德 2 2021 余代数表达式语言中的谓词提升和函子表示。 Zbl 1519.68146号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 1 2018 递归程序方案的范畴理论解。 Zbl 1151.68376号 斯特凡·米利厄斯；劳伦斯·莫斯。 1 2005 递归程序方案和无上下文单体。 Zbl 1247.68049号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2010 如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇；斯特凡·米利厄斯；亚历山德拉·席尔瓦；法比奥·扎纳西 1 2014 CIA结构和递归语义。 Zbl 1284.68374号 斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施温克 1 2010 有限单子的有限可表示代数。 Zbl 1468.18006号 阿达梅克，吉里；斯特凡·米利厄斯；卢尔德·索萨；托尔斯滕·威斯曼 1 2019 关于保余积函子的共递归代数。 Zbl 1436.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯 1 2017 2004年3月27日至29日，西班牙巴塞罗那，第七届计算机科学联合算法研讨会论文集。 Zbl 1271.68014号 1 2004 从迭代代数到迭代理论（扩展抽象）。 Zbl 1271.68153号 阿达梅克，吉安尼；斯特凡·米利厄斯 1 2004 Elgot代数（扩展抽象）。 兹比尔1273.18008 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2006 参数化迭代的基本模块。 兹比尔1282.68168 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2014 不带布尔运算的语言变体。 Zbl 07405973号 费比安·伯克曼；斯特凡·米利厄斯；海宁·乌尔巴特 1 2021 行为不公平通用模态见证的准线性时间计算。 Zbl 07639914号 托尔斯滕·维曼；斯特凡·米利厄斯；卢茨施罗德 1 2022 行为不公平通用模态见证的准线性时间计算。 Zbl 07639914号 托尔斯滕·维曼；斯特凡·米利厄斯；卢茨施罗德 1 2022 偏序集范畴上的Finitary monad。 Zbl 1495.18007号 阿达梅克，吉安尼；福特、蔡斯；斯特凡·米利厄斯；卢茨施罗德 4 2021 从泛型分区细化到加权树自动机最小化。 兹比尔1519.68126 托尔斯滕·维曼；汉斯·佩特·迪费尔；斯特凡·米利厄斯；卢茨施罗德 三 2021 非确定性语法复杂性。 Zbl 07410438号 罗伯特·S·R·迈尔斯。；斯特凡·米利厄斯；海宁·乌尔巴特 2 2021 在拟线性时间内一般解释行为不公平。 Zbl 07730634号 托尔斯滕·维曼；斯特凡·米利厄斯；卢茨施罗德 2 2021 不带布尔运算的语言变体。 Zbl 07405973号 费比安·伯克曼；斯特凡·米利厄斯；海宁·乌尔巴特 1 2021 高效且模块化的余代数划分细化。 Zbl 1442.68113号 托尔斯滕·维曼；乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德 5 2020 有限共递归和迭代代数的新基础。 Zbl 1435.68208号 斯特凡·米利厄斯；德克·帕丁森；托尔斯滕·维曼 5 2020 走向有效状态机的统一理论。 Zbl 1446.68085号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；亚历山德拉·席尔瓦 三 2020 关于基础良好的递归余代数。 Zbl 1455.18001号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。 2 2020 关于有限函子。 Zbl 1470.18006号 阿达梅克，吉里；斯特凡·米利厄斯；卢尔德·索萨；托尔斯滕·威斯曼 9 2019 结构代数的等式公理化。 Zbl 1524.08003号 斯特凡·米利厄斯；海宁·乌尔巴特 9 2019 线性时间分支时间谱的分级单体和分级逻辑。 Zbl 07649944号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德 6 2019 广义艾伦伯格定理。一个类别中的各种语言。 Zbl 1407.68315号 阿达梅克，吉安尼；斯特凡·米利厄斯；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特 4 2019 关于可达性的联合观点。 Zbl 07177892号 托尔斯滕·维曼；斯特凡·米利厄斯；Katsumata、Shin ya；杰雷米·杜布特 2 2019 有限单子的有限可表示代数。 Zbl 1468.18006号 阿达梅克，吉里；斯特凡·米利厄斯；卢尔德·索萨；托尔斯滕·维斯曼 1 2019 有限行为的适当函子和不动点。 兹比尔1448.18008 斯特凡·米利厄斯 2 2018 关于具有有效迭代的代数。 Zbl 1520.18003号 斯特凡·米利厄斯；阿达梅克，吉安尼；海宁·乌尔巴特 2 2018 余代数表达式语言中的谓词提升和函子表示。 Zbl 1519.68146号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 1 2018 免费的艾伦伯格定理。 Zbl 1441.68139号 海宁·乌尔巴特；阿达梅克，吉安尼；陈良婷；斯特凡·米利厄斯 12 2017 有效的余代数划分精化。 Zbl 1442.68112号 乌尔里希·多尔希；斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 7 2017 具有名称绑定的标称自动机。 Zbl 1486.68097号 卢茨施罗德；德克斯特·科赞；斯特凡·米利厄斯；托尔斯滕·维曼 6 2017 守卫你的匕首和踪迹：守卫（协同）递归的属性。 Zbl 1375.68042号 斯特凡·米利厄斯；塔德乌兹·利塔克 6 2017 真函子及其有理不动点。 Zbl 1433.18001号 斯特凡·米利厄斯 三 2017 关于保余积函子的共递归代数。 Zbl 1436.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯 1 2017 Profinite单子体、Profinite方程和Reiterman定理。 Zbl 1474.18010号 陈良婷；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 12 2016 有限共渗的新基础。局部有限不动点及其性质。 Zbl 1475.68196号 斯特凡·米利厄斯；德克·帕丁森；托尔斯滕·维曼 6 2016 完成Elgot monad和Colegebraic恢复。 Zbl 1395.18004号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；克里斯托夫·劳赫 5 2016 带名称的正则行为：关于标称集上内函子的有理不动点。 Zbl 1375.18029号 斯特凡·米利厄斯；卢茨施罗德；托尔斯滕·维曼 4 2016 通用跟踪语义和分级单体。 Zbl 1366.68211号 斯特凡·米利厄斯；德克·帕丁森；卢茨施罗德 13 2015 规范非确定自动机的余代数构造。 Zbl 1380.68290号 罗伯特·S·R·迈尔斯。；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 11 2015 关于有限函子及其表示。 兹比尔1328.18005 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；海宁·乌尔巴特 7 2015 一个类别中的各种语言。 兹比尔1401.68212 阿达梅克，吉安尼；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特；斯特凡·米利厄斯 7 2015 用匕首杀死ε：代数标签结构系统的代数代数研究。 兹比尔1330.68194 菲利波·邦奇；斯特凡·米利厄斯；亚历山德拉·席尔瓦；法比奥·扎纳西 7 2015 无穷lambda演算的金融同余。 Zbl 1366.03172号 斯特凡·米利厄斯；托尔斯滕·维曼 6 2015 关于幂集函子和饱和树的最终余代数。 Zbl 1328.03059号 阿达梅克，吉安尼；保罗·利维（Paul B.Levy）。；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 5 2015 范畴中的句法幺半群。 Zbl 1366.68188号 JiříAdamek；斯特凡·米利厄斯；海宁·乌尔巴特 4 2015 简化的余代数迹等价。 Zbl 1453.68112号 亚历山大·库兹；斯特凡·米利厄斯；德克·帕丁森；卢茨施罗德 三 2015 广义艾伦伯格定理。一： 当地语言的变体。 Zbl 1407.68314号 阿达梅克，吉安尼；斯特凡·米利厄斯；罗伯特·S·R·迈尔斯。；海宁·乌尔巴特 15 2014 走向一个联合的乔姆斯基层次结构（扩展抽象）。 Zbl 1417.68085号 谢尔盖·冈查洛夫；斯特凡·米利厄斯；亚历山德拉·席尔瓦 5 2014 余递归代数、余递归单体和Bloom单体。 Zbl 1341.68121号 阿达梅克，吉安尼；马赫迪·哈达迪；斯特凡·米利厄斯 5 2014 规范非确定性自动机。 Zbl 1331.68138号 罗伯特·S·R·迈尔斯。；阿达梅克，吉安尼；斯特凡·米利厄斯；海宁·乌尔巴特 三 2014 如何用匕首杀死艾司隆。具有代数标记结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇；斯特凡·米利厄斯；亚历山德拉·席尔瓦；法比奥·扎纳西 1 2014 参数化迭代的基本模块。 Zbl 1282.68168号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2014 组合语言等价的合理且完整的公理化。 Zbl 1353.68186号 马塞洛·M·邦桑格。；斯特凡·米利厄斯；亚历山德拉·席尔瓦 28 2013 抽象GSOS规则和递归定义的模块化处理。 Zbl 1307.68051号 斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施温克 12 2013 井点煤层。 Zbl 1272.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 8 2013 合理的运营模型。 Zbl 1334.68137号 斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；朱里安·罗特 2 2013 计算机科学中的代数和余代数。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。 Zbl 1271.68041号 2 2013 保护你的匕首和踪迹：关于保护（共）递归的等式性质。 Zbl 1462.68027号 斯特凡·米利厄斯；塔德乌兹·利塔克 2 2013 关于最小化和确定化的一个哥尔盖布雷克观点。 兹比尔1352.68171 阿达梅克，吉安尼；菲利波·邦奇；马蒂亚斯·Hülsbusch；巴巴拉·科尼格；斯特凡·米利厄斯；亚历山德拉·席尔瓦 19 2012 片场单声道的副产物。 Zbl 1364.18001号 阿达梅克，吉安尼；斯特凡·米利厄斯；内森·鲍勒；保罗·利维（Paul B.Levy）。 7 2012 关于有限函子及其表示。 Zbl 1328.18004号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。 5 2012 井点余代数（扩展抽象）。 兹比尔1352.68168 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 三 2012 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。；斯特凡·米利厄斯；朱里安·罗特 2 2012 Elgot理论：迭代方程性质的新视角。 Zbl 1222.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 9 2011 高阶递归方案的语义。 Zbl 1218.03013号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 6 2011 关于二阶迭代单子。 Zbl 1243.68206号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2011 幂集函子和饱和树。 Zbl 1247.03140号 阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨 2 2011 迭代单子的方程性质。 Zbl 1234.68271号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 10 2010 单子的迭代反射。 Zbl 1239.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 8 2010 递归程序方案和无上下文单体。 Zbl 1247.68049号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2010 CIA结构和递归语义。 Zbl 1284.68374号 斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施温克 1 2010 具有效应的代数的完全迭代性。 Zbl 1239.68046号 斯特凡·米利厄斯；托尔斯滕·帕尔姆；丹尼尔·施温克 10 2009 高阶递归方案的语义。 Zbl 1239.68041号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2009 Elgot理论：迭代理论的新视角（扩展抽象）。 Zbl 1338.18017号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2009 单子的迭代反射描述（扩展抽象）。 1234.18003兹比尔 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 2 2009 递归程序方案解的等式性质。 兹比尔1170.68009 斯特凡·米利厄斯；劳伦斯·莫斯。 2 2009 参数化迭代的基础。 Zbl 1160.18003号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2008 迭代代数：它们是如何迭代的？ Zbl 1137.68042号 阿达梅克，J。；R·Börger。；米利厄斯，S。；韦利比尔，J。 8 2007 有限函子的递归余代数。 Zbl 1147.18001号 阿达梅克，吉安尼；多米尼克·吕克；斯特凡·米利厄斯 6 2007 什么是迭代理论？ Zbl 1147.18301号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 4 2007 具有参数化迭代性的代数。 Zbl 1131.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2007 迭代代数在起作用。 Zbl 1112.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 31 2006 埃尔戈特代数。 Zbl 1127.68058号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 16 2006 终端余代数和自由迭代理论。 Zbl 1104.68068号 阿达梅克，吉安尼；斯特凡·米利厄斯 13 2006 递归程序方案的分类理论解。 Zbl 1154.68041号 斯特凡·米利厄斯；劳伦斯·莫斯。 10 2006 Elgot代数（扩展抽象）。 Zbl 1273.18008号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 1 2006 完全迭代代数和完全迭代单子。 Zbl 1062.68075号 斯特凡·米利厄斯 31 2005 基的迭代代数。 Zbl 1272.68281号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2005 一个一般的最终余代数定理。 Zbl 1080.18004号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 2 2005 递归程序方案的范畴理论解。 Zbl 1151.68376号 斯特凡·米利厄斯；劳伦斯·莫斯。 1 2005 基于类的余代数。 Zbl 1047.18005号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 7 2004 2004年3月27日至29日，西班牙巴塞罗那，第七届计算机科学联合算法研讨会论文集。 Zbl 1271.68014号 1 2004 从迭代代数到迭代理论（扩展抽象）。 Zbl 1271.68153号 阿达梅克，吉安尼；斯特凡·米利厄斯 1 2004 无限树和完全迭代理论：一个联合的观点。 Zbl 1028.68077号 彼得·阿策尔；阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 44 2003 自由迭代理论：一个联合的观点。 兹比尔1030.18004 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 14 2003 关于可迭代的内函子。 兹比尔1270.18012 斯特凡·米利厄斯 6 2003 关于有限单子和迭代单子的一些注释。 Zbl 1035.18002号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 5 2003 关于有理单子和自由迭代理论。 Zbl 1270.18010号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 5 2003 关于关系范畴中的冲突。 Zbl 1038.18004号 斯特凡·米利厄斯 4 2003 最终余代数和任意内函子的解定理。 Zbl 1270.68183号 阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名232位作者引用 55 斯特凡·米利厄斯 36 阿达梅克，吉安尼 21 吉·维勒比尔 17 卢茨施罗德 13 朱里安·罗特 13 亚历山德拉·席尔瓦 13 海宁·乌尔巴特 12 托尔斯滕·维曼 11 谢尔盖·冈查洛夫 10 塔尔莫乌斯塔卢 7 马塞洛·玛丽亚·邦桑格 7 保罗·布莱恩·利维 7 马蒂奥·桑马蒂诺 6 弗朗西斯科·达尼诺 6 Helle Hvid Hansen先生 6 亚历山大·库兹 6 劳伦斯·莫斯。 6 克里斯托夫·劳赫 6 简·J·M·M·鲁顿。 5 巴特·雅各布斯 5 罗伯特·S·R·迈尔斯。 5 马西耶·皮罗格 4 尼尔·加尼 4 一郎·哈索 4 朱利安·萨拉曼卡 4 格科·范·海尔特 三 阿德里亚娜·巴兰 三 阿道夫·博林斯芭蕾舞演员 三 Lars Birkedal公司 三 阿希姆·布卢门萨特 三 菲利波·邦奇 三 托马斯·布伦戈斯 三 陈良婷 三 安里克·科斯梅·洛佩斯 三 乌尔里希·多尔希 三 佐尔坦·埃西克 三 杰里米·吉本斯 三 马科托·哈马纳 三 托比亚斯·卡佩 三 Katsumata、Shin ya 三 巴托克·克林 三 巴巴拉·科尼格 三 德克斯特·C·科赞。 三 库普克，克莱门斯 三 塞巴斯蒂安·库珀 三 金·古德斯特兰·拉森 三 塔德乌兹·利塔克 三 马里诺·米库兰 三 约书亚·莫尔曼 三 内维斯、雷纳托 三 德克·帕丁森 三 Daniela Luan Petrisan 三 Damien Pous 三 卢卡·雷吉奥 三 罗西克、吉伊 三 丹尼尔·施温克 三 辛雅，龙马 三 安娜·索科洛娃 三 卢尔德·索萨 三 瓦尔莫·维尼 2 萨姆森·艾布拉姆斯基 2 大卫·安科纳 2 乔治·巴奇 2 乔瓦尼·巴奇 2 哈什·贝哈尔 2 费比安·伯克曼 2 阿列舍·比兹亚克 2 罗伯托·布鲁尼 2 维南西奥·卡普雷塔 2 肯塔·乔 2 托马斯·科尔科姆贝特 2 费德里科·德·马奇 2 马里亚纽拉州Dezani-Ciancaglini 2 马特·多斯塔尔 2 杰雷米·杜布特 2 约尔格恩德鲁利斯 2 布伦丹·方 2 皮埃尔·甘蒂 2 理查德·加纳 2 埃琳娜·古铁雷斯 2 安德烈·赫肖维茨 2 汤姆·赫肖维茨 2 德克·霍夫曼 2 朱利安·雅各布 2 Toshiki Kataoka 2 卡夫沃斯，G.A。 2 Peter Kostolányi 2 安布罗斯·拉丰 2 Lucyshyn-Wright，Rory B。 2 克里斯托夫·吕斯 2 拉杜·马达尔 2 乌戈·蒙塔纳里。 2 维多利亚州诺克斯 2 佩德罗·诺拉 2 多米尼克·A·乌节。 2 托尔斯滕·帕尔姆 2 杰森·帕克。 2 马可·佩雷索蒂 2 戴维·桑吉奥吉 2 巴布亚州索波辛斯基 …还有132位作者 全部的 前5名28篇连载文章中引用 38 计算机科学中的逻辑方法 21 理论计算机科学 15 MSCS公司。计算机科学中的数学结构 14 信息与计算 7 范畴的理论与应用 7 程序设计中的逻辑和代数方法杂志 4 纯粹与应用代数杂志 4 应用的分类结构 4 RAIRO公司。理论信息学及其应用 三 代数通讯 三 ACM计算逻辑事务 2 计算机与系统科学杂志 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 2 函数编程杂志 1 信息学报 1 以色列数学杂志 1 数学进展 1 代数普遍性 1 卡罗莱纳大学数学评论 1 圣母院形式逻辑杂志 1 拓扑及其应用 1 国际近似推理杂志 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 软计算 1 高阶和符号计算 1 逻辑程序设计理论与实践 全部的 前5名22个领域被引用 187 计算机科学（68至XX） 129 范畴理论；同调代数（18-XX） 64 数学逻辑和基础（03-XX） 23 一般代数系统（08-XX） 7 群论与推广（20-XX） 6 有序，格，有序代数结构（06-XX） 6 结合环与代数（16-XX） 5 概率论与随机过程（60-XX） 4 一般拓扑结构（54至XX） 三 测量和集成（28-XX） 三 量子理论（81-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 功能分析（46倍X倍） 1 凸和离散几何（52-XX） 1 代数拓扑（55-XX） 1 流形和细胞复合体（57至XX） 1 整体分析，流形分析（58至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文