• 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
• 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
• 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
• 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