Sign in
RAIRO Theor. Informatics Appl.
1974
1990
2007
2023
1974
2023
Keyphrases
Publications
volume 57, 2023
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.
57 (2023)
Jürgen Dassow
,
Bianca Truthe
Relations of contextual grammars with strictly locally testable selection languages.
RAIRO Theor. Informatics Appl.
57 (2023)
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.
57 (2023)
James D. Currie
,
Pascal Ochem
,
Narad Rampersad
,
Jeffrey O. Shallit
Properties of a ternary infinite word.
RAIRO Theor. Informatics Appl.
57 (2023)
Olivier Finkel
,
Vesa Halava
,
Tero Harju
,
Esa Sahla
On bi-infinite and conjugate post correspondence problems.
RAIRO Theor. Informatics Appl.
57 (2023)
Eric Freden
,
Kevin Martinsen
EDT0L grammars with only one variable have tractable generating functions.
RAIRO Theor. Informatics Appl.
57 (2023)
Chunlei Xu
,
Guanru Li
Maximum values of sombor index of bicyclic graphs with a given matching number.
RAIRO Theor. Informatics Appl.
57 (2023)
Sébastien Labbé
,
Jana Lepsová
A Fibonacci analogue of the two's complement numeration system.
RAIRO Theor. Informatics Appl.
57 (2023)
Frantisek Mráz
,
Friedrich Otto
Non-returning deterministic and nondeterministic finite automata with translucent letters.
RAIRO Theor. Informatics Appl.
57 (2023)
Massoud Amini
,
Jumah Swid
Strongly recurrent transformation groups.
RAIRO Theor. Informatics Appl.
57 (2023)
Christian Rauch
,
Markus Holzer
On the accepting state complexity of operations on permutation automata.
RAIRO Theor. Informatics Appl.
57 (2023)
Mina Ghasemi
,
Mehri Javanian
,
Ramin Imany-Nabiyyi
-ary trees.
RAIRO Theor. Informatics Appl.
57 (2023)
volume 56, 2022
Pierre Lescanne
Almost all Classical Theorems are Intuitionistic.
RAIRO Theor. Informatics Appl.
56 (2022)
Jason P. Bell
,
Jeffrey O. Shallit
Automatic sequences of rank two.
RAIRO Theor. Informatics Appl.
56 (2022)
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.
56 (2022)
Othman Echi
,
Adel Khalfallah
,
Dhaker Kroumi
On primitive words with non-primitive product.
RAIRO Theor. Informatics Appl.
56 (2022)
Ezzat Mohammad Nezhad
,
Mehri Javanian
,
Ramin Imany-Nabiyyi
Weakly protected nodes in random binary search trees.
RAIRO Theor. Informatics Appl.
56 (2022)
Michel Latteux
,
Yves Roos
On rationally controlled one-rule insertion systems.
RAIRO Theor. Informatics Appl.
56 (2022)
Tero Harju
Critical factorisation in square-free words.
RAIRO Theor. Informatics Appl.
56 (2022)
Somaye Moghari
Synthesizing fuzzy tree automata.
RAIRO Theor. Informatics Appl.
56 (2022)
Julien Cassaigne
,
Idrissa Kaboré
On the Complexity of the Generalized Fibonacci Words.
RAIRO Theor. Informatics Appl.
56 (2022)
volume 55, 2021
Josef Rukavicka
Upper bound for palindromic and factor complexity of rich words.
RAIRO Theor. Informatics Appl.
55 (2021)
Jens Bruchertseifer
,
Henning Fernau
Synchronizing series-parallel deterministic finite automata with loops and related problems.
RAIRO Theor. Informatics Appl.
55 (2021)
Jürgen Dassow
,
Bianca Truthe
Accepting networks of evolutionary processors with resources restricted and structure limited filters.
RAIRO Theor. Informatics Appl.
55 (2021)
Anne Ruimy
Publisher's Note.
RAIRO Theor. Informatics Appl.
55 (2021)
Vinh Duc Tran
,
Igor Litovsky
One-relation languages and code generators.
RAIRO Theor. Informatics Appl.
55 (2021)
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.
55 (2021)
Samira Attou
,
Ludovic Mignot
,
Djelloul Ziadi
Bottom-Up derivatives of tree expressions.
RAIRO Theor. Informatics Appl.
55 (2021)
Frantisek Mráz
,
Friedrich Otto
On restarting automata with auxiliary symbols and small window size.
RAIRO Theor. Informatics Appl.
55 (2021)
Benedek Nagy
,
Zita Kovács
On deterministic 1-limited 5′ → 3′ sensing Watson-Crick finite-state transducers.
RAIRO Theor. Informatics Appl.
55 (2021)
Daniel Gabric
,
Jeffrey O. Shallit
The simplest binary word with only three squares.
RAIRO Theor. Informatics Appl.
55 (2021)
Markus Holzer
,
José M. Sempere
Preface: 11th Workshop on Non-classical Models of Automata and Applications (NCMA 2019).
RAIRO Theor. Informatics Appl.
55 (2021)
Martin Kutrib
,
Andreas Malcher
Digging input-driven pushdown automata.
RAIRO Theor. Informatics Appl.
55 (2021)
volume 54, 2020
Herman Z. Q. Chen
,
Sergey Kitaev
On universal partial words for word-patterns and set partitions.
RAIRO Theor. Informatics Appl.
54 (2020)
Golnaz Badkobeh
,
Pascal Ochem
Avoiding conjugacy classes on the 5-letter alphabet.
RAIRO Theor. Informatics Appl.
54 (2020)
Bruno Courcelle
Betweenness of partial orders.
RAIRO Theor. Informatics Appl.
54 (2020)
Mustapha Kabil
,
Maurice Pouzet
Injective envelopes of transition systems and Ferrers languages.
RAIRO Theor. Informatics Appl.
54 (2020)
Abdulgani Sahin
,
Bünyamin Sahin
Total edge-vertex domination.
RAIRO Theor. Informatics Appl.
54 (2020)
Lucas Mol
,
Narad Rampersad
The weak circular repetition threshold over large alphabets.
RAIRO Theor. Informatics Appl.
54 (2020)
Benedek Nagy
,
Friedrich Otto
Linear automata with translucent letters and linear context-free trace languages.
RAIRO Theor. Informatics Appl.
54 (2020)
volume 53, number 1-2, 2019
Jeffrey O. Shallit
,
Ramin Zarifi
Circular critical exponents for Thue-Morse factors.
RAIRO Theor. Informatics Appl.
53 (1-2) (2019)
Jarkko Peltomäki
,
Ville Salo
On winning shifts of marked uniform substitutions.
RAIRO Theor. Informatics Appl.
53 (1-2) (2019)
Amandeep Singh Bhatia
,
Ajay Kumar
On the power of two-way multihead quantum finite automata.
RAIRO Theor. Informatics Appl.
53 (1-2) (2019)
Ronghai Gao
,
Jiwen Zeng
,
Lunzhi Deng
An efficient certificateless multi-receiver threshold decryption scheme.
RAIRO Theor. Informatics Appl.
53 (1-2) (2019)
Lukas Fleischer
,
Manfred Kufleitner
The complexity of weakly recognizing morphisms.
RAIRO Theor. Informatics Appl.
53 (1-2) (2019)
volume 53, number 3-4, 2019
Katerina Medková
,
Edita Pelantová
,
Laurent Vuillon
Derived sequences of complementary symmetric Rote sequences.
RAIRO Theor. Informatics Appl.
53 (3-4) (2019)
Antonio Boccuto
,
Arturo Carpi
On the length of uncompletable words in unambiguous automata.
RAIRO Theor. Informatics Appl.
53 (3-4) (2019)
Shiying Wang
,
Shurong Zhang
-cubes.
RAIRO Theor. Informatics Appl.
53 (3-4) (2019)
Xian Xu
Parameterizing higher-order processes on names and processes.
RAIRO Theor. Informatics Appl.
53 (3-4) (2019)
volume 52, number 2-3-4, 2018
Radim Kocman
,
Zbynek Krivka
,
Alexander Meduna
On double-jumping finite automata and their closure properties.
RAIRO Theor. Informatics Appl.
52 (2-3-4) (2018)