约格·恩德鲁利斯
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [公元41年] 阿洛伊斯·罗塞特 , Maaike Zwart公司 , Helle Hvid Hansen公司 , 约格·恩德鲁利斯 :
复合理论与分配规律的对应。 CMCS公司 2024 : 194-215 [公元40年] 约格·恩德鲁利斯 , 罗伊·奥弗贝克 :
图变换系统终止的广义加权型图。 国际燃气轮机 2024 : 39-58 [i34] 阿洛伊斯·罗塞特 , Maaike Zwart公司 , Helle Hvid Hansen公司 , 约格·恩德鲁利斯 :
复合理论和分配规律之间的对应。 CoRR公司 abs/2404.00581 ( 2024 ) [i33] 阿洛伊斯·罗塞特 , Helle Hvid Hansen公司 , 约格·恩德鲁利斯 :
单集、双色图和模糊集上Lawvere-Tierney拓扑的特征。 CoRR公司 abs/2407.04535 ( 2024 ) 2023 [公元23年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 , 阿洛伊斯·罗塞特 :
用PBPO重写和重新标记图形 + :拟拓扑的统一理论。 J.日志。 代数方法课程。 133 : 100873 ( 2023 ) [公元39年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
使用加权子图计数终止图变换系统。 国际燃气轮机 2023 : 81-101 [公元38年] 阿洛伊斯·罗塞特 , 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
模糊预升是拟拓扑。 国际燃气轮机 2023 : 102-122 [i32] 阿洛伊斯·罗塞特 , 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
模糊预升是图重写中的拟拓扑和结果。 CoRR公司 abs/2301.13067 ( 2023 ) [i31] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
使用加权子图计数终止图变换系统。 CoRR公司 abs/2303.07812 ( 2023 ) [i30] 约格·恩德鲁利斯 , 罗伊·奥弗贝克 :
图变换系统终止的广义加权型图。 CoRR公司 abs/2307.07601 ( 2023 ) 2022 [公元37年] 阿洛伊斯·罗塞特 , Helle Hvid Hansen公司 , 约格·恩德鲁利斯 :
半自由Monad的代数表示。 CMCS公司 2022 : 110-132 [公元36年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
PBPO+图形重写教程。 FSCD术语表 2022 : 45-63 [i29] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 , 阿洛伊斯·罗塞特 :
用PBPO+重写和重新标记图形:拟拓扑的统一理论。 CoRR公司 abs/2203.01032 ( 2022 ) [第28条] 阿洛伊斯·罗塞特 , Helle Hvid Hansen公司 , 约格·恩德鲁利斯 :
半自由单数的代数表示。 CoRR公司 abs/2205.05392 ( 2022 ) 2021 [公元22年] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
明星游戏和九头蛇。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [公元35年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 , 阿洛伊斯·罗塞特 :
用PBPO重写和重新标记图形 + . 国际燃气轮机 2021 : 60-80 [公元34年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
从线性项重写到保留终止的图形重写。 GCM@STAF公司 2021 : 19-34 2020 [公元21年] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 雷娜·巴赫西 :
换能器等级:原子、中阴和至上。 信息学报 57 ( 3-5 ) : 727-758 ( 2020 ) [公元20年] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
汇流和换流的减少图。 日志。 方法计算。 科学。 16 ( 1 ) ( 2020 ) [公元33年] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
补丁图重写。 国际燃气轮机 2020 : 128-145 [i27] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
明星游戏和九头蛇。 CoRR公司 abs/2001.08478 ( 2020 ) [i26] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
补丁图重写。 CoRR公司 abs/2003.06488 ( 2020 ) [i25] 罗伊·奥弗贝克 , 约格·恩德鲁利斯 :
使用PBPO+进行图形重写和重新标记(扩展版)。 CoRR公司 2010年8月23日 ( 2020 )
2010 – 2019
2019 [j19] 约格·恩德鲁利斯 , 劳伦斯·莫斯 :
带有“Most”的三段论逻辑。 数学。 结构。 计算。 科学。 29 ( 6 ) : 763-782 ( 2019 ) [公元18年] 约格·恩德鲁利斯 , 简·威廉·克洛普 :
通过术语重写编织。 西奥。 计算。 科学。 777 : 260-295 ( 2019 ) [公元32年] 约格·恩德鲁利斯 , 简·威廉·克洛普 :
中国单倍体的融合。 计算系统建模的艺术 2019 : 206-220 【i24】 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
汇流和换流的减少图。 CoRR公司 abs/1901.10773 ( 2019 ) 2018 [公元17年] 约格·恩德鲁利斯 , 朱哈尼·卡胡马基 , 简·威廉·克洛普 , 阿列克西·萨雷拉 :
无限词、多项式和原子的度数。 Int.J.找到。 计算。 科学。 29 ( 5 ) : 825-843 ( 2018 ) [公元16年] 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共性基础。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [公元31年] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
对于可数系统的汇流,具有两个标签的递减图是完备的。 金融稳定与发展部 2018 : 14:1-14:15 [第23条] 约格·恩德鲁利斯 , 朱哈尼·卡胡马基 , 简·威廉·克洛普 , 阿列克西·萨雷拉 :
无限词、多项式和原子的度数(扩展版)。 CoRR公司 abs/1803.03158 ( 2018 ) 2017 [公元15年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 782-806 ( 2017 ) [公元30年] 约格·恩德鲁利斯 , 杰弗里·沙利特 , 施敏夫 :
不确定性与有限自动机。 分布式账本技术 2017 : 160-172 [i22] 约格·恩德鲁利斯 , 杰弗里·沙利特 , 施敏夫 :
不确定性与有限自动机。 CoRR公司 腹肌/1702.19394 ( 2017 ) 【i21】 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共性基础。 CoRR公司 abs/1706.00677 ( 2017 ) 2016 [公元29年] 约格·恩德鲁利斯 , 朱哈尼·卡胡马基 , 简·威廉·克洛普 , 阿列克西·萨雷拉 :
无限词、多项式和原子的度数。 分布式账本技术 2016 : 164-176 2015 [公元28年] 约格·恩德鲁利斯 , 简·威廉·克洛普 , 阿列克西·萨雷拉 , 马库斯·怀特兰 :
可转换程度。 话 2015 : 1-13 [公元27年] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 汉斯·赞特马 :
平方度是一个原子。 话 2015 : 109-121 [公元26年] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
保持规则但不反映编码。 低收入国家 2015 : 535-546 [公元25年] 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的共性框架。 区域贸易协定 2015 : 143-159 [公元24年] 约格·恩德鲁利斯 , 汉斯·赞特马 :
用有限自动机证明非终结性。 区域贸易协定 2015 : 160-176 【c23】 约格·恩德鲁利斯 , 劳伦斯·莫斯 :
具有“大多数”的三段论逻辑。 沃尔利克 2015 : 124-139 [i20] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
保持规则但不反映编码。 CoRR公司 abs/1501.04835 ( 2015 ) [i19] 约格·恩德鲁利斯 , 汉斯·赞特马 :
用有限自动机证明循环和非循环非终结性。 CoRR公司 abs/1505.00478 ( 2015 ) [i18] 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的协同框架(扩展版)。 CoRR公司 abs/1505.01128 ( 2015 ) [i17] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 汉斯·赞特马 :
平方度是一个原子(扩展版)。 CoRR公司 abs/1506.00884 ( 2015 ) 2014 [公元14年] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
弱正交系统的无穷项重写:性质和反例。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [j13] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
使用计时贝姆树识别Lambda-Terms。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [公元12年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 , 格里戈·罗苏 :
关于流相等的复杂性。 J.功能。 程序。 24 ( 2-3 ) : 166-217 ( 2014 ) [公元22年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
关于周期迭代态射。 CSL-LICS公司 2014 : 39:1-39:10 【c21】 大卫·斯普伦格 , 威廉·特恩 , 约格·恩德鲁利斯 , 劳伦斯·莫斯 :
形态序列的特征值和转导。 语言理论的发展 2014 : 239-251 [i16] 约格·恩德鲁利斯 , 汉斯·赞特马 :
使用正则语言的非终止。 CoRR公司 abs/1405.5662 ( 2014 ) 【i15】 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时兰姆达微积分简介。 CoRR公司 abs/1405.7500 ( 2014 ) [第14条] 大卫·斯普伦格 , 威廉·图恩 , 约格·恩德鲁利斯 , 劳伦斯·莫斯 :
形态序列的特征值和转导:扩展版。 CoRR公司 abs/1406.1754 ( 2014 ) 2013 [公元11年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
溪流永存。 牛市。 EATCS公司 109 : 70-106 ( 2013 ) [公元20年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
功能程序的时钟。 功能代码之美 2013 : 97-126 [第19条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 摄影 :
Coq中使用双向模拟向上技术的圆形复制。 ITP公司 2013 : 354-369 [第18条] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
混合自动序列。 拉丁美洲旅游协会 2013 : 262-274 [i13] 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写的共性处理。 CoRR公司 abs/1306.6224 ( 2013 ) 2012 [公元10年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
无限重写和lambda演算的亮点。 西奥。 计算。 科学。 464 : 48-71 ( 2012 ) [第17条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 :
关于无限对象规范等价的复杂性。 ICFP公司 2012 : 153-164 [第16条] 克莱门斯抓斗手 , 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 劳伦斯·莫斯 :
自动序列和邮政编码规范。 低收入国家 2012 : 335-344 [i12] 克莱门斯抓斗手 , 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 劳伦斯·莫斯 :
自动序列和邮政编码规范。 CoRR公司 abs/1201.3251 ( 2012 ) [i11] 迪米特里·亨德里克斯 , 弗里茨·丹纳伯格 , 约格·恩德鲁利斯 , 马克·道 , 简·威廉·克洛普 :
无限序列的算术自相似性。 CoRR公司 abs/1201.3786 ( 2012 ) [i10] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 :
关于无限对象规范等价的复杂性。 CoRR公司 abs/1207.0158 ( 2012 ) [第九章] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
关于周期性重复的形态。 CoRR公司 abs/1207.2336 ( 2012 ) 2011 [公元9年] 约格·恩德鲁利斯 , 赫尔曼·杰弗斯 , 雅各布·格鲁·西蒙森 , 汉斯·赞特马 :
重写中的不确定性级别。 Inf.计算。 209 ( 2 ) : 227-245 ( 2011 ) [j8] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
水流度数。 整数 11亿 : A6级 ( 2011 ) [j7] 雷娜·巴赫西 , 约格·恩德鲁利斯 , 万·J·福克金 , 彭军(Jun Pang) :
具有有限预期延迟的匿名环中的快速领导者选举。 信息处理。 莱特。 111 ( 17 ) : 864-870 ( 2011 ) [j6] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
在相等的μ项上。 西奥。 计算。 科学。 412 ( 28 ) : 3175-3202 ( 2011 ) [j5] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
通过终止提高生产率。 西奥。 计算。 科学。 412 ( 28 ) : 3203-3225 ( 2011 ) [第15条] 汉斯·赞特马 , 约格·恩德鲁利斯 :
自动证明流的相等性。 区域贸易协定 2011 : 393-408 [第14条] 约格·恩德鲁利斯 , 安德鲁·波伦斯基 :
无限重写。 类型 2011 : 16-27 2010 【j4】 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
将外部转换为上下文敏感的重写。 日志。 方法计算。 科学。 6 ( 2 ) ( 2010 ) [j3] 约格·恩德鲁利斯 , 罗埃尔·C·德·弗里耶 , 约翰内斯·沃尔德曼 :
本地终止:理论与实践。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 ) [注2] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 阿里亚·Isihara , 简·威廉·克洛普 :
流定义的生产力。 西奥。 计算。 科学。 411 ( 4-5 ) : 765-782 ( 2010 ) [第13条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
不动点合路器和时钟博姆树的模块化构造。 低收入国家 2010 : 111-119 [第12条] 雷娜·巴赫西 , 约格·恩德鲁利斯 , 万·J·福克金 , 彭军(Jun Pang) :
简要声明:异步有界预期延迟网络。 PODC公司 2010 : 392-393 [第11条] 雷娜·巴赫西 , 约格·恩德鲁利斯 , 斯特凡·恩德鲁利斯 , 万·J·福克金 , Boudewijn R.Haverkort公司 :
大型动态流言网络的平均场方法自动化。 QEST公司 2010 : 241-250 [第10条] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
无限弱正交重写中的唯一正规形式。 区域贸易协定 2010 : 85-102 [i8] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
不动点组合器和时钟贝姆树的模块化构造。 CoRR公司 abs/1002.2578 ( 2010 ) [i7] 约格·恩德鲁利斯 :
无限重写中的不确定性水平:规范化和可达性。 CoRR公司 abs/1003.1057 ( 2010 ) [i6] 雷娜·巴赫西 , 约格·恩德鲁利斯 , 万·J·福克金 , 彭军(Jun Pang) :
异步有界预期延迟网络。 CoRR公司 abs/1003.2084 ( 2010 )
2000 – 2009
2009 【c9】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
分形的复杂性和生产力。 CADE公司 2009 : 371-387 【c8】 约格·恩德鲁利斯 , 赫尔曼·杰弗斯 , 汉斯·赞特马 :
术语重写中的不确定度。 CSL公司 2009 : 255-270 【c7】 约格·恩德鲁利斯 , 罗埃尔·C·德·弗里耶 , 约翰内斯·沃尔德曼 :
本地终止。 区域贸易协定 2009 : 270-284 【c6】 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
从最外层到上下文敏感重写。 区域贸易协定 2009 : 305-319 [i5] 约格·恩德鲁利斯 , 赫尔曼·杰弗斯 , 汉斯·赞特马 :
重写中的不确定度。 CoRR公司 abs/0902.4723 ( 2009 ) [i4] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
分形的复杂性和生产力。 CoRR公司 abs/0903.4366 ( 2009 ) [i3] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
让我们与众不同! CoRR公司 abs/0911.1004 ( 2009 ) [i2] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
无穷弱正交项重写中的唯一正规形式。 CoRR公司 abs/0911.1009 ( 2009 ) 2008 [j1] 约格·恩德鲁利斯 , 约翰内斯·沃尔德曼 , 汉斯·赞特马 :
证明术语重写终止的矩阵解释。 J.汽车。 原因。 40 ( 2-3 ) : 195-220 ( 2008 ) [c5] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
数据流生产力。 LPAR公司 2008 : 79-96 【c4】 约格·恩德鲁利斯 , 罗埃尔·C·德·弗里耶 :
替代减少额。 区域贸易协定 2008 : 425-440 【c3】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
证明无限正规化。 类型 2008 : 64-82 [i1] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
数据流生产力。 CoRR公司 abs/0806.2680 ( 2008 ) 2007 【c2】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 阿里亚·Isihara , 简·威廉·克洛普 :
流定义的生产率。 FCT公司 2007 : 274-287 2006 【c1】 约格·恩德鲁利斯 , 约翰内斯·沃尔德曼 , 汉斯·赞特马 :
证明术语重写终止的矩阵解释。 IJCAR公司 2006 : 574-588