Miroslav Ciric

67 papers B 1C 1Journal 56Unranked 7
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
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
Truncating and Shifting Weights for Max-Plus Automata.
Axioms
Jelena Matejic, Miroslav Ciric, Jelena Ignjatovic, Ivana Micic
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
Preface.
Inf. Comput.
Miroslav Ciric, Manfred Droste, Jean-Éric Pin
2024 J jnl
Simulations and bisimulations for max-plus automata.
Discret. Event Dyn. Syst.
Miroslav Ciric, Ivana Micic, Jelena Matejic, Aleksandar Stamenkovic
2024 J jnl
Simultaneous Method for Solving Certain Systems of Matrix Equations with Two Unknowns.
Axioms
Predrag S. Stanimirovic, Miroslav Ciric, Spyridon D. Mourtas, Gradimir V. Milovanovic, Milena J. Petrovic
2023 — conf
Approximate State Reduction of Fuzzy Finite Automata.
AFL
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen
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 — conf
Weighted Automata over Vector Spaces.
AFL
Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic
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
Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras.
J. Multiple Valued Log. Soft Comput.
Marko Stankovic, Miroslav Ciric, Jelena Ignjatovic
2022 J jnl
Weakly linear systems for matrices over the max-plus quantale.
Discret. Event Dyn. Syst.
Aleksandar Stamenkovic, Miroslav Ciric, Dragan Djurdjanovic
2021 J jnl
Representations and symbolic computation of generalized inverses over fields.
Appl. Math. Comput.
Predrag S. Stanimirovic, Miroslav Ciric, Alberto Lastra, Juan Rafael Sendra, Juana Sendra
2019 — ed.
Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings
CAI
Miroslav Ciric, Manfred Droste, Jean-Éric Pin
2019 — ch.
The Existence of Generalized Inverses of Fuzzy Matrices.
Interactions Between Computational Intelligence and Mathematics (2)
Miroslav Ciric, Jelena Ignjatovic
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
2018 J jnl
Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata.
Fuzzy Sets Syst.
Aleksandar Stamenkovic, Miroslav Ciric, Milan Basic
2018 J jnl
Weighted finite automata with output.
Soft Comput.
Jelena Ignjatovic, Miroslav Ciric, Zorana Jancic
2017 J jnl
Conditions for Existence, Representations, and Computation of Matrix Generalized Inverses.
Complex.
Predrag S. Stanimirovic, Miroslav Ciric, Igor Stojanovic, Dimitrios Gerontitis
2017 J jnl
Fuzzy relation equations and inequalities with two unknowns and their applications.
Fuzzy Sets Syst.
Ivan Stankovic, Miroslav Ciric, Jelena Ignjatovic
2016 J jnl
Further improvements of determinization methods for fuzzy finite automata.
Fuzzy Sets Syst.
Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric
2015 — conf
Bisimulations in fuzzy social network analysis.
IFSA-EUSFLAT
Jelena Ignjatovic, Miroslav Ciric, Ivan Stankovic
2015 J jnl
Determinization of Fuzzy Automata by Means of the Degrees of Language Inclusion.
IEEE Trans. Fuzzy Syst.
Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric
2015 J jnl
Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets.
Fuzzy Sets Syst.
Jelena Ignjatovic, Miroslav Ciric, Branimir Seselja, Andreja Tepavcevic
2015 — conf
Regular fuzzy equivalences on multi-mode multi-relational fuzzy networks.
IFSA-EUSFLAT
Miroslav Ciric, Jelena Ignjatovic, Ivan Stankovic
2014 J jnl
Bisimulations for weighted automata over an additively idempotent semiring.
Theor. Comput. Sci.
Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic
2014 J jnl
Brzozowski type determinization for fuzzy automata.
Fuzzy Sets Syst.
Zorana Jancic, Miroslav Ciric
2014 J jnl
Determinization of fuzzy automata by means of the degrees of language inclusion.
CoRR
Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric
2014 J jnl
Nondeterministic automata: Equivalence, bisimulations, and uniform relations.
Inf. Sci.
Miroslav Ciric, Jelena Ignjatovic, Milan Basic, Ivana Jancic
2014 J jnl
Reduction of fuzzy automata by means of fuzzy quasi-orders.
Inf. Sci.
Aleksandar Stamenkovic, Miroslav Ciric, Jelena Ignjatovic
2014 J jnl
Two-in-one: determinization and state reduction of fuzzy automata.
CoRR
Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric
2014 J jnl
Weighted finite automata with output.
CoRR
Jelena Ignjatovic, Miroslav Ciric, Zorana Jancic
2013 J jnl
Brzozowski type determinization for fuzzy automata.
CoRR
Zorana Jancic, Miroslav Ciric
2013 — conf
Fuzziness in Automata Theory: Why? How?
On Fuzziness (1)
Miroslav Ciric, Jelena Ignjatovic
2013 J jnl
Fuzzy relation equations and subsystems of fuzzy transition systems.
Knowl. Based Syst.
Jelena Ignjatovic, Miroslav Ciric, Vesna Simovic
2012 J jnl
Bisimulations for fuzzy automata.
Fuzzy Sets Syst.
Miroslav Ciric, Jelena Ignjatovic, Nada Damljanovic, Milan Basic
2012 J jnl
Computation of the greatest simulations and bisimulations between fuzzy automata.
Fuzzy Sets Syst.
Miroslav Ciric, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic
2012 J jnl
Construction of fuzzy automata from fuzzy regular expressions.
Fuzzy Sets Syst.
Aleksandar Stamenkovic, Miroslav Ciric
2012 J jnl
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case.
Fuzzy Sets Syst.
Jelena Ignjatovic, Miroslav Ciric, Nada Damljanovic, Ivana Jancic
2011 J jnl
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata
CoRR
Miroslav Ciric, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic
2011 J jnl
An improved algorithm for determinization of weighted and fuzzy automata.
Inf. Sci.
Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric
2011 J jnl
Bisimulations for fuzzy automata
CoRR
Miroslav Ciric, Jelena Ignjatovic, Nada Damljanovic, Milan Basic
2011 J jnl
Construction of fuzzy automata from fuzzy regular expressions
CoRR
Aleksandar Stamenkovic, Miroslav Ciric
2011 J jnl
Nondeterministic automata: equivalence, bisimulations, and uniform relations
CoRR
Miroslav Ciric, Jelena Ignjatovic, Milan Basic, Ivana Jancic
2011 J jnl
Reduction of fuzzy automata by means of fuzzy quasi-orders
CoRR
Aleksandar Stamenkovic, Miroslav Ciric, Jelena Ignjatovic
2010 J jnl
Determinization of weighted finite automata over strong bimonoids.
Inf. Sci.
Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler
2010 J jnl
Formal power series and regular operations on fuzzy languages.
Inf. Sci.
Jelena Ignjatovic, Miroslav Ciric
2010 J jnl
Fuzzy relation equations and reduction of fuzzy automata.
J. Comput. Syst. Sci.
Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic
2010 J jnl
Myhill-Nerode type theory for fuzzy languages and automata.
Fuzzy Sets Syst.
Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic, Tatjana Petkovic
2010 J jnl
On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations.
Fuzzy Sets Syst.
Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic
2009 J jnl
Fuzzy homomorphisms of algebras.
Fuzzy Sets Syst.
Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic
2009 J jnl
Uniform fuzzy relations and fuzzy functions.
Fuzzy Sets Syst.
Miroslav Ciric, Jelena Ignjatovic, Stojan Bogdanovic
2008 J jnl
Determinization of fuzzy automata with membership values in complete residuated lattices.
Inf. Sci.
Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic
2007 B conf
Factorization of Fuzzy Automata.
FCT
Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic
2007 J jnl
Fuzzy equivalence relations and their equivalence classes.
Fuzzy Sets Syst.
Miroslav Ciric, Jelena Ignjatovic, Stojan Bogdanovic
2004 J jnl
Minimal forbidden subwords.
Inf. Process. Lett.
Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic
2004 J jnl
Unary algebras, semigroups and congruences on free semigroups.
Theor. Comput. Sci.
Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic
2002 C conf
Characteristic Semigroups of Directable Automata.
Developments in Language Theory
Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic
2000 — conf
Generalized Directable Automata.
Words, Languages & Combinatorics
Zarko Popovic, Stojan Bogdanovic, Tatjana Petkovic, Miroslav Ciric
1999 J jnl
Traps, Cores, Extensions and Subdirect Decompositions of Unary Algebras.
Fundam. Informaticae
Stojan Bogdanovic, Miroslav Ciric, Tatjana Petkovic, Balázs Imreh, Magnus Steinby
1998 J jnl
Decompositions of Automata and Transition Semigroups.
Acta Cybern.
Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic