doc. dr Jelena Ivetić


Nedostaje slika

dr Jelena Ivetić

Docent


Telefon021/485-2282
E-mail
Akademsko zvanjeDocent
KancelarijaKabinet 002
Trenutno nema podataka o biografiji zaposlenog!
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
(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)
(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 č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
(M72) Odbranjen magistarski radJ.Ivetić: Formalni računi za intuicionističku logiku. Magistarski rad, Fakultet tehničkih nauka, Univerzitet u Novom Sadu (2008).
(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.