Stranice zaposlenih – Fakultet tehničkih nauka u Novom Sadu

vanr. prof. dr Jelena Ivetić

Vanredni profesor

Biografija

Radno mesto

Radovi

Reprezentativne reference

Izbori u zvanja

Biografija

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.

Radno mesto

Aktuelno

Radno mesto	Od	Organizaciona jedinica
Vanredni profesor	01. 04. 2021.	Katedra za matematiku

Istorijsko

Radno mesto	Od	Organizaciona jedinica
Docent	01. 04. 2014.	01. 04. 2014. -	Katedra za matematiku
Predavač	26. 02. 2014.	26. 02. 2014. - 01. 03. 2014.	Departman za opšte discipline u tehnici
Asistent sa doktoratom	09. 10. 2013.	09. 10. 2013. - 01. 02. 2014.	Departman za opšte discipline u tehnici
Asistent sa magistraturom	01. 05. 2008.	01. 05. 2008. - 01. 09. 2013.	Departman za opšte discipline u tehnici
Asistent pripravnik	01. 12. 2003.	01. 12. 2003. - 01. 04. 2008.	Departman za opšte discipline u tehnici

Aktuelne

Naziv funkcije	Od	Organizaciona jedinica

Radovi

Naziv	U 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
O nekim proširenjima lambda računa Master rad Matematika	Fakultet tehničkih nauka 2008
Intersection types and resource control in the intuitionistic sequent lambda calculu?s Doktorat Primenjena matematika	Fakultet tehničkih nauka 2013

Reprezentativne reference

Kriterijum produkcije	Opis
Kriterijum produkcije (U02) Pomoćni udžbenik za nastavni predmet	Opis 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).
Kriterijum produkcije (M14) Monografska studija/poglavlje u knjizi M12 ili rad u tematskom zborniku međunarodnog značaja	Opis 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
Kriterijum produkcije (M17) Uređivanje naučne monografije ili tematskog zbornika vodećeg međunarodnog značaja	Opis 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
Kriterijum produkcije (M21a) Rad u međunarodnom časopisu izuzetnih vrednosti	Opis 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)
Kriterijum produkcije (M21a) Rad u međunarodnom časopisu izuzetnih vrednosti	Opis 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
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu	Opis 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
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu	Opis 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
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu	Opis 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
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis 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)
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Đ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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis 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).
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis 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
Kriterijum produkcije (M24) Rad u časopisu međunarodnog značaja verifikovanog posebnom odlukom	Opis S.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164, SANU, Serbia (2007).
Kriterijum produkcije (M32) Predavanje po pozivu sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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).
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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).
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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).
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis J.Ivetić: Regaining confluence in lambda-Gentzen calculus. In Proceedings of CALCOjnr 2009 workshop. Technical report, University of Udine (2009).
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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”
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis Gilezan S., Ivetić J., Savić N.: Normalisation in substructural term calculi, 5. World Congress on Universal Logic, Istanbul, 25-30 Jun, 2015
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M71) Odbranjena doktorska disertacija	Opis Ivetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013

Izbori u zvanja

Zvanje	Uža naučna oblast	Visokoškolska ustanova	Datum izbora
Vanredni profesor	Teorijska i primenjena matematika	Univerzitet u Novom Sadu	01. 04. 2021.
Docent	Teorijska i primenjena matematika	Univerzitet u Novom Sadu	01. 04. 2014.
Asistent - stari naziv	Matematika		26. 02. 2011.
Asistent pripravnik R	Matematika	Fakultet tehničkih nauka	02. 07. 2009.
Asistent - stari naziv	Matematika		09. 04. 2008.
Asistent pripravnik	Matematika	Fakultet tehničkih nauka	30. 07. 2007.
Asistent pripravnik	Matematika	Fakultet tehničkih nauka	01. 12. 2003.

ORGANIZACIJA

DOKUMENTA

ZAPOSLENI

KONKURSI

Galerije

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

vanr. prof. dr Jelena Ivetić

Vanredni profesor

Diploma

Matematičke nauke

2002

Magistratura

Matematičke nauke

2008

Master rad

Matematika

2008

Doktorat

Primenjena matematika

2013

Kontakt: