default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiroslav Ciric 0001
Person information
- affiliation: University of Niš, Faculty of Sciences and Mathematics, Department of Computer Science, Serbia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2025
[j41]Marko Stankovic
, Stefan Stanimirovic, Miroslav Ciric:
Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras. Int. J. Approx. Reason. 179: 109362 (2025)- [j40]Ivan Stankovic, Zorana Jancic, Miroslav Ciric, Ivana Micic, Stefan Stanimirovic:
Two-mode weakly linear systems of fuzzy relation equations: Structures of solutions, computation methods, and applications. Inf. Sci. 686: 121319 (2025) - 2024
- [j39]Miroslav Ciric, Ivana Micic, Jelena Matejic, Aleksandar Stamenkovic:
Simulations and bisimulations for max-plus automata. Discret. Event Dyn. Syst. 34(2): 269-295 (2024) - [j38]Ivana Micic, Miroslav Ciric, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate weak simulations and bisimulations for fuzzy automata over the product structure. Fuzzy Sets Syst. 485: 108959 (2024) - [j37]Ivana Micic, Stefan Stanimirovic, José Ramón González de Mendívil, Miroslav Ciric, Zorana Jancic:
Finite determinization of fuzzy automata using a parametric product-based t-norm. Fuzzy Sets Syst. 488: 108990 (2024) - [j36]Miroslav Ciric, Manfred Droste, Jean-Éric Pin:
Preface. Inf. Comput. 301: 105199 (2024) - 2022
- [j35]Aleksandar Stamenkovic, Miroslav Ciric, Dragan Djurdjanovic:
Weakly linear systems for matrices over the max-plus quantale. Discret. Event Dyn. Syst. 32(1): 1-25 (2022) - [j34]Marko Stankovic, Miroslav Ciric, Jelena Ignjatovic:
Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras. J. Multiple Valued Log. Soft Comput. 39(2-4): 341-379 (2022) - [j33]Stefan Stanimirovic, Ivana Micic, Miroslav Ciric:
Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras. IEEE Trans. Fuzzy Syst. 30(2): 437-447 (2022) - 2021
- [j32]Predrag S. Stanimirovic, Miroslav Ciric, Alberto Lastra, Juan Rafael Sendra, Juana Sendra:
Representations and symbolic computation of generalized inverses over fields. Appl. Math. Comput. 406: 126287 (2021) - 2018
- [j31]Aleksandar Stamenkovic, Miroslav Ciric, Milan Basic:
Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata. Fuzzy Sets Syst. 333: 124-139 (2018) - [j30]Stefan Stanimirovic, Miroslav Ciric, Jelena Ignjatovic:
Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders. Inf. Sci. 469: 79-100 (2018) - [j29]Jelena Ignjatovic, Miroslav Ciric, Zorana Jancic:
Weighted finite automata with output. Soft Comput. 22(4): 1121-1138 (2018) - 2017
- [j28]Predrag S. Stanimirovic, Miroslav Ciric, Igor Stojanovic, Dimitrios Gerontitis:
Conditions for Existence, Representations, and Computation of Matrix Generalized Inverses. Complex. 2017: 6429725:1-6429725:27 (2017) - [j27]Ivan Stankovic, Miroslav Ciric, Jelena Ignjatovic:
Fuzzy relation equations and inequalities with two unknowns and their applications. Fuzzy Sets Syst. 322: 86-105 (2017) - 2016
- [j26]Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric:
Further improvements of determinization methods for fuzzy finite automata. Fuzzy Sets Syst. 301: 79-102 (2016) - 2015
- [j25]Jelena Ignjatovic, Miroslav Ciric, Branimir Seselja, Andreja Tepavcevic:
Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets. Fuzzy Sets Syst. 260: 1-24 (2015) - [j24]Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric:
Determinization of Fuzzy Automata by Means of the Degrees of Language Inclusion. IEEE Trans. Fuzzy Syst. 23(6): 2144-2153 (2015) - 2014
- [j23]Zorana Jancic, Miroslav Ciric:
Brzozowski type determinization for fuzzy automata. Fuzzy Sets Syst. 249: 73-82 (2014) - [j22]Miroslav Ciric, Jelena Ignjatovic, Milan Basic, Ivana Jancic:
Nondeterministic automata: Equivalence, bisimulations, and uniform relations. Inf. Sci. 261: 185-218 (2014) - [j21]Aleksandar Stamenkovic, Miroslav Ciric, Jelena Ignjatovic:
Reduction of fuzzy automata by means of fuzzy quasi-orders. Inf. Sci. 275: 168-198 (2014) - [j20]Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic:
Bisimulations for weighted automata over an additively idempotent semiring. Theor. Comput. Sci. 534: 86-100 (2014) - 2013
- [j19]Jelena Ignjatovic, Miroslav Ciric, Vesna Simovic:
Fuzzy relation equations and subsystems of fuzzy transition systems. Knowl. Based Syst. 38: 48-61 (2013) - 2012
- [j18]Miroslav Ciric, Jelena Ignjatovic, Nada Damljanovic, Milan Basic:
Bisimulations for fuzzy automata. Fuzzy Sets Syst. 186(1): 100-139 (2012) - [j17]Aleksandar Stamenkovic, Miroslav Ciric:
Construction of fuzzy automata from fuzzy regular expressions. Fuzzy Sets Syst. 199: 1-27 (2012) - [j16]Jelena Ignjatovic, Miroslav Ciric, Nada Damljanovic, Ivana Jancic:
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case. Fuzzy Sets Syst. 199: 64-91 (2012) - [j15]Miroslav Ciric, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic:
Computation of the greatest simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst. 208: 22-42 (2012) - 2011
- [j14]Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric:
An improved algorithm for determinization of weighted and fuzzy automata. Inf. Sci. 181(7): 1358-1368 (2011) - 2010
- [j13]Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic, Tatjana Petkovic:
Myhill-Nerode type theory for fuzzy languages and automata. Fuzzy Sets Syst. 161(9): 1288-1324 (2010) - [j12]Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic:
On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations. Fuzzy Sets Syst. 161(24): 3081-3113 (2010) - [j11]Jelena Ignjatovic, Miroslav Ciric:
Formal power series and regular operations on fuzzy languages. Inf. Sci. 180(7): 1104-1120 (2010) - [j10]Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler:
Determinization of weighted finite automata over strong bimonoids. Inf. Sci. 180(18): 3497-3520 (2010) - [j9]Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic:
Fuzzy relation equations and reduction of fuzzy automata. J. Comput. Syst. Sci. 76(7): 609-633 (2010) - 2009
- [j8]Miroslav Ciric, Jelena Ignjatovic, Stojan Bogdanovic:
Uniform fuzzy relations and fuzzy functions. Fuzzy Sets Syst. 160(8): 1054-1081 (2009) - [j7]Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic:
Fuzzy homomorphisms of algebras. Fuzzy Sets Syst. 160(16): 2345-2365 (2009) - 2008
- [j6]Jelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic:
Determinization of fuzzy automata with membership values in complete residuated lattices. Inf. Sci. 178(1): 164-180 (2008) - 2007
- [j5]Miroslav Ciric, Jelena Ignjatovic, Stojan Bogdanovic:
Fuzzy equivalence relations and their equivalence classes. Fuzzy Sets Syst. 158(12): 1295-1313 (2007) - 2004
- [j4]Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic:
Minimal forbidden subwords. Inf. Process. Lett. 92(5): 211-218 (2004) - [j3]Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic:
Unary algebras, semigroups and congruences on free semigroups. Theor. Comput. Sci. 324(1): 87-105 (2004) - 1999
- [j2]Stojan Bogdanovic, Miroslav Ciric, Tatjana Petkovic, Balázs Imreh, Magnus Steinby:
Traps, Cores, Extensions and Subdirect Decompositions of Unary Algebras. Fundam. Informaticae 38(1-2): 51-60 (1999) - 1998
- [j1]Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic:
Decompositions of Automata and Transition Semigroups. Acta Cybern. 13(4): 385-403 (1998)
Conference and Workshop Papers
- 2023
- [c9]Zorana Jancic, Ivana Micic, Stefan Stanimirovic, José Ramón González de Mendívil, Miroslav Ciric:
Finite Nerode Construction for Fuzzy Automata over the Product Algebra. EUSFLAT/AGOP 2023: 555-566 - [c8]Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate State Reduction of Fuzzy Finite Automata. AFL 2023: 51-66 - [c7]Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic:
Weighted Automata over Vector Spaces. AFL 2023: 67-81 - 2015
- [c6]Miroslav Ciric, Jelena Ignjatovic, Ivan Stankovic:
Regular fuzzy equivalences on multi-mode multi-relational fuzzy networks. IFSA-EUSFLAT 2015 - [c5]Jelena Ignjatovic, Miroslav Ciric, Ivan Stankovic:
Bisimulations in fuzzy social network analysis. IFSA-EUSFLAT 2015 - 2013
- [c4]Miroslav Ciric, Jelena Ignjatovic:
Fuzziness in Automata Theory: Why? How? On Fuzziness (1) 2013: 109-114 - 2007
- [c3]Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic:
Factorization of Fuzzy Automata. FCT 2007: 213-225 - 2002
- [c2]Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic:
Characteristic Semigroups of Directable Automata. Developments in Language Theory 2002: 417-427 - 2000
- [c1]Zarko Popovic, Stojan Bogdanovic, Tatjana Petkovic, Miroslav Ciric:
Generalized Directable Automata. Words, Languages & Combinatorics 2000: 378-395
Parts in Books or Collections
- 2019
- [p1]Miroslav Ciric, Jelena Ignjatovic:
The Existence of Generalized Inverses of Fuzzy Matrices. Interactions Between Computational Intelligence and Mathematics (2) 2019: 19-38
Editorship
- 2019
- [e1]Miroslav Ciric, Manfred Droste, Jean-Éric Pin:
Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings. Lecture Notes in Computer Science 11545, Springer 2019, ISBN 978-3-030-21362-6 [contents]
Informal and Other Publications
- 2014
- [i10]Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric:
Two-in-one: determinization and state reduction of fuzzy automata. CoRR abs/1402.6510 (2014) - [i9]Jelena Ignjatovic, Miroslav Ciric, Zorana Jancic:
Weighted finite automata with output. CoRR abs/1410.2415 (2014) - [i8]Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric:
Determinization of fuzzy automata by means of the degrees of language inclusion. CoRR abs/1410.6063 (2014) - 2013
- [i7]Zorana Jancic, Miroslav Ciric:
Brzozowski type determinization for fuzzy automata. CoRR abs/1311.5799 (2013) - 2011
- [i6]Miroslav Ciric, Jelena Ignjatovic, Milan Basic, Ivana Jancic:
Nondeterministic automata: equivalence, bisimulations, and uniform relations. CoRR abs/1102.5449 (2011) - [i5]Aleksandar Stamenkovic, Miroslav Ciric, Jelena Ignjatovic:
Reduction of fuzzy automata by means of fuzzy quasi-orders. CoRR abs/1102.5451 (2011) - [i4]Miroslav Ciric, Jelena Ignjatovic, Nada Damljanovic, Milan Basic:
Bisimulations for fuzzy automata. CoRR abs/1102.5452 (2011) - [i3]Miroslav Ciric, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic:
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata. CoRR abs/1103.5078 (2011) - [i2]Aleksandar Stamenkovic, Miroslav Ciric:
Construction of fuzzy automata from fuzzy regular expressions. CoRR abs/1105.6190 (2011) - [i1]Velimir M. Ilic, Miroslav D. Ciric, Miomir S. Stankovic:
Cross-moments computation for stochastic context-free grammars. CoRR abs/1108.0353 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
