default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 391
Volume 391, Numbers 1-2, February 2008
- Valérie Berthé, Pierre B. A. Lecomte, Michel Rigo
:
Preface to the special issue dedicated to combinatorics, automata and number theory. 1-2 - Paul Bell, Igor Potapov:
On undecidability bounds for matrix decision problems. 3-13 - Elena Czeizler:
Multiple constraints on three and four words. 14-19 - Fabien Durand:
Cobham-Semenov theorem and Nd-subshifts. 20-38 - Dirk Frettlöh:
Self-dual tilings with respect to star-duality. 39-50 - Amy Glen:
A characterization of fine words over a finite alphabet. 51-60 - Juha Honkala:
Cancellation and periodicity properties of iterated morphisms. 61-64 - Christoph Koutschan:
Regular languages and their generating functions: The inverse problem. 65-74 - Srecko Brlek, Gilbert Labelle, Annie Lacasse:
Shuffle operations on discrete paths. 75-89 - Jean Néraud:
Completing circular codes in regular submonoids. 90-98 - Ilja V. Petrov:
An algorithm for recognition of n-collapsing words. 99-108 - Guy Louchard, Helmut Prodinger:
Generalized approximate counting revisited. 109-125 - Jui-Yi Kao, Narad Rampersad, Jeffrey O. Shallit, Manuel Silva:
Words avoiding repetitions in arithmetic progressions. 126-137 - Bernhard Schratzberger:
A conversion algorithm based on the technique of singularization. 138-149 - Robert Brignall, Nikola Ruskuc, Vincent Vatter:
Simple permutations: Decidability and unavoidable substructures. 150-163 - Julien Bernat:
Symmetrized beta-integers. 164-177 - S. A. Puzynina, Sergey V. Avgustinovich:
On periodicity of two-dimensional words. 178-187
Volume 391, Number 3, February 2008
- Corrado Priami:
Preface. 189 - Luca Cardelli:
On process rate semantics. 190-215 - Matteo Cavaliere, Radu Mardare, Sean Sedwards:
A multiset-based model of synchronizing agents: Computability and robustness. 216-238 - John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways. 239-257 - Heike Siebert, Alexander Bockmayr:
Temporal constraints in the logical analysis of regulatory networks. 258-275 - Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel:
GemCell: A generic platform for modeling multi-cellular biological systems. 276-290
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.
last updated on 2024-10-10 21:05 CEST 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:
