This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree

Abhishek Dixit

https://etis.ee/CV/Abhishek_Dixit/eng
15.01.1981
+37255900410
abhishek.dixit@taltech.ee
http://
ABD-6082-2020
I am a Junior Researcher and Doctoral student at the school of information technologies, Department of Software sciences, Taltech, Tallinn, Estonia

Career

Institutions and positions
12.02.2018–08.01.2021   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Junior Researcher (1,00)
 
 
Education
10.07.2005–30.06.2007   
Master of Engineering (Software Engineering)
01.07.2001–30.06.2003   
Master of Science (Information Technology)
01.07.1997–30.06.2000   
Bachelor of Science

Qualifications

Academic degrees
Abhishek Dixit, Phd student, (sup) Alexander Norta, Self-Aware Contract for P2P Commerce, Tallinn University of Technology School of Information Technologies, Department of Software Science
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P175 Informatics, systems theory ; SPECIFICATION: Blockchain Technology, Distributed Computing, E-Governance

Publications

Category
Year
Publication
 
3.1.
2019
Dwivedi, Vimal; Deval, Vipin; Dixit, Abhishek; Norta, Alex (2019). Formal-verification of smart-contract languages: A survey. In: Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; et al. (Ed.). Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II (738−747). Singapore: Springer. (Communications in Computer and Information Science; 1046).10.1007/978-981-13-9942-8_68.
3.1.
2018
Dixit, Abhishek; Norta, Alex (2018). A self-aware contract for decentralized peer-to-peer (P2P) commerce. Proceedings 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems - FAS*W 2018 - 3-7 September 2018, Trento, Italy. Los Alamitos, Calif.: IEEE, 17−19.10.1109/FAS-W.2018.00018.
6.01.2021

Abhishek Dixit

https://etis.ee/CV/Abhishek_Dixit/est
15.01.1981
+37255900410
abhishek.dixit@taltech.ee
ABD-6082-2020

Teenistuskäik

Töökohad ja ametid
12.02.2018–08.01.2021   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, doktorant-nooremteadur (1,00)
 
 
Haridustee
10.07.2005–30.06.2007   
Inseneri magister (Tarkvaraarendus)
01.07.2001–30.06.2003   
Magistrikraad (Infotehnoloogia)
01.07.1997–30.06.2000   
Teaduse bakalaureus

Kvalifikatsioon

Teaduskraadid
Abhishek Dixit, Phd student, (sup) Alexander Norta, Self-Aware Contract for P2P Commerce, Tallinn University of Technology School of Information Technologies, Department of Software Science
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P175 Informaatika, süsteemiteooria

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2019
Dwivedi, Vimal; Deval, Vipin; Dixit, Abhishek; Norta, Alex (2019). Formal-verification of smart-contract languages: A survey. In: Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; et al. (Ed.). Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II (738−747). Singapore: Springer. (Communications in Computer and Information Science; 1046).10.1007/978-981-13-9942-8_68.
3.1.
2018
Dixit, Abhishek; Norta, Alex (2018). A self-aware contract for decentralized peer-to-peer (P2P) commerce. Proceedings 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems - FAS*W 2018 - 3-7 September 2018, Trento, Italy. Los Alamitos, Calif.: IEEE, 17−19.10.1109/FAS-W.2018.00018.
6.01.2021

Search publication

  • {{item.Name}}
 until 
Beginning
Fuzzy
Precise
Simple Search Clear
  • Found 2 results
PublicationAuthorsYearEdition titleClassificationFileR&D institutions
Formal-verification of smart-contract languages: A surveyDwivedi, Vimal; Deval, Vipin; Dixit, Abhishek; Norta, Alex2019Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II3.1.Tallinn University of Technology , School of Information Technologies, Department of Software Science
A self-aware contract for decentralized peer-to-peer (P2P) commerceDixit, Abhishek; Norta, Alex2018Proceedings 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems - FAS*W 2018 - 3-7 September 2018, Trento, Italy3.1.Tallinn University of Technology , School of Information Technologies, Department of Software Science