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

Volume 24, Issue 8

1183 -- 1208Simon Ware, Robi Malik. Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata
1209 -- 1220Zhengbang Zha, Lei Hu. Constructing New APN Functions from known PN Functions
1221 -- 1234Stephen A. Fenner, Yong Zhang. On the Complexity of the Hidden Subgroup Problem
1235 -- 1242Yunchao Wei, Fuguang Chen. Generalized connectivity of (n, k)-Star graphs
1243 -- 1254Abuzer Yakaryilmaz, A. C. Cem Say. Tight Bounds for the Space Complexity of Nonregular Language Recognition by Real-Time Machines
1255 -- 1280Hermann Gruber, Markus Holzer. Provably Shorter Regular Expressions from Finite Automata
1281 -- 1298Sebastian Deorowicz, Agnieszka Danek. Bit-Parallel Algorithms for the Merged Longest Common Subsequence Problem
1299 -- 1328Rolf Harren, Klaus Jansen, Lars Prädel, Ulrich M. Schwarz, Rob van Stee. Two for One: Tight Approximation of 2D Bin Packing
1329 -- 1338Aysun Ozan Aytaç, Hanife Aksu. Some Results for the rupture Degree
1339 -- 0Kenya Ueno. Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds

Volume 24, Issue 7

941 -- 944Hsu-Chun Yen, Oscar H. Ibarra. Preface
945 -- 954Arto Salomaa, Kai Salomaa, Andrew L. Szilard. Goodby to the Kindhearted Dragon Prof. Sheng Yu, 1950-2012
955 -- 978Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec. Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ
979 -- 994Kazuo Iwama, Harumichi Nishimura. Recovering Strings in Oracles: Quantum and Classic
995 -- 1008Erzsébet Csuhaj-Varjú. P and DP Automata: Unconventional versus Classical Automata
1009 -- 1028Janusz A. Brzozowski, Hellis Tamm. Complexity of atoms of Regular Languages
1029 -- 1048Zoltán Ésik, Satoshi Okawa. On Context-Free Languages of Scattered Words
1049 -- 1066Tommi Lehtinen, Alexander Okhotin. Homomorphisms Preserving Deterministic Context-Free Languages
1067 -- 1082Yo-Sub Han, Sang-Ki Ko, Kai Salomaa. The Edit-Distance between a Regular Language and a Context-Free Language
1083 -- 1098Markus Holzer, Sebastian Jakobi. From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors
1099 -- 1116Michaël Cadilhac, Alain Finkel, Pierre McKenzie. Unambiguous constrained Automata
1117 -- 1134Markus L. Schmid. Inside the Class of regex Languages
1135 -- 1152Juhani Karhumäki, Svetlana Puzynina, Aleksi Saarela. Fine and Wilf's Theorem for k-Abelian Periods
1153 -- 1166Alexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé. Multipseudoperiodic Words
1167 -- 0Viliam Geffert, Dana Pardubská. Unary Coded NP-Complete Languages in Aspace(log log n)

Volume 24, Issue 6

689 -- 690Nelma Moreira, Rogério Reis. Preface
691 -- 708Janusz A. Brzozowski. In Search of Most Complex Regular Languages
709 -- 728José N. Oliveira. Weighted Automata as Coalgebras in Categories of Matrices
729 -- 746Mikhail V. Berlinkov. Synchronizing quasi-Eulerian and quasi-One-Cluster Automata
747 -- 764Stefano Crespi-Reghizzi, Pierluigi San Pietro. Strict Local Testability with Consensus Equals Regularity, and Other Properties
765 -- 780Fedor M. Fominykh, Pavel V. Martyugin, Mikhail V. Volkov. P(L)Aying for Synchronization
781 -- 798Daniel Goc, Dane Henshall, Jeffrey Shallit. Automatic Theorem-Proving in Combinatorics on Words
799 -- 814Oscar H. Ibarra, Nicholas Q. Trân. How to synchronize the Heads of a Multitape Automaton
815 -- 830Artur Jez, Andreas Maletti. Hyper-Minimization for Deterministic Tree Automata
831 -- 846Martin Kutrib, Friedrich Otto. On the Descriptional Complexity of the Window Size for Deleting Restarting Automata
847 -- 862Mehryar Mohri. On the Disambiguation of Finite Automata and Functional Transducers
863 -- 878Daniel Prusa, Frantisek Mráz. Restarting Tiling Automata
879 -- 898En Zhang, Yongquan Cai. Rational Multi-Secret Sharing Scheme in Standard Point-to-Point Communication Networks
899 -- 912Guangyan Zhou, Zongsheng Gao. P)-SAT by Flipping Two Variables
913 -- 920Prabhu M. Santhosh. Self stabilization in Distributed Knot Detection
921 -- 0Jing Li, Di Liu, Jun Yuan. The Super Spanning Connectivity and Super Spanning laceability of Tori with Faulty Elements

Volume 24, Issue 5

547 -- 624Marian Gheorghe, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg. Research Frontiers of membrane Computing: Open Problems and Research Topics
625 -- 654Ashok Kumar Das, Santanu Chatterjee, Jamuna Kanta Sing. A Novel Efficient Access Control Scheme for Large-Scale Distributed Wireless Sensor Networks
655 -- 678Andreas Darmann. Popular Spanning Trees
679 -- 0Yo-Sub Han. An Improved Prefix-Free Regular-Expression Matching

Volume 24, Issue 4

419 -- 444Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. Assume-Guarantee Reasoning with Local Specifications
445 -- 452Szilárd Zsolt Fazekas, Robert Mercas. A Note on the Decidability of subword inequalities
453 -- 472Friedrich Otto. On Centralized Parallel Communicating Grammar Systems with Context-Sensitive Components
473 -- 486Sudipta Pathak, Sanguthevar Rajasekaran, Marius Nicolae. Ems1: an Elegant Algorithm for Edit Distance Based Motif Search
487 -- 500Mark Burgin, Cristian S. Calude, Elena Calude. Inductive Complexity Measures for Mathematical Problems
501 -- 518Katalin Anna Lázár. A Bridge between Self-Organizing Networks and Grammar Systems Theory
519 -- 532Antonios Kalampakas, Olympia Louscou-Bozapalidou. Minimization of Planar Directed Acyclic Graph Algebras
533 -- 0Han Cai, Xiangyong Zeng, Xiaohu Tang, Lei Hu. New Optimal frequency Hopping sequence Sets from Balanced Nested difference Packings of Partition-Type

Volume 24, Issue 3

303 -- 318Goksen Bacak-Turan, Alpay Kirlangic. Neighbor Integrity of Transformation Graphs
319 -- 328Tomás Masopust. A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata
329 -- 348Javad Akbari Torkestani. A Learning Automata-Based Algorithm to the Stochastic Min-Degree Constrained Minimum Spanning Tree Problem
349 -- 374Houguang Yue. From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus
375 -- 392S. P. Tiwari, Shambhu Sharan, Anupam K. Singh. On coverings of Products of Rough Transformation Semigroups
393 -- 408K. G. Subramanian, Kalpana Mahalingam, Rosni Abdullah, Atulya K. Nagar. Two-Dimensional Digitized Picture Arrays and Parikh Matrices
409 -- 0Ziran Tu, Yupeng Jiang, Xiangyong Zeng. Constructing odd Variable Boolean Functions with Optimal Algebraic Immunity

Volume 24, Issue 2

161 -- 164Giorgio Delzanno, Igor Potapov. Preface
165 -- 186Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar. The Complexity of Coverage
187 -- 210Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar. Monotonic Abstraction for Programs with Multiply-Linked Structures
211 -- 232Alessandro Carioni, Silvio Ghilardi, Silvio Ranise. Automated Termination in Model-Checking Modulo Theories
233 -- 250Laurent Fribourg, Ulrich Kühne. Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method
251 -- 262Vladimir V. Gusev. Lower Bounds for the Length of Reset Words in Eulerian Automata
263 -- 282Malcolm Mumme, Gianfranco Ciardo. An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems
283 -- 0Nataliya Skrypnyuk, Flemming Nielson. Reachability for Finite-State Process Algebras using Horn Clauses

Volume 24, Issue 1

1 -- 2Alex Potanin, Taso Viglas. Preface
3 -- 14Peter Floderus, Andrzej Lingas, Mia Persson. Towards More Efficient Infection and Fire Fighting
15 -- 30Akira Suzuki, Kei Uchizawa, Xiao Zhou. Energy-Efficient Threshold Circuits Computing mod Functions
31 -- 50John Augustine, Qi Han, Philip Loden, Sachin Lodha, Sasanka Roy. Tight Analysis of Shortest Path Convergecast in Wireless Sensor Networks
51 -- 66Guillaume Blin, Romeo Rizzi, Florian Sikora, Stéphane Vialette. Minimum Mosaic Inference of a Set of Recombinants
67 -- 94N. S. Narayanaswamy, N. Sadagopan. A Unified Framework for Bi(Tri)Connectivity and Chordal Augmentation
95 -- 108Marcin Bienkowski, Pawel Zalewski. (1, 2)-Hamiltonian Completion on a Matching
109 -- 122Martin R. Ehmsen, Kim S. Larsen. A Technique for Exact Computation of precoloring Extension on Interval Graphs
123 -- 146Fabien Durand. Decidability of Uniform Recurrence of Morphic Sequences
147 -- 160Arto Salomaa. Functional Constructions between reaction Systems and Propositional Logic