Autori: Ciric Miroslav D
Naslov | Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras (Article) |
Autori | Stankovic Marko ST Ciric Miroslav D Stanimirovic Stefan P Stakic Djordje S |
Info | FUZZY SETS AND SYSTEMS, (2025), vol. 507 br. , str. - |
Projekat | Science Fund of the Republic of Serbia, Quantitative Automata Models: Fundamental Problems and Applications - QUAM [7750185]; Ministry of Science, Technological Development and Innovation, Republic of Serbia; [451-03-66/2024-03/200139]; [451-03-65/2024-03/200124]; [451-03-65/2024-03/20097] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras (Article) |
Autori | Stankovic Marko ST Stanimirovic Stefan P Ciric Miroslav D |
Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2025), vol. 179 br. , str. - |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Breadth-first fuzzy bisimulations for fuzzy automata (Article) |
Autori | Stanimirovic Stefan P Nguyen Linh Anh Ciric Miroslav D Stankovic Marko ST |
Info | FUZZY SETS AND SYSTEMS, (2025), vol. 503 br. , str. - |
Projekat | Science Fund of the Republic of Serbia [7750185]; Quantitative Automata Models: Fundamental Problems and Applications - QUAM; Ministry of Science, Technological Development and Innovation, Republic of Serbia [451-03-65/2024-03/200124, 451-03-66/2024-03/200139] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Two-mode weakly linear systems of fuzzy relation equations: Structures of solutions, computation methods, and applications (Article) |
Autori | Stankovic Ivan B Jancic Zorana Ciric Miroslav D Micic Ivana Stanimirovic Stefan P |
Info | INFORMATION SCIENCES, (2025), vol. 686 br. , str. - |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Simultaneous Method for Solving Certain Systems of Matrix Equations with Two Unknowns (Article) |
Autori | Stanimirovic Predrag S Ciric Miroslav D Mourtas Spyridon D Milovanovic Gradimir V Petrovic Milena J |
Info | AXIOMS, (2024), vol. 13 br. 12, str. - |
Projekat | Ministry of Science and Higher Education of the Russian Federation; [075-15-2022-1121] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Idempotent-Aided Factorizations of Regular Elements of a Semigroup (Article) |
Autori | Ciric Miroslav D Ignjatovic Jelena M Stanimirovic Predrag S |
Info | MATHEMATICS, (2024), vol. 12 br. 19, str. - |
Projekat | Science Fund of the Republic of Serbia [7750185]; Quantitative Automata Models: Fundamental Problems and Applications-QUAM; Ministry of Science, Technological Development and Innovation, Republic of Serbia [451-03-65/2024-03/200124] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Simulations and Bisimulations between Weighted Finite Automata Based on Time-Varying Models over Real Numbers (Article) |
Autori | Stanimirovic Predrag S Ciric Miroslav D Mourtas Spyridon D Brzakovic Pavle Karabasevic Darjan |
Info | MATHEMATICS, (2024), vol. 12 br. 13, str. - |
Projekat | Ministry of Science and Higher Education of the Russian Federation [075-15-2022-1121] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Finite determinization of fuzzy automata using a parametric product-based t-norm (Article) |
Autori | Micic Ivana Stanimirovic Stefan P De Mendivil Jose Ramon Gonzalez Ciric Miroslav D Jancic Zorana |
Info | FUZZY SETS AND SYSTEMS, (2024), vol. 488 br. , str. - |
Projekat | Science Fund of the Republic of Serbia [7750185]; Quantitative Automata Models: Fundamental Problems and Applications - QUAM; Ministry of Science, Technological Development and Innovation, Republic of Serbia [451-03-65/2024-01/200124] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Approximate weak simulations and bisimulations for fuzzy automata over the product structure (Article) |
Autori | Micic Ivana Ciric Miroslav D Matejic Jelena Stanimirovic Stefan P Nguyen Linh Anh |
Info | FUZZY SETS AND SYSTEMS, (2024), vol. 485 br. , str. - |
Projekat | Science Fund of the Republic of Serbia [7750185]; Ministry of Science, Technological Development and Innovation, Republic of Serbia [451-03-65/2024-01/200124] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
Naslov | Simulations and bisimulations for max-plus automata (Article) |
Autori | Ciric Miroslav D Micic Ivana Matejic Jelena Stamenkovic Aleksandar |
Info | DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, (2024), vol. 34 br. 2, str. 269-295 |
Projekat | Science Fund of the Republic of Serbia |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |