doc. dr Jelena Ivetić


Nedostaje slika

dr Jelena Ivetić

Docent


Telefon021/485-2282
E-mail
Akademsko zvanjeDocent
KancelarijaKabinet 002

Docent na katedri za matematiku, FTN, od 2014. Doktorirala 2013., na FTN-u, oblast Primenjena matematika, uža oblast Logika u računarstvu. Bavi se logikom u računarstvu i primenjenom statistikom. Koautor više od 15 naučnih radova, od kojih je 5 objavljeno u međunarodnim časopisima. Učestvovala i izlagala na više od 20 međunarodnih i nacionalnih konferencija. Učesnik je dva nacionalna projekta, MC član jednog COST projekta.

Docent
01.04.2014.
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
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)
(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, No online, in press, ISSN 0967-070X, doi: https://doi.org/10.1016/j.tranpol.2020.03.012
(M22) Rad u istaknutom 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)
(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).
(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”
(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
DocentTeorijska i primenjena matematikaUniverzitet u Novom Sadu01.04.2014.
AsistentMatematika26.02.2011.
Asistent pripravnik RMatematikaFakultet tehničkih nauka02.07.2009.
AsistentMatematika09.04.2008.
Asistent pripravnikMatematikaFakultet tehničkih nauka30.07.2007.
Asistent pripravnikMatematikaFakultet tehničkih nauka01.12.2003.