Legally enforceable smart-contract languages: A systematic literature review V Dwivedi, V Pattanaik, V Deval, A Dixit, A Norta, D Draheim ACM Computing Surveys (CSUR) 54 (5), 1-34, 2021 | 52 | 2021 |
Towards user-centered and legally relevant smart-contract development: A systematic literature review A Dixit, V Deval, V Dwivedi, A Norta, D Draheim Journal of Industrial Information Integration 26, 100314, 2022 | 28 | 2022 |
Formal-verification of smart-contract languages: A survey V Dwivedi, V Deval, A Dixit, A Norta Advances in Computing and Data Sciences: Third International Conference …, 2019 | 15 | 2019 |
A self-aware contract for decentralized peer-to-peer (p2p) commerce A Dixit, A Norta 2018 IEEE 3rd International Workshops on Foundations and Applications of …, 2018 | 5 | 2018 |
Image-Based Attendance System using Facial Recognition VK Chauhan, T Singh, A Dixit, RK Singh, PK Singh, JP Singh 2022 11th International Conference on System Modeling & Advancement in …, 2022 | 2 | 2022 |
Analysis of agricultural toolset based on artificial intelligence Y Bajpai, M Srivastva, T Singh, VK Chauhan, D Upadhyay, A Dixit 2022 11th International Conference on System Modeling & Advancement in …, 2022 | 2 | 2022 |
AN AI BASED SYSTEM FOR PROVIDING INTERFERENCE AWARE SCHEDULING IN CLOUD ENVIRONMENT AND METHOD IN Patent 46/2,022, 2022 | | 2022 |
Formal Approach in Software Testing A Dixit, S Goel | | |