Autori: Stanimirovic Stefan P
| 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 | 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 | 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 | 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 | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Polynomial crisp-minimization algorithm for fuzzy deterministic automata ☆ (Article) |
| Autori | de Mendivil Grau Aitor Gonzalez Farina Federico Stanimirovic Stefan P Micic Ivana Gonzalez de Mendivil Jose Ramon
|
| Info | FUZZY SETS AND SYSTEMS, (2024), vol. 495 br. , str. - |
| Ispravka | 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 | 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 | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic (Article; Early Access) |
| Autori | Nguyen Linh Anh Micic Ivana Nguyen Ngoc-Thanh Stanimirovic Stefan P
|
| Info | CYBERNETICS AND SYSTEMS, (2023), vol. br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | Minimal Determinization Algorithm for Fuzzy Automata (Article) |
| Autori | De Mendivil Grau Aitor Gonzalez Stanimirovic Stefan P Farina Federico
|
| Info | IEEE TRANSACTIONS ON FUZZY SYSTEMS, (2023), vol. 31 br. 11, str. 3812-3822 |
| Projekat | Science Fund of the Republic of Serbia [7750185]; Quantitative Automata Models: Fundamental Problems and Applications -QUAM; Ministry of Education, Science and Technological Development, Republic of Serbia [451-03-47/2023-01/200124] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Depth-bounded fuzzy simulations and bisimulations between fuzzy automata (Article) |
| Autori | Nguyen Linh Anh Jancic Ivana Stanimirovic Stefan P
|
| Info | FUZZY SETS AND SYSTEMS, (2023), vol. 473 br. , str. - |
| Projekat | Science Fund of the Republic of Serbia [7750185]; Ministry of Education, Science and Technological Development, Republic of Serbia [451-03-47/2023-01/200124] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
