丹尼尔·赫希科夫
人员信息
优化列表
2020年-今天
2023 [公元34年] 丹尼尔·赫希科夫 , 吉尔亨·贾贝尔 , Enguerrand预赛 :
决定具有有效上下文的Γ-微积分的上下文等价性。 FoSSaCS公司 2023 : 24-45 [公元33年] 丹尼尔·赫希科夫 , Enguerrand预赛 :
使用Pi-Calculus名称作为锁。 快递/SOS 2023 : 76-96 2022 [公元15年] 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
渴望作为过程发挥作用。 西奥。 计算。 科学。 913 : 8-42 ( 2022 ) [第九章] 阿德里安·杜里埃 , 丹尼尔·赫施科夫 , 戴维德·桑吉奥吉 :
Eager作为进程运行(长版本)。 CoRR公司 abs/2202.03187 ( 2022 ) 2021 [公元32年] 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于π-演算中的序列性和包围性。 许可证 2021 : 1月13日 [i8] 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于π-演算中的序列性和包围性。 CoRR公司 abs/2104.10942 ( 2021 ) [i7] 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
渴望作为过程发挥作用。 CoRR公司 abs/2112.02863 ( 2021 ) 2020 [公元14年] 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
关于高阶过程的“最新”推理。 西奥。 计算。 科学。 807 : 154-168 ( 2020 ) [公元31年] 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于Pi-Calculus中参考文献的表示。 CONCUR公司 2020 : 34:1-34:20
2010 – 2019
2019 [j13] 阿德里安·杜里埃 , 丹尼尔·赫施科夫 , 戴维德·桑吉奥吉 :
方程的发散性和唯一解。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) [公元30年] 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
在Pi-Calculus中建模强制结构。 信息通信与通信系统 2019 : 136-138 2018 [公元29年] 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
渴望作为过程发挥作用。 许可证 2018 : 364-373 [i6] 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
方程的发散性和唯一解。 CoRR公司 abs/1806.11354 ( 2018 ) 2017 [公元28年] 阿德里安·杜里埃 , 丹尼尔·赫施科夫 , 戴维德·桑吉奥吉 :
方程的发散性和唯一解。 CONCUR公司 2017 : 11:1-11:16 2016 [公元12年] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 戴维德·桑吉奥吉 :
通过名字的计算:从融合到预订单和类型。 Inf.计算。 251 : 335至360 ( 2016 ) [公元11年] Ioana Cristescu公司 , 丹尼尔·赫希科夫 :
带子类型的π演算中的终止。 数学。 结构。 计算。 科学。 26 ( 8 ) : 1395-1432 ( 2016 ) 2015 [公元10年] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 西安旭 :
具有预序的π演算的行为理论。 J.日志。 代数方法程序。 84 ( 6 ) : 806-825 ( 2015 ) [公元27年] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 徐贤 :
具有预序的π-演算的行为理论。 FSEN公司 2015 : 143-158 2014 [c26] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 戴维德·桑吉奥吉 :
传名过程演算中的对称性和对偶性。 使用新资源进行计算 2014 : 307-322 2013 [公元25年] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 戴维德·桑吉奥吉 :
传名演算:从融合到序言和类型。 许可证 2013 : 378-387 2012 [公元24年] 丹尼尔·赫希科夫 , Jean-Marie马迪奥 , 戴维德·桑吉奥吉 :
π-演算中的对偶性和i/o类型。 CONCUR公司 2012 : 302-316 2011 【c23】 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
λ-微积分中的强归一化与参考。 FSEN公司 2011 : 128至142 [公元22年] Ioana Cristescu公司 , 丹尼尔·赫希科夫 :
Pi-calculus中的终止与子类型。 EXPRESS(快递) 2011 : 44 2010 [公元9年] 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
高阶并行计算中的终止。 J.日志。 代数方法程序。 79 ( 7 ) : 550-577 ( 2010 ) 【c21】 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
以不恰当的并发语言终止。 CONCUR公司 2010 : 328-342 [公元20年] 丹尼尔·赫希科夫 , 达米安·普斯 :
关于复制存在下的二相似性和替代。 ICALP(二) 2010 : 454-465
2000 – 2009
2009 【b1】 丹尼尔·赫希科夫 :
过程计算:观察和检查。 (过程计算:观察、检查)。 法国里昂正常供应, 2009 [第19条] 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
移动流程和终止。 语义和代数规范 2009 : 250-273 [第18条] 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
高阶并行演算中的终止。 FSEN公司 2009 : 81-96 [i5] 丹尼尔·赫希科夫 , Aurélien请原谅 , 汤姆·赫肖维茨 , 塞缪尔·海姆 , 达米安·普斯 :
圆周率演算中的封装和动态模块化。 CoRR公司 abs/0906.5446 ( 2009 ) 2008 [j8] 丹尼尔·赫希科夫 , 达米安·普斯 :
CCS的分布律和p-演算的一个新同余结果。 日志。 方法计算。 科学。 4 ( 2 ) ( 2008 ) [j7] 埃蒂安·洛兹 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性。 日志。 方法计算。 科学。 4 ( 三 ) ( 2008 ) [第17条] 罗曼·德曼根 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
用于终止移动进程的静态和动态类型。 IFIP TCS 2008 : 413-427 [第16条] 丹尼尔·赫希科夫 , Aurélien请原谅 , 汤姆·赫肖维茨 , 塞缪尔·海姆 , 达米安·普斯 :
像素中的封装和动态模块化。 地点@DisCoTec 2008 : 85-100 [i4] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性。 CoRR公司 abs/0806.3849 ( 2008 ) [i3] 丹尼尔·赫希科夫 , 达米安·普斯 :
关于具有复制的CCS片段中强相似性的特征。 CoRR公司 abs/0810.2061 ( 2008 ) 2007 [j6] 丹尼尔·赫希科夫 , 达米安·普斯 , 戴维德·桑吉奥吉 :
安全环境的高效抽象机器。 J.日志。 代数方法程序。 71 ( 2 ) : 114-149 ( 2007 ) [第15条] 丹尼尔·赫希科夫 , 达米安·普斯 :
CCS的一个分布律和一个新的同余结果 圆周率 -微积分。 FoSSaCS公司 2007 : 228-242 [第14条] 罗曼·德曼根 , 丹尼尔·赫希科夫 , 小林直树 , 戴维德·桑吉奥吉 :
关于过程终止推理的复杂性。 TGC公司 2007 : 140-155 2006 [j5] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
论环境逻辑的表达性。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) [i2] 丹尼尔·赫希科夫 , 达米安·普斯 :
CCS分布律和pi-calculus的一个新同余结果。 CoRR公司 abs/cs/0608059 ( 2006 ) 2005 【j4】 阿诺焦油醇 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
关于麦卡锡大使在Pi-calculus中的表现。 西奥。 计算。 科学。 330 ( 三 ) : 439-473 ( 2005 ) [第13条] 丹尼尔·赫希科夫 , 达米安·普斯 , 戴维德·桑吉奥吉 :
安全环境的正确抽象机器。 协调 2005 : 17-32 [第12条] 丹尼尔·赫希科夫 , 汤姆·赫肖维茨 , 达米恩·普斯 , 阿兰·施密特 , 珍妮·伯纳德·斯特凡尼 :
面向组件的共享编程:包容不是所有权。 GPCE公司 2005 : 389-404 [i1] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
论环境逻辑的表达性。 CoRR公司 abs/cs/0510010 ( 2005 ) 2004 [j3] 戴维·泰勒 , 帕斯卡·齐默 , 丹尼尔·赫希科夫 :
使用环境控制资源。 国际期刊信息部分。 2 ( 3-4 ) : 126-144 ( 2004 ) [第11条] 丹尼尔·赫希科夫 :
移动进程的扩展空间逻辑。 CONCUR公司 2004 : 325-339 2003 [注2] 克里斯汀·罗克尔 , 丹尼尔·赫希科夫 :
使用机械化语法分析在Isabelle/HOL中充分浅嵌入[pi]-演算。 J.功能。 程序。 13 ( 2 ) : 415-451 ( 2003 ) [第10条] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
空间逻辑的最小结果。 FSTTCS公司 2003 : 252-264 [c9] 阿诺焦油醇 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
论麦卡锡的代表性 环境管理委员会 在π演算中。 EXPRESS(快递) 2003 : 73-89 2002 【c8】 戴维·泰勒 , 帕斯卡·齐默 , 丹尼尔·赫希科夫 :
使用环境控制资源。 CONCUR公司 2002 : 288-303 【c7】 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性、表达性和决定性。 许可证 2002 : 423-432年 2001 [j1] 丹尼尔·赫希科夫 :
使用最新技术进行互模拟验证。 国际期刊软件。 技术工具。 Transf公司。 三 ( 三 ) : 271-285 ( 2001 ) 【c6】 克莉丝汀·罗克尔 , 丹尼尔·赫希科夫 , 斯特凡·贝尔霍弗 :
Isabelle/HOL中带归纳的高阶抽象句法:形式化pi-演算和机械化语境理论。 FoSSaCS公司 2001 : 364-378 【c5】 马里奥·科波奥 , 丹尼尔·赫希科夫 :
分部类型的增量推断。 信息通信与通信系统 2001 : 50-73
1990 – 1999
1999 【c4】 丹尼尔·赫希科夫 :
关于使用Up-To技术进行互模拟验证的好处。 TACAS公司 1999 : 285-299 【c3】 西尔万·博尔梅 , 塞雷斯·哈丁 , 丹尼尔·赫希科夫 , 瓦莱里·梅尼西尔·莫兰 , 雷诺德·里奥博奥 :
在认证计算机代数系统的路上。 微积分 1999 : 370-385 1998 【c2】 丹尼尔·赫希科夫 :
自动验证最高互模拟。 MFCS并发研讨会 1998 : 75-89 1997 【c1】 丹尼尔·赫希科夫 :
《构造微积分》中pi-微积分理论的完整形式化。 TPHOL公司 1997 : 153-169