贝诺·特·拉泽特
人员信息
优化列表
2020年–今天
2024 [注2] 伊沃·S·迪亚奇基 , 迈克·多兹 , 哈里森·戈尔茨坦 , 比尔·哈里斯 , 大卫·A·霍兰德 , 贝诺·特·拉泽特 , 科尔·施莱辛格 , 西蒙·温伍德 :
Daedalus:更安全的文档解析。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 816-840 ( 2024 ) 2021 【c6】 卡斯滕·鲍姆 , 伦纳特·布劳恩 , 亚历山大·蒙奇·汉森 , 贝诺·特·拉泽特 , 彼得·斯科尔 :
Brie的附录:混合模式算术和Z2k的有效零知识证明。 CCS系统 2021 : 192-211
2010 – 2019
2019 【c5】 卢克·欧文斯 , 贝诺·特·拉泽特 , W.布莱恩·史密斯 , 小西奥多·坦纳。 :
Hyperledger Sawtooth中的家庭间通信及其在加密资产框架中的应用。 ICDCIT公司 2019 : 389-401 [i1] 詹妮弗·佩金 , 埃里克·默滕斯 , 马克·图尔森 , 卢克·莫勒 , 贝诺·特·拉泽特 , 亚历山大·巴克斯特 , 斯科特摩尔 :
怪异的机器是不安全的编译。 CoRR公司 abs/1911.00157 ( 2019 ) 2017 [j1] 杰拉德·P·休特 , 贝诺·特·拉泽特 :
使用关系机进行计算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 807-826 ( 2017 ) 2010 【c4】 西里尔·尼科德 , 卡琳·皮沃托 , 贝诺·特·拉泽特 :
类BST模型下Glushkov自动机的平均分析。 FSTTCS公司 2010 : 388-399
2000 – 2009
2009 【b1】 贝诺·特·拉泽特 :
艾伦伯格效应机器。 法国巴黎迪德罗大学, 2009 2008 【c3】 贝诺·特·拉泽特 :
有限艾伦伯格机器。 CIAA公司 2008 : 242-251 【c2】 贝诺·特·拉泽特 :
用反应式发动机模拟有限Eilenberg机器。 ICALP的MSFP 2008 : 119-134 2006 【c1】 杰拉德·P·休特 , 贝诺·特·拉泽特 :
模块化传感器的反应式发动机。 献给约瑟夫·戈根的散文 2006 : 355-374