International Journal of Foundations of Computer Science

Article	Citations
The Overlap Gap Between Left-Infinite and Right-Infinite Words	22
A Pseudo-Random Generator Whose Output is a Normal Sequence	21
A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices	15
Ambiguity Hierarchies for Weighted Tree Automata	14
Restricted Existence and Approximation Algorithms for PMMS	12
A Simple 2-Approximation for Maximum-Leaf Spanning Tree	12
Note on Two-Stage BP Maximization	10
On the Shared Transportation Problem: Computational Hardness and Exact Approach	9
The Structure Fault Tolerance of Alternating Group Networks	8
A Differentially Private Approximation Algorithm for Submodular Maximization Under a Polymatroid Constraint Over the Integer Lattice	7
Shortest Journeys in Directed Temporal Graphs	6
Family Trees for Enumeration	6
Minimizing Maximum Unmet Demand by Transportations Between Adjacent Nodes Characterized by Supplies and Demands	6
Normalish Amenable Subgroups of the R. Thompson Groups	5
A Novel Image Clustering Algorithm Based on Supported Nearest Neighbors	5
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata Over Small Alphabets	5
Optimizing the Online Learners’ Verbal Intention Classification Efficiency Based on the Multi-Head Attention Mechanism Algorithm	5
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata	4
k-Planar Placement and Packing of Δ-Regular Caterpillars	4
Strongly Connected Orientation with Minimum Lexicographic Order of Indegrees	4
Weighted Linear Dynamic Logic	4
Some Constructions of Perfect c-Nonlinear and Pseudo-Perfect c-Nonlinear Functions	3
Component Connectivity of Alternating Group Networks and Godan Graphs	3
An Improvement for Error-Correcting Pairs of Some Special MDS Codes	3
PSPACE-Completeness of Reversible Deterministic Systems	3

Modelling Uncertainty in Architectures of Parametric Component-Based Systems	3
Non-Resumable Scheduling on a Single Bounded Parallel-Batch Machine with Flexible Maintenance	3
Balanced-by-Construction Regular and ω-Regular Languages	3
More Efficient Parallel Integer Sorting	3
Results on the Gowers U2 Norm of Generalized Boolean Functions	2
The Longest Wave Subsequence Problem: Generalizations of the Longest Increasing Subsequence Problem	2
Sweeping Input-Driven Pushdown Automata	2
Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems	2
Structural Synthesis of PLC Program for Real-Time Specification Patterns	2
The h-Component Diagnosability of Alternating Group Graphs	2
Paired 3-Disjoint Path Covers in Bipartite Torus-Like Graphs with Edge Faults	2
A Generalized Pumping Lemma for Weighted Recognizable Languages	2
Minimizing I/Os in Out-of-Core Task Tree Scheduling	2
Hamiltonian Paths Passing Through Linear Forests in Hypercubes with Faulty Edges	2
A Verifiable Multi-Secret Sharing Scheme Based on ℓ-Intersection Pair of Cyclic Codes	2
Routing Among Convex Polygonal Obstacles in the Plane	2
Symmetric Connectivity in Wireless Sensor Networks with π/3 Directional Antennas	2
Non-Submodular Maximization Subject to a Knapsack Constraint on the Integer Lattice	2
On the Span of ℓ Distance Coloring of Infinite Hexagonal Grid	2
Single-Machine Scheduling with a Deteriorating Maintenance Activity and DeJong’s Learning Effect	2
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time	1
Certainty in Formalising SMT-LIB for Strings in Isabelle	1
Compositions of Weighted Extended Tree Transducers — The Unambiguous Case	1
Online and Approximate Network Construction from Bounded Connectivity Constraints	1
Computing a 3-Role Assignment is Polynomial-Time Solvable on Complementary Prisms	1
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules	1
Fractal Automata: Recursion in Context-Free and in Deterministic and Linear Context-Free Languages	1
Conditional Fractional Matching Preclusion Number of Graphs	1
Locating Number of Biswapped Networks	1
Author Index Volume 35 (2024)	1
Author Index Volume 32 (2021)	1
Image-Binary Automata	1
Interrelations Between Soft and Ordinary Sets: An Exploration of Soft Filters and Soft Nets	1
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages	1
The h-Faulty-Block Connectivity of n-Dimensional Balanced Hypercube	1
On the Super (Edge)-Connectivity of Generalized Johnson Graphs	1
Improved Approximation Algorithms for Bin Packing with Conflicts	1
Approximation Algorithms for Partial Vertex Covers in Trees	1
Tree-Based Generation of Restricted Graph Languages	1
Eulerian and Hamiltonian Soft Semigraphs	1
Graph Algorithm Based Submodular Function for Sparsest Cut Problem	1
Hamiltonian-Based Efficient Algorithms for Legalization with Neighbor Diffusion Effect	1
Embedded Edge-Connectivity Reliability Evaluation of Augmented Hypercube Interconnection Networks	1
Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs	1
Succinct Data Structures for SP, Block-Cactus and 3-Leaf Power Graphs	1
Conditionally accepted sampling: AB15 IO scheme with smaller deviation ratio	1
Volume Edited by Magnus Steinby	1
Online Predictions for Online TSP on the Line	1
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern	1
An Upper Bound for Edge Congestion and the Exact Wirelength of Embedding onto BC Graphs	1

Graph Bipartization Problem with Applications to Via Minimization in VLSI Design	1
Space Complexity of Stack Automata Models	1
Efficiently Enumerating Spanning Trees of k-Trees	1
The Coordination Mechanism for Scheduling Game with Deterioration Jobs and Uniform-Batch Machines	1
The Seeding and Bi-Criteria Algorithms for Fuzzy k-Median Problem	1
An Improved Approximation Algorithm for the Capacitated Correlation Clustering Problem	0
Knapsack Problems with Monotonically Non-Decreasing Variable Weights (Profits) of Items	0
Three-Word Codes {a,aba,u} Having a Finite Completion	0
The Hardest LL(k) Language	0
Two-Way Non-Uniform Finite Automata	0
Special Aquatic Products Supply Chain Coordination Considering Bilateral Green Input in the Context of High-Quality Development	0
The Generalized 3-Connectivity of a Family of Regular Networks	0
Drawing Simultaneously Embedded Graphs with Few Bends	0
On the Power of Star-Controlled Insertion-Deletion Systems	0
Definability Results for Top-Down Tree Transducers	0
Algorithm Design for Asset Trading Under Multiple Factors	0
Integer Weighted Automata on Infinite Words	0
Embedding Hierarchical Cubic Networks into k-Rooted Complete Binary Trees for Minimum Wirelength	0
On Two Modifications of the McEliece PKE and the CFS Signature Scheme	0
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions	0
Hybrid Enhanced Binary Honey Badger Algorithm with Quadratic Programming for Cardinality Constrained Portfolio Optimization	0
Operations on Boolean and Alternating Finite Automata	0
Sufficiency Conditions for Well-Formedness of Quantum Context-Free Grammars	0
State Complexity of Partial Word Finite Automata	0
Author Index Volume 33 (2022)	0
The Budget-Feasible Mechanisms on Non-Monotone k-Submodular Objectives for the Offline and Online Procurement Auctions	0
A Lower Bound on the 2-Adic Complexity of Hall’s Sextic Residue Sequences	0
Preface	0
The Generalized Burning Number of Caterpillars	0
Properties and Algorithm of Lattice Pseudo-Submodular Functions	0
Mathematical Modelling and Computational Analysis of Covid-19 Epidemic in Erbil Kurdistan Using Modified Lagrange Interpolating Polynomial	0
Non-Adaptive and Adaptive Two-Sided Search with Fast Objects.	0
Sentiment Analysis of Chinese Reviews Based on BiTCN-Attention Model	0
Subnetwork Preclusion of (n,k)-Star Networks	0
Characterization of Isometric Words based on Swap and Mismatch Distance	0
Improving the Quality of Service (QoS) and Resource Allocation in Vehicular Platoon Using Meta-Heuristic Optimization Algorithm	0
Compressed Structures for Partial Derivative Automata Constructions	0
An Improved Helmet Detection Algorithm Based on YOLO V4	0
Once-Marking and Always-Marking 1-Limited Automata	0
Language Classes of Extended Distributed Reaction Systems	0
Linear Complexity of r-Ary Sequences Derived from Euler Quotient Modulo pq	0
NP-Hardness and Approximation Algorithms for Iterative Pricing on Social Networks with Externalities	0
Two Effective Properties of ω-Rational Functions	0
The Clustered Selected-Internal Steiner Tree Problem	0
Dyck Words, Lattice Paths, and Abelian Borders	0
Integer Codes Correcting Single Errors and Detecting Double Adjacent Errors	0
Special Issue: 25th International Conference on Developments in Language Theory (DLT 2021) — Preface	0
Approximate Nash Equilibria for Scheduling Game on Serial-Batching-Machines with Activation Cost	0
The (E)FTSM-(edge) Connectivity of Cayley Graphs Generated by Transposition Trees	0
Linear Codes and Linear Complementary Pairs of Codes Over a Non-Chain Ring	0
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products	0
Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer	0
An Analysis of Las Vegas Algorithms for Linear Search	0
Optimal Embedded and Enclosing Isosceles Triangles	0
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata	0
A Simple and Efficient Method for Accelerating Construction of the Gap-Greedy Spanner	0
Latvian Quantum Finite State Automata for Unary Languages	0
Algorithms for the Truss Maintenance Problem on Edge-Weighted Graphs	0
Closure Properties of Subregular Languages Under Operations	0
The Outer-Paired Domination of Graphs	0
A Recursive Algorithm for Constructing Dual-CISTs in Hierarchical Folded Cubic Networks	0
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case	0
Algorithmic Aspects of Outer-Independent Double Roman Domination in Graphs	0
Parametric Algorithm to Find the Largest Empty Rectangle from a Set of Line Segments	0
The Longest Path Problem in Odd-Sized O-Shaped Grid Graphs	0
Fuzzy Dynamic Obstacle Avoidance Algorithm for Basketball Robot Based on Multi-Sensor Data Fusion Technology	0
Descriptive Complexity of Reversible Languages Having Finitely Many Reduced Automata	0
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs	0
Strong Menger Connectivity of Folded Hypercubes with Faulty Subcube	0
Approximating All-Points Furthest Pairs and Maximum Spanning Trees in Metric Spaces	0
Recursion Theorems in Numbered Sets	0
The Differential Properties of Certain Permutation Polynomials Over Finite Fields	0
Optimal Gathering Over Weber Meeting Nodes in Infinite Grid	0
Research on Prediction of Housing Prices Based on GA-PSO-BP Neural Network Model: Evidence from Chongqing, China	0
Preface	0
Enhancing Reliability of Folded Petersen Networks Based on Edge Partition	0
Analysis of Vulnerability of Some Transformation Networks	0
The g-Good-Neighbor Conditional Diagnosabilities of Hypermesh Optical Interconnection Networks Under the PMC and Comparison Models	0
A Steganography Embedding Method Based on CDF-DWT Technique for Reversible Data Hiding Application Using Elgamal Algorithm	0
Preface	0

Completely Reachable Automata: An Interplay Between Automata, Graphs, and Trees	0
Hamiltonian Cycle in K1,r-Free Split Graphs — A Dichotomy	0
The Power of Machines That Control Experiments	0
The B-Prize-Collecting Multicut Problem in Paths, Spider Graphs and Rings	0
Isolated Rupture in Thorny Networks	0
The g-Extra Mixed Connectivity of Hypercube-Like Networks	0
The Local Metric Dimension and Distance-Edge-Monitoring Number of Graph	0
Guessing the Buffer Bound for k-Synchronizability	0
An Innovative Algorithm for Generating Three Completely Independent Spanning Trees in Folded Hypercube Networks	0
Influential Node Identification of Network Based on Agglomeration Operation	0
Asynchronous Gathering of Finite Memory Robots on a Circle under Limited Visibility	0
Giovanni in Paris	0
Isolated Rupture in Composite Networks	0
Marriage and Roommate	0
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata	0
Inverse Spectral Problems for a Special Acyclic Matrix	0
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number	0
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata	0
More on the Descriptional Complexity of Products of Finite Automata	0
Hardness Results of Connected Power Domination for Bipartite Graphs and Chordal Graphs	0
Multilayer Stacked Probabilistic Belief Network-Based Brain Tumor Segmentation and Classification	0
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations	0
Universal First-Order Quantification Over Automata	0
Reversible Top-Down Syntax Analysis	0
Fuzzy Propositional Configuration Logics	0
Transportation Problem Allowing Sending and Bringing Back	0
Finite Approximations and Similarity of Languages	0
Robust Subgroup Multisignature with One-Time Public Keys in Order	0
A Novel Approach Towards Degree and Walsh-Transform of Boolean Functions	0
An Efficient Algorithm to Compute Dot Product Dimension of Some Outerplanar Graphs	0
The Component Diagnosability of General Networks	0
The Nonlocal Metric Dimension of Some Convex Polytopes	0
Optimal Layout of Embedding onto Folded Hypercubes	0
Edge-Disjoint Hamiltonian Cycles in Balanced Hypercubes with Applications to Fault-Tolerant Data Broadcasting	0
The Triple-Pair Construction for Weighted ω-Pushdown Automata	0
Special Issue: Articles Dedicated to the Memory of Magnus Steinby — Preface	0
Balanced Even-Variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Maximum Algebraic Degree and Higher Nonlinearity	0
Smooth Subsum Search A Heuristic for Practical Integer Factorization	0
Additional Closeness of Cycle Graphs	0
Parameterized Complexity Classes Defined by Threshold Circuits and Their Connection with Sorting Networks	0
Almost Perfect c-Nonlinear Permutations with Trace Functions Over ????2n	0
One-Way Restarting Automata and Their Sensitivitys	0
State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs	0
Multi-Head Two-Way Finite Automata with Advice	0
Recomputation of Public Capital Based on PIM and the Effect on China Regional Economic Growth	0
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge	0
The k-Regular Edge Connectivity of Three Types of Regular Graphs	0
The Wide Diameter and Fault Diameter of Exchanged Crossed Cube	0
Kernels of Context-Free Languages	0
An Improved Approximation Algorithm for the Minimum 4-Star Partition Problem	0
Preface	0
Algorithmic Aspects of Total Vertex-Edge Domination in Graphs	0
Edge-Fault-Tolerant Edge-Bipancyclicity of Modified Bubble-Sort Graphs	0
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements	0
Fuzzy Clustering-Based Financial Data Mining System Analysis and Design	0
Tissue P Systems with Vesicles of Multisets	0
The Strong Diagnosability of Multiprocessor Systems Under the PMC Model	0
New Families of Frequency-Hopping Sequence Sets with Optimal Hamming Correlation	0
Operational Complexity in Subregular Classes	0
Input-Driven Double-Head Pushdown Automata	0
Special Issue: Graph Algorithms: Theory and Applications - A Special Issue Dedicated to the Memory of Professor Takao Nishizeki — Preface	0
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages	0
Compositions with Constant Weighted Extended Tree Transducers	0
Two-Dimensional Context-Free Grid Grammars	0
The Generalized 4-Connectivity of Locally Exchanged Twisted Cubes	0
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers	0
Total 2-Rainbow Domination in Graphs: Complexity and Algorithms	0
Connectivity Status of Intuitionistic Fuzzy Graphs and Its Applications	0
Limit Law for Zagreb and Wiener Indices of Random Exponential Recursive Trees	0
The 4-Set Tree Connectivity of Folded Hypercube	0
Extremal Results on Vertex and Link Residual Closeness	0
Language Acceptors with a Pushdown: Characterizations and Complexity	0
Repetition Factorization of Automatic Sequences	0
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) — Preface	0
Sensitivity Analysis Contact Reliability of VH-CATT Cylindrical Gear and Its Reliability with Material Strength Degradation	0
The Component Hierarchy of Chain-Free Cooperating Distributed Regular Tree Grammars Revisited	0
Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words	0
Approximating Minimum k-Tree Cover of a Connected Graph Inspired by the Multi-Ferry Routing in Delay Tolerant Networks	0
HV-Palindromes in Two-Dimensional Words	0
A Note of Reliability Analysis of SM-λ in Folded-Crossed Hypercube with Conditional Faults	0
Conversions Between Six Models of Finite Automata	0
Some Special Perfect c-Nonlinear Functions on ℤn	0
Language Quotients Revisited	0
Metric Properties of Non-Commuting Graph Associated to Two Groups	0
Exact Affine Counter Automata	0
New Bounds for Some Topological Indices	0
Identifying the Configurations to Operating Efficiency in China’s Life Insurance Industry Using Fuzzy-Set Qualitative Comparative Analysis	0
Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution	0
Characterizations of M-Equivalence and Weak M-Relation	0
Management and Monitoring of Multi-Behavior Recommendation Systems Using Graph Convolutional Neural Networks	0
Improved Approximation Algorithms for Matroid and Knapsack Means Problems	0
Weakly and Strongly Irreversible Regular Languages	0
Author Index Volume 34 (2023)	0
Relating Various Types of Distributed Reaction Systems	0
Securing Smart City Services in Cyber-Physical Systems Using the Computation Annealed Selection Process	0