Articles de revues sur le sujet « Ω-automata »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Ω-automata ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Krithivasan, Kamala, K. Sharda et Sandeep V. Varma. « Distributed ω-Automata ». International Journal of Foundations of Computer Science 14, no 04 (août 2003) : 681–98. http://dx.doi.org/10.1142/s0129054103001959.
Texte intégralBaier, Christel, Marcus Grösser et Nathalie Bertrand. « Probabilistic ω-automata ». Journal of the ACM 59, no 1 (février 2012) : 1–52. http://dx.doi.org/10.1145/2108242.2108243.
Texte intégralKrithivasan, Kamala, et K. Sharda. « Fuzzy ω-automata ». Information Sciences 138, no 1-4 (octobre 2001) : 257–81. http://dx.doi.org/10.1016/s0020-0255(01)00150-5.
Texte intégralCARNINO, VINCENT, et SYLVAIN LOMBARDY. « FACTORIZATIONS AND UNIVERSAL AUTOMATON OF OMEGA LANGUAGES ». International Journal of Foundations of Computer Science 25, no 08 (décembre 2014) : 1111–25. http://dx.doi.org/10.1142/s0129054114400279.
Texte intégralLindsay, Peter A. « On alternating ω-automata ». Journal of Computer and System Sciences 36, no 1 (février 1988) : 16–24. http://dx.doi.org/10.1016/0022-0000(88)90018-9.
Texte intégralKUPFERMAN, ORNA, GILA MORGENSTERN et ANIELLO MURANO. « TYPENESS FOR ω-REGULAR AUTOMATA ». International Journal of Foundations of Computer Science 17, no 04 (août 2006) : 869–83. http://dx.doi.org/10.1142/s0129054106004157.
Texte intégralEngelfriet, Joost, et Hendrik Jan Hoogeboom. « X-automata on ω-words ». Theoretical Computer Science 110, no 1 (mars 1993) : 1–51. http://dx.doi.org/10.1016/0304-3975(93)90349-x.
Texte intégralChen, Zhe. « On the Generative Power of ω-Grammars and ω-Automata ». Fundamenta Informaticae 111, no 2 (2011) : 119–45. http://dx.doi.org/10.3233/fi-2011-557.
Texte intégralLöding, Christof, et Max Philip Stachon. « On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words ». Fundamenta Informaticae 189, no 1 (7 juillet 2023) : 69–91. http://dx.doi.org/10.3233/fi-222152.
Texte intégralLa Torre, Salvatore, et Margherita Napoli. « Finite automata on timed ω-trees ». Theoretical Computer Science 293, no 3 (février 2003) : 479–505. http://dx.doi.org/10.1016/s0304-3975(02)00611-4.
Texte intégralFinkel, Olivier, et Stevo Todorčević. « A hierarchy of tree-automatic structures ». Journal of Symbolic Logic 77, no 1 (mars 2012) : 350–68. http://dx.doi.org/10.2178/jsl/1327068708.
Texte intégralPENG, WUXU, et S. PURUSHOTHAMAN IYER. « A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES ». International Journal of Foundations of Computer Science 06, no 02 (juin 1995) : 169–86. http://dx.doi.org/10.1142/s0129054195000123.
Texte intégralMoriya, Tetsuo, et Hideki Yamasaki. « Accepting conditions for automata on ω-languages ». Theoretical Computer Science 61, no 2-3 (novembre 1988) : 137–47. http://dx.doi.org/10.1016/0304-3975(88)90121-1.
Texte intégralDobronravov, Egor, Nikita Dobronravov et Alexander Okhotin. « On the Length of Shortest Strings Accepted by Two-way Finite Automata ». Fundamenta Informaticae 180, no 4 (30 juin 2021) : 315–31. http://dx.doi.org/10.3233/fi-2021-2044.
Texte intégralCarton, Olivier, et Dominique Perrin. « Chains and Superchains for ω-Rational Sets, Automata and Semigroups ». International Journal of Algebra and Computation 07, no 06 (décembre 1997) : 673–95. http://dx.doi.org/10.1142/s0218196797000290.
Texte intégralMuhiuddin, G., K. Janaki, D. Al-Kadi, R. Arulprakasam et V. Govindan. « On Subclasses of Recognizable ω ω − Partial Array Languages ». Journal of Mathematics 2022 (12 septembre 2022) : 1–11. http://dx.doi.org/10.1155/2022/1493126.
Texte intégralDroste, Manfred, et Werner Kuich. « A Kleene Theorem for Weighted ω-Pushdown Automata ». Acta Cybernetica 23, no 1 (2017) : 43–59. http://dx.doi.org/10.14232/actacyb.23.1.2017.4.
Texte intégralThistle, J. G., et R. P. Malhamé. « Control of ω-automata under state fairness assumptions ». Systems & ; Control Letters 33, no 4 (avril 1998) : 265–74. http://dx.doi.org/10.1016/s0167-6911(97)00106-0.
Texte intégralTao, Yunfeng. « Infinity problems and countability problems for ω-automata ». Information Processing Letters 100, no 4 (novembre 2006) : 151–53. http://dx.doi.org/10.1016/j.ipl.2006.06.011.
Texte intégralKuich, Werner. « Automata and languages generalized to ω-continuous semirings ». Theoretical Computer Science 79, no 1 (février 1991) : 137–50. http://dx.doi.org/10.1016/0304-3975(91)90147-t.
Texte intégralTouati, H. J., et R. K. Brayton. « Testing Language Containment for ω-Automata Using BDDs ». Information and Computation 118, no 1 (avril 1995) : 101–9. http://dx.doi.org/10.1006/inco.1995.1055.
Texte intégralSAOUDI, A., D. E. MULLER et P. E. SCHUPP. « ON THE COMPLEXITY OF RECOGNIZABLE ω-TREE SETS AND NERODE THEOREM ». International Journal of Foundations of Computer Science 01, no 01 (mars 1990) : 11–21. http://dx.doi.org/10.1142/s0129054190000035.
Texte intégralKUTRIB, MARTIN, ANDREAS MALCHER et MATTHIAS WENDLANDT. « SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA ». International Journal of Foundations of Computer Science 25, no 07 (novembre 2014) : 877–96. http://dx.doi.org/10.1142/s0129054114400139.
Texte intégralLöding, Christof. « Simplification Problems for Deterministic Pushdown Automata on Infinite Words ». International Journal of Foundations of Computer Science 26, no 08 (décembre 2015) : 1041–68. http://dx.doi.org/10.1142/s0129054115400122.
Texte intégralSAOUDI, A. « PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS ». International Journal of Foundations of Computer Science 03, no 01 (mars 1992) : 21–39. http://dx.doi.org/10.1142/s0129054192000048.
Texte intégralDroste, Manfred, Zoltán Ésik et Werner Kuich. « The Triple-Pair Construction for Weighted ω-Pushdown Automata ». Electronic Proceedings in Theoretical Computer Science 252 (21 août 2017) : 101–13. http://dx.doi.org/10.4204/eptcs.252.12.
Texte intégralLa Torre, Salvatore, et Margherita Napoli. « A Model of Finite Automata on Timed ω-Trees ». Electronic Notes in Theoretical Computer Science 42 (janvier 2001) : 158–73. http://dx.doi.org/10.1016/s1571-0661(04)80884-3.
Texte intégralBhatia, Amandeep Singh, et Ajay Kumar. « Quantum ω-Automata over Infinite Words and Their Relationships ». International Journal of Theoretical Physics 58, no 3 (12 janvier 2019) : 878–89. http://dx.doi.org/10.1007/s10773-018-3983-0.
Texte intégralDANG, ZHE, et OSCAR H. IBARRA. « THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS ». International Journal of Foundations of Computer Science 13, no 06 (décembre 2002) : 911–36. http://dx.doi.org/10.1142/s0129054102001539.
Texte intégralPETTOROSSI, ALBERTO, MAURIZIO PROIETTI et VALERIO SENNI. « Transformations of logic programs on infinite lists ». Theory and Practice of Logic Programming 10, no 4-6 (juillet 2010) : 383–99. http://dx.doi.org/10.1017/s1471068410000177.
Texte intégralDUPARC, JACQUES, et MARIANE RISS. « THE MISSING LINK FOR ω-RATIONAL SETS, AUTOMATA, AND SEMIGROUPS ». International Journal of Algebra and Computation 16, no 01 (février 2006) : 161–85. http://dx.doi.org/10.1142/s0218196706002871.
Texte intégralDROSTE, MANFRED, et ULRIKE PÜSCHMANN. « ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS ». International Journal of Algebra and Computation 17, no 02 (mars 2007) : 235–60. http://dx.doi.org/10.1142/s0218196707003585.
Texte intégralCHUA, LEON O., et GIOVANNI E. PAZIENZA. « A NONLINEAR DYNAMICS PERSPECTIVE OF WOLFRAM'S NEW KIND OF SCIENCE PART XII : PERIOD-3, PERIOD-6, AND PERMUTIVE RULES ». International Journal of Bifurcation and Chaos 19, no 12 (décembre 2009) : 3887–4038. http://dx.doi.org/10.1142/s0218127409025365.
Texte intégralEsparza, Javier, Jan Křetínský et Salomon Sickert. « A Unified Translation of Linear Temporal Logic to ω-Automata ». Journal of the ACM 67, no 6 (16 novembre 2020) : 1–61. http://dx.doi.org/10.1145/3417995.
Texte intégralIsaak, Dimitri, et Christof Löding. « Efficient inclusion testing for simple classes of unambiguous ω-automata ». Information Processing Letters 112, no 14-15 (août 2012) : 578–82. http://dx.doi.org/10.1016/j.ipl.2012.04.010.
Texte intégralCHAMPARNAUD, JEAN-MARC, FRANCK GUINGNE et GEORGES HANSEL. « COVER TRANSDUCERS FOR FUNCTIONS WITH FINITE DOMAIN ». International Journal of Foundations of Computer Science 16, no 05 (octobre 2005) : 851–65. http://dx.doi.org/10.1142/s0129054105003339.
Texte intégralBedon, Nicolas. « Automata, Semigroups and Recognizability of Words on Ordinals ». International Journal of Algebra and Computation 08, no 01 (février 1998) : 1–21. http://dx.doi.org/10.1142/s0218196798000028.
Texte intégralSafra, Shmuel. « Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition ». SIAM Journal on Computing 36, no 3 (janvier 2006) : 803–14. http://dx.doi.org/10.1137/s0097539798332518.
Texte intégralLIN, YIH-KAI, et HSU-CHUN YEN. « An ω-Automata Approach to the Compression of Bi-Level Images ». Electronic Notes in Theoretical Computer Science 31 (2000) : 170–84. http://dx.doi.org/10.1016/s1571-0661(05)80338-x.
Texte intégralKlein, Joachim, et Christel Baier. « Experiments with deterministic ω-automata for formulas of linear temporal logic ». Theoretical Computer Science 363, no 2 (octobre 2006) : 182–95. http://dx.doi.org/10.1016/j.tcs.2006.07.022.
Texte intégralMelnikov, B. F. « 2 ω-finite automata and sets of obstructions of their languages ». Korean Journal of Computational & ; Applied Mathematics 6, no 3 (septembre 1999) : 565–74. http://dx.doi.org/10.1007/bf03009949.
Texte intégralGiannakis, Konstantinos, Georgia Theocharopoulou, Christos Papalitsas, Theodore Andronikos et Panayiotis Vlamos. « Associating ω-automata to path queries on Webs of Linked Data ». Engineering Applications of Artificial Intelligence 51 (mai 2016) : 115–23. http://dx.doi.org/10.1016/j.engappai.2016.01.013.
Texte intégralTran, Nicholas. « The Book Review Column ». ACM SIGACT News 55, no 1 (26 mars 2024) : 6–19. http://dx.doi.org/10.1145/3654780.3654782.
Texte intégralMALETTI, ANDREAS. « RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA ». International Journal of Foundations of Computer Science 16, no 04 (août 2005) : 723–41. http://dx.doi.org/10.1142/s012905410500325x.
Texte intégralMoriya, Tetsuo. « ω-Languages accepted by finite automata whose structures are cascade products of resets ». Information Sciences 61, no 1-2 (avril 1992) : 179–86. http://dx.doi.org/10.1016/0020-0255(92)90039-b.
Texte intégralBarozzini, David, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari et Pietro Sala. « Beyond ω-regular languages : ωT-regular expressions and their automata and logic counterparts ». Theoretical Computer Science 813 (avril 2020) : 270–304. http://dx.doi.org/10.1016/j.tcs.2019.12.029.
Texte intégralAlmeida, Jorge, et Marc Zeitoun. « An automata-theoretic approach to the word problem for ω -terms over R ». Theoretical Computer Science 370, no 1-3 (février 2007) : 131–69. http://dx.doi.org/10.1016/j.tcs.2006.10.019.
Texte intégralFleischer, Lukas, et Manfred Kufleitner. « The complexity of weakly recognizing morphisms ». RAIRO - Theoretical Informatics and Applications 53, no 1-2 (15 novembre 2018) : 1–17. http://dx.doi.org/10.1051/ita/2018006.
Texte intégralBarua, Rana. « The Hausdorff-Kuratowski hierarchy of ω-regular languages and a hierarchy of Muller automata ». Theoretical Computer Science 96, no 2 (avril 1992) : 345–60. http://dx.doi.org/10.1016/0304-3975(92)90342-d.
Texte intégralINOUE, KATSUSHI, ITSUO SAKURAMOTO, MAKOTO SAKAMOTO et ITSUO TAKANAMI. « TWO TOPICS CONCERNING TWO-DIMENSIONAL AUTOMATA OPERATING IN PARALLEL ». International Journal of Pattern Recognition and Artificial Intelligence 06, no 02n03 (août 1992) : 211–25. http://dx.doi.org/10.1142/s0218001492000126.
Texte intégral