• 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 https://www.scopus.com/sourceid/21100204111 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126202125&origin=inward&txGid=6189706856eb0f803c3b745a52945e38
• 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 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85107051357&origin=inward&txGid=f2bca9848ff56958dfa0cb2e771b7f53 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000673595600001
• 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 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85070229816&origin=inward&txGid=9375f1602fdd70684b0b312fc4189af5
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85110396926&origin=inward&txGid=62079a7887135db46327466a076589f0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000671787900019
• 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 https://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 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85119018780&origin=inward&txGid=974a9ee66a193c2e0e1bf85f91d3b5fb https://www.webofscience.com/wos/woscc/full-record/WOS:000849726900058
• Mobile smart contracts : exploring scalability challenges and consensus mechanismsDeval, Vipin; Dwivedi, Vimal Kumar; Dixit, Abhishek; Norta, Alex; Shah, Syed Attique; Sharma, Rahul; Draheim, DirkIEEE Access2024 / p. 34265 - 34288 https://doi.org/10.1109/ACCESS.2024.3371901 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85186990329&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FACCESS.2024.3371901%29&sessionSearchId=971b6d536926a71d00c3665b57fa29cc&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001178863000001
• 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 https://www.scopus.com/sourceid/19700186822 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115173604&origin=inward&txGid=4204f91ed7fd00711385ca129e875dae
• 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 https://www.scopus.com/sourceid/21100787106 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123032227&origin=inward&txGid=f0067005acec57c021c2f0f967e39c18 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20IND%20INF%20INTEGR&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000814522400003