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

Volume 25, Issue 8

933 -- 936Marie-Pierre Béal, Olivier Carton. Preface
937 -- 954Arseny M. Shur. Languages with a Finite antidictionary: some growth Questions
955 -- 970Manfred Droste, Heiko Vogler. The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages
971 -- 986Tony Tan, Domagoj Vrgoc. Regular Expressions for Querying Data graphs
987 -- 1000Ugur Küçük, A. C. Cem Say, Abuzer Yakaryilmaz. Finite Automata with Advice Tapes
1001 -- 1016Zoltán Ésik, Szabolcs Iván. Operational Characterization of Scattered MCFLs
1017 -- 1032Marcella Anselmo, Dora Giammarresi, Maria Madonia. Prefix Picture codes: a Decidable class of Two-Dimensional codes
1033 -- 1048Joel D. Day, Daniel Reidenbach, Johannes C. Schneider. On the Dual Post Correspondence Problem
1049 -- 1064Jürgen Dassow, Florin Manea, Robert Mercas, Mike Müller. Inner Palindromic Closure
1065 -- 1082Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro. On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages
1083 -- 1096Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan. Adjacent Ordered Multi-Pushdown Systems
1097 -- 1110Daniel Goc, Narad Rampersad, Michel Rigo, Pavel Salimov. On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving)
1111 -- 1126Vincent Carnino, Sylvain Lombardy. Factorizations and Universal Automaton of omega Languages
1127 -- 1140Oscar H. Ibarra, Bala Ravikumar. Some Decision Questions Concerning the Time Complexity of Language Acceptors
1141 -- 1160Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Stateless One-Way Multi-Head Finite Automata with Pebbles
1161 -- 0Silvia Bonomo, Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino. Sorting conjugates and Suffixes of Words in a Multiset

Volume 25, Issue 7

803 -- 806Helmut Jürgensen, Rogério Reis. Preface
807 -- 822Janusz A. Brzozowski, Baiyu Li. Syntactic Complexity of ℛ- and 풥-Trivial Regular Languages
823 -- 836Daniel Goc, Alexandros Palioudakis, Kai Salomaa. Nondeterministic State Complexity of Proportional Removals
837 -- 856Markus Holzer, Sebastian Jakobi. Nondeterministic Biautomata and their Descriptional Complexity
857 -- 876Klaus Sutner. Iteration of Invertible Transductions
877 -- 896Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Simulations of Unary One-Way Multi-Head Finite Automata
897 -- 916Giovanni Pighizzini, Andrea Pisoni. Limited Automata and Regular Languages
917 -- 0Cezar Câmpeanu. Descriptional Complexity in encoded Blum Static Complexity Spaces

Volume 25, Issue 6

667 -- 678Junping Zhou, Weihua Su, Jianan Wang. New Worst-Case upper Bound for Counting Exact Satisfiability
679 -- 696Pedro García, Damián López, Manuel Vazquez de Parga. Efficient Deterministic Finite Automata Split-Minimization derived from Brzozowski's Algorithm
697 -- 722Haijun Yang, Minqiang Li, Qinghua Zheng. Performance Analysis of Grid Architecture via Queueing Theory
723 -- 744Chiao-Wei Chiu, Kuo-Si Huang, Chang-Biau Yang, Chiou-Ting Tseng. An Adaptive Heuristic Algorithm with the Probabilistic Safety Vector for Fault-Tolerant Routing on the (n, k)-Star Graph
745 -- 762Lin Chen, Deshi Ye, Guochuan Zhang. Online Scheduling of mixed CPU-GPU jobs
763 -- 780Deng Tang, Claude Carlet, Xiaohu Tang. A class of 1-Resilient Boolean Functions with Optimal Algebraic Immunity and Good Behavior against Fast Algebraic Attacks
781 -- 0Tamar Aizikowitz, Michael Kaminski. Linear Conjunctive Grammars and One-turn Synchronized Alternating Pushdown Automata

Volume 25, Issue 5

525 -- 536Ning Ding, Yan Lan, Xin Chen, György Dósa, He Guo, Xin Han. Online Minimum makespan Scheduling with a Buffer
537 -- 552Jia Zheng, Baofeng Wu, Yufu Chen, Zhuojun Liu. M-variable Boolean Functionswith Optimal Algebraic Immunity Based on Polar Decomposition of
553 -- 562Yinkui Li, Zongtian Wei, Xiaokui Yue, Erqiang Liu. Tenacity of total graphs
563 -- 584Partha Sarathi Mandal, Anil K. Ghosh. A Statistical Approach towards Secure Location Verification in noisy Wireless channels
585 -- 596Tim Boykett, Gerhard Wendt. 2 radical in Automata nearrings
597 -- 622Gennaro Cordasco, Arnold L. Rosenberg. On Scheduling Series-Parallel DAGs to Maximize Area
623 -- 640Taha Ghasemi, Hossein Ghasemalizadeh, Mohammadreza Razzazi. An Algorithmic Framework for Solving Geometric Covering Problems - with Applications
641 -- 0Manfred Droste, Bundit Pibaljommee. Weighted Nested Word Automata and Logics over Strong bimonoids

Volume 25, Issue 4

369 -- 372Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca. Preface
373 -- 390Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker. An analogue-Digital Church-Turing Thesis
391 -- 408Erzsébet Csuhaj-Varjú, György Vaszil. P Automata with Restricted Power
409 -- 418Dima Grigoriev, Vladimir Shpilrain. Yao's Millionaires' Problem and Decoy-Based Public Key Encryption by Classical Physics
419 -- 440Lila Kari, Steffen Kopecki, Amirhossein Simjour. Hypergraph Automata: a Theoretical Model for patterned Self-assembly
441 -- 458Luca Manzoni, Diogo Poças, Antonio E. Porreca. Simple reaction Systems and their Classification
459 -- 488Jennifer E. Padilla, Matthew J. Patitz, Robert T. Schweller, Nadrian C. Seeman, Scott M. Summers, Xingsi Zhong. Asynchronous signal Passing for Tile Self-assembly: Fuel Efficient Computation and Efficient assembly of Shapes
489 -- 506Benjamin Russell, Susan Stepney. Applications of Finsler Geometry to Speed Limits to Quantum Information Processing
507 -- 0Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter, Stephan Henker, Marcus Völp. Towards Computation with Microchemomechanical Systems

Volume 25, Issue 3

247 -- 262Andrzej Pelc, Anas Tiane. Efficient Grid Exploration with a stationary Token
263 -- 274Jing Zhang, Xiaofan Yang, Cui Yu, Li He. The Congestion of generalized Cube Communication Pattern in Linear Array Network
275 -- 306Andrzej Ehrenfeucht, Grzegorz Rozenberg. Zoom Structures and reaction Systems Yield Exploration Systems
307 -- 330Yoshiyuki Yamamoto, Kouichi Hirata, Tetsuji Kuboyama. Tractable and Intractable variations of Unordered Tree Edit Distance
331 -- 342Nhat X. Lam, Min Kyung An, Dung T. Huynh, Trac N. Nguyen. Broadcast Scheduling Problem in SINR Model
343 -- 354Yu Zhou, Lin Wang, Weiqiong Wang, Xinfeng Dong, Xiaoni Du. n+3(n ≥ 3)
355 -- 368Amr Elmasry, Yung H. Tsin. On Finding Sparse Three-Edge-Connected and Three-Vertex-Connected Spanning subgraphs

Volume 25, Issue 2

125 -- 140Jheng-Cheng Chen, Chia-Jui Lai, Chang-Hsiung Tsai. A Three-Round Adaptive Diagnostic Algorithm in a Distributed System Modeled by Dual-Cubes
141 -- 164Natasa Jonoska, Daria Karpenko. Active Tile Self-assembly, Part 1: Universality at temperature 1
165 -- 194Natasa Jonoska, Daria Karpenko. Active Tile Self-assembly, Part 2: Self-Similar Structures and Structural Recursion
195 -- 218Eric Wang, Cewei Cui, Zhe Dang, Thomas R. Fischer, Linmin Yang. Zero-Knowledge Blackbox Testing: where are the Faults?
219 -- 0Pai-Chou Wang. Dynamic Reducts Generation using Cascading Hashes

Volume 25, Issue 1

1 -- 24Jia-Fan, Yuliang Zheng, Xiaohu Tang. A New Construction of Identity-Based Signcryption without Random Oracles
25 -- 58George Lagogiannis. Parent Queries over Dynamic Balanced Parenthesis Strings
59 -- 66Xiang-Lan Cao, Elkin Vumar. Super Edge connectivity of Kronecker Products of graphs
67 -- 88Haejae Jung. A Simple Array Version of M-Heap
89 -- 100Alexander Golovnev. Approximating Asymmetric TSP in exponential Time
101 -- 0Galina Jirásková. The Ranges of State Complexities for Complement, Star, and Reversal of Regular Languages