@ARTICLE{
author={Trifunovic Petar,Gajic Dusan B,Horvat Nebojsa,Vukic Nikola,Petrovic Veljko B,Dragan Dinu},
year={2026},
title={An Approach to Efficient Reduction of Ethereum's Turing-Completeness},
journal={CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE},
volume={38},
number={13},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Vukic Nikola,Petrovic Veljko B,Dragan Dinu,Gajic Dusan B},
year={2025},
title={LLM-based Tooling for Smart Contract Auditing},
journal={2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
}