迪米特里·亨德里克斯
人员信息
SPARQL查询
优化列表
2020年–今天
2020 [公元15年] 米希尔·佩齐杰 , 丹尼·奥古斯丁 , 迪米特里·亨德里克斯 , 苏珊娜·杰奎琳·玛丽·海琳·胡舍尔 :
应用传递函数-噪声模型表征土壤水分动态:一种使用遥感数据的数据驱动方法。 环境。 模型。 柔和。 131 : 104756 ( 2020 )
2010 – 2019
2018 [公元14年] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共导基础。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) 2017 [j13] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 782-806 ( 2017 ) [i16] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共性基础。 CoRR公司 abs/1706.00677 ( 2017 ) 【i15】 简·A·伯格斯特拉 , 英格·贝斯克 , 迪米特里·亨德里克斯 :
分割草甸中单变量混合分数的普遍性。 CoRR公司 abs/1707.00499 ( 2017 ) 2015 [第18条] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 汉斯·赞特马 :
平方度是一个原子。 话 2015 : 109-121 [第17条] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
保持规则但不反映编码。 低收入国家 2015 : 535-546 [第16条] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的共性框架。 RTA公司 2015 : 143-159 [第14条] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
保持规则但不反映编码。 CoRR公司 abs/1501.04835 ( 2015 ) [i13] 约格·恩德鲁利斯 , Helle Hvid Hansen公司 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的协同框架(扩展版)。 CoRR公司 abs/1505.01128 ( 2015 ) [i12] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 汉斯·赞特马 :
平方度是一个原子(扩展版)。 CoRR公司 abs/1506.00884 ( 2015 ) 2014 [公元12年] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
弱正交系统的无穷项重写:性质和反例。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [公元11年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
使用计时贝姆树识别Lambda-Terms。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [公元10年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 , 格里戈·罗苏 :
关于流相等的复杂性。 J.功能。 程序。 24 ( 2-3 ) : 166-217 ( 2014 ) [第15条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
关于周期迭代态射。 CSL-LICS公司 2014 : 39:1-39:10 [i11] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时兰姆达微积分简介。 CoRR公司 abs/1405.7500 ( 2014 ) 2013 [公元9年] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
溪流永存。 牛。 EATCS公司 109 : 70-106 ( 2013 ) [第14条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
功能程序的时钟。 功能代码之美 2013 : 97-126 [第13条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 摄影 :
Coq中使用双向模拟向上技术的圆形复制。 ITP公司 2013 : 354-369 [c12] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
混合自动序列。 拉丁美洲旅游协会 2013 : 262-274 [i10] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写的共性处理。 CoRR公司 abs/1306.6224 ( 2013 ) 2012 [j8] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
无限重写和lambda演算的亮点。 西奥。 计算。 科学。 464 : 48-71 ( 2012 ) [第11条] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 :
关于无限对象规范等价的复杂性。 ICFP公司 2012 : 153-164 [第10条] 克莱门斯抓斗手 , 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 劳伦斯·莫斯 :
自动序列和邮政编码规范。 低收入国家 2012 : 335-344 [第九章] 克莱门斯抓斗手 , 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 劳伦斯·莫斯 :
自动序列和邮政编码规范。 CoRR公司 abs/1201.3251 ( 2012 ) [i8] 迪米特里·亨德里克斯 , 弗里茨·丹纳伯格 , 约格·恩德鲁利斯 , 马克·道 , 简·威廉·克洛普 :
无限序列的算术自相似性。 CoRR公司 abs/1201.3786 ( 2012 ) [i7] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 雷娜·巴赫西 :
关于无限对象规范等价的复杂性。 CoRR公司 abs/1207.0158 ( 2012 ) [i6] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
关于周期性重复的形态。 CoRR公司 abs/1207.2336 ( 2012 ) 2011 [j7] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
水流度数。 整数 11亿 : A6级 ( 2011 ) [j6] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
通过终止提高生产率。 西奥。 计算。 科学。 412 ( 28 ) : 3203-3225 ( 2011 ) 2010 [j5] 约尔格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
将外部转换为上下文敏感的重写。 日志。 方法计算。 科学。 6 ( 2 ) ( 2010 ) 【j4】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 阿里亚·Isihara , 简·威廉·克洛普 :
流定义的生产力。 西奥。 计算。 科学。 411 ( 4-5 ) : 765-782 ( 2010 ) 【c9】 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
不动点合路器和时钟博姆树的模块化构造。 低收入国家 2010 : 111-119 【c8】 约尔格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
无限弱正交重写中的唯一正规形式。 RTA公司 2010 : 85-102 [i5] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
不动点组合器和时钟贝姆树的模块化构造。 CoRR公司 abs/1002.2578 ( 2010 )
2000 – 2009
2009 【c7】 约格·恩德鲁利斯 , 克莱门斯·格拉布迈尔 , 迪米特里·亨德里克斯 :
分形的复杂性和生产力。 CADE公司 2009 : 371-387 【c6】 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 :
从最外层到上下文敏感重写。 RTA公司 2009 : 305-319 [i4] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
压裂的复杂性和生产率。 CoRR公司 abs/0903.4366 ( 2009 ) [i3] 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
让我们与众不同! CoRR公司 abs/0911.1004 ( 2009 ) [i2] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 :
无穷弱正交项重写中的唯一正规形式。 CoRR公司 abs/0911.1009 ( 2009 ) 2008 [j3] 马克·贝泽姆 , 迪米特里·亨德里克斯 :
论相干逻辑中海森堡定理证明的机械化。 J.汽车。 原因。 40 ( 1 ) : 61-85 ( 2008 ) 【c5】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
数据流生产力。 LPAR公司 2008 : 79-96 【c4】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
证明无限正规化。 类型 2008 : 64-82 [i1] 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 :
数据流生产力。 CoRR公司 abs/0806.2680 ( 2008 ) 2007 【c3】 约格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 阿里亚·Isihara , 简·威廉·克洛普 :
流定义的生产率。 FCT公司 2007 : 274-287 2003 【c2】 迪米特里·亨德里克斯 , 文森特·范·奥斯特罗姆 :
阿德马勒。 CADE公司 2003 : 136-150 2002 [注2] 马克·贝泽姆 , 迪米特里·亨德里克斯 , 汉斯·德尼维尔 :
使用解析的类型理论中的自动证明构造。 J.汽车。 原因。 29 ( 3-4 ) : 253-275 ( 2002 ) [j1] 迪米特里·亨德里克斯 :
Coq中的证明反射。 J.汽车。 原因。 29 ( 3-4 ) : 277-307 ( 2002 ) 2000 【c1】 马克·贝泽姆 , 迪米特里·亨德里克斯 , 汉斯·德尼维尔 :
使用解析的类型理论中的自动证明构造。 CADE公司 2000 : 148-163