Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elena Barcucci, Antonio Bernini, Renzo Pinzani |
Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail V. Volkov 0001 |
Synchronization of Primitive Automata. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Ting Jiang, Fang-Wei Fu 0001 |
Improvements on the 4-adic complexity of a class of quaternary sequences. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | James D. Currie, Narad Rampersad |
A Small Morphism for which the Fixed Point has an Abelian Critical Exponent Less than 2. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Chloé Boisson, Damien Jamet, Irène Marcovici |
On a probabilistic extension of the Oldenburger-Kolakoski sequence. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Nguyen Huong Lam |
On a Test of Square-Free Morphisms. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Kitaev, Haoran Sun |
Human-verifiable proofs in the theory of word-representable graphs. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Jugé, Irène Marcovici |
Finding automatic sequences with few correlations. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Lapo Cioni, Luca S. Ferrari |
Sorting with a popqueue. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Reversible Computations of One-Way Counter Automata. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Anthony J. Guttmann, Paolo Massazza |
Asymptotics of Z-convex polyominoes. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Luc Baril, Daniela Colmenares, José L. Ramírez, Emmanuel D. Silva, Lina M. Simbaqueba, Diana A. Toquica |
Consecutive pattern-avoidance in Catalan words according to the last symbol. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart |
Monadic Expressions and Their Derivatives. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Staiger |
Topologies for Finite Words: Compatibility with the Cantor Topology. |
RAIRO Theor. Informatics Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit, Sonja Linghui Shan, Kai-Hsiang Yang |
Automatic sequences in negative bases and proofs of some conjectures of shevelev. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Massoud Amini, Jumah Swid |
Strongly recurrent transformation groups. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Mráz, Friedrich Otto |
Non-returning deterministic and nondeterministic finite automata with translucent letters. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | James D. Currie, Pascal Ochem, Narad Rampersad, Jeffrey O. Shallit |
Properties of a ternary infinite word. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chunlei Xu, Guanru Li |
Maximum values of sombor index of bicyclic graphs with a given matching number. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Labbé 0001, Jana Lepsová |
A Fibonacci analogue of the two's complement numeration system. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mina Ghasemi, Mehri Javanian, Ramin Imany-Nabiyyi |
Note on the exponential recursive k-ary trees. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Rauch 0001, Markus Holzer 0001 |
On the accepting state complexity of operations on permutation automata. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Bianca Truthe |
Relations of contextual grammars with strictly locally testable selection languages. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexsander Andrade de Melo, Celina M. H. de Figueiredo, Uéverton S. Souza |
On the computational difficulty of the terminal connection problem. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eric Freden, Kevin Martinsen |
EDT0L grammars with only one variable have tractable generating functions. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel, Vesa Halava, Tero Harju, Esa Sahla |
On bi-infinite and conjugate post correspondence problems. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ezzat Mohammad Nezhad, Mehri Javanian, Ramin Imany-Nabiyyi |
Weakly protected nodes in random binary search trees. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
Almost all Classical Theorems are Intuitionistic. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Othman Echi, Adel Khalfallah, Dhaker Kroumi |
On primitive words with non-primitive product. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tero Harju |
Critical factorisation in square-free words. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Somaye Moghari |
Synthesizing fuzzy tree automata. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cassaigne, Idrissa Kaboré |
On the Complexity of the Generalized Fibonacci Words. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michel Latteux, Yves Roos |
On rationally controlled one-rule insertion systems. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jason P. Bell, Jeffrey O. Shallit |
Automatic sequences of rank two. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Erika M. M. Coelho, Hebert Coelho, Julliano R. Nascimento, Jayme Luiz Szwarcfiter |
A polynomial time algorithm for geodetic hull number for complementary prisms. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Zita Kovács |
On deterministic 1-limited 5′ → 3′ sensing Watson-Crick finite-state transducers. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vinh Duc Tran, Igor Litovsky |
One-relation languages and code generators. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, José M. Sempere |
Preface: 11th Workshop on Non-classical Models of Automata and Applications (NCMA 2019). |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anne Ruimy |
Publisher's Note. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Josef Rukavicka |
Upper bound for palindromic and factor complexity of rich words. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bruchertseifer, Henning Fernau |
Synchronizing series-parallel deterministic finite automata with loops and related problems. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roumaissa Mahdjoubi, Pierre-Louis Cayrel, Sedat Akleylek, Kenza Guenda |
A Novel Niederreiter-like cryptosystem based on the (u|u + υ)-construction codes. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Digging input-driven pushdown automata. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Bianca Truthe |
Accepting networks of evolutionary processors with resources restricted and structure limited filters. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samira Attou, Ludovic Mignot, Djelloul Ziadi |
Bottom-Up derivatives of tree expressions. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gabric, Jeffrey O. Shallit |
The simplest binary word with only three squares. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Mráz, Friedrich Otto |
On restarting automata with auxiliary symbols and small window size. |
RAIRO Theor. Informatics Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdulgani Sahin, Bünyamin Sahin |
Total edge-vertex domination. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Mol, Narad Rampersad |
The weak circular repetition threshold over large alphabets. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Herman Z. Q. Chen, Sergey Kitaev |
On universal partial words for word-patterns and set partitions. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Golnaz Badkobeh, Pascal Ochem |
Avoiding conjugacy classes on the 5-letter alphabet. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle |
Betweenness of partial orders. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mustapha Kabil, Maurice Pouzet |
Injective envelopes of transition systems and Ferrers languages. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Friedrich Otto |
Linear automata with translucent letters and linear context-free trace languages. |
RAIRO Theor. Informatics Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xian Xu 0001 |
Parameterizing higher-order processes on names and processes. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Peltomäki, Ville Salo |
On winning shifts of marked uniform substitutions. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shiying Wang, Shurong Zhang |
Edge-bipancyclicity in conditional edge-faulty k-ary n-cubes. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amandeep Singh Bhatia, Ajay Kumar 0003 |
On the power of two-way multihead quantum finite automata. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit, Ramin Zarifi |
Circular critical exponents for Thue-Morse factors. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Fleischer, Manfred Kufleitner |
The complexity of weakly recognizing morphisms. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Medková, Edita Pelantová, Laurent Vuillon |
Derived sequences of complementary symmetric Rote sequences. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ronghai Gao, Jiwen Zeng, Lunzhi Deng |
An efficient certificateless multi-receiver threshold decryption scheme. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Boccuto, Arturo Carpi |
On the length of uncompletable words in unambiguous automata. |
RAIRO Theor. Informatics Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Beier, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Diving into the queue. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto, Frantisek Mráz |
Automata with cyclic move operations for picture languages. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Radim Kocman, Zbynek Krivka, Alexander Meduna |
On double-jumping finite automata and their closure properties. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Matthias Wendlandt |
Expressive capacity of subregular expressions. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Ghorani |
State hyperstructures of tree automata based on lattice-valued logic. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say |
Language classes associated with automata over matrix groups. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henning Bordihn, Benedek Nagy, György Vaszil |
Preface: Non-classical models of automata and applications VIII. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maksims Dimitrijevs, Abuzer Yakaryilmaz |
Uncountable classical and quantum complexity classes. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Parpalea, Nicoleta Avesalon, Eleonor Ciurea |
Minimum parametric flow in time-dependent dynamic networks. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Galina Jirásková |
The complexity of concatenation on deterministic and alternating finite automata. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Konstantinidis, Nelma Moreira, Rogério Reis |
Randomized generation of error control codes with automata and transducers. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Madejski |
Regular and linear permutation languages. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chris Köcher, Dietrich Kuske, Olena Prianychnykova |
The inclusion structure of partially lossy queue monoids and their trace submonoids. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Bianca Truthe, Ahmad Firdaus Yosman |
On bonded sequential and parallel insertion systems. |
RAIRO Theor. Informatics Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vecdi Aytaç, Tufan Turaci |
Relationships between vertex attack tolerance and other vulnerability parameters. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wenjuan Li, Kazuyuki Tanaka |
The determinacy strength of pushdown ω-languages. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Dolce, Dominique Perrin |
Interval exchanges, admissibility and branching Rauzy induction. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mujiangshan Wang, Yuqing Lin, Shiying Wang |
The connectivity and nature diagnosability of expanded k-ary n-cubes. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amr Elmasry, Claus Jensen, Jyrki Katajainen |
Bipartite binomial heaps. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maolin Hu, Weijun Xu |
A Better bound of randomized algorithms for the multislope ski-rental problem. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francis Wlazinski |
A uniform cube-free morphism is k-power-free for all integers k ≥ 4. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juha Honkala |
Rational series with high image complexity. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Charlier, Julien Leroy 0002, Michel Rigo |
Foreword to the special issue dedicated to the sixteenth "Journées Montoises d'Informatique Théorique". |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari, Johan Kopra |
Cellular automata and powers of p∕q. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James D. Currie, Lucas Mol, Narad Rampersad |
On avoidability of formulas with reversal. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mehri Javanian, Mohammad Q. Vahidi-Asl |
Analysis of digital search trees incorporated with paging. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Othman Echi |
Non-primitive words of the form pqm. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Borel |
Translation of a Digital Line into another according to various Digitization Processes. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Kira Goldner, Aidan Shackleton |
Minimal partial languages and automata. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah 0001, Ahmed Hadj Kacem |
Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. |
RAIRO Theor. Informatics Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Horst Brunotte |
Digital semigroups. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Andrew Lohr |
Computing Depths of Patterns. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Guégan, Pascal Ochem |
A short proof that shuffle squares are 7-avoidable. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ke Gu 0002, Lihao Yang, Yong Wang, Sheng Wen |
Traceable Identity-Based Group Signature. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramzi Turki |
An isolated point in the Heinis spectrum. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
When input-driven pushdown automata meet reversiblity. |
RAIRO Theor. Informatics Appl. |
2016 |
DBLP DOI BibTeX RDF |
|