Stranice zaposlenih – Fakultet tehničkih nauka u Novom Sadu

prof. dr Jovanka Pantović

Redovni profesor

Biografija

Radno mesto

Radovi

Reprezentativne reference

Izbori u zvanja

Biografija

Obrazovanje: - Završila matematički smer gimnazije "Jovan Jovanović Zmaj" 1986. godine. - Diplomirala 1991. godine na Prirodnomatematičkom fakultetu u Novom Sadu na odseku za matematiku - smer informatika. - Magistirala 1996. godine na Prirodnomatematičkom fakultetu u Novom Sadu, smer Diskretna matematika sa programiranjem, sa prosečnom ocenom 10.00. - Doktorirala 2000. godine na Prirodnomatematičkom fakultetu u Novom Sadu. Zvanja: - Redovni profesor od 2010; - Vanredni profesor 2005-2010; - Docent 2000-2005; - Asistent 1993-2000. Zaposlenje: - O.Š. "Jovan Popović", 1992; - NIS Informatika, 1992-1993; - FTN UNS, od 1993. Predavanja po pozivu: - Matematičkom institutu SANU u Beogradu; - Univerzitetu u Udinama, Italija; - Research Institute for Mathematical Sciences u Kjotu, Japan; - ULisboa, Faculty of Sciences, LaSIGE , Lisabon, Portugalija; - University of Turin, Italija - Universitat Politecnica de Valencia, Španija -..... Projekti:: - DART, bilateralni projekat između Srbije i Italije, 2013-2015; - BETTY, COST, 2012-2016; - Implementation of ECTS at Universities in Serbia, TEMPUS C009B04, 2006-2007; - EXTRA2, TEMPUS SCM-C026B06, 2007-2008; - Doctoral school towards European Knowledge Society, TEMPUS JEP-41099, 2007-2009; - Distance learning in the area of computer supported mathematical education, Srbija-Slovenija, br.337-00-167/2006-01/31,2006-2007; -...

Radno mesto

Aktuelno

Radno mesto	Od	Organizaciona jedinica
Redovni profesor	01. 04. 2023.	Katedra za matematiku

Istorijsko

Radno mesto	Od	Organizaciona jedinica
Redovni profesor	01. 07. 2010.	01. 07. 2010. - 31. 03. 2023.	Katedra za matematiku
Vanredni profesor	06. 07. 2005.	06. 07. 2005. - 01. 06. 2010.	Departman za opšte discipline u tehnici

Aktuelne

Naziv funkcije	Od	Organizaciona jedinica

Radovi

Naziv	U Ustanovi
program ne predviđa diplomski rad Osnovne studije (po starom) Matematika	Prirodno-matematički fakultet 1991
Relativna potpunost u viševrednosnim logikama Magistratura Matematičke nauke	Prirodno-matematički fakultet 1996
Potpunost, relativna potpunost i funkcionalna potpunost Doktorat Matematičke nauke	Prirodno-matematički fakultet 2000

Reprezentativne reference

Kriterijum produkcije	Opis
(U02) Pomoćni udžbenik za nastavni predmet	Ralević N., Čomić L., Pantović J., Zbirka rešenih zadataka iz matematičke analize II, Symbol, 2010.
(U02) Pomoćni udžbenik za nastavni predmet	Grbić,T., Likavec, S., Lukić, T., Pantović, J., Sladoje, N.,Teofanov, Lj.: Zbirka rešenih zadataka iz Matematike I (drugo izdanje), Stylos, Novi Sad, 2004.
(M13) Monografska studija/poglavlje u knjizi M11 ili rad u tematskom zborniku vodećeg međunarodnog značaja	Žunić J., Pantović J., Rosin P.: Measuring Linearity of Planar Curves, Chapter in: Advances in Intelligent Systems and Computing, Vol. 318, Maria De Marsico and Ana Fred (Eds): Pattern Recognition Application and Methods, 2015, pp. 257-271.
(M13) Monografska studija/poglavlje u knjizi M11 ili rad u tematskom zborniku vodećeg međunarodnog značaja	Gilezan S., Pantović J., Žunić J.: Partitioning Finite d-Dimensional Integer Grids with Applications, chapter in: Approximation Algorithms and Metaheuristics (editor: T. F. Gonzalez)., pp. 55-1--55-15,Chapman & Hall/CRC, 2007.
(M13) Monografska studija/poglavlje u knjizi M11 ili rad u tematskom zborniku vodećeg međunarodnog značaja	Borisavljević M., Gilezan S., Janičić P., Krapež A., Kurilić M., Mijajlović Ž., Marković Z., Ognjanović Z., Pantović J., Petrić Z., Stanković M., Stanković R., Stojmenović I., Vukomanović Đ.: History of Mathematical Logic in Serbia , in: Logic in Central and Eastern Europe: History, Science, and Discourse (edited by Andrew Schumann), University Press of America, 2012, str. 467-492.
(M14) Monografska studija/poglavlje u knjizi M12 ili rad u tematskom zborniku međunarodnog značaja	Čolić Oravec J., Machida H., Pantović J., Vojvodić G.: From clones to hyperclones, Beograd, Matematički institut SANU, Beograd, 2015, str. 111-144.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Rosin P., Pantović J., Žunić J.: Measuring Linearity of Curves in 2D and 3D, Pattern Recognition, 2016, Vol. 49, pp. 65-78.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Pantović J., Machida H., Rosenberg I.: Regular sets of operations, Journal of Multiple Valued Logic and Soft Computing, 2012, Vol. 19, No 1-3, pp. 149-162.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Colic J., Machida H., Pantovic J.: One-point Extension of the Algebra of Incompletely Specified Operations, Journal of Multiple Valued Logic and Soft Computing, 2014, Vol. 22, No 1-2, pp. 79-94.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Machida H., Pantovic J.: Three classes of maximal hyperclones, Journal of Multiple Valued Logic and Soft Computing, 2012, Vol. 18, No 2, pp. 201-210.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Colic J., Hajime M., Pantovic J.: Upward Saturated Hyperclones, Journal of Multiple Valued Logic and Soft Computing, Vol 24, No. 1-4, 2015, pp. 189-201.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Bartoletti M., Castellani I., Denielou P., Dezani-Ciancaglini M., Gilezan S., Pantović J., Perez J., Thiemann P., Toninho B., Vieira H.: Combining behavioural types with security analysis (Formerly known as The Journal of Logic and Algebraic Programming), Journal of Logic and Algebraic Programming, 2015, Vol. 84, No 6, pp. 763-780.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Rosin P., Pantović J., Žunić J.: Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves, Journal of Mathematical Imaging and Vision, 2015, Vol. 53, No 1, pp. 1-11.
(M20) Rad u međunarodnom časopisu izuzetnih vrednosti	Ghilezan S., Pantović J., Žunić J.,Separating points by parallel hyperplanes - characteization problem, IEEE Transactions on Neural Networks, 2007, Vol. 18, No. 5, 1356-1363.
(M21) Rad u vrhunskom međunarodnom časopisu	Pantović J., Prokić I., Gilezan S., Yoshida N., Scalas A.: Precise Subtyping for Asynchronous Multiparty Sessions. , ACM Transactions on Computational Logic, 2023, Vol. 24, No. 2, pp. 1-73, ISSN 1529-3785
(M21) Rad u vrhunskom međunarodnom časopisu	Dedeić J., Pantović J., Jorge A.: On Primitives for Compensation Handling as Adaptable Processes, Journal of Logical and Algebraic Methods in Programming, 2021, ISSN 2352-2208
(M21) Rad u vrhunskom međunarodnom časopisu	Prokić I., Pantović J., Torres Vieira H.: A Calculus for Modeling Floating Authorizations., Journal of Logical and Algebraic Methods in Programming, 2019, Vol. 107, pp. 136-174, ISSN 2352-2208
(M21) Rad u vrhunskom međunarodnom časopisu	Pantović J., Gilezan S., Jakšić S., Scalas A., Yoshida N.: Precise subtyping for synchronous multiparty sessions., Journal of Logical and Algebraic Methods in Programming, 2019, No. 104, pp. 127-173, ISSN 2352-2208
(M22) Rad u istaknutom međunarodnom časopisu	Pantović J., Machida H.: Closed Sets of Monomials in Two Variables Generated by Singletons. , Journal of Multiple Valued Logic and Soft Computing, 2019, Vol. 33, No. 3, pp. 219-238, ISSN 1542-3980
(M22) Rad u istaknutom međunarodnom časopisu	Pantović J., Gilezan S., Žunić J.: Encoding of Multilevel S-Threshold Functions, Journal of Multiple Valued Logic and Soft Computing, 2016, Vol. 26, No 1-2, pp. 89-108.
(M22) Rad u istaknutom međunarodnom časopisu	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theoretical Computer Science, 2008, 402(2-3): 156-171.
(M22) Rad u istaknutom međunarodnom časopisu	Pantović J., Vojvodić D., On the cardinality of nonfinitely based functionally complete algebras, Algebra Universalis, Vol. 43, No. 4, 2000, 369-374.
(M22) Rad u istaknutom međunarodnom časopisu	Pantović J., Tošić R., Vojvodić G., The cardinality of functionally complete algebras on a three element set, Algebra Universalis, Vol. 38, No.2, 1997, 136-140.
(M23) Rad u međunarodnom časopisu	Gilezan S., Jakšić S., Pantović J., Perez A. J., Torres Vieira H.: Dynamic Role Authorisation in Multiparty Conversations (DOI:10.1007/s00165-016-0363-5), Formal Aspects of Computing, 2016, Vol. 28, No 4, pp. 643-667.
(M23) Rad u međunarodnom časopisu	Jakšić S., Pantović J., Gilezan S.: Linked data privacy, Mathematical Structures in Computer Science, 2017, Vol. 27, pp. 33-53.
(M23) Rad u međunarodnom časopisu	Pantovic J., Gilezan S., Vojvodic G.: Binary relations and algebras on multisets, Publication de l'Institute Mathematique, 2014, Vol. 95, No 109, pp. 111-117.
(M23) Rad u međunarodnom časopisu	Pantović J., Machida H.: Maximal hyperclones on E2 as hypercores , Journal of Multiple Valued Logic and Soft Computing, 2009, pp. 1-13.
(M23) Rad u međunarodnom časopisu	Marinagiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Security types for dynamic web data, Proceedings of Trustworthy Global Computing, Lecture Notes in Computer Science, 2007, Vol. 4661, str. 263-280.
(M23) Rad u međunarodnom časopisu	Pantović, J., Rodić, B., Vojvodić, G., Unary minimal partial hyperclones, Journal of Multiple Valued Logic and Soft Computing, Vol. 12, No. 5-6, 2006.
(M23) Rad u međunarodnom časopisu	Pantović J., Tošić R., Vojvodić G., Relative completeness with respect to two unary functions, Discrete Applied Mathematics, Vol.113 (2-3), 2001, 337-342.
(M23) Rad u međunarodnom časopisu	Doroslovački R., Pantović J., Vojvodić G., One interval in the lattice of partila hyperclones, Czechoslovak Mathematical Journal, 55 (130), No. 3, 2005, 719-724.
(M23) Rad u međunarodnom časopisu	Pantović J., Vojvodić D., The cardinality of the set of clones containing unary minimal clones on the three element set, Multiple-Valued Logic - An International Journal (new title: Journal of Multiple valued Logic and Soft Computing), Vol. 5, 2000, 367-371.
(M23) Rad u međunarodnom časopisu	Tošić, R., Vojvodić, G., Mašulović, D., Pantović, J., Doroslovački R., Two examples of relative completeness, Multiple-Valued Logic - An International Journal (new title: Journal of Multiple Valued Logic and Soft Computing), Vol. 2, 1996, 67-78.
(M23) Rad u međunarodnom časopisu	Pantović J.: Hajime Machida, Jovanka Pantovic: Monomial Clones Over Small Finite Fields, Journal of Multiple-Valued Logic and Soft Computing (Old City Publishing), 2018, Vol. 31, No 3, pp. 271-286
(M31) Predavanje po pozivu sa međunarodnog skupa štampano u celini	Machida H., Haddad L., Pantović J.: Invitation to Clone Theory with Partial Clones and Hyperclones , 41. International Symposium on Multiple-Valued Logic, Tuusula: IEEE CS, 23-25 Maj, 2011
(M31) Predavanje po pozivu sa međunarodnog skupa štampano u celini	Dezani Ciancaglini M., Gilezan S., Jakšić S., Pantović J.: Types for role based access control of dynamic web data, Lecture notes in computer science, 2011, No 6559, pp. 1-29, ISSN 0302-9743
(M32) Predavanje po pozivu sa međunarodnog skupa štampano u izvodu	Pantović J.: On hyperclones on a two-element set Naziv skupa: Workshop on Discrete Mathematics and Clone Theory, Kyoto, 28-30. 08. 2008.
(M32) Predavanje po pozivu sa međunarodnog skupa štampano u izvodu	Pantović J.: Hyperalgebras and Hyperclones - Different Approaches Workshop on Discrete Mathematics and Clone Theory, Research Institute of Mathematical Sciences, Kyoto, Japan, 13-15.06. 2005.
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Padovani L., Dezani-Ciancaglini M.: Session Type Isomorphisms, 7. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, Grenoble: EPTCS, 12 April, 2014, pp. 61-71, ISBN 2075-2180
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantovic J., Gilezan S., Zunic J.: On the Number of S-Threshold Functions on not Necessarily Binary Input, 44. International Symposium on Multiple-Valued Logic, Bremen: IEEE , 19-21 Maj, 2014, pp. 1-6
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Gilezan S., Pantovic J., Jaksic S., A. Perez J., T. Vieira H.: Dynamic Role Authorization in Multiparty Conversations, 3. International Workshop on Behavioural Types, Rim: Open Publishing Association, 1 Septembar, 2014, pp. 1-8
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Rosin P., Žunić J.: Measuring linearity of curves, 2. International Conference on Pattern Recognition Applications and Methods (ICPRAM), Barcelona, 15-18 Februar, 2013, pp. 388-395
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantovic J., Colic J., Machida H.: On Hyper Co-clones, 43. International Symposium on Multiple-Valued Logic, Toyama, 22-24 Maj, 2013, pp. 182-185
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Colic J., Machida H., Pantovic J., Colic J.: Clones of Incompletely Specified Operations, 42. International Symposium on Multiple-Valued Logic, Victoria: IEEE CS, 14-16 Maj, 2012
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantovic J., Rosin P., Zunic J.: Mesuring linearity of closed curves and connected compound curves, 7. Asian Conference on Computer Vision, Daejeon, 5-9 Novembar, 2012, pp. 310-321
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Colic J., Machida H., Pantovic J., Colic J.: Maximal hyperclones determined by monotone operations, 41. International Symposium on Multiple-Valued Logic, Tuusula: IEEE CS, 23-25 Maj, 2011
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Machida H., Pantović J., Rosenberg I.: Galois connection for hyperclones , 40. International Symposium on Multiple-Valued Logic, Barcelona, 26-28 Maj, 2010, pp. 201-204
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J.: Hyperclones determined by total-parts of hyper-relations , 39. International Symposium on Multiple-Valued Logic, Naha: IEEE CS, 21-23 Maj, 2009, pp. 161-166
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Vojvodić G., On the partial hyperclone lattice, Proceedings of the 35th International Symposium on Multiple-Valued Logic, IEEE Press, 2005, 96-100.
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Vojvodić G., Minimal partial hyperclones on a two-element set, Proceedings of the 34th International Symposium on Multiple-Valued Logic, IEEE Press, 2004, 115-119. (OUTSTANDING CONTRIBUTED PAPER AWARD)
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Vojvodić D., The cardinality of nonfinitely based functionally complete algebras on the three element set, Contributions to general algebra 13, Proceedings of the Dresden conference 2000 (AAA 60) and the summer school 1999, Verlag Johannes Heyn, Klagenfurt 2001, 245-252.
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Machida H.: Monomial clones: local results and global properties, 46. International Symposium on Multiple-Valued Logic, Sapporo, 18-20 Maj, 2016
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Dezani Ciancaglini M., Gilezan S., Jakšić S., Pantović J., Yoshida N.: Denotational and Operational Preciseness of Subtyping: A Roadmap - - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, 2016, Vol. 9660, pp. 155-172, ISSN 0302-9743, 1. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on theOccasion of His 60th Birthday, Eindhoven: Springer, 3 April, 2016, pp. 155-172
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Gilezan S., Jakšić S., Pantović J., Pérez J., Torres Vieira H.: A Typed Model for Dynamic Authorizations, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: EPTCS, 18 April, 2015, pp. 73-84
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Dezani-Ciancaglini M., Gilezan S., Jakšić S., Pantović J., Yoshida N.: Precise subtyping for synchronous multiparty sessions, Electronic Proceedings in Theoretical Computer Science, 2015, Vol. 203, pp. 29-43, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: Open Publishing Association, 18 April, 2015, pp. 29-43
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Dedeić J., Pantović J., Perez J.: On Compensation Primitives as Adaptable Processes., 22. Workshop on Expressiveness in Concurrency, Madrid, 31 Avgust, 2015, pp. 16-30
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Pantović J., Karalić A., Suknjaja H.: Characteristic vectors of reversible functions with threshold components,, 52. International Symposium on Multiple-Valued Logic, Dallas, 18-20 May, 2022, pp. 113-118
(M33) Saopštenje sa međunarodnog skupa štampano u celini	Veličković M., Stojanović Đ., Pantović J.: Modelling the urban freight flows for impact assessment of the urban consolidation centres by using the origin-destination matrices, Transportation Research Procedia, 2021, Vol. 52, pp. 27-34, ISSN 2352-1465, 23. Meeting of the EURO Working Group on Transportation EWGT, Paphos: Elsevier, 16-18 September, 2020, pp. 27-34
(M51) Rad u vodećem časopisu nacionalnog značaja	Pantović J., Rodić B., Vojvodić G.,Hyperclone lattice and embeddings, Novi Sad Journal of Mathematics, Vol.36,No.1,2006,87-95.
(M51) Rad u vodećem časopisu nacionalnog značaja	Doroslovački R., Pantović J., Vojvodić G., Classification of maps by their membership in maximal clones that contain minimum and complement, Matematički vesnik 51, 1999, 21-28.
(M51) Rad u vodećem časopisu nacionalnog značaja	Vojvodić G.,Pantović J., Tošić R., The number of clones containg an unarz function, Novi Sad Journal of Mathematics, Vol. 27 (2), 1997, 83-87.
(M51) Rad u vodećem časopisu nacionalnog značaja	Doroslovački R., Pantović J., Vojvodić G., Note on intersections of maximal clones, Novi Sad Journal of Mathematics, Vol. 29 (1), 1999, 83-90.
(M51) Rad u vodećem časopisu nacionalnog značaja	Pantović J., Vojvodić D., The cardinality of clones containing minimal clones generated by semiprojections on a three element set, Novi Sad Journal of Mathematics, Vol. 30 (2), 2000, 155-158.
(M51) Rad u vodećem časopisu nacionalnog značaja	Gilezan S., Jakšić S., Pantović J., Dezani Ciancaglini M.: Types and roles for web security, Transactions on Advanced Research, 2012, Vol. 8, No 2, pp. 16-21, ISSN 1820 - 4511
(M51) Rad u vodećem časopisu nacionalnog značaja	Pantović J., Vojvodić D.: Note on the cardinality of some sets of clones, Acta Cybernetica, 2000, Vol. 14, pp. 491-495
(M51) Rad u vodećem časopisu nacionalnog značaja	Vojvodić G., Pantović J., Tošić R.: Relative completeness with respect to transpositions , Novi Sad Journal of Mathematics, 2000, Vol. 30, No 1, pp. 9-13, ISSN 1450-5444
(M51) Rad u vodećem časopisu nacionalnog značaja	Doroslovački R., Pantović J., Tošić R., Vojvodić G.: On Completeness Criterion for Partial Hyperoperations, Novi Sad Journal of Mathematics, 2000, Vol. 30, No 2, pp. 15-17, ISSN 1450-5444
(M51) Rad u vodećem časopisu nacionalnog značaja	Doroslovački R., Pantović J., Tošić R., Vojvodić G.: Completeness, functional completeness and relativ completeness. Proceedings of the VIII International Conference "Algebra and Logic", Novi Sad Journal of Mathematics, 1999, Vol. 29, No 2, pp. 171-180, ISSN 1450-5444
(M52) Rad u časopisu nacionalnog značaja	Pantović J., Vojvodić D., Note on cardinality of some sets of clones, Acta Cybernetica 14, 2000, 491-495.
(M71) Odbranjena doktorska disertacija	Pantović J.: Potpunost, funkcionalna potpunost i relativna potpunost, Doktorska disertacija , Prirodnomatematički fakultet, 2000
(M72) Odbranjen magistarski rad	Pantović J.: Relativna potpunost u višeznačnim logikama, Magistarska teza , Prirodnomatematički fakultet, 1996

Izbori u zvanja

Zvanje	Uža naučna oblast	Visokoškolska ustanova	Datum izbora
Redovni profesor	Teorijska i primenjena matematika	Univerzitet u Novom Sadu	24. 06. 2010.
Vanredni profesor	Matematičke nauke	Fakultet tehničkih nauka	06. 07. 2005.

ORGANIZACIJA

DOKUMENTA

ZAPOSLENI

KONKURSI

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

prof. dr Jovanka Pantović

Redovni profesor

Osnovne studije (po starom)

Matematika

1991

Magistratura

Matematičke nauke

1996

Doktorat

Matematičke nauke

2000

Kontakt: