() Monographic study/chapter in M12 or research in the thematic collection of the international importance
Gilezan S., Ivetić J., Likavec S., Lescanne P.: Structural rules and resource control in logic and computation, Beograd, Matematicki institut SANU, 2015, ISBN 978-86-80593-57-9
() Scientific monograph or thematic collection editing of the leading international importance
Gilezan S., Geuvers H., Ivetić J.: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Leibniz International Proceedings in Informatics - LIPIcs., Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 2018, ISBN 978-3-95977-065-1
() Researches published in the journals of the international importance
V.Ilin, J.Ivetić, D.Simić:Understanding the determinants of e-business adoption in ERP-enabled and non ERP-enabled firms: A case study of the Western Balkan Peninsula. Tecnological Forecasting and Social Change, Vol.125, pp.206-223, ISSN 0040-1625 (2017)
() Researches published in the journals of the international importance
Brestovački Svitlica B., Šajnović M., Simin D., Ivetić J., Milutinović D.: Patient safety. Knowledge and attitudes of medical and nursing students: Cross-sectional study, Nurse Education in Practice, 2021, Vol. 53, ISSN 1471-5953
() Research published in the top international journal
Stojanović Đ., Ivetić J.: Possibilities of using Incoterms clauses in a country logistics performance assessment and benchmarking, Transport Policy, 2020, Vol. 98, pp. 217-228, ISSN 0967-070X
() Research published in the top international journal
Stojanović Đ., Ivetić J.: Macrologistic performance and logistics commitments in sales contracts in international supply chains, International Journal of Logistics Management, 2020, Vol. 31, No 1, pp. 59-76, ISSN 0957-4093
() Research published in the prominent international journal
Banjac N., Maksimović R., Dragaš K., Ivetić J.: Monitoring and Assessment of Protected Areas’ Management Capacities in the Republic of Serbia, Sustainability, Vol. 11, No 3(666), pp. 1-17, ISSN 2071-1050 (2019)
() Research published in the prominent international journal
Stojanović Đ., Ivetić J., Veličković M.: Assessment of International Trade-Related Transport CO2 Emissions—A Logistics Responsibility Perspective, Sustainability, 2021, Vol. 13, No. (3) 1138, pp. 1-15, ISSN 2071-1050
() Research published in the international journal
Đaković V., Ivetić J., Anđelić G.: Modelling Risk under Volatile Conditions: Tail Index Estimation and Validation, Engineering Economics, 2021, Vol. 32, No. 4, pp. 325-337, ISSN 1392-2785
() Research published in the international journal
Jokanović M., Ikonić (Prodanić) B., Ikonić P., Tomović V., Peulić T., Šojić B., Škaljac (Savatić) S., Ivić M., Ivetić J.: Towards reproducibility of traditional fermented sausages: texture profile analyses and modelling , Chemical Industry & Chemical Engineering Quarterly / CI&CEQ, 2020, Vol. 26, No 1, pp. 79-87, ISSN 1451-9372
() Research published in the international journal
J. Espirito Santo, J. Ivetić, S. Likavec: Characterising strongly normalising intuitionistic terms. Fundamenta informaticae, Vol.121, pp.87-124, ISSN 0169-2968, IOS Press, Netherlands (2012).
() Research published in the international journal
Espirito Santo J., Gilezan S., Ivetić J.: Characterizing strongly normalising intuitionistic sequent terms. Types for Proofs and Programs postproceedings, Lecture notes in computer science, 2007, No 4941, pp. 85-99, ISSN 0302-9743
() Research published in the journal of the international importance verified by the special resolution
S.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164, SANU, Serbia (2007).
() Invited lectures from the international meeting printed in extracts
Ivetić J.: An applicative approach to the multivariate data aggregation , 4. International Conference on Natural and Applied Science and Engineering, Nevsehir, 6-8 May, 2022
() Report from the international meeting printed in its entirety
J.Espirito Santo, S.Ghilezan, J.Ivetić: Characterizing strongly normalising intuitionistic sequent terms. Miculan, Honsell and Scagnetto eds., Types for Proofs and Programmes - TYPES, Lecture Notes in Computer Science, vol.4941, pages 85-99, Springer (2008).
() Report from the international meeting printed in its entirety
S. Ghilezan, J. Ivetić, P. Lescanne, D. Žunić: Intuitionistic sequent-style calculus with explicit structural rules. The Eight International Tbilisi Symposium on Language, Logic and Computation, Lecture Notes in Artificial Intelligence, vol.6618, pages 101-124, Springer (2011).
() Report from the international meeting printed in its entirety
S. Ghilezan, J. Ivetić, P. Lescanne, S.Likavec: Intersection types for the resource control lambda calculi. International Colloquium of Theoretical and Applied Computing - ICTAC 2011, Lecture Notes in Computer Science, vol.6916, pages 116-134, Springer (2011).
() Report from the international meeting printed in its entirety
Gilezan S., Ivetić J., Lescanne P., Likavec S.: Intersection types for explicit substitution with resource control, 6. Intersection Types and Related Systems, Dubrovnik, 29 Jun, 2012
() Report from the international meeting printed in its entirety
J.Ivetić: Regaining confluence in lambda-Gentzen calculus. In Proceedings of CALCOjnr 2009 workshop. Technical report, University of Udine (2009).
() Report from the international meeting printed in its entirety
Stojanović Đ., Veličković M., Ivetić J.: Incoterms clauses in trade between Serbia and the neighbouring countries, Horizons - Series B, 2018, Vol. 23, pp. 639-650, ISSN 1857-9892, 14. International Scientific Conference on Service Sector, Ohrid: “St. Kliment Ohridski” University – Bitola , 14-15 Septembar, 2018, pp. 639-650, UDK: 339.52:334.788(497.11:497)”2016”
() Report from the international meeting printed in its entirety
Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case, 11. Foundations of Information and Knowledge Systems, Dortmund: Springer, 17-21 February, 2020, pp. 122-139
() Report from the international meeting printed in its entirety
Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Probabilistic Reasoning About Simply Typed Lambda Terms, 9. Symposium on Logical Foundations of Computer Science, Deerfield Beach: Springer, 8-11 January, 2018, pp. 170-189
() Report from the international meeting printed in extracts
Gilezan S., Ivetić J., Lescanne P., Likavec S.: Approaching substructural term calculi via the resource control calculus, 3. Logic and Applications, Dubrovnik, 22-26 Septembar, 2014
() Report from the international meeting printed in extracts
Gilezan S., Ivetić J., Lescanne P., Likavec S.: Some advantages of the lambda calculi with resource control, 4. Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014
() Report from the international meeting printed in extracts
Gilezan S., Ivetić J., Savić N.: An optimisation of lambda type assignments via resource control , 2. International Conference on Computational and Experimental Science and Engineering, Antalija, 14-19 Oktobar, 2015
() Report from the international meeting printed in extracts
Gilezan S., Ivetić J., Lescanne P., Likavec S.: Intersection types fit well with resource control, 21. International conference on Types for Proofs and Programs, Tallinn, 18-21 Maj, 2015
() Report from the international meeting printed in extracts
Gilezan S., Ivetić J., Savić N.: Normalisation in substructural term calculi, 5. World Congress on Universal Logic, Istanbul, 25-30 Jun, 2015
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S., Ivetić J., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning about Typed Lambda Terms , 24. International conference on Types for Proofs and Programs, Braga, 18-21 Jun, 2018, pp. 41-42
() Report from the meeting of the national importance printed in its entirety
Mihailović B., Ivetić J., Doroslovački K.: The golden section in Gompertz mortality model, 4. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, 10-12 Maj, 2019, pp. 81-84
() Report from the meeting of the national importance printed in its entirety
Ivetić J., Delić M., Kovačević I.: Analiza prijemnog ispita iz matematike na FTN, 4. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, 10-12 Maj, 2019, pp. 31-35
() Report from the meeting of the national importance printed in its entirety
Ivetić J., Davidović T., Gilezan S., Lenisa M., Marković Z., Ognjanović Z., Pantović J., Sladoje N., Stojaković M.: Internationalisation of doctoral education - a good practise, 20. TREND - Trendovi razvoja, Kopaonik, 24-27 Februar, 2014
() Report from the meeting of the national importance printed in its entirety
Ivetić J., Doroslovački K.: Analiza uticaja online nastave na ishode učenja u visokom obrazovanju – studija slučaja predmeta Algebr, 29. Trendovi razvoja: Univerzitet pred novim izazovima, Vrnjačka Banja, 8-11 Februar, 2023
() Report from the meeting of the national importance printed in its entirety
Ivetić J., Galogaža D.: Primena Gep - statistike na određivanje optimalnog broja klastera kod nehijerarhijskih metoda, 8. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, 27 Maj, 2023
() Defended Doctoral dissertation
Ivetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
() Additional textbook for the course
S.Gilezan, Z.Lužanin, T.Grbić, B.Mihailović,Lj.Nedović, Z.Ovcin, J.Ivetić, K.Doroslovački: Zbirka rešenih zadataka iz verovatnoće i statistike. Fakultet tehničkih nauka, (2009).
