编辑配置文件(在新选项卡中打开) 朱里安·罗特 合著者距离 作者ID: 罗马尼亚人 发布日期: 朱里安·罗特 已编制索引的文档: 55出版物自2012年起,包括1个附加arXiv预打印 3作为编辑的贡献 合著者: 50位合著者具有55联合出版物 795位合作作者 全部的 前5名合著者 三 单作者的 17 马塞洛·玛丽亚·邦桑格 10 亚历山德拉·席尔瓦 9 Damien Pous 7 德波尔(Frank S。 7 托比亚斯·卡佩 5 菲利波·邦奇 5 库普克,克莱门斯 5 简·J·M·M·鲁顿。 5 工资制造者,贾纳 4 Daniela Luan Petrisan 4 格科·范·海尔特 三 斯蒂恩·德古乌 三 约书亚·莫尔曼 2 艾琳娜·莫瑞卡 2 保罗·布鲁内特 2 Helle Hvid Hansen先生 2 巴特·雅各布斯 2 巴托克·克林 2 亚历山大·库兹 2 保罗·布莱恩·利维 2 多雷尔·卢卡努 2 斯特凡·米利厄斯 2 马蒂奥·桑马蒂诺 2 鲁本·图尔肯堡 2 戴维·文霍克 1 大卫·安科纳 1 西蒙·巴洛克 1 海宁·巴索尔德 1 理查德·布贝尔 1 奥尔内拉·达达 1 西蒙·多尔蒂 1 里克·埃尔肯斯 1 内特·福斯特 1 亚历山大·戈伊 1 雷纳·哈内尔 1 塞巴斯蒂安·荣格斯 1 Katsumata、Shin ya 1 Kori、Mayuko 1 德克斯特·C·科赞。 1 李,马蒂亚斯·戴维 1 巴斯·卢提克 1 罗伯特·S·R·迈尔斯。 1 路易斯·帕兰特 1 佩雷斯(Jorge A.Pérez)。 1 朱利安·萨拉曼卡 1 埃兹拉·肖恩 1 多米尼克·施泰因霍费尔 1 川崎渡边 1 巴斯·韦斯特班 1 法比奥·扎纳西 全部的 前5名系列 4 计算机科学中的逻辑方法 2 信息学报 2 自动推理杂志 2 理论计算机科学电子论文集(EPTCS) 1 理论计算机科学 1 信息与计算 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 55 计算机科学(68至XX) 15 范畴理论;同调代数(18-XX) 11 数学逻辑和基础(03-XX) 三 一般性和全局性主题;集合(00-XX) 2 有序,格,有序代数结构(06-XX) 2 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用164次98文件 引用人▼ 年份▼ 在一个不合理的环境中,共同生产。 Zbl 1395.68195号 菲利波·邦奇;佩特里西安,丹妮拉;Damien Pous;朱里安·罗特 22 2014 Coalgebraic互模拟。 Zbl 1303.68088号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 关于造币的概述。 Zbl 1371.68186号 菲利波·邦奇;佩特里西安,丹妮拉;Damien Pous;朱里安·罗特 16 2017 Coalgebraic通过健忘逻辑跟踪语义。 Zbl 1459.68114号 巴托克·克林;朱里安·罗特 10 2015 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特;菲律宾邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山德拉·席尔瓦 10 2015 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;库普克,克莱门斯;朱里安·罗特 9 2019 呈现分配规律。 Zbl 1394.68238号 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 8 2013 同伴、共同性和因果关系。 Zbl 1442.68149号 Damien Pous;朱里安·罗特 6 2017 校样珍珠:KeY要正确、稳定地分类。 Zbl 1314.68277号 斯蒂恩·德古乌;弗兰克·德波尔;朱里安·罗特 5 2014 Coalgebraic通过健忘逻辑跟踪语义。 Zbl 1445.68129号 巴托克·克林;朱里安·罗特 5 2016 验证OpenJDK的泛型集合排序方法。 Zbl 1468.68125号 斯蒂恩·德古乌;德波尔(Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 4 2019 呈现分配规律。 兹比尔1448.68324 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 4 2015 弱互模拟的松弛双代数和up-to技术。 Zbl 1371.68187号 菲利波·邦奇;丹尼尔·彼得里桑;Damien Pous;朱里安·罗特 4 2015 可访问函子的单体公司。 Zbl 1436.18014号 海宁·巴索尔德;Damien Pous;朱里安·罗特 4 2017 语言对等的共创性证明技术。 Zbl 1333.68173号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 在主理想域上学习加权自动机。 兹比尔1461.68093 格科·范·海尔特;库普克,克莱门斯;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 步骤和轨迹。 Zbl 1509.18002号 巴特·雅各布斯;保罗·利维;朱里安·罗特 三 2018 双代数语义的结构同余。 Zbl 1353.68173号 朱里安·罗特;马塞洛·邦桑格 2 2016 合理的运营模型。 Zbl 1334.68137号 斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·S·R·迈尔斯。;朱里安·罗特 2 2013 通过初值和终值实现自动机的协代数最小化。 Zbl 1401.68217号 朱里安·罗特 2 2016 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;朱里安·罗特 2 2012 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 共导谓词的表达逻辑。 Zbl 07650839号 库普克,克莱门斯;朱里安·罗特 2 2020 学习pomset自动机。 Zbl 1516.68049号 格科·范·海尔特;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 2 2021 分支双相似性的最新技术。 Zbl 1440.68176号 瑞克·埃尔肯斯;朱里安·罗特;巴斯·卢提克 2 2020 共导谓词的表达逻辑。 Zbl 07471679号 库普克,克莱门斯;朱里安·罗特 2 2021 同伴、因果关系和共感。 Zbl 1442.68150号 Damien Pous;朱里安·罗特 1 2019 有序标称集的快速计算。 Zbl 1518.68193号 大卫·文霍克;约书亚·莫尔曼;朱里安·罗特 1 2018 存在递归时通过堆进行交互。 Zbl 1433.68218号 朱里安·罗特;艾琳娜·莫瑞卡;弗兰克·德波尔;马塞洛·M·邦桑格。;多雷尔·卢卡努 1 2012 作为代数的树自动机:最小化和确定性。 Zbl 1516.68052号 格科·范·海尔特;托比亚斯·卡佩;朱里安·罗特;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 1 2019 带观察的克莱恩代数。 Zbl 07649949号 托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山德拉·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 1 2019 关于带假设的Kleene代数完备性工具。 Zbl 07670530号 Damien Pous;朱里安·罗特;工资制造者,贾纳 1 2021 步骤和轨迹。 Zbl 1509.18003号 朱里安·罗特;巴特·雅各布斯;保罗·布莱恩·利维 1 2021 通过反变附加的方程和系数的对偶性。 Zbl 1475.18005号 朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特 1 2016 单调规范的分布律。 Zbl 1483.68182号 朱里安·罗特 1 2017 结合双代数语义和方程。 Zbl 1407.68274号 朱里安·罗特;马塞洛·邦桑格 1 2014 部分可观测并发Kleene代数。 Zbl 07559476号 工资制造者,贾纳;保罗·布鲁内特;西蒙·多尔蒂;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 1 2020 学习pomset自动机。 Zbl 1516.68049号 格科·范·海尔特;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 2 2021 共导谓词的表达逻辑。 Zbl 07471679号 库普克,克莱门斯;朱里安·罗特 2 2021 关于具有假设的Kleene代数的完备性的工具。 兹伯利07670530 Damien Pous;朱里安·罗特;工资制造者,贾纳 1 2021 步骤和轨迹。 Zbl 1509.18003号 朱里安·罗特;巴特·雅各布斯;保罗·布莱恩·利维 1 2021 在主理想域上学习加权自动机。 Zbl 1461.68093号 格科·范·海尔特;库普克,克莱门斯;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 共导谓词的表达逻辑。 Zbl 07650839号 库普克,克莱门斯;朱里安·罗特 2 2020 分支双相似性的最新技术。 Zbl 1440.68176号 里克·埃尔肯斯;朱里安·罗特;巴斯·卢提克 2 2020 部分可观测并发Kleene代数。 Zbl 07559476号 工资制造者,贾纳;保罗·布鲁内特;西蒙·多尔蒂;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 1 2020 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;库普克,克莱门斯;朱里安·罗特 9 2019 验证OpenJDK的泛型集合排序方法。 Zbl 1468.68125号 斯蒂恩·德古乌;德波尔(Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 4 2019 同伴、因果关系和共感。 Zbl 1442.68150号 Damien Pous;朱里安·罗特 1 2019 作为代数的树自动机:最小化和确定性。 兹比尔1516.68052 格科·范·海尔特;托比亚斯·卡佩;朱里安·罗特;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 1 2019 带观察的克莱恩代数。 Zbl 07649949号 托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山德拉·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 1 2019 步骤和轨迹。 Zbl 1509.18002号 巴特·雅各布斯;保罗·利维;朱里安·罗特 三 2018 有序标称集的快速计算。 Zbl 1518.68193号 戴维·文霍克;约书亚·莫尔曼;朱里安·罗特 1 2018 关于造币的概述。 Zbl 1371.68186号 菲利波·邦奇;佩特里西安,丹妮拉;Damien Pous;朱里安·罗特 16 2017 同伴、共同性和因果关系。 Zbl 1442.68149号 Damien Pous;朱里安·罗特 6 2017 可访问函子的单体公司。 Zbl 1436.18014号 海宁·巴索尔德;Damien Pous;朱里安·罗特 4 2017 单调规范的分布律。 Zbl 1483.68182号 朱里安·罗特 1 2017 Coalgebraic通过健忘逻辑跟踪语义。 Zbl 1445.68129号 巴托克·克林;朱里安·罗特 5 2016 双代数语义的结构同余。 Zbl 1353.68173号 朱里安·罗特;马塞洛·邦桑格 2 2016 通过初值和终值实现自动机的协代数最小化。 Zbl 1401.68217号 朱里安·罗特 2 2016 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 通过反变附加的方程和系数的对偶性。 Zbl 1475.18005号 朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特 1 2016 Coalgebraic通过健忘逻辑跟踪语义。 Zbl 1459.68114号 巴托克·克林;朱里安·罗特 10 2015 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山德拉·席尔瓦 10 2015 呈现分配规律。 兹比尔1448.68324 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 4 2015 弱互模拟的松弛双代数和up-to技术。 兹比尔1371.68187 菲利波·邦奇;丹尼尔·彼得里桑;Damien Pous;朱里安·罗特 4 2015 在一个无稽之谈的背景下,不断地模仿。 Zbl 1395.68195号 菲利波·邦奇;佩特里西安,丹妮拉;Damien Pous;朱里安·罗特 22 2014 校样珍珠:KeY要正确、稳定地分类。 Zbl 1314.68277号 斯蒂恩·德古乌;弗兰克·德波尔;朱里安·罗特 5 2014 结合双代数语义和方程。 Zbl 1407.68274号 朱里安·罗特;马塞洛·邦桑格 1 2014 Coalgebraic互模拟。 Zbl 1303.68088号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 呈现分配规律。 Zbl 1394.68238号 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 8 2013 语言对等的共创性证明技术。 Zbl 1333.68173号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 合理的运营模型。 Zbl 1334.68137号 斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·S·R·迈尔斯。;朱里安·罗特 2 2013 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;朱里安·罗特 2 2012 存在递归时通过堆进行交互。 Zbl 1433.68218号 朱里安·罗特;艾琳娜·莫瑞卡;弗兰克·德波尔;马塞洛·M·邦桑格。;多雷尔·卢卡努 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名132位作者引用 25 朱里安·罗特 15 菲利波·邦奇 13 亚历山德拉·席尔瓦 8 斯特凡·米利厄斯 8 Damien Pous 7 马塞洛·玛丽亚·邦桑格 7 托比亚斯·卡佩 7 法比奥·扎纳西 6 简·J·M·M·鲁顿。 6 戴维·桑吉奥吉 5 巴巴拉·科尼格 5 托尔斯滕·维曼 4 库普克,克莱门斯 4 巴斯·卢提克 三 保罗·布鲁内特 三 德波尔(Frank S。 三 斯蒂恩·德古乌 三 丹尼尔·赫施科夫 三 塞巴斯蒂安·库珀 三 Daniela Luan Petrisan 三 巴布亚州索波辛斯基 三 安娜·索科洛娃 三 格科·范·海尔特 三 工资制造者,贾纳 2 海宁·巴索尔德 2 卞金亭 2 阿德里安·杜里埃 2 Helle Hvid Hansen先生 2 一郎·哈索 2 Hiep,Hans-Dieter A。 2 巴特·雅各布斯 2 巴托克·克林 2 保罗·布莱恩·利维 2 德克·帕丁森 2 罗宾·皮埃德鲁 2 朱利安·萨拉曼卡 2 马蒂奥·桑马蒂诺 2 阿莱西奥·桑塔马利亚 2 卢茨施罗德 2 戴维·斯普伦格 2 鲁本·图尔肯堡 2 瓦莱里亚·维格努德利 2 温特,乔斯特 1 安布罗斯,拉丰 1 Krzysztof Rafal公寓 1 尼古拉·奥格 1 哈什·贝哈尔 1 Dariusz Biernacki 1 贝尔科娃,玛尔塔 1 贾斯敏·克里斯蒂安·布兰切特 1 艾默里·布齐 1 内森·鲍勒 1 托马斯·布伦戈斯 1 萨宾·布罗达 1 理查德·布贝尔 1 乔治亚娜·卡尔泰斯 1 西尔维亚卡瓦达斯 1 肯塔·乔 1 Ciancia,文森佐 1 科恩、利隆 1 弗朗西斯科·达尼诺 1 洛丽斯·达安东尼 1 乌尔里希·多尔希 1 马特·多斯塔尔 1 杰雷米·杜布特 1 瑞克·埃尔肯斯 1 阿兰·芬克尔 1 达纳·菲斯曼 1 内特·福斯特 1 弗洛里安·弗兰克 1 高,南 1 亚历山大·戈伊 1 谢尔盖·哈达德 1 雷纳·哈内尔 1 花冈、果一郎 1 汤姆·赫肖维茨 1 文森特·朱格 1 Toshiki Kataoka 1 Katsumata、Shin ya 1 伊戈尔·赫梅尔尼茨基 1 扎卡里·金凯德 1 福崎北川 1 德克斯特·C·科赞。 1 朱利安·库尔斯哈默 1 亚历山大·库兹 1 桑德雷·科瓦姆 1 Leino,K.Rustan M。 1 塞尔盖·伦格利特 1 安德烈亚斯·洛赫比勒 1 帕基·卢西奥 1 Jean-Marie,马迪奥 1 肯·马德勒 1 丹·马斯登 1 高弘松田 1 米卡·迈克尔斯基,克里斯蒂娜 1 Mio、Matteo 1 约书亚·莫尔曼 1 内尔玛·莫雷拉 1 J.Ian Munro 1 罗伯特·S·R·迈尔斯。 …还有32位作者 全部的 前5名14篇连载文章中引用 16 计算机科学中的逻辑方法 5 MSCS公司。计算机科学中的数学结构 4 信息与计算 4 程序设计中的逻辑和代数方法杂志 2 信息学报 2 理论计算机科学 2 计算的形式方面 2 ACM计算逻辑事务 1 卡罗莱纳大学数学评论 1 计算机与系统科学杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 软计算 1 当代数学传播 全部的 前5名在8个字段中引用 90 计算机科学(68至XX) 26 范畴理论;同调代数(18-XX) 23 数学逻辑和基础(03-XX) 1 有序,格,有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 结合环与代数(16-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文