Enguerrand预赛
人员信息
优化列表
2020年-今天
2023 【c7】 丹尼尔·赫希科夫 , 吉尔亨·贾贝尔 , Enguerrand预赛 :
决定具有有效上下文的Γ-微积分的上下文等价性。 FoSSaCS公司 2023 : 24-45 【c6】 丹尼尔·赫希科夫 , Enguerrand预赛 :
使用Pi-Calculus名称作为锁。 快递/SOS 2023 : 76-96 2022 【b1】 Enguerrand预赛 :
Pi-Calculus中的类型化行为等效。 (等效成分类型dans le pi-calcul)。 法国里昂正常供应, 2022 [j1] 毗湿奴·V.纳拉扬 , Enguerrand预赛 , 阿德里安·维塔 :
价格下跌异常在多买家序贯拍卖中并不普遍(但几乎是如此)。 理论计算。 系统。 66 ( 三 ) : 546-580 ( 2022 ) 【c5】 Enguerrand预赛 :
Pi-Calculus中的函数和引用:完整的抽象和证明技术。 ICALP公司 2022 : 130:1-130:19 2021 【c4】 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于π-演算中的序列性和包围性。 许可证 2021 : 1月13日 [i3] 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于π-演算中的序列性和包围性。 CoRR公司 abs/2104.10942 ( 2021 ) [i2] Enguerrand预赛 :
关于π演算中的Up-to-Context技术。 CoRR公司 abs/2112.08765 ( 2021 ) 2020 【c3】 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于Pi-Calculus中参考文献的表示。 CONCUR公司 2020 : 34:1-34:20
2010 – 2019
2019 【c2】 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
在Pi-Calculus中建模强制结构。 信息通信与通信系统 2019 : 136-138 【c1】 毗湿奴·V.纳拉扬 , Enguerrand预赛 , 阿德里安·维塔 :
价格下跌异常在多买家序贯拍卖中并不普遍(但几乎是如此)。 SAGT公司 2019 : 109-122 [i1] 毗湿奴·V.纳拉扬 , Enguerrand预赛 , 阿德里安·维塔 :
价格下跌异常在多买家顺序拍卖中并不普遍(但几乎是普遍)。 CoRR公司 腹肌/1905.00853 ( 2019 )