Ratko Stanković

19 papers and 63 indexed citations i.

About

Ratko Stanković has authored 19 papers that have received a total of 63 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 5 papers in Industrial and Manufacturing Engineering and 3 papers in Building and Construction. The topics of these papers are Formal Methods in Verification (7 papers), Transport and Logistics Innovations (3 papers) and Software Reliability and Analysis Research (3 papers). Ratko Stanković is often cited by papers focused on Formal Methods in Verification (7 papers), Transport and Logistics Innovations (3 papers) and Software Reliability and Analysis Research (3 papers) and collaborates with scholars based in Croatia, Serbia and Japan. Ratko Stanković's co-authors include C. Moraga, T. Sasao, Rolf Drechsler, Dragan Janković and Mark G. Karpovsky and has published in prestigious journals such as IEEE Transactions on Computers, Energies and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

In The Last Decade

Rankless by CCL
2025