Auto-generation of smart contracts from a domain-specific XML-based languageDwivedi, Vimal Kumar; Norta, AlexanderIntelligent Data Engineering and Analytics2022 / p. 549-564 https://doi.org/10.1007/978-981-16-6624-7_54 Conference proceedings at Scopus Article at Scopus

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

A legally relevant socio-technical language development for smart contractsDwivedi, Vimal Kumar; Norta, Alexander2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems : (FAS*W), 3–7 September, 2018 Trento, Italy : proceedings2018 / p. 11-13 http://doi.org/10.1109/FAS-W.2018.00016

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendusDwivedi, Vimal Kumar2022 https://doi.org/10.23658/taltech.14/2022 https://digikogu.taltech.ee/et/Item/f69ec767-0112-4342-9d4c-aceb37502c0b https://www.ester.ee/record=b5497769*est

A legal-relationship establishment in smart contracts : ontological semantics for programming-language developmentDwivedi, Vimal Kumar; Norta, AlexanderAdvances in Computing and Data Sciences : 5th International Conference, ICACDS 2021, Nashik, India, April 23–24, 2021, Revised Selected Papers, Part I : proceedings2021 / p. 660-676 https://doi.org/10.1007/978-3-030-81462-5_58 Conference Proceedings at Scopus Article at Scopus Article at WOS

Security issues and application of blockchainSaxena, Sandeep; Gupta, Umesh Kumar; Renu; Dwivedi, Vimal KumarMachine learning, advances in computing, renewable energy and communication : proceedings of MARC 20202022 / p. 533-541 https://doi.org/10.1007/978-981-16-2354-7_47 Conference proceedings at Scopus Article at Scopus

Towards user-centered and legally relevant smart-contract development : a systematic literature reviewDixit, Abhishek; Deval, Vipin; Dwivedi, Vimal Kumar; Draheim, DirkJournal of Industrial Information Integration2022 / art. 100314 ; 18 p https://doi.org/10.1016/j.jii.2021.100314 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS