Otsing - TalTech teadusportaal

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Legally enforceable smart-contract languages : a systematic literature reviewDwivedi, Vimal Kumar; Pattanaik, Vishwajeet; Deval, Vipin; Dixit, Abhishek; Norta, Alexander; Draheim, DirkACM computing surveys2022 / art. 3453475, p. 1–34 https://doi.org/10.1145/3453475 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel kogumikus

A self-aware contract for decentralized peer-to-peer (P2P) commerceDixit, Abhishek; Norta, Alexander2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems : (FAS*W), 3–7 September, 2018 Trento, Italy : proceedings2018 / p. 17-19 http://doi.org/10.1109/FAS-W.2018.00018

artikkel kogumikus

vaste

reasta