ванр. проф. др Јелена Иветић


Недостаје слика

др Јелена Иветић

Ванредни професор


Телефон021/485-2282
E-mail
Академско звањеВанредни професор
КанцеларијаКабинет 002

Ванредни професор на катедри за математику од 2021, доцент у периоду 2014-2021. Докторирала 2013., на ФТН-у, област Примењена математика, ужа област Логика у рачунарству. Бави се логиком у рачунарству и примењеном статистиком. Коаутор више од 20 научних радова, од којих је 8 објављено у међународним часописима. Учествовала и излагала на више од 20 међународних и националних конференција. Предаје предмете из области статистике, вероватноће и анализе ризика на основним и мастер студијама више одсека ФТН-а.

Ванредни професор
01.04.2021.
Радно местоОдДоОрганизациона јединица
Предавач26.02.2014.01.03.2014.Департман за опште дисциплине у техници
Асистент са докторатом09.10.2013.01.02.2014.Департман за опште дисциплине у техници
Асистент са магистратуром01.05.2008.01.09.2013.Департман за опште дисциплине у техници
Асистент приправник01.12.2003.01.04.2008.Департман за опште дисциплине у техници
Доцент01.04.2014.Катедра за математику
НазивУ Установи
/

Диплома

Математичке науке

Природно-математички факултет

2002

Формални рачуни за интуиционистичку логику

Магистратура

Математичке науке

Факултет техничких наука

2008

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

Докторат

Математичке науке

Факултет техничких наука

2013

О неким проширењима ламбда рачуна

Мастер рад

Математичке науке

Факултет техничких наука

2008

Критеријум продукцијеОпис
(М14) Монографска студија/поглавље у књизи М12 или рад у тематском зборнику међународног значаја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
(М17) Уређивање научне монографије или тематског зборника водећег међународног значаја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
(М21а) Рад у међународном часопису изузетних вредности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)
(М21) Рад у врхунском међународном часопису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
(М21) Рад у врхунском међународном часопису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
(М21) Рад у врхунском међународном часопису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
(М22) Рад у истакнутом међународном часопису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)
(М22) Рад у истакнутом међународном часопису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
(М23) Рад у међународном часописуĐ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
(М23) Рад у међународном часопису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
(М23) Рад у међународном часопису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).
(М23) Рад у међународном часопису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
(М24) Рад у часопису међународног значаја верификованог посебном одлукомS.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164, SANU, Serbia (2007).
(М33) Саопштење са међународног скупа штампано у целини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).
(М33) Саопштење са међународног скупа штампано у целини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).
(М33) Саопштење са међународног скупа штампано у целини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).
(М33) Саопштење са међународног скупа штампано у целини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
(М33) Саопштење са међународног скупа штампано у целини J.Ivetić: Regaining confluence in lambda-Gentzen calculus. In Proceedings of CALCOjnr 2009 workshop. Technical report, University of Udine (2009).
(М33) Саопштење са међународног скупа штампано у целини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”
(М33) Саопштење са међународног скупа штампано у целини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
(М33) Саопштење са међународног скупа штампано у целини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
(М34) Саопштење са међународног скупа штампано у изводу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
(М34) Саопштење са међународног скупа штампано у изводуGilezan S., Ivetić J., Lescanne P., Likavec S.: Some advantages of the lambda calculi with resource control, 4. Математичка конференција Републике Српске, Требиње, 6-7 Јун, 2014
(М34) Саопштење са међународног скупа штампано у изводу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
(М34) Саопштење са међународног скупа штампано у изводу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
(М34) Саопштење са међународног скупа штампано у изводуGilezan S., Ivetić J., Savić N.: Normalisation in substructural term calculi, 5. World Congress on Universal Logic, Istanbul, 25-30 Jun, 2015
(М34) Саопштење са међународног скупа штампано у изводу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
(М63) Саопштење са скупа националног значаја штампано у целини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
(М63) Саопштење са скупа националног значаја штампано у целиниИветић Ј., Делић М., Ковачевић И.: Анализа пријемног испита из математике на ФТН, 4. Цонференце он Матхематицс ин Енгинееринг: Тхеорy анд Апплицатионс, Нови Сад, 10-12 Мај, 2019, пп. 31-35
(М63) Саопштење са скупа националног значаја штампано у целини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
(М71) Одбрањена докторска дисертацијаIvetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
(У02) Помоћни уџбеник за наставни предметС.Гилезан, З.Лужанин, Т.Грбић, Б.Михаиловић,Љ.Недовић, З.Овцин, Ј.Иветић, К.Дорословачки: Збирка решених задатака из вероватноће и статистике. Факултет техничких наука, (2009).
ЗвањеУжа научна областВисокошколска установаДатум избора
Ванредни професорТеоријска и примењена математикаУниверзитет у Новом Саду01.04.2021.
ДоцентТеоријска и примењена математикаУниверзитет у Новом Саду01.04.2014.
АсистентМатематика26.02.2011.
Асистент приправник РМатематикаФакултет техничких наука02.07.2009.
АсистентМатематика09.04.2008.
Асистент приправникМатематикаФакултет техничких наука30.07.2007.
Асистент приправникМатематикаФакултет техничких наука01.12.2003.