Assoc. Prof. Jelena Ivetić


Missing picture!

Jelena Ivetić

Associate Professor


Telephone021/485-2282
E-mail
Academic titleAssociate Professor
Employee's biography not found!
Associate Professor
01.04.2021.
PositionFromToOrganizational unit
Assistant Professor01.04.2014.Chair of Mathematics
Lecturer for Professional Studies26.02.2014.01.03.2014.Department of Fundamentals Sciences
Assistant with PhD09.10.2013.01.02.2014.Department of Fundamentals Sciences
Assistant - Magister01.05.2008.01.09.2013.Department of Fundamentals Sciences
Intern Assistant01.12.2003.01.04.2008.Department of Fundamentals Sciences
TitleIn institution
/

Bachelor's thesis

Mathematical Science

Faculty of Sciences

2002

Formalni računi za intuicionističku logiku

Magister thesis

Mathematical Science

Faculty of Technical Sciences

2008

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

PhD thesis

Mathematical Science

Faculty of Technical Sciences

2013

O nekim proširenjima lambda računa

Master's thesis

Mathematical Science

Faculty of Technical Sciences

2008

Criterium of productionDescription
() Monographic study/chapter in M12 or research in the thematic collection of the international importanceGilezan 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 importanceGilezan 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 importanceV.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)
() Research published in the top international journalStojanović Đ., Ivetić J.: Possibilities of using Incoterms clauses in a country logistics performance assessment and benchmarking, Transport Policy, 2020, No online, in press, ISSN 0967-070X, doi: https://doi.org/10.1016/j.tranpol.2020.03.012
() Research published in the top international journalStojanović Đ., 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 top international journalBrestovač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 prominent international journalBanjac 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 journalStojanović Đ., 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 journalJokanović 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 journalJ. 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 journalEspirito 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 resolutionS.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164, SANU, Serbia (2007).
() Report from the international meeting printed in its entiretyJ.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 entiretyS. 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 entiretyS. 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 entiretyGilezan 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 entiretyStojanović Đ., 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 extractsGilezan 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 extractsGilezan 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 extractsGilezan 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 extractsGilezan 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 extractsGilezan 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 extractsKaš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 entiretyMihailović 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 entiretyIvetić 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 entiretyIvetić 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 dissertationIvetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
() Additional textbook for the courseS.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).
TitleScientific areaHigher education institutionElection date
Associate ProfessorTeorijska i primenjena matematikaUniversity of Novi Sad01.04.2021.
Assistant ProfessorTeorijska i primenjena matematikaUniversity of Novi Sad01.04.2014.
AssistantMathematics26.02.2011.
LecturerMathematicsFaculty of Technical Sciences02.07.2009.
AssistantMathematics09.04.2008.
Intern AssistantMathematicsFaculty of Technical Sciences30.07.2007.
Intern AssistantMathematicsFaculty of Technical Sciences01.12.2003.