International Journal of Foundations of Computer Science

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

Strongly Connected Orientation with Minimum Lexicographic Order of Indegrees	3
Routing Among Convex Polygonal Obstacles in the Plane	2
Paired 3-Disjoint Path Covers in Bipartite Torus-Like Graphs with Edge Faults	2
On the Span of ℓ Distance Coloring of Infinite Hexagonal Grid	2
A Verifiable Multi-Secret Sharing Scheme Based on ℓ-Intersection Pair of Cyclic Codes	2
The h-Component Diagnosability of Alternating Group Graphs	2
Modelling Uncertainty in Architectures of Parametric Component-Based Systems	2
Structural Synthesis of PLC Program for Real-Time Specification Patterns	2
Minimizing I/Os in Out-of-Core Task Tree Scheduling	2
Balanced-by-Construction Regular and ω-Regular Languages	2
Single-Machine Scheduling with a Deteriorating Maintenance Activity and DeJong’s Learning Effect	2
Results on the Gowers U2 Norm of Generalized Boolean Functions	2
Symmetric Connectivity in Wireless Sensor Networks with π/3 Directional Antennas	2
Alternate Lucas Cubes	1
Efficiently Enumerating Spanning Trees of k-Trees	1
Fractal Automata: Recursion in Context-Free and in Deterministic and Linear Context-Free Languages	1
Tree-Based Generation of Restricted Graph Languages	1
On the Super (Edge)-Connectivity of Generalized Johnson Graphs	1
Certainty in Formalising SMT-LIB for Strings in Isabelle	1
Online and Approximate Network Construction from Bounded Connectivity Constraints	1
Author Index Volume 35 (2024)	1
The h-Faulty-Block Connectivity of n-Dimensional Balanced Hypercube	1
The coordination mechanism for scheduling game with deterioration jobs and uniform-batch machines	1
Descriptional Complexity of Semi-Simple Splicing Systems	1
Succinct Data Structures for SP, Block-Cactus and 3-Leaf Power Graphs	1
Embedded Edge-Connectivity Reliability Evaluation of Augmented Hypercube Interconnection Networks	1
Hamiltonian-Based Efficient Algorithms for Legalization with Neighbor Diffusion Effect	1
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern	1
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules	1
Graph Bipartization Problem with Applications to Via Minimization in VLSI Design	1
Online Predictions for Online TSP on the Line	1
Image-Binary Automata	1
Volume Edited by Magnus Steinby	1
Locating Number of Biswapped Networks	1
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages	1
Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems	1
A Generalized Pumping Lemma for Weighted Recognizable Languages	1
Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs	1
Author Index Volume 32 (2021)	1
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge	1
Conditional Fractional Matching Preclusion Number of Graphs	1
Eulerian and Hamiltonian Soft Semigraphs	1
Approximation Algorithms for Partial Vertex Covers in Trees	1
Space Complexity of Stack Automata Models	1
Graph Algorithm Based Submodular Function for Sparsest Cut Problem	1
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time	1
Conditionally accepted sampling: AB15 IO scheme with smaller deviation ratio	1
Compositions of Weighted Extended Tree Transducers — The Unambiguous Case	1
The Longest Wave Subsequence Problem: Generalizations of the Longest Increasing Subsequence Problem	1
The (E)FTSM-(edge) Connectivity of Cayley Graphs Generated by Transposition Trees	0

Identifying the Configurations to Operating Efficiency in China’s Life Insurance Industry Using Fuzzy-Set Qualitative Comparative Analysis	0
An Improved Helmet Detection Algorithm Based on YOLO V4	0
Preface	0
Weakly and Strongly Irreversible Regular Languages	0
Exact Affine Counter Automata	0
The Component Hierarchy of Chain-Free Cooperating Distributed Regular Tree Grammars Revisited	0
Repetition Factorization of Automatic Sequences	0
A Simple and Efficient Method for Accelerating Construction of the Gap-Greedy Spanner	0
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions	0
Recomputation of Public Capital Based on PIM and the Effect on China Regional Economic Growth	0
Multi-Head Two-Way Finite Automata with Advice	0
Optimal Embedded and Enclosing Isosceles Triangles	0
Transportation Problem Allowing Sending and Bringing Back	0
Algorithmic Aspects of Outer-Independent Double Roman Domination in Graphs	0
A Recursive Algorithm for Constructing Dual-CISTs in Hierarchical Folded Cubic Networks	0
Additional Closeness of Cycle Graphs	0
Compressed Structures for Partial Derivative Automata Constructions	0
Unpaired Many-to-Many Disjoint Path Cover of Balanced Hypercubest	0
Guessing the Buffer Bound for k-Synchronizability	0
Recognizing Lexicographically Smallest Words and Computing Successors in Regular Languages	0
Three-Word Codes {a,aba,u} Having a Finite Completion	0
Special Aquatic Products Supply Chain Coordination Considering Bilateral Green Input in the Context of High-Quality Development	0
The Hardest LL(k) Language	0
Drawing Simultaneously Embedded Graphs with Few Bends	0
NP-Hardness and Approximation Algorithms for Iterative Pricing on Social Networks with Externalities	0
The g-Good-Neighbor Conditional Diagnosabilities of Hypermesh Optical Interconnection Networks Under the PMC and Comparison Models	0
The B-Prize-Collecting Multicut Problem in Paths, Spider Graphs and Rings	0
Research on Prediction of Housing Prices Based on GA-PSO-BP Neural Network Model: Evidence from Chongqing, China	0
Error-Free Affine, Unitary, and Probabilistic OBDDs	0
Author Index Volume 33 (2022)	0
The Generalized 3-Connectivity of a Family of Regular Networks	0
An Improved Approximation Algorithm for the Capacitated Correlation Clustering Problem	0
Improved Approximation Algorithms for Bin Packing with Conflicts	0
Embedding Hierarchical Cubic Networks into k-Rooted Complete Binary Trees for Minimum Wirelength	0
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs	0
Preface	0
Integer Codes Correcting Single Errors and Detecting Double Adjacent Errors	0
Hamiltonian Cycle in K1,r-Free Split Graphs — A Dichotomy	0
Non-Adaptive and Adaptive Two-Sided Search with Fast Objects.	0
Subnetwork Preclusion of (n,k)-Star Networks	0
Graph Convolutional Network-Guided Mine Gas Concentration Predictor	0
Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words	0
Preface	0
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers	0
On the Boolean Closure of Deterministic Top-Down Tree Automata	0
Preface	0
Approximating Minimum k-Tree Cover of a Connected Graph Inspired by the Multi-Ferry Routing in Delay Tolerant Networks	0
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number	0
Conversions Between Six Models of Finite Automata	0
Input-Driven Double-Head Pushdown Automata	0
Universal First-Order Quantification Over Automata	0
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations	0
State Complexity of Boolean Operations on Graph-Walking Automata	0
An Inequality for the Number of Periods in a Word	0
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) — Preface	0
On the Balancedness of Tree-to-Word Transducers	0
Characterization of Isometric Words based on Swap and Mismatch Distance	0
Analysis of Vulnerability of Some Transformation Networks	0
Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution	0
Finite Approximations and Similarity of Languages	0
Metric Properties of Non-Commuting Graph Associated to Two Groups	0
Edge-Disjoint Hamiltonian Cycles in Balanced Hypercubes with Applications to Fault-Tolerant Data Broadcasting	0
Language Acceptors with a Pushdown: Characterizations and Complexity	0
Synthesizing Computable Functions from Rational Specifications Over Infinite Words	0
Properties and Algorithm of Lattice Pseudo-Submodular Functions	0
Balanced Even-Variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Maximum Algebraic Degree and Higher Nonlinearity	0
Improved Approximation Algorithms for Matroid and Knapsack Means Problems	0
HV-Palindromes in Two-Dimensional Words	0
State Complexity of Partial Word Finite Automata	0
Optimal Layout of Embedding onto Folded Hypercubes	0
Special Issue: Articles Dedicated to the Memory of Magnus Steinby — Preface	0
Simplifications of Uniform Expressions Specified by Systems	0
Sentiment Analysis of Chinese Reviews Based on BiTCN-Attention Model	0
Marriage and Roommate	0
One-Way Restarting Automata and Their Sensitivitys	0
Algorithms for the Truss Maintenance Problem on Edge-Weighted Graphs	0
A Steganography Embedding Method Based on CDF-DWT Technique for Reversible Data Hiding Application Using Elgamal Algorithm	0
On Two Modifications of the McEliece PKE and the CFS Signature Scheme	0
Compositions with Constant Weighted Extended Tree Transducers	0
Hardness Results of Connected Power Domination for Bipartite Graphs and Chordal Graphs	0

Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata	0
Kernels of Context-Free Languages	0
Algorithm Design for Asset Trading Under Multiple Factors	0
Reconstructing Words from Right-Bounded-Block Words	0
Fuzzy Clustering-Based Financial Data Mining System Analysis and Design	0
The Component Diagnosability of General Networks	0
On the Construction of Multiply Constant-Weight Codes	0
Leftmost Derivations in CD Grammar Systems	0
State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs	0
Computing a 3-Role Assignment is Polynomial-Time Solvable on Complementary Prisms	0
The Power of Machines That Control Experiments	0
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements	0
Total 2-Rainbow Domination in Graphs: Complexity and Algorithms	0
The Differential Properties of Certain Permutation Polynomials Over Finite Fields	0
Enhancing Reliability of Folded Petersen Networks Based on Edge Partition	0
Definability Results for Top-Down Tree Transducers	0
Integer Weighted Automata on Infinite Words	0
The Outer-Paired Domination of Graphs	0
Tissue P Systems with Vesicles of Multisets	0
Influential Node Identification of Network Based on Agglomeration Operation	0
The Local Metric Dimension and Distance-Edge-Monitoring Number of Graph	0
Distributed Independent Sets in Interval and Segment Intersection Graphs	0
Linear Complexity of r-Ary Sequences Derived from Euler Quotient Modulo pq	0
Extra Connectivity and Structure Connectivity of 2-Dimensional Torus Networks	0
Completely Reachable Automata: An Interplay Between Automata, Graphs, and Trees	0
Latvian Quantum Finite State Automata for Unary Languages	0
Management and Monitoring of Multi-Behavior Recommendation Systems Using Graph Convolutional Neural Networks	0
Special Issue: 25th International Conference on Developments in Language Theory (DLT 2021) — Preface	0
Smooth Subsum Search A Heuristic for Practical Integer Factorization	0
The Clustered Selected-Internal Steiner Tree Problem	0
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata	0
Some Special Perfect c-Nonlinear Functions on ℤn	0
Inverse Spectral Problems for a Special Acyclic Matrix	0
In Memoriam: Magnus Steinby (1941–2021)	0
Reversible Top-Down Syntax Analysis	0
A Note of Reliability Analysis of SM-λ in Folded-Crossed Hypercube with Conditional Faults	0
The 4-Set Tree Connectivity of Folded Hypercube	0
An Analysis of Las Vegas Algorithms for Linear Search	0
Mathematical Modelling and Computational Analysis of Covid-19 Epidemic in Erbil Kurdistan Using Modified Lagrange Interpolating Polynomial	0
The Triple-Pair Construction for Weighted ω-Pushdown Automata	0
Two Effective Properties of ω-Rational Functions	0
Characterizations of M-Equivalence and Weak M-Relation	0
A Novel Approach Towards Degree and Walsh-Transform of Boolean Functions	0
New Bounds for Some Topological Indices	0
Announcement	0
An Efficient Algorithm to Compute Dot Product Dimension of Some Outerplanar Graphs	0
Closure Properties of Subregular Languages Under Operations	0
More on the Descriptional Complexity of Products of Finite Automata	0
Securing Smart City Services in Cyber-Physical Systems Using the Computation Annealed Selection Process	0
Author Index Volume 34 (2023)	0
The Longest Path Problem in Odd-Sized O-Shaped Grid Graphs	0
Relating Various Types of Distributed Reaction Systems	0
Preface	0
Isolated Rupture in Composite Networks	0
Two-Way Non-Uniform Finite Automata	0
Parameterized Complexity Classes Defined by Threshold Circuits and Their Connection with Sorting Networks	0
Strong Menger Connectivity of Folded Hypercubes with Faulty Subcube	0
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case	0
Isolated Rupture in Thorny Networks	0
Improving the Quality of Service (QoS) and Resource Allocation in Vehicular Platoon Using Meta-Heuristic Optimization Algorithm	0
Algorithmic Aspects of Total Vertex-Edge Domination in Graphs	0
Fuzzy Dynamic Obstacle Avoidance Algorithm for Basketball Robot Based on Multi-Sensor Data Fusion Technology	0
Hybrid Enhanced Binary Honey Badger Algorithm with Quadratic Programming for Cardinality Constrained Portfolio Optimization	0
Descriptive Complexity of Reversible Languages Having Finitely Many Reduced Automata	0
Approximate Nash Equilibria for Scheduling Game on Serial-Batching-Machines with Activation Cost	0
Extremal Results on Vertex and Link Residual Closeness	0
Approximating All-Points Furthest Pairs and Maximum Spanning Trees in Metric Spaces	0
Optimal Gathering Over Weber Meeting Nodes in Infinite Grid	0
Preface	0
Two-Dimensional Context-Free Grid Grammars	0
Special Issue: Graph Algorithms: Theory and Applications - A Special Issue Dedicated to the Memory of Professor Takao Nishizeki — Preface	0
Operations on Boolean and Alternating Finite Automata	0
The Wide Diameter and Fault Diameter of Exchanged Crossed Cube	0
Almost Perfect c-Nonlinear Permutations with Trace Functions Over ????2n	0
Linear Codes and Linear Complementary Pairs of Codes Over a Non-Chain Ring	0
Giovanni in Paris	0
New Families of Frequency-Hopping Sequence Sets with Optimal Hamming Correlation	0
Language Quotients Revisited	0
Connectivity Status of Intuitionistic Fuzzy Graphs and Its Applications	0
Limit Law for Zagreb and Wiener Indices of Random Exponential Recursive Trees	0
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata	0
Extremal Binary PFAs with Small Number of States	0
Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer	0
Dyck Words, Lattice Paths, and Abelian Borders	0
Sensitivity Analysis Contact Reliability of VH-CATT Cylindrical Gear and Its Reliability with Material Strength Degradation	0
The Strong Diagnosability of Multiprocessor Systems Under the PMC Model	0
An Innovative Algorithm for Generating Three Completely Independent Spanning Trees in Folded Hypercube Networks	0
Fuzzy Propositional Configuration Logics	0
Once-Marking and Always-Marking 1-Limited Automata	0
Language Classes of Extended Distributed Reaction Systems	0
Multilayer Stacked Probabilistic Belief Network-Based Brain Tumor Segmentation and Classification	0
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products	0
Robust Subgroup Multisignature with One-Time Public Keys in Order	0
The (n,k)-Modified-Bubble-Sort Graph: A Generalized Modified-Bubble-Sort Graph	0
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages	0