Folgen
Bruno Guillon
Bruno Guillon
INRIA Lille Nord-Europe
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Which classes of origin graphs are generated by transducers?
M Bojańczyk, L Daviaud, B Guillon, V Penelle
ICALP 2017, 2017
242017
An algebraic characterization of unary two-way transducers
C Choffrut, B Guillon
International Symposium on Mathematical Foundations of Computer Science, 196-207, 2014
142014
Counter machines and distributed automata
O Carton, B Guillon, F Reiter
International Workshop on Cellular Automata and Discrete Complex Systems, 13-28, 2018
132018
Two-way automata making choices only at the endmarkers
V Geffert, B Guillon, G Pighizzini
International Conference on Language and Automata Theory and Applications …, 2012
132012
Two-way automata making choices only at the endmarkers
V Geffert, B Guillon, G Pighizzini
Information and Computation 239, 71-86, 2014
102014
Input-or output-unary sweeping transducers are weaker than their 2-way counterparts
B Guillon
RAIRO-Theoretical Informatics and Applications 50 (4), 275-294, 2016
82016
Sweeping weakens 2-way Transducers even with a unary output alphabet
B Guillon
82015
Two-way automata and one-tape machines
B Guillon, G Pighizzini, L Prigioniero, D Průša
International Conference on Developments in Language Theory, 366-378, 2018
72018
Non-self-embedding grammars, constant-height pushdown automata, and limited automata
B Guillon, G Pighizzini, L Prigioniero
International Journal of Foundations of Computer Science 31 (08), 1133-1157, 2020
62020
Linear-time limited automata
B Guillon, L Prigioniero
Theoretical Computer Science 798, 95-108, 2019
52019
Two-wayness: automata and transducers
B Guillon
Università degli Studi di Milano, 2016
42016
Converting nondeterministic two-way automata into small deterministic linear-time machines
B Guillon, G Pighizzini, L Prigioniero, D Průša
Information and Computation 289, 104938, 2022
32022
Undecidability of MSO+" ultimately Periodic
M Bojańczyk, L Daviaud, B Guillon, V Penelle, AV Sreejith
Logical Methods in Computer Science abs/1807.08506 ((to appear)), 2018
32018
Reversible pushdown transducers
B Guillon, M Kutrib, A Malcher, L Prigioniero
Information and Computation 281, 104813, 2021
22021
Weight-reducing Turing machines
B Guillon, G Pighizzini, L Prigioniero, D Průša
arXiv preprint arXiv:2103.05486, 2021
22021
On nondeterministic two-way transducers.
B Guillon
NCMA, 11-27, 2018
12018
Undecidability of a weak version of MSO+ U
M Bojańczyk, L Daviaud, B Guillon, V Penelle, AV Sreejith
arXiv preprint arXiv:1807.08506, 2018
12018
Weakly and Strongly Irreversible Regular Languages
B Guillon, GJ Lavado, G Pighizzini, L Prigioniero
International Journal of Foundations of Computer Science, 1-22, 2022
2022
Undecidability of a weak version of MSO+ U
AV Sreejith, V Penelle, B Guillon, L Daviaud, M Bojańczyk
Logical Methods in Computer Science 16, 2020
2020
On Some Succinct Representations of Regular Languages
B Guillon, G Pighizzini, L Prigioniero
Italian Conference on Theoretical Computer Science 2243, 203-207, 2018
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20