Vanredni profesor na katedri za matematiku od 2021, docent u periodu 2014-2021. Doktorirala 2013., na FTN-u, oblast Primenjena matematika, uža oblast Logika u računarstvu. Bavi se primenjenom statistikom, kvantitativnom analizom rizika i logikom u računarstvu. Koautor više od 20 naučnih radova, od kojih je 10 objavljeno u međunarodnim časopisima. Učestvovala i izlagala na više od 20 međunarodnih i nacionalnih konferencija. Predaje predmete iz oblasti statistike, verovatnoće i analize rizika na osnovnim i master studijama više odseka FTN-a.
(M14) Monografska studija/poglavlje u knjizi M12 ili rad u tematskom zborniku međunarodnog značaja
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
(M17) Uređivanje naučne monografije ili tematskog zbornika vodećeg međunarodnog značaja
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
(M21a) Rad u međunarodnom časopisu izuzetnih vrednosti
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)
(M21a) Rad u međunarodnom časopisu izuzetnih vrednosti
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
(M21) Rad u vrhunskom međunarodnom časopisu
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
(M21) Rad u vrhunskom međunarodnom časopisu
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
(M22) Rad u istaknutom međunarodnom časopisu
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)
(M22) Rad u istaknutom međunarodnom časopisu
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
(M23) Rad u međunarodnom časopisu
Đ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
(M23) Rad u međunarodnom časopisu
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
(M23) Rad u međunarodnom časopisu
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).
(M23) Rad u međunarodnom časopisu
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
(M24) Rad u časopisu međunarodnog značaja verifikovanog posebnom odlukom
S.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164, SANU, Serbia (2007).
(M32) Predavanje po pozivu sa međunarodnog skupa štampano u izvodu
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
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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).
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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).
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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).
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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
(M33) Saopštenje sa međunarodnog skupa štampano u celini
J.Ivetić: Regaining confluence in lambda-Gentzen calculus. In Proceedings of CALCOjnr 2009 workshop. Technical report, University of Udine (2009).
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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”
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
Gilezan S., Ivetić J., Savić N.: Normalisation in substructural term calculi, 5. World Congress on Universal Logic, Istanbul, 25-30 Jun, 2015
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M71) Odbranjena doktorska disertacija
Ivetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
(U02) Pomoćni udžbenik za nastavni predmet
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).
