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


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

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

Доцент


Телефон021/485-2282
E-mail
Академско звањеДоцент
КанцеларијаКабинет 002
Тренутно нема података о биографији запосленог!
Доцент
01.04.2014.
Радно местоОдДоОрганизациона јединица
Предавач26.02.2014.01.03.2014.Департман за опште дисциплине у техници
Асистент са докторатом09.10.2013.01.02.2014.Департман за опште дисциплине у техници
Асистент са магистратуром01.05.2008.01.09.2013.Департман за опште дисциплине у техници
Асистент приправник01.12.2003.01.04.2008.Департман за опште дисциплине у техници
НазивУ Установи
/

Диплома

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

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

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
(М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)
(М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)
(М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”
(М71) Одбрањена докторска дисертацијаIvetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
(М72) Одбрањен магистарски радЈ.Иветић: Формални рачуни за интуиционистичку логику. Магистарски рад, Факултет техничких наука, Универзитет у Новом Саду (2008).
(У02) Помоћни уџбеник за наставни предметС.Гилезан, З.Лужанин, Т.Грбић, Б.Михаиловић,Љ.Недовић, З.Овцин, Ј.Иветић, К.Дорословачки: Збирка решених задатака из вероватноће и статистике. Факултет техничких наука, (2009).
ЗвањеУжа научна областВисокошколска установаДатум избора
ДоцентТеоријска и примењена математикаУниверзитет у Новом Саду01.04.2014.
АсистентМатематика26.02.2011.
Асистент приправник РМатематикаФакултет техничких наука02.07.2009.
АсистентМатематика09.04.2008.
Асистент приправникМатематикаФакултет техничких наука30.07.2007.
Асистент приправникМатематикаФакултет техничких наука01.12.2003.