Asst. Prof. Jelena Ivetić


Missing picture!

Jelena Ivetić

Assistant Professor


Telephone021/485-2282
E-mail
Academic titleAssistant Professor
Employee's biography not found!
Assistant Professor
01.04.2014.
PositionFromToOrganizational unit
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
() 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 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 entiretyStojanović Đ., Veličković M., Ivetić J.: Incoterms clauses in trade between Serbia and the neighbouring countries, 14. International Scientific Conference on Service Sector, Ohrid: “St. Kliment Ohridski” University – Bitola , 14-15 Septembar, 2018
() 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).
() Defended Doctoral dissertationIvetić J.: Intersection types and resource control in the intuitionistic sequent lambda calculus, Novi Sad, FTN, 2013
() Defended Magister thesisJ.Ivetić: Formalni računi za intuicionističku logiku. Magistarski rad, Fakultet tehničkih nauka, Univerzitet u Novom Sadu (2008).
() 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
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.