埃里克·沃格德
人员信息
优化列表
2020年–今天
2023 【c4】 埃里克·沃格德 , 奥斯蒙德·阿基西亚克·阿里德·克罗夫斯塔德 , 艾纳·布罗赫·约翰森 :
符号执行的指称语义。 ICTAC公司 2023 : 370-387 【c3】 埃里克·沃格德 , 艾纳·布罗赫·约翰森 , 亚历山德拉·席尔瓦 , 扎卡里·苏萨格 , 安德烈·瓦索夫斯基 :
概率程序的符号语义。 QEST公司 2023 : 329-345 【c2】 德克斯特·科赞 , 亚历山德拉·席尔瓦 , 埃里克·沃格德 :
概率语义学中的联合分布。 MFPS公司 2023 [i2] 埃里克·沃格德 , 艾纳·布罗克·约翰逊 , 亚历山德拉·席尔瓦 , 扎卡里·苏萨格 , 安德烈·瓦索夫斯基 :
概率程序的符号语义(扩展版)。 CoRR公司 abs/2307.09951 ( 2023 )
2010 – 2019
2019 [j1] 阿伦·阿斯拉纳吉奇 , 豪尔赫·佩雷斯 , 埃里克·沃格德 :
最小会话类型(工件)。 Dagstuhl Artifacts爵士。 5 ( 2 ) : 05:1-05:3 ( 2019 ) 【c1】 阿伦·阿斯拉纳吉奇 , 豪尔赫·佩雷斯 , 埃里克·沃格德 :
最小会话类型(Pearl)。 ECOOP公司 2019 : 23:1-23:28 [i1] 阿伦·阿斯拉纳吉奇 , 豪尔赫·A·佩雷斯 , 埃里克·沃格德 :
最小会话类型(扩展版本)。 CoRR公司 abs/1906.03836 ( 2019 )