Stefan Stanimirovic

32 papers Journal 26Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Approximate determinization of fuzzy automata over the product structure by means of approximate weak simulations.
Fuzzy Sets Syst.
Zorana Jancic, Ivana Micic, Miroslav Ciric, José Ramón González de Mendívil, Stefan Stanimirovic
2026 J jnl
Quasi-deterministic fuzzy automata: Isomorphisms and fuzzy deterministic automata minimization.
Fuzzy Sets Syst.
José Ramón González de Mendívil, Zorana Jancic, Aitor Gonzalez de Mendívil Grau, Ivana Micic, Stefan Stanimirovic
2025 J jnl
Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras.
Int. J. Approx. Reason.
Marko Stankovic, Stefan Stanimirovic, Miroslav Ciric
2025 J jnl
Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras.
Fuzzy Sets Syst.
Marko Stankovic, Miroslav Ciric, Stefan Stanimirovic, Dorde Stakic
2025 J jnl
Approximate state reduction of fuzzy finite automata.
Fuzzy Sets Syst.
Stefan Stanimirovic, Linh Anh Nguyen, Miroslav Ciric, Marko Stankovic
2025 J jnl
Breadth-first fuzzy bisimulations for fuzzy automata.
Fuzzy Sets Syst.
Stefan Stanimirovic, Linh Anh Nguyen, Miroslav Ciric, Marko Stankovic
2025 J jnl
Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic.
Cybern. Syst.
Linh Anh Nguyen, Ivana Micic, Ngoc-Thanh Nguyen, Stefan Stanimirovic
2025 J jnl
Soft state reduction of fuzzy automata over residuated lattices.
CoRR
Linh Anh Nguyen, Son Thanh Cao, Stefan Stanimirovic
2025 J jnl
Two-mode weakly linear systems of fuzzy relation equations: Structures of solutions, computation methods, and applications.
Inf. Sci.
Ivan Stankovic, Zorana Jancic, Miroslav Ciric, Ivana Micic, Stefan Stanimirovic
2024 J jnl
Approximate weak simulations and bisimulations for fuzzy automata over the product structure.
Fuzzy Sets Syst.
Ivana Micic, Miroslav Ciric, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
2024 J jnl
Finite determinization of fuzzy automata using a parametric product-based t-norm.
Fuzzy Sets Syst.
Ivana Micic, Stefan Stanimirovic, José Ramón González de Mendívil, Miroslav Ciric, Zorana Jancic
2024 J jnl
Polynomial crisp-minimization algorithm for fuzzy deterministic automata.
Fuzzy Sets Syst.
Aitor Gonzalez de Mendívil Grau, Federico Fariña, Stefan Stanimirovic, Ivana Micic, José Ramón González de Mendívil
2023 — conf
Approximate State Reduction of Fuzzy Finite Automata.
AFL
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen
2023 J jnl
Approximate positional analysis of fuzzy social networks.
Fuzzy Sets Syst.
Ivana Micic, Stefan Stanimirovic, Zorana Jancic
2023 J jnl
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata.
CoRR
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 J jnl
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata.
Fuzzy Sets Syst.
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 — conf
Finite Nerode Construction for Fuzzy Automata over the Product Algebra.
EUSFLAT/AGOP
Zorana Jancic, Ivana Micic, Stefan Stanimirovic, José Ramón González de Mendívil, Miroslav Ciric
2023 J jnl
Fuzzy Minimax Nets.
IEEE Trans. Fuzzy Syst.
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 J jnl
Minimal Determinization Algorithm for Fuzzy Automata.
IEEE Trans. Fuzzy Syst.
Aitor Gonzalez de Mendívil Grau, Stefan Stanimirovic, Federico Fariña
2023 — conf
On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees.
EUSFLAT/AGOP
Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen
2023 — conf
Reduction Graph for Minimal Determinization of Fuzzy Automata.
EUSFLAT/AGOP
Aitor Gonzalez de Mendívil Grau, Stefan Stanimirovic, Federico Fariña
2023 — conf
Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm.
EUSFLAT/AGOP
Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
2022 J jnl
Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras.
IEEE Trans. Fuzzy Syst.
Stefan Stanimirovic, Ivana Micic, Miroslav Ciric
2022 J jnl
Characterization and computation of approximate bisimulations for fuzzy automata.
Fuzzy Sets Syst.
Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic
2022 — conf
Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations.
CAI
Ivana Micic, Zorana Jancic, Stefan Stanimirovic
2022 J jnl
On the solvability of weakly linear systems of fuzzy relation equations
Inf. Sci.
Stefan Stanimirovic, Ivana Micic
2022 J jnl
On the solvability of weakly linear systems of fuzzy relation equations.
CoRR
Stefan Stanimirovic, Ivana Micic
2018 J jnl
Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences.
Fuzzy Sets Syst.
Ivana Micic, Zorana Jancic, Stefan Stanimirovic
2018 J jnl
Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders.
Inf. Sci.
Stefan Stanimirovic, Miroslav Ciric, Jelena Ignjatovic
2012 J jnl
Ballot matrix as Catalan matrix power and related identities.
Discret. Appl. Math.
Stefan Stanimirovic, Predrag S. Stanimirovic, Aleksandar Ilic
2011 J jnl
Some identities on Catalan numbers and hypergeometric functions via Catalan matrix power.
Appl. Math. Comput.
Stefan Stanimirovic
2009 J jnl
Catalan matrix and related combinatorial identities.
Appl. Math. Comput.
Stefan Stanimirovic, Predrag S. Stanimirovic, Marko Miladinovic, Aleksandar Ilic