托马斯·奥斯特兰
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 【b1】 托马斯·奥斯特兰 :
分析分布式账本应用程序的可持续性。 德国亚琛RWTH大学, 2022 【c6】 托马斯·奥斯特兰 , 托马斯·罗斯 :
为后代维护分布式账本的持久性。 美国安全工程师协会 2022 : 14-20 【c5】 托马斯·奥斯特兰 , 托马斯·罗斯 :
基于评分的离散周期分析DOM内容选择。 冰岛(2) 2022 : 280-289 2021 【c4】 托马斯·奥斯特兰 , 托马斯·罗斯 :
DLT主导生态系统中基于Oracle的过程自动化,应用于德国水路运输。 美国安全工程师协会 2021 : 130-136 【c3】 托马斯·奥斯特兰 , 戈登·莱姆 , 托马斯·罗斯 :
基于Merkle树的散列聚合中的差异检测。 IEEE工商银行 2021 : 1-9 2020 [j1] 托马斯·奥斯特兰 , 托马斯·罗斯 :
以太坊的模型检查智能合约。 无处不在的暴徒。 计算。 63 : 101129 ( 2020 ) 【c2】 托马斯·奥斯特兰 , 托马斯·罗斯 , 克莱门斯·普什利 :
关于DLT节点中业务流程逻辑的实现。 美国安全工程师协会 2020 : 91-99
2010 – 2019
2019 【c1】 卡尔·海因茨·克伦佩尔 , 费比安·奥勒 , 托马斯·奥斯特兰 , 克里斯托夫·特韦尔普 :
基于上下文的移动规划用户活动预测。 ICAART(2) 2019 : 568-575 2017 [i1] 托马斯·奥斯特兰 , 托马斯·罗斯 :
一致性执行的智能合约的正确性。 ERCIM新闻 2017 ( 110 ) ( 2017 )
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)