Journal: Int. J. Found. Comput. Sci.

Volume 23, Issue 8

1579 -- 1582Zuzana Masáková, Stepan Holub. Preface
1583 -- 1594Irina A. Gorbunova, Arseny M. Shur. On Pansiot Words Avoiding 3-Repetitions
1595 -- 1610Elena A. Petrova, Arseny M. Shur. Constructing Premaximal Binary Cube-Free Words of any Level
1611 -- 1626Luke Schaeffer, Jeffrey Shallit. The Critical Exponent is Computable for Automatic Sequences
1627 -- 1640Daniel Dombek. β)-Integers
1641 -- 1652Bastian Bischoff, James D. Currie, Dirk Nowotka. Unary Patterns with involution
1653 -- 1676Steven Widmer. Permutation Complexity and the Letter Doubling Map
1677 -- 1690Fabio Burderi. Full Monoids and Maximal Codes
1691 -- 1710Michaël Cadilhac, Alain Finkel, Pierre McKenzie. Bounded Parikh Automata
1711 -- 1728Stefano Crespi-Reghizzi, Pierluigi San Pietro. From Regular to Strictly Locally Testable Languages
1729 -- 1748Shuming Zhou, Lanxiang Chen, Jun Ming Xu. Conditional Fault Diagnosability of Dual-Cubes
1749 -- 0Juha Honkala. Equality Sets of Morphic Word Sequences

Volume 23, Issue 7

1419 -- 1422Jérôme Durand-Lose, Maurice Margenstern, Klaus Sutner. Preface
1423 -- 1438Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. On Small Universal Splicing Systems
1439 -- 1450David Auger, Olivier Teytaud. The Frontier of Decidability in Partially Observable Recursive Games
1451 -- 1464Amir M. Ben-Amram, Lars Kristiansen. On the Edge of Decidability in Complexity Analysis of Loop Programs
1465 -- 1480Mark Burgin. Decidability and Universality in the Axiomatic Theory of Computability and Algorithms
1481 -- 1498Olivier Finkel. Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular ω-Language
1499 -- 1510Klaus Meer. Some Initial Thoughts on Bounded Query Computations over the Reals
1511 -- 1522Yunyun Niu, K. G. Subramanian, Ibrahim Venkat, Rosni Abdullah. A Tissue P System Based solution to quadratic Assignment Problem
1523 -- 1542Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui. On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis
1543 -- 1554Chung-Shou Liao, Louxin Zhang. Approximating the Spanning k-Tree forest Problem
1555 -- 0Alexander Meduna, Petr Zemek. Jumping Finite Automata

Volume 23, Issue 6

1185 -- 1188Pál Dömösi, Zoltán Ésik. Preface
1189 -- 1206Francine Blanchet-Sadri. Algorithmic Combinatorics on Partial Words
1207 -- 1226Andreas Maletti, Daniel Quernheim. Unweighted and Weighted Hyper-Minimization
1227 -- 1240Jean-Éric Pin. Equational Descriptions of Languages
1241 -- 1260Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas. Channel Synthesis for Finite Transducers
1261 -- 1276Janusz A. Brzozowski, Bo Liu. Quotient Complexity of Star-Free Languages
1277 -- 1290Szilárd Zsolt Fazekas, Peter Leupold, Kayoko Shikishima-Tsuji. On Non-Primitive Palindromic Context-Free Languages
1291 -- 1306Oscar H. Ibarra, Shinnosuke Seki. Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines
1307 -- 1322Lila Kari, Zhi Xu. De Bruijn Sequences Revisited
1323 -- 1340Manfred Kufleitner, Alexander Lauser. Around dot-Depth One
1341 -- 1370Keqin Li. Probing High-Capacity Peers to Reduce Download times in P2P File Sharing Systems with Stochastic Service Capacities
1371 -- 1384Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos. Identifying All Abelian Periods of a String in quadratic Time and Relevant Problems
1385 -- 1404Jana Hadravová, Stepan Holub. Large Simple Binary Equality Words
1405 -- 0Orly Yahalom. Testing for forbidden Posets in Ordered Rooted Forests

Volume 23, Issue 5

965 -- 968Giancarlo Mauri, Alberto Leporati. Preface
969 -- 984Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis. On the Average Size of Glushkov and Partial derivative Automata
985 -- 1000Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas. Languages versus ω-Languages in Regular Infinite Games
1001 -- 1020Volker Diekert, Alexei G. Myasnikov. Group Extensions over Infinite Words
1021 -- 1034Michael Domaratzki, Narad Rampersad. Abelian Primitive Words
1035 -- 1066Emilie Charlier, Narad Rampersad, Jeffrey Shallit. Enumeration and Decidable Properties of Automatic Sequences
1067 -- 1084Edita Pelantová, Stepán Starosta. Almost Rich Words as Morphic Images of Rich Words
1085 -- 1098Yuan Gao, Sheng Yu. State Complexity and Approximation
1099 -- 1116A. C. Cem Say, Abuzer Yakaryilmaz. Quantum Counter Automata
1117 -- 1130Shenggen Zheng, Daowen Qiu, Lvzhou Li. Some Languages Recognized by Two-Way Finite Automata with Quantum and Classical States
1131 -- 1146Pablo Arrighi, Gilles Dowek. The Physical Church-Turing Thesis and the Principles of Quantum Theory
1147 -- 1172Guaning Chen, Chih-Wei Yi, Min-Te Sun, Fang-Chun Liu, Wei-Chi Lan. Minimum Local Disk Cover Sets for Broadcasting in Heterogeneous Multihop Wireless Networks
1173 -- 0Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg, Allison Thompson Brown. Stability and Chaos in reaction Systems

Volume 23, Issue 4

761 -- 762Jacir Luiz Bordim, Akihiro Fujiwara, Koji Nakano. Preface
763 -- 778Wayne Goddard, Pradip K. Srimani. Self-Stabilizing Master-Slave Token Circulation and Efficient Size-Computation in a Unidirectional Ring of Arbitrary Size
779 -- 802Keqin Li. Performance Analysis and Evaluation of Random Walk Algorithms on Wireless Networks
803 -- 830Alain Bui, Abdurusul Kudireti, Devan Sohier. An Adaptive Random Walk Based Distributed Clustering Algorithm
831 -- 852Guoqiang Li 0001, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components
853 -- 876Daniel Fajardo-Delgado, José Alberto Fernández-Zepeda, Anu G. Bourgeois. Randomized Self-Stabilizing Leader Election in Preference-Based Anonymous Trees
877 -- 902Adam Gudys, Sebastian Deorowicz. A Parallel Algorithm for the Constrained Multiple Sequence Alignment Problem Designed for GPUs
903 -- 930Liang Hu, Meng Zhang, Yi Zhang, Jijun Tang. Label-Guided Graph Exploration with Adjustable Ratio of Labels
931 -- 940Chi-Jung Kuo, Chiun-Chieh Hsu, Hon-Ren Lin, Da-Ren Chen. Minimum Feedback Arc Sets in Rotator and Incomplete Rotator Graphs
941 -- 0Desh Ranjan, Mohammad Zubair. Vertex isoperimetric parameter of a Computation Graph

Volume 23, Issue 3

0 -- 0Angelo Montanari, Margherita Napoli, Mimmo Parente. Preface
559 -- 583Davide Bresolin, Pietro Sala, Guido Sciavicco. On Begins, Meets and before
585 -- 608Lubos Brim, Jakub Chaloupka. Using Strategy Improvement to Stay Alive
609 -- 625Krishnendu Chatterjee, Rupak Majumdar. Discounting and Averaging in Games across Time scales
627 -- 647Giovanna D'Agostino, Giacomo Lenzi. On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width
649 -- 668John Fearnley, Martin Zimmermann 0002. Playing Muller Games in a Hurry
669 -- 685Oliver Friedmann, Martin Lange. Two Local Strategy Iteration Schemes for Parity Game Solving
687 -- 711Hugo Gimbert, Wieslaw Zielonka. Blackwell Optimal Strategies in Priority mean-Payoff Games
713 -- 732Henning Bordihn, Martin Kutrib, Andreas Malcher. On the Computational Capacity of Parallel Communicating Finite Automata
733 -- 747Yuechuan Wei, Chao Li, Dan Cao. Improved Related-Key Rectangle Attack on the Full has-160 Encryption Mode
749 -- 760Deshuai Dong, Longjiang Qu, Shaojing Fu, Chao Li. New Constructions of Vectorial Boolean Functions with Good Cryptographic Properties

Volume 23, Issue 2

0 -- 0Enrique Alba, Franciszek Seredynski, El-Ghazali Talbi, Albert Y. Zomaya. Preface
0 -- 0Jan Holub. Preface
0 -- 0Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa. Sheng Yu
249 -- 259Costas S. Iliopoulos, Mirka Miller, Solon P. Pissis. Parallel Algorithms for Mapping Short degenerate and Weighted DNA Sequences to a Reference genome
261 -- 280Shunsuke Inenaga, Hideo Bannai. Finding Characteristic Substrings from Compressed Texts
281 -- 301Maxime Crochemore, Laura Giambruno, Alessio Langiu. On-Line Construction of a Small Automaton for a Finite Set of Words
303 -- 321Marcin Piatkowski, Wojciech Rytter. Asymptotic Behaviour of the Maximal Number of Squares in Standard Sturmian Words
323 -- 342Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta. Pattern Matching with Swaps in Practice
343 -- 356Domenico Cantone, Simone Faro, Emanuele Giaquinta. Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts
357 -- 374Peter Burcsi, Ferdinando Cicalese, Gabriele Fici, Zsuzsanna Lipták. Algorithms for Jumbled Pattern Matching in Strings
375 -- 387Sebastian Smyczynski. Constant-Memory Iterative Generation of Special Strings Representing Binary Trees
389 -- 401Frantisek Franek, Mei Jiang. Crochemore's Repetitions Algorithm Revisited: Computing Runs
407 -- 429Azzedine Boukerche, Rodolfo Bezerra Batista, Alba Cristina Magalhaes Alves de Melo, Felipe Brandt Scarel, Lavir Antonio Bahia Carvalho de Souza. Exact Parallel Alignment of megabase genomic Sequences with Tunable Work Distribution
431 -- 444Allani Abderrahim, El-Ghazali Talbi, Khaled Mellouli. Hybridization of Genetic and Quantum Algorithm for gene Selection and Classification of microarray Data
445 -- 464Young Choon Lee, Javid Taheri, Albert Y. Zomaya. A Parallel Metaheuristic Framework Based on Harmony Search for Scheduling in Distributed Computing Systems
465 -- 481Piotr Switalski, Franciszek Seredynski. An Effective Multiprocessor Scheduling with Use of Geo Metaheuristic
483 -- 500Lakhdar Loukil, Malika Mehdi, Nouredine Melab, El-Ghazali Talbi, Pascal Bouvry. Parallel Hybrid Genetic Algorithms for Solving Q3AP on Computational Grid
501 -- 521Marcin Seredynski, Pascal Bouvry. Direct Reciprocity-Based Cooperation in Mobile Ad Hoc Networks
523 -- 542Patrick Ediger, Rolf Hoffmann. Efficiency Analysis of the Time-Shuffling Method for the Evolution of Agent Behavior
543 -- 553Julio César Hernández Castro, Juan M. Estévez-Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi. Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol

Volume 23, Issue 1

0 -- 0Ian McQuillan, Giovanni Pighizzini. Preface
5 -- 19Martin Kappes, Andreas Malcher, Detlef Wotschke. In Memoriam Chandra Kintala
21 -- 35Janusz A. Brzozowski, Baiyu Li, Yuli Ye. On the Complexity of the Evaluation of Transient Extensions of Boolean Functions
37 -- 50Cristian S. Calude, Kai Salomaa, Tania Roblot. State-Size Hierarchy for Finite-State Complexity
51 -- 66Bo Cui, Yuan Gao, Lila Kari, Sheng Yu. State Complexity of Two Combined Operations: Catenation-Star and Catenation-Reversal
67 -- 85Krystian Dudzinski, Stavros Konstantinidis. Formal Descriptions of Code Properties: Decidability, Complexity, Implementation
87 -- 98Zoltán Ésik. Ordinal Automata and Cantor Normal Form
99 -- 114Ronny Harbich, Bianca Truthe. A Comparison of the Descriptional Complexity of Classes of Limited Lindenmayer Systems: Part I
115 -- 131Markus Holzer, Sebastian Jakobi, Martin Kutrib. The Magic Number Problem for Subregular Language Families
133 -- 146Przemyslaw Prusinkiewicz, Mitra Shirmohammadi, Faramarz Samavati. L-Systems in Geometric Modeling
147 -- 172Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão. Model Partitions and Compact Test Case Suites
173 -- 184Junping Zhou, Minghao Yin, Xiangtao Li, Jinyan Wang. Phase Transitions of EXPSPACE-Complete Problems: a Further Step
185 -- 206Egor Dolzhenko, Natasa Jonoska. Two-Dimensional Languages and Cellular Automata
207 -- 223Kalpana Mahalingam, K. G. Subramanian. Product of Parikh Matrices and Commutativity
225 -- 242César Domínguez, Dominique Duval. A Parameterization Process: from a Functorial Point of View