托马斯·丁斯代尔-杨
人员信息
优化列表
2020年–今天
2021 [j3] 拉尔斯·比克达尔 , 托马斯·丁斯代尔-杨 , 阿玛·盖诺 , 吉尔亨·贾贝尔 , 卡斯珀·斯文森 , Nikos Tzevelekos公司 :
自由分离逻辑规范的定理。 程序。 ACM计划。 语言。 5 ( ICFP公司 ) : 1-29 ( 2021 ) 2020 [第11条] 托马斯·丁斯代尔-杨 , 贝尔纳多·马格里 , 克里斯蒂安·马特 , 杰斯珀·布乌斯·尼尔森 , 丹尼尔·茨丘迪 :
Afgjort:区块链的部分同步最终层。 SCN公司 2020 : 24-44
2010 – 2019
2018 [注2] 托马斯·丁斯代尔-杨 , 佩德罗·达罗查·平托 , 菲利普·加德纳 :
关于指定和验证并发模块的观点。 J.日志。 代数方法课程。 98 : 1-25 ( 2018 ) 2017 [第10条] 托马斯·丁斯代尔·杨 , 佩德罗·达罗查·平托 , 克里斯托弗·安徒生 , 拉尔斯·比克达尔 :
Caper-细粒度并发的自动验证。 员工持股计划 2017 : 420-447 [i1] 拉尔斯·比克达尔 , 托马斯·丁斯代尔-杨 , 吉尔亨·贾贝尔 , 卡斯珀·斯文森 , 尼科斯·齐夫列科斯 :
分离逻辑规范中的跟踪属性。 CoRR公司 abs/1702.02972 ( 2017 ) 2016 【c9】 佩德罗·达罗查·平托 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , 朱利安·萨瑟兰 :
非阻塞并发的模块化终端验证。 员工持股计划 2016 : 176-201 2015 【c8】 佩德罗·达·罗查·平托 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 :
并发模块模块规范中的步骤(受邀教程论文)。 MFPS公司 2015 : 3-18 2014 [c7] 佩德罗·达罗查·平托 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 :
TaDA:时间和数据抽象逻辑。 ECOOP公司 2014 : 207-231 2013 【c6】 托马斯·丁斯代尔-杨 , 拉尔斯·比克达尔 , 菲利普·加德纳 , 马修·帕金森 , 杨红seok :
视图:并发程序的组合推理。 府绸 2013 : 287-300 2011 【b1】 托马斯·丁斯代尔-杨 :
抽象数据和局部推理。 英国伦敦帝国理工学院, 2011 【c5】 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , Mark J.驾驶室 :
程序模块的抽象局部推理。 CALCO公司 2011 : 36-39 【c4】 佩德罗·达罗查·平托 , 托马斯·丁斯代尔-杨 , 迈克·多兹 , 菲利普·加德纳 , Mark J.驾驶室 :
复杂并发索引的简单抽象。 OOPSLA公司 2011 : 845-864 2010 [j1] 克里斯蒂亚诺·卡尔卡尼奥 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 :
树的上下文逻辑中的辅助消除。 Inf.计算。 208 ( 5 ) : 474-499 ( 2010 ) 【c3】 托马斯·丁斯代尔-杨 , 迈克·多兹 , 菲利普·加德纳 , 马修·帕金森 , 维克托·瓦菲亚迪斯 :
并发抽象谓词。 ECOOP公司 2010 : 504-528 【c2】 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , Mark J.驾驶室 :
局部推理的抽象和精化。 VSTTE公司 2010 : 199-215
2000 – 2009
2007 【c1】 克里斯蒂亚诺·卡尔卡尼奥 , 托马斯·丁斯代尔·杨 , 菲利普·加德纳 :
树上下文逻辑中的辅助消除。 阿普拉斯 2007 : 255-270