Associate Professor in the Chair of Mathematics since 2021, previously Assistant Professor from 2014 to 2021. She earned her Ph.D. in 2013 at the Faculty of Technical Sciences (FTN), specializing in Applied Mathematics, with a focus on Logic in Computer Science. Her research interests include applied statistics, quantitative risk analysis, and logic in computer science. She has co-authored more than 20 scientific papers, 12 of which have been published in indexed international journals. She has participated in and presented at over 30 international and national conferences. She teaches courses in statistics, probability, and risk analysis at the undergraduate, master's, and doctoral levels across several departments at FTN.
() 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ć D., Ranđelović D., Ivetić J., Pap P., Zlatković M., Đilas M., Orlović S.: Improving the Monitoring and Control of Egg Vitality of Lymantria dispar Linnaeus 1758 Using an Innovative Device and Procedure for Removing Egg Hairs, Forests, 2024, Vol. 15, No. 1426, pp. 1-12, ISSN 1999-4907
() 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
Erdeljan J., Ivetić J.: GARCH modeli za procenu volatilnosti vremenskih serija, 9. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, 31-2 Maj, 2024, pp. 39-45, ISSN 3042-0466
() 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
() Report from the meeting of the national importance printed in its entirety
Ivetić J., Mihailović B.: Panel regression with generalized inverses, 5. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, 9-10 Maj, 2020, pp. 124-128, ISBN 978-86-6022-265-9
() 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
() 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).
