Dr Jelena M. Ignjatović
Full Professor
Department of Computer Science
Jelena Ignjatović - Curriculum Vitae |
Personal data: |
Date and place of birth:
Address: University of Niš Faculty of Sciences and Mathematics Department of Computer Science Višegradska 33, 18000 Niš, Serbia Tel.: +381 18 533015, +381 18 224492 (Office), +381 63 1045170 (Mobile) Fax: +381 18 533014 e-mail: jekaignjatovic73@gmai.com, jelena.ignjatovic@pmf.edu.rs |
Education: |
BSc: 1997, Mathematics Faculty of Philosophy, University of Niš, Niš, Serbia MSc: 2000, Mathematics Faculty of Philosophy, University of Niš, Niš, Serbia MSc thesis: Decompositions of quasi-ordered sets, semigroups and automata (in Serbian) Thesis supervisor: Miroslav Ćirić PhD: 2007, Computer Sciences Faculty of Sciences and Mathematics, University of Niš, Niš, Serbia PhD thesis: Fuzzy relations, automata and languages (in Serbian) Thesis supervisor: Miroslav Ćirić |
Professional Experience: |
1999-2000 – Junior Teaching Assistant, Faculty of Faculty of Philosophy, University of Niš, Niš, Serbia 2000-2001 – Teaching Assistant, Department of Mathematics, Faculty of Philosophy, University of Niš, Niš, Serbia 2001-2008 – Teaching Assistant, Department of Mathematics, Faculty of Sciences and Mathematics, University of Niš, Niš, Serbia 2008-2012 – Assistant Professor, Department of Computer Science, Faculty of Sciences and Mathematics, University of Niš, Niš, Serbia 2012-2016 – Associate Professor, Department of Computer Science, Faculty of Sciences and Mathematics, University of Niš, Niš, Serbia 2016 – Full Professor, Department of Computer Science, Faculty of Sciences and Mathematics, University of Niš, Niš, Serbia |
Professional Positions: |
· Vice-Dean for Coordination of International Projects, Faculty of Sciences and Mathematics, University of Niš (2015-until now ) |
Current Teaching: |
Bachelor's Degree Courses: · Mathematical Logic and Set Theory (Mathematics) · Data structures and agorithms (Computer Science) Master's Degree Courses: · Criptographic Algorithms (Computer Science) · Theory of Algorithms, Automata and Languages (Computer Science) Ph.D. Degree Courses: · Formal Languages, Automata and Computability (Computer Science) · Fuzzy sets and Systems (Mathematics, Computer Science) · Ordered Sets and Lattices (Mathematics, Computer Science) · Fuzzy Sets and Systems (Mathematics, Computer Science) · Ordered Algebraic Structures (Mathematics) |
Previous Teaching: |
Many courses at the undergraduate and graduate levels: Algebra II (including Theory of Groups, Theory of Rings and Fields, etc.), Linear Algebra and Analytical Geometry, Methodology of e-learning, Integrated software packages, Theory of Languages and Automata, etc. |
Scientific and Professional Orientation: |
· MATHEMATICS § Algebra, Mathematical Logic, Applied Mathematics, ˗ Fuzzy Sets and Systems, Ordered Sets and Lattices, Theory of Semigroups, Theory of Rings, · COMPUTER SCIENCE § Theory of Computing, Artificial Intelligence, ˗ Automata, Formal Languages, Reasoning under Uncertainty. |
Current & Recent Research: |
Fuzzy relations and fuzzy relation equations: Fuzzy equivalences, fuzzy quasi-orders, uniform fuzzy relations, fuzzy relation inequalities, fuzzy relation equations, applications of fuzzy relation inequalities and equations, etc. Fuzzy automata and languages: Algebraic theory of fuzzy automata and languages, state reduction algorithms, simulation, bisimulation and structural equivalence, determinization algorithms, canonization algorithms, fuzzy regular expressions and their conversion to fuzzy automata, applications to discrete event systems, etc. Weighted automata: Weighted automata over semirings, especially over additively idempotent semirings, weighted automata over strong bimonoids, determinization algorithms, state reduction algorithms, simulation, bisimulation and structural equivalence, weighted regular expressions, etc. Nondeterministic automata: Nondeterministic automata, determinization algorithms, canonization algorithms, state reduction algorithms, simulation, bisimulation and structural equivalence, etc. Social network analysis Fuzzy networks, one mode networks, two-mode networks, multi-mode multi-relational net-works, regular fuzzy equivalences, regular fuzzy quasi-orders, blockmodeling, bisimulations. Ordered algebraic structures Residuated functions, residuated algebraic structures, residuated lattices and quantales, solving inequalities and equations defined by residuated functions, solving inequalities and equations in residuated structures, etc. Generalized inverses Moore-Penrose equations in involutive residuated semigroups and involutive quantales, outer inverses in semigroups, etc. |
Previous Research: |
Deterministic automata: Direc sum decompositions, subdirect decompositions, reversible states, transition semigroups, etc. Ordered sets and lattices: Quasi-ordered sets, direct sum decompositions, distributive and algebraic lattices, lattices of congruences, ideals, subalgebras and varieties, etc. |
Research Projects: |
· Algebraic and Combinatorial Methods in Information and Communication Technologies - 101227(2002-2005) Funded by: Ministry of Science and Technological Development, Republic of Serbia Project holder: Faculty of Sciences and Mathematics, University of Niš Project leader: Miroslav Ćirić · Algebraic Structures and Information Processing Methods - 144011 (2006-2010) Funded by: Ministry of Science and Technological Development, Republic of Serbia Project holder: Faculty of Sciences and Mathematics, University of Niš Project leader: Miroslav Ćirić · Development of methods of computation and information processing: theory and applications - 174013 (2011-2016) Funded by: Ministry of Education and Science, Republic of Serbia Project holder: Faculty of Sciences and Mathematics, University of Niš Project leader: Miroslav Ćirić |
Other Projects: |
· TEMPUS, CD JEP-41110-2006: Teacher Education - Innovation of Studies in Mathematics and IT (2007-2009) · TEMPUS, 511140-TEMPUS-1-2010-1-RS-TEMPUS-JPCR: Master programme in Applied Statistics (2010-2013 |
Membership in Professional Societies: |
· EUSFLAT - European Society for Fuzzy Logic and Technology · IFSA - International Fuzzy Systems Association · Serbian Mathematical Sciences Association |
Refereeing and Reviewing: |
· Refereeing: Fuzzy Sets and Systems, Information Sciences, IEEE Transactions on Fuzzy Systems, International Journal of Uncertainty Fuzziness and Knowledge-based Systems, Facta Universitatis (Niš), Series Mathematics and Informatics, Filomat (Niš), etc. |
Editorial Activities: |
· FACTA UNIVERSITATIS (University of Niš, Faculty of Sciences and Mathematics) Area editor for Algebra, Fuzzy Mathematics, Theoretical Computer Science · KRAGUJEVAC JOURNAL OF MATHEMATICS (University of Kragujevac, Faculty of Science) Area editor for Algebra |
Supervised PhD theses: |
1. Ivana Micić, Bisimulations for Fuzzy Automata (in English), PhD thesis, University of Niš, Faculty of Sciences and Mathematics, 2014 2. Zorana Jančić, Algorithms for Determinization of Weighted and Fuzzy Automata (in English), PhD thesis, University of Niš, Faculty of Sciences and Mathematics, 2014 |
| |
|
M. Ćirić, J. Ignjatović, J. Ignjatović, M. Ćirić, Automata and Formal Languages (Automati i formalni jezici), (in Serbian) | |||
|
| ||
Submitted (3) | |||
[36] | M. Ćirić, P.S. Stanimirović, J. Ignjatović, Outer and inner inverses in semigroups belonging to the prescribed Green's equivalence classes, to appear. | ||
[35] | I. Brajević, J. Ignjatović, An upgraded firefly algorithm with feasibility-based rules for constrained engineering optimization problems, Journal of Intelligent Manufacturing 2019, | ||
| J. Ignjatović, M. Ćirić, B. De Baets, General method for solving equations and inequalities defined by residuated functions, to appear. | ||
2018 (3) | |||
S. Stanimirović, M. Ćirić, J. Ignjatović, Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders, INFORMATION SCIENCES 469 (2018) 79–100. | |||
J. Ignjatović, M. Ćirić, Z. Jančić, Weighted finite automata with output, SOFT COMPUTING 22(4) (2018) 1121-1138. | |||
M. Ćirić, J. Ignjatović, The existence of generalized inverses of fuzzy matrices, in: L. Kóczy, J. Kacprzyk, J. Medina (eds.), ESCIM 2016, STUDIES IN COMPUTATIONAL INTELLIGENCE | |||
2017(3) | |||
[33] | I. Stanković, M. Ćirić, J. Ignjatović, Fuzzy relation inequalities and equations with two unknowns and their applications, FUZZY SETS AND SYSTEMS 322 (2017) 86–105. | ||
[32] | J. Ignjatović, M. Ćirić, Z. Jančić, Weighted finite automata with output, SOFT COMPUTING (2017) DOI:10.1007/s00500-017-2493-y. | ||
[31] | J. Ignjatović, M. Ćirić, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, FILOMAT 31:2 (2017) 183–196. | ||
2016 (2) | |||
[30] | Z. Jančić, I. Micić, J. Ignjatović, M. Ćirić, Further improvements of determinization methods for fuzzy finite automata, FUZZY SETS AND SYSTEMS 301 (2016) 79-102. | ||
2015 (5) | |
[29] | A. Stamenković, M. Ćirić, J. Ignjatović, Different models of automata with fuzzy states, FACTA UNIVERSITATIS (Niš), SERIES MATHEMATICS AND INFORMATICS 30 (3) (2015), 235–253. |
[28] | M. Ćirić, J. Ignjatović, I. Stanković, Regular fuzzy equivalences on multi-mode multi-relational fuzzy networks, in: Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2015), Gijón, Asturias, Spain, Advances in Intelligent Systems Research Vol. 89, 2015, pp. 398-403. |
[27] | J. Ignjatović, M. Ćirić, I. Stanković, Bisimulations in fuzzy social network analysis, in: Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2015), Gijón, Asturias, Spain, Advances in Intelligent Systems Research Vol. 89, 2015, pp. 404-411. |
[26] | I. Micić, Z. Jančić, J. Ignjatović, M. Ćirić, Determinization of fuzzy automata by means of the degrees of language inclusion, IEEE TRANSACTIONS ON FUZZY SYSTEMS 23 (6) (2015) 2144–2153. |
[25] | J. Ignjatović, M. Ćirić, B. Šešelja, A. Tapavčević, Fuzzy relation inequalities and equations, fuzzy quasi-orders, and closures and openings of fuzzy sets, FUZZY SETS AND SYSTEMS 260 (2015) 1-24. |
2014 (3) | |
[24] | A. Stamenković, M. Ćirić, J. Ignjatović, Reduction of fuzzy automata by means of fuzzy quasi-orders, INFORMATION SCIENCES 275 (2014) 168–198. |
[23] | N. Damljanović, M. Ćirić, J. Ignjatović, Bisimulations for weighted automata over an additively idempotent semiring, THEORETICAL COMPUTER SCIENCE 534 (2014) 86–100. |
[22] | M. Ćirić, J. Ignjatović, M. Bašić, I. Jančić, Nondeterministic automata: equivalence, bisimulations, and uniform relations, INFORMATION SCIENCES 261 (2014) 185–218. |
2013 (2) | |
[21] | M. Ćirić, J. Ignjatović, Fuzziness in Automata Theory: Why? How?, in: R. Seising, E. Trillas, C. Moraga, S. Termini (eds.), On Fuzziness, A Homage to Lotfi A. Zadeh, STUDIES IN FUZZINESS AND SOFT COMPUTING Vol. 298, Berlin – New York, Springer 2013, pp. 109–116. |
[20] | J. Ignjatović, M. Ćirić, V. Simović, Fuzzy relation equations and subsystems of fuzzy transition systems, KNOWLEDGE-BASED SYSTEMS 38 (2013) 48–61. |
2012 (4) | |
[19] | M. Ćirić, J. Ignjatović, I. Jančić, N. Damljanović, Computation of the greatest simulations and bisimulations between fuzzy automata, FUZZY SETS AND SYSTEMS 208 (2012) 22–42. |
[18] | J. Ignjatović, M. Ćirić, N. Damljanović, I. Jančić, Weakly linear systems of fuzzy relation inequalities: The heterogeneous case, FUZZY SETS AND SYSTEMS 199 (2012) 64-91. |
[17] | M. Ćirić, J. Ignjatović, N. Damljanović, M. Bašić, Bisimulations for fuzzy automata, FUZZY SETS AND SYSTEMS 186 (2012) 100-139 |
[16] | J. Ignjatović, M. Ćirić, Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey, FILOMAT 26(2) (2012), 207-241. |
2011 (2) | |
[15] | I. Stanković, J. Ignjatović, M. Ćirić, Boolean relation equations in data analysis, in: Proceedings of the 9th IEEE International Symposium on Intelligent Systems and Informatics (SISY 2011), Subotica, Serbia, 2011, pp. 125-130. |
[14] | Z. Jančić, J. Ignjatović, M. Ćirić, An improved algorithm for determinization of weighted and fuzzy automata, INFORMATION SCIENCES 181 (2011) 1358–1368. |
2010 (5) | |
[13] | J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, FUZZY SETS AND SYSTEMS 161 (2010) 3081-3113. |
[12] | M. Ćirić, M. Droste, J. Ignjatović, H. Vogler, Determinization of weighted finite automata over strong bimonoids, INFORMATION SCIENCES 180 (2010) 3497-3520. |
[11] | M. Ćirić, A. Stamenković, J. Ignjatović, T. Petković, Fuzzy relation equations and reduction of fuzzy automata, JOURNAL OF COMPUTER AND SYSTEM SCIENCES 76 (2010), 609-633. |
[10] | J. Ignjatović, M. Ćirić, S. Bogdanović, T. Petković, Myhill-Nerode type theory for fuzzy languages and automata, FUZZY SETS AND SYSTEMS 161 (2010) 1288-1324. |
[9] | J. Ignjatović, M. Ćirić, Formal power series and regular operations on fuzzy languages, INFORMATION SCIENCES 180 (2010) 1104–1120. |
2009 (3) | |
[8] | M. Ćirić, J. Ignjatović, Ž. Popović, Stojan M. Bogdanović – scientist, teacher, and poet, FACTA UNIVERSITATIS (Niš), SERIES MATHEMATICS AND INFORMATICS 24 (2009) 1-13. |
[7] | J. Ignjatović, M. Ćirić, S. Bogdanović, Fuzzy homomorphisms of algebras, FUZZY SETS AND SYSTEMS 160 (2009), 2345–2365. |
[6] | M. Ćirić, J. Ignjatović, S. Bogdanović, Uniform fuzzy relations and fuzzy functions, FUZZY SETS AND SYSTEMS 160 (2009) 1054–1081. |
2008 (1) | |
[5] | J. Ignjatović, M. Ćirić, S. Bogdanović, Determinization of fuzzy automata with membership values in complete residuated lattices, INFORMATION SCIENCES 178 (2008), 164–180. |
2007 (2) | |
[4] | M. Ćirić, J. Ignjatović, S. Bogdanović, Fuzzy equivalence relations and their equivalence classes, FUZZY SETS AND SYSTEMS 158 (2007), 1295-1313. |
[3] | M. Ćirić, A. Stamenković, J. Ignjatović, T. Petković, Factorization of fuzzy automata, in: E. Csuhaj-Varjú and Z. Ésik (Eds.): FCT 2007, LECTURE NOTES IN COMPUTER SCIENCE 4639 (2007), 213–225. |
2002 (1) | |
[2] | J. Kovačević, M. Ćirić, T. Petković, S. Bogdanović, Decompositions of automata and reversible states, PUBLICATIONES MATHEMATICAE DEBRECEN 60 (3-4) (2002), 587-602. |
1998 (1) | |
[1] | M. Ćirić , S. Bogdanović, J. Kovačević, Direct sum decompositions of quasi-ordered sets and their applications, FILOMAT (Niš) 12:1 (1998), 65-82. |