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

Volume 31, Issue 8

979 -- 982Cezar Câmpeanu. Implementations and Applications of Automata 2018: Preface
983 -- 1019Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young. Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels
1021 -- 1049Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Boosting Reversible Pushdown and Queue Machines by Preprocessing
1051 -- 1068Samira Attou, Ludovic Mignot, Djelloul Ziadi. The Bottom-Up Position Tree Automaton and the Father Automaton
1069 -- 1089Laurent Bartholdi, Thibault Godin, Ines Klimann, Camille Noûs, Matthieu Picantin. A New Hierarchy for Automaton Semigroups
1091 -- 1112Mikhail V. Berlinkov, Cyril Nicaud. Synchronizing Almost-Group Automata
1113 -- 1132Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykula. State Complexity of Overlap Assembly
1133 -- 1157Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero. Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
1159 -- 1177Michal Hospodár, Markus Holzer 0001. The Ranges of Accepting State Complexities of Languages Resulting from Some Operations
1179 -- 1198Oscar H. Ibarra, Ian McQuillan. Semilinearity of Families of Languages

Volume 31, Issue 7

875 -- 889Zexia Shi, Lei Sun, Fang-Wei Fu. New Constructions of Codebooks Nearly Meeting the Welch Bound
891 -- 913Kalpana Mahalingam, Ujjwal Kumar Mishra, Rama Raghavan 0001. Watson-Crick Jumping Finite Automata
915 -- 928Natasa Jonoska, Masahico Saito, Hwee Kim, Brad Mostowski. Symbol Separation in Double Occurrence Words
929 -- 940Tongtong Ding, Min Xu 0005, Qiang Zhu 0003. The Non-inclusive Diagnosability of Hypercubes under the MM* Model
941 -- 968Parikshit Saikia, Sushanta Karmakar. Distributed Approximation Algorithms for Steiner Tree in the CONGESTED CLIQUE
969 -- 978Aysun Asena Kunt, Zeynep Nihan Berberler. Efficient Identification of Node Importance Based on Agglomeration in Cycle-Related Networks

Volume 31, Issue 6

663 -- 665Shinnosuke Seki. Special Issue Developments in Language Theory 2018 - Preface
667 -- 687Jason P. Bell, Thomas F. Lidbetter, Jeffrey O. Shallit. Additive Number Theory via Approximation by Regular Languages
689 -- 709Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez. Weak Cost Register Automata are Still Powerful
711 -- 748Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin. A Pattern Logic for Automata with Outputs
749 -- 775Patrick Landwehr, Christof Löding. Projection for Büchi Tree Automata with Constraints between Siblings
777 -- 803Costanza Catalano, Raphaël M. Jungers. The Synchronizing Probability Function for Primitive Sets of Matrices
805 -- 825Simon Beier, Markus Holzer 0001. Decidability of Right One-Way Jumping Finite Automata
827 -- 842Lukas Fleischer. The Intersection Problem for Finite Semigroups
843 -- 873Nicolas Baudru, Pierre-Alain Reynier. From Two-Way Transducers to Regular Function Expressions

Volume 31, Issue 5

539 -- 549Andreas Kosmatopoulos, Athanasios K. Tsakalidis, Kostas Tsichlas. A Space-Optimal Hidden Surface Removal Algorithm for Iso-Oriented Rectangles
551 -- 567Juyan Li, Chunguang Ma, Zhen Gu. Multi-use Deterministic Public Key Proxy Re-Encryption from Lattices in the Auxiliary-Input Setting
569 -- 581Lianhua Wang, Xiaoni Du. Linear Complexity of Binary Threshold Sequences Derived from Generalized Polynomial Quotient with Prime-Power Modulus
583 -- 593Saeid Alirezazadeh, Khadijeh Alibabaei. Weak Separation Problem for Tree Languages
595 -- 610Hayam Alamro, Mai Alzamel, Costas S. Iliopoulos, Solon P. Pissis, Wing-Kin Sung, Steven Watts. Efficient Identification of k-Closed Strings
611 -- 619Ameneh Farhadian. Almost Every n-Vertex Graph is Determined by Its 3log2n-Vertex Subgraphs
621 -- 638Zi Jing Chern, K. G. Subramanian 0001, Azhana Ahmad, Wen Chean Teh. A New Study of Parikh Matrices Restricted to Terms
639 -- 661Ömer Egecioglu, Elif Saygi, Zülfükar Saygi. k-Fibonacci Cubes: A Family of Subgraphs of Fibonacci Cubes

Volume 31, Issue 4

421 -- 443Sanjib Sadhu, Sasanka Roy, Soumen Nandi, Subhas C. Nandy, Suchismita Roy. Efficient Algorithm for Computing the Triangle Maximizing the Length of Its Smallest Side Inside a Convex Polygon
445 -- 459Shunzhe Zhang, Dong Li, Huiqing Liu. On g-Extra Conditional Diagnosability of Twisted Hypercubes under MM∗ Model
461 -- 481Markus Hittmeir. A Reduction of Integer Factorization to Modular Tetration
483 -- 498Ahmet Çevik. Palindromic Characteristic of Committed Graphs and Some Model Theoretic Properties
499 -- 513Shanding Xu, Xiwang Cao, Jiafu Mi, Chunming Tang. Simplified Bounds on FHSs Set and Its Strictly Optimal Construction
515 -- 525Benedek Nagy. On the Membership Problem of Permutation Grammars - A Direct Proof of NP-Completeness
527 -- 538Grzegorz Madejski, Andrzej Szepietowski. Membership Problem for Two-Dimensional General Row Jumping Finite Automata

Volume 31, Issue 3

293 -- 300Minghui Yang, Jiejing Wen. d
301 -- 312Zhongxiao Wang, Xiangyu Wang, Tian Tian 0004. Constructing de Bruijn Sequences Based on a New Necessary Condition
313 -- 326Mei-Mei Gu, Jou-Ming Chang, Rong-Xia Hao. On Component Connectivity of Hierarchical Star Networks
327 -- 339Gang Wang 0035, Min-Yao Niu, Fang-Wei Fu. Constructions of (r, t)-LRC Based on Totally Isotropic Subspaces in Symplectic Space Over Finite Fields
341 -- 354Hironori Ando, Satoshi Fujita. Tight Bounds on the Upload Capacity to Enable Two-Hop Delivery in Peer-to-Peer Video Streaming Systems
355 -- 369Ke Chen 0011, Adrian Dumitrescu. Selection Algorithms with Small Groups
371 -- 383Jing Li, Chris Melekian, Shurong Zuo, Eddie Cheng 0001. Unpaired Many-to-Many Disjoint Path Covers on Bipartite k-Ary n-Cube Networks with Faulty Elements
385 -- 409Subhrangsu Mandal, Arobinda Gupta. Convergecast Tree on Temporal Graphs
411 -- 419Masamichi Kuroda. Monomial Generalized Almost Perfect Nonlinear Functions

Volume 31, Issue 2

157 -- 174Eunkyung Kim, Hyang-Sook Lee, Jeongeun Park. Towards Round-Optimal Secure Multiparty Computations: Multikey FHE Without a CRS
175 -- 191Yinxia Sun, Futai Zhang, Anmin Fu, Zhe Xia. CCA-Secure and Revocable Certificateless Encryption with Ciphertext Evolution
193 -- 206Jiaxian Lv, Yi Wang, Jinshu Su, Rongmao Chen, Wenjun Wu. Security of Auditing Protocols Against Subversion Attacks
207 -- 231Hatem M. Bahig, Dieaa I. Nassr, Ashraf Bhery, Abderrahmane Nitaj. A Unified Method for Private Exponent Attacks on RSA Using Lattices
233 -- 252Yuejuan Han, Lantao You, Cheng-Kuan Lin, Jianxi Fan. Communication Performance Evaluation of the Locally Twisted Cube
253 -- 273Tatsuya Akutsu, Avraham A. Melkman, Takeyuki Tamura. Improved Hardness of Maximum Common Subgraph Problems on Labeled Graphs of Bounded Treewidth and Bounded Degree
275 -- 291Manjanna Basappa, Ramesh K. Jallu, Gautam K. Das. Constrained k-Center Problem on a Convex Polygon

Volume 31, Issue 1

1 -- 6Erzsébet Csuhaj-Varjú, Florin Manea. Preface - Special Issue: A Collection of Papers in Honour of the 60th Birthday of Victor Mitrana
7 -- 21Fernando Arroyo, Sandra Gómez Canaval, Karina Jiménez, Alfonso Ortega de la Puente. A Linear Time Solution for N-Queens Problem Using Generalized Networks of Evolutionary Polarized Processors
23 -- 36Somnath Bera, Rodica Ceterchi, Kalpana Mahalingam, K. G. Subramanian 0001. Parikh q-Matrices and q-Ambiguous Words
37 -- 51Henning Bordihn, György Vaszil. Deterministic Lindenmayer Systems with Dynamic Control of Parallelism
53 -- 71Paolo Bottoni, Anna Labella, Grzegorz Rozenberg. Networks of Reaction Systems
73 -- 89Jürgen Dassow, Bianca Truthe. Networks with Evolutionary Processors and Ideals and Codes as Filters
91 -- 102Szilárd Zsolt Fazekas, Robert Mercas, Daniel Reidenbach. On the Prefix-Suffix Duplication Reduction
103 -- 116Luis Fernando de Mingo López, Nuria Gómez Blas, Angel Castellanos Peñuela, Juan Castellanos Peñuela. Swarm Intelligence Models: Ant Colony Systems Applied to BNF Grammars Rule Derivation
117 -- 132Andrei Paun, Florin-Daniel Bîlbîe. Universality of SNQ P Systems Using One Type of Spikes and Restrictive Rule Application
133 -- 142José M. Sempere. On Compensation Loops in Genomic Duplications
143 -- 156Cristina Tîrnauca, José L. Balcázar, Domingo Gómez-Pérez. Closed-Set-Based Discovery of Representative Association Rules