prof. dr Jovanka Pantović


Nedostaje slika

dr Jovanka Pantović

Redovni profesor


Telefon021/485-2299
E-mail
Akademsko zvanjeRedovni profesor
KancelarijaKabinet 607

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</eng >, 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;
-...

Redovni profesor
01.04.2023.
Radno mestoOdDoOrganizaciona jedinica
Vanredni profesor06.07.2005.01.06.2010.Departman za opšte discipline u tehnici
Redovni profesor01.07.2010.31.03.2023.Katedra za matematiku
NazivU Ustanovi
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

program ne predviđa diplomski rad

Osnovne studije (po starom)

Matematičke nauke

Prirodno-matematički fakultet

1991

Kriterijum produkcijeOpis
(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čajaGilezan 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čajaBorisavljević 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiRosin P., Pantović J., Žunić J.: Measuring Linearity of Curves in 2D and 3D, Pattern Recognition, 2016, Vol. 49, pp. 65-78.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiPantović 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiColic 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiMachida H., Pantovic J.: Three classes of maximal hyperclones, Journal of Multiple Valued Logic and Soft Computing, 2012, Vol. 18, No 2, pp. 201-210.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiColic 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiBartoletti 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiRosin 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.
(M21a) Rad u međunarodnom časopisu izuzetnih vrednostiGhilezan 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 časopisuPantović 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 časopisuDedeić 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 časopisuProkić 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 časopisuPantović 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 časopisuPantović 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 časopisuPantović 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 časopisuMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theoretical Computer Science, 2008, 402(2-3): 156-171.
(M23) Rad u međunarodnom časopisuGilezan 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 časopisuJakš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 časopisuPantovic 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 časopisuPantović 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 časopisuPantović 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 časopisuPantović 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 celiniMachida 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 celiniDezani 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 izvoduPantović 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 izvoduPantović 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 celiniPantović 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 celiniDezani 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 celiniGilezan 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 celiniDezani-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 celiniDedeić 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 celiniPantović 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 celiniVelič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
(M33) Saopštenje sa međunarodnog skupa štampano u celiniPantović 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 celiniPantovic 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 celiniGilezan 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 celiniPantović 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 celiniPantovic 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 celiniColic 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 celiniPantovic 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 celiniColic 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 celiniMachida 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 celiniPantović 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 celiniPantović 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.
(M51) Rad u vodećem časopisu nacionalnog značajaPantović 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čajaGilezan 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čajaPantović 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čajaVojvodić 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čajaDoroslovač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čajaDoroslovač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
(M71) Odbranjena doktorska disertacijaPantović J.: Potpunost, funkcionalna potpunost i relativna potpunost, Doktorska disertacija , Prirodnomatematički fakultet, 2000
(M72) Odbranjen magistarski radPantović J.: Relativna potpunost u višeznačnim logikama, Magistarska teza , Prirodnomatematički fakultet, 1996
(U02) Pomoćni udžbenik za nastavni predmetRalević N., Čomić L., Pantović J., Zbirka rešenih zadataka iz matematičke analize II, Symbol, 2010.
(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 časopisuPantović J., Tošić R., Vojvodić G., Relative completeness with respect to two unary functions, Discrete Applied Mathematics, Vol.113 (2-3), 2001, 337-342.
(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čajaVojvodić 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čajaPantović J., Rodić B., Vojvodić G.,Hyperclone lattice and embeddings, Novi Sad Journal of Mathematics, Vol.36,No.1,2006,87-95.
(M52) Rad u časopisu nacionalnog značajaPantović J., Vojvodić D., Note on cardinality of some sets of clones, Acta Cybernetica 14, 2000, 491-495.
(U02) Pomoćni udžbenik za nastavni predmetGrbić,T., Likavec, S., Lukić, T., Pantović, J., Sladoje, N.,Teofanov, Lj.: Zbirka rešenih zadataka iz Matematike I (drugo izdanje), Stylos, Novi Sad, 2004.
(M51) Rad u vodećem časopisu nacionalnog značajaDoroslovački R., Pantović J., Vojvodić G., Note on intersections of maximal clones, Novi Sad Journal of Mathematics, Vol. 29 (1), 1999, 83-90.
(M22) Rad u istaknutom međunarodnom časopisuPantović 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.
(M22) Rad u istaknutom međunarodnom časopisuPantović J., Vojvodić D., On the cardinality of nonfinitely based functionally complete algebras, Algebra Universalis, Vol. 43, No. 4, 2000, 369-374.
(M23) Rad u međunarodnom časopisuDoroslovač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 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.
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
Redovni profesorTeorijska i primenjena matematikaUniverzitet u Novom Sadu24.06.2010.
Vanredni profesorMatematičke naukeFakultet tehničkih nauka06.07.2005.