vanr. prof. dr Jelena Ivetić


Nedostaje slika

dr Jelena Ivetić

Vanredni profesor


Telefon021/485-2282
E-mail
Akademsko zvanjeVanredni profesor
KancelarijaKabinet 002

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 12 objavljeno u indeksiranim međunarodnim časopisima. Učestvovala i izlagala na više od 30 međunarodnih i nacionalnih konferencija. Predaje predmete iz oblasti statistike, verovatnoće i analize rizika na osnovnim, master i doktorskim studijama više odseka FTN-a.

Vanredni profesor
01.04.2021.
Radno mestoOdDoOrganizaciona jedinica
Predavač26.02.2014.01.03.2014.Departman za opšte discipline u tehnici
Asistent sa doktoratom09.10.2013.01.02.2014.Departman za opšte discipline u tehnici
Asistent sa magistraturom01.05.2008.01.09.2013.Departman za opšte discipline u tehnici
Asistent pripravnik01.12.2003.01.04.2008.Departman za opšte discipline u tehnici
Docent01.04.2014.Katedra za matematiku
NazivU Ustanovi
/

Diploma

Matematičke nauke

Prirodno-matematički fakultet

2002

Formalni računi za intuicionističku logiku

Magistratura

Matematičke nauke

Fakultet tehničkih nauka

2008

Intersection types and resource control in the intuitionistic sequent lambda calculu?s

Doktorat

Matematičke nauke

Fakultet tehničkih nauka

2013

O nekim proširenjima lambda računa

Master rad

Matematičke nauke

Fakultet tehničkih nauka

2008

Kriterijum produkcijeOpis
(M14) Monografska studija/poglavlje u knjizi M12 ili rad u tematskom zborniku međunarodnog značajaGilezan 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čajaGilezan 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 vrednostiV.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 vrednostiBrestovač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 časopisuStojanović 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
(M21) Rad u vrhunskom međunarodnom časopisuStojanović Đ., 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 časopisuStojanović Đ., 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 časopisuBanjac 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 časopisuStojanović Đ., 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 časopisuJokanović 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 časopisuJ. 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 časopisuEspirito 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 odlukomS.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 izvoduIvetić 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 celiniJ.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 celiniS. 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 celiniS. 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 celiniGilezan 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 celiniStojanović Đ., 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 celiniGilezan 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 celiniGilezan 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 izvoduGilezan 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 izvoduGilezan 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 izvoduGilezan 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 izvoduGilezan 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 izvoduGilezan 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 izvoduKaš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 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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celiniIvetić 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 celiniIvetić 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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celiniIvetić 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
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celiniMihailović 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 celiniIvetić 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 celiniIvetić 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
(M71) Odbranjena doktorska disertacijaIvetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
(U02) Pomoćni udžbenik za nastavni predmetS.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).
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
Vanredni profesorTeorijska i primenjena matematikaUniverzitet u Novom Sadu01.04.2021.
DocentTeorijska i primenjena matematikaUniverzitet u Novom Sadu01.04.2014.
Asistent - stari nazivMatematika26.02.2011.
Asistent pripravnik RMatematikaFakultet tehničkih nauka02.07.2009.
Asistent - stari nazivMatematika09.04.2008.
Asistent pripravnikMatematikaFakultet tehničkih nauka30.07.2007.
Asistent pripravnikMatematikaFakultet tehničkih nauka01.12.2003.