International Journal of Foundations of Computer Science

Article	Citations
A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices	25
The Partial Diagnosability of Interconnection Networks Under the Strong Hybrid MM* Model	23
Ambiguity Hierarchies for Weighted Tree Automata	16
Note on Two-Stage BP Maximization	16
A Simple 2-Approximation for Maximum-Leaf Spanning Tree	15
Restricted Existence and Approximation Algorithms for PMMS	11
Family Trees for Enumeration	10
On the Shared Transportation Problem: Computational Hardness and Exact Approach	10
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
A Novel Image Clustering Algorithm Based on Supported Nearest Neighbors	6
A new class of permutation quadrinomial over ????q2 with characteristic 5	6
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata Over Small Alphabets	6
Fault-Tolerant Maximal Local-Connectivity on Leaf-Sort Graphs	6
Shortest Journeys in Directed Temporal Graphs	6
An Approximation Algorithm for Generalized Connectivity Problem on Planar Graphs	5
Minimizing Maximum Unmet Demand by Transportations Between Adjacent Nodes Characterized by Supplies and Demands	5
Weighted Linear Dynamic Logic	4
Optimizing the Online Learners’ Verbal Intention Classification Efficiency Based on the Multi-Head Attention Mechanism Algorithm	4
Non-Resumable Scheduling on a Single Bounded Parallel-Batch Machine with Flexible Maintenance	4
k-Planar Placement and Packing of Δ-Regular Caterpillars	4
Some Constructions of Perfect c-Nonlinear and Pseudo-Perfect c-Nonlinear Functions	4
Component Connectivity of Alternating Group Networks and Godan Graphs	3
On the Smallest Synchronizing Terms of Finite Tree Automata	3
Ratio-Based Distortion and Network Distance	3

An Improvement for Error-Correcting Pairs of Some Special MDS Codes	3
Reversible Two-Party Computations	3
PSPACE-Completeness of Reversible Deterministic Systems	3
Balanced-by-Construction Regular and ω-Regular Languages	3
Results on the Gowers U2 Norm of Generalized Boolean Functions	2
Structural Synthesis of PLC Program for Real-Time Specification Patterns	2
The h-Component Diagnosability of Alternating Group Graphs	2
A Verifiable Multi-Secret Sharing Scheme Based on ℓ-Intersection Pair of Cyclic Codes	2
Non-Submodular Maximization Subject to a Knapsack Constraint on the Integer Lattice	2
The Longest Wave Subsequence Problem: Generalizations of the Longest Increasing Subsequence Problem	2
Routing Among Convex Polygonal Obstacles in the Plane	2
Modelling Uncertainty in Architectures of Parametric Component-Based Systems	2
Component Connectivity of 3-Ary n-Cubes	2
Paired 3-Disjoint Path Covers in Bipartite Torus-Like Graphs with Edge Faults	2
A Generalized Pumping Lemma for Weighted Recognizable Languages	2
On the Span of ℓ Distance Coloring of Infinite Hexagonal Grid	2
Hamiltonian Paths Passing Through Linear Forests in Hypercubes with Faulty Edges	2
On Open-End Bin Packing Games	2
Single-Machine Scheduling with a Deteriorating Maintenance Activity and DeJong’s Learning Effect	2
Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems	2
Sweeping Input-Driven Pushdown Automata	2
Computing a 3-Role Assignment is Polynomial-Time Solvable on Complementary Prisms	1
Fractal Automata: Recursion in Context-Free and in Deterministic and Linear Context-Free Languages	1
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules	1
Graph Algorithm Based Submodular Function for Sparsest Cut Problem	1
Certainty in Formalising SMT-LIB for Strings in Isabelle	1
Embedded Edge Connectivity of Alternating Group Networks	1
Graph Bipartization Problem with Applications to Via Minimization in VLSI Design	1
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge	1
Succinct Data Structures for SP, Block-Cactus and 3-Leaf Power Graphs	1
Minimizing I/Os in Out-of-Core Task Tree Scheduling	1
Efficiently Enumerating Spanning Trees of k -Trees	1
Compositions of Weighted Extended Tree Transducers — The Unambiguous Case	1
Conditional Fractional Matching Preclusion Number of Graphs	1
Approximation Algorithms for Partial Vertex Covers in Trees	1
Almost Perfect c-Nonlinear Permutations with Trace Functions over ????2n	1
On Two Modifications of the McEliece PKE and the CFS Signature Scheme	1
On the Power of Star-Controlled Insertion-Deletion Systems	1
The Differential Properties of Certain Permutation Polynomials over Finite Fields	1
On the Super (Edge)-Connectivity of Generalized Johnson Graphs	1
The Coordination Mechanism for Scheduling Game with Deterioration Jobs and Uniform-Batch Machines	1
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time	1
Dynamic Reconfiguration of Networks Based on Visual Attention Mechanisms	1
NC-ENCE Graph Grammars: Properties and Application to Game Design	1
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern	1
Conditionally accepted sampling: AB15 IO scheme with smaller deviation ratio	1
Author Index Volume 35 (2024)	1
Computation of Geometric Color-Spanning Region for Line Segments	1
Online and Approximate Network Construction from Bounded Connectivity Constraints	1
Tree-Based Generation of Restricted Graph Languages	1

Locating Number of Biswapped Networks	1
The Hardest LL(k) Language	1
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case	1
Relating Various Types of Distributed Reaction Systems	1
Subnetworks Reliability Analysis of Complete Transposition Networks	1
An Upper Bound for Edge Congestion and the Exact Wirelength of Embedding onto BC Graphs	1
Embedded Edge-Connectivity Reliability Evaluation of Augmented Hypercube Interconnection Networks	1
The Seeding and Bi-Criteria Algorithms for Fuzzy k-Median Problem	1
Eulerian and Hamiltonian Soft Semigraphs	1
Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs	1
Improved Approximation Algorithms for Bin Packing with Conflicts	1
The Generalized 4-Connectivity of Bubble-Sort Graphs	1
Preface	1
Interrelations Between Soft and Ordinary Sets: An Exploration of Soft Filters and Soft Nets	1
Online Predictions for Online TSP on the Line	1
Image-Binary Automata	1
Volume Edited by Magnus Steinby	1
Hamiltonian-Based Efficient Algorithms for Legalization with Neighbor Diffusion Effect	1
The h -Faulty-Block Connectivity of n -Dimensional Balanced Hypercube	1
On Deterministic Finite Automata Equipped with Partial Orders	1
Balanced Even-Variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Maximum Algebraic Degree and Higher Nonlinearity	1
Asynchronous Gathering of Finite Memory Robots on a Circle under Limited Visibility	0
The Local Metric Dimension and Distance-Edge-Monitoring Number of Graph	0
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations	0
Single-Machine Lot Scheduling with Order Rejection	0
Some Special Perfect c-Nonlinear Functions on ℤn	0
Influential Node Identification of Network Based on Agglomeration Operation	0
Optimal Layout of Embedding onto Folded Hypercubes	0
Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words	0
k-Domination Connectivity in Graphs	0
Laplacian Spectrum of Some Special Graphs	0
The Pumping Lemma for Regular Languages is Hard	0
Guessing the Buffer Bound for k-Synchronizability	0
Language Acceptors with a Pushdown: Characterizations and Complexity	0
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata	0
Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer	0
Transition Systems from Asymmetric Prime Event Structures with Cause-Respecting Reversibility	0
Single Machine Scheduling with a Restricted Weight-Modifying Activity to Minimize the Weighted Makespan	0
New Bounds for Some Topological Indices	0
Language Classes of Extended Distributed Reaction Systems	0
Reversible Top-Down Syntax Analysis	0
Special Issue: 25th International Conference on Developments in Language Theory (DLT 2021) — Preface	0
A Note of Reliability Analysis of SM-λ in Folded-Crossed Hypercube with Conditional Faults	0
Completely Reachable Automata: An Interplay Between Automata, Graphs, and Trees	0
Hybrid Enhanced Binary Honey Badger Algorithm with Quadratic Programming for Cardinality Constrained Portfolio Optimization	0
Hardness Results of Connected Power Domination for Bipartite Graphs and Chordal Graphs	0
Parameterized Complexity Classes Defined by Threshold Circuits and Their Connection with Sorting Networks	0
Transportation Problem Allowing Sending and Bringing Back	0
On The 4-Adic Complexity of Quaternary Cyclotomic Sequences of Order 4 with Even Length	0
Fuzzy Clustering-Based Financial Data Mining System Analysis and Design	0
Algorithmic Aspects of Outer-Independent Double Roman Domination in Graphs	0
Properties and Algorithm of Lattice Pseudo-Submodular Functions	0
The B-Prize-Collecting Multicut Problem in Paths, Spider Graphs and Rings	0
Preface	0
Tight Upper Bounds on Distinct Maximal (Sub-)Repetitions in Highly Compressible Strings	0
Recursion Theorems in Numbered Sets	0
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata	0
Multi-Head Two-Way Finite Automata with Advice	0
Research on Prediction of Housing Prices Based on GA-PSO-BP Neural Network Model: Evidence from Chongqing, China	0
A Note on Automatic Baire Property	0
Enhancing Reliability of Folded Petersen Networks Based on Edge Partition	0
Structure Fault-Tolerant Hamiltonicity of Generalized Base 4-Hypercube Networks	0
Edge-Disjoint Hamiltonian Cycles in Balanced Hypercubes with Applications to Fault-Tolerant Data Broadcasting	0
Analysis of Vulnerability of Some Transformation Networks	0
Non-Adaptive and Adaptive Two-Sided Search with Fast Objects.	0
Definability Results for Top-Down Tree Transducers	0
The Wide Diameter and Fault Diameter of Exchanged Crossed Cube	0
The g -Extra Mixed Connectivity of Hypercube-Like Networks	0
Author Index Volume 33 (2022)	0
Marriage and Roommate	0
State Complexity of Partial Word Finite Automata	0
Once-Marking and Always-Marking 1-Limited Automata	0
Secure Re-Keying in Group Key Management Using Combinatorial Designs	0
Repetition Factorization of Automatic Sequences	0
Improved Approximation Algorithms for Matroid and Knapsack Means Problems	0
The 4-Set Tree Connectivity of Folded Hypercube	0
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs	0
An Analysis of Las Vegas Algorithms for Linear Search	0
Connectivity Status of Intuitionistic Fuzzy Graphs and Its Applications	0
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products	0

Linear Codes and Linear Complementary Pairs of Codes Over a Non-Chain Ring	0
Conversions Between Six Models of Finite Automata	0
Total 2-Rainbow Domination in Graphs: Complexity and Algorithms	0
Optimal Embedded and Enclosing Isosceles Triangles	0
Sensitivity Analysis Contact Reliability of VH-CATT Cylindrical Gear and Its Reliability with Material Strength Degradation	0
Isolated Rupture in Composite Networks	0
Linear Complexity of r-Ary Sequences Derived from Euler Quotient Modulo pq	0
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) — Preface	0
Constrained Multi-Tildes: Derived Term and Position Automata	0
Integer Codes Correcting Single Errors and Detecting Double Adjacent Errors	0
Metric Properties of Non-Commuting Graph Associated to Two Groups	0
Multilayer Stacked Probabilistic Belief Network-Based Brain Tumor Segmentation and Classification	0
Isolated Rupture in Thorny Networks	0
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata	0
Language Quotients Revisited	0
Approximating Minimum k-Tree Cover of a Connected Graph Inspired by the Multi-Ferry Routing in Delay Tolerant Networks	0
Hulls of q-Ary Narrow-Sense BCH Codes of Length q4 − 1	0
A Lower Bound on the 2-Adic Complexity of Hall’s Sextic Residue Sequences	0
Securing Smart City Services in Cyber-Physical Systems Using the Computation Annealed Selection Process	0
Fault-Tolerant Communication Mechanisms in Data Center Network of HS-DCell	0
Fuzzy Dynamic Obstacle Avoidance Algorithm for Basketball Robot Based on Multi-Sensor Data Fusion Technology	0
Characterizations of M -Equivalence and Weak M -Relation	0
Identifying the Configurations to Operating Efficiency in China’s Life Insurance Industry Using Fuzzy-Set Qualitative Comparative Analysis	0
Two-Dimensional Context-Free Grid Grammars	0
The h-Extra r-Component Connectivity of Half Hypercube	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
State Complexity of Boolean Operations on Graph-Walking Automata	0
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions	0
A Bicriteria Approximation Algorithm for the Min-Max Rural Postmen Cover Problem	0
Paired Domination Integrity of Graphs	0
Mathematical Modelling and Computational Analysis of Covid-19 Epidemic in Erbil Kurdistan Using Modified Lagrange Interpolating Polynomial	0
Limit Law for Zagreb and Wiener Indices of Random Exponential Recursive Trees	0
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers	0
A Steganography Embedding Method Based on CDF-DWT Technique for Reversible Data Hiding Application Using Elgamal Algorithm	0
A Novel Approach Towards Degree and Walsh-Transform of Boolean Functions	0
The Generalized 4-Connectivity of Locally Exchanged Twisted Cubes	0
Algorithmic Aspects of Total Vertex-Edge Domination in Graphs	0
The Longest Path Problem in Odd-Sized O-Shaped Grid Graphs	0
Sentiment Analysis of Chinese Reviews Based on BiTCN-Attention Model	0
Fault Tolerability Analysis of Hypercubes Based on g-Extra H-Structure Fault Pattern	0
Polynomial Representation of General Partial Boolean Functions with a Single Quantum Query	0
Closure Properties of Subregular Languages Under Operations	0
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number	0
Exact and Heuristic Algorithms for Single-Machine Scheduling with Total Late Work and Job Rejection	0
Robust Subgroup Multisignature with One-Time Public Keys in Order	0
Control Languages Associated with Labelled Spiking Neural P Systems with Mute Rules	0
Smooth Subsum Search A Heuristic for Practical Integer Factorization	0
Inverse Spectral Problems for a Special Acyclic Matrix	0
Latvian Quantum Finite State Automata for Unary Languages	0
A Simple and Efficient Method for Accelerating Construction of the Gap-Greedy Spanner	0
Universal First-Order Quantification over Automata	0
An Improved Helmet Detection Algorithm Based on YOLO V4	0
Improving the Quality of Service (QoS) and Resource Allocation in Vehicular Platoon Using Meta-Heuristic Optimization Algorithm	0
Characterization of Isometric Words based on Swap and Mismatch Distance	0
Compressed Structures for Partial Derivative Automata Constructions	0
Author Index Volume 36 (2025)	0
Additional Closeness of Cycle Graphs	0
A Proximal Gradient Algorithm with Dimensionality Reduction for a Class of Optimization Problems in Radiotherapy	0
A Two-Layer Reinforcement Learning-Integrated Genetic Algorithm for Flexible Job Shop Scheduling Considering Transportation Constraints	0
Algorithm Design for Asset Trading Under Multiple Factors	0
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages	0
Fuzzy Propositional Configuration Logics	0
Finite Approximations and Similarity of Languages	0
Drawing Simultaneously Embedded Graphs with Few Bends	0
Giovanni in Paris	0
An Efficient Algorithm to Compute Dot Product Dimension of Some Outerplanar Graphs	0
Constructions of 2-Rotation Symmetric Boolean Functions with Good Cryptographic Properties	0
Preface	0
Embedding Hierarchical Cubic Networks into k-Rooted Complete Binary Trees for Minimum Wirelength	0
Embedding Augmented Cube into Certain Trees and Windmill Graphs	0
Note on the Nonlinear Complexity of Finite Length Sequences	0
New Families of Frequency-Hopping Sequence Sets with Optimal Hamming Correlation	0
More on the Descriptional Complexity of Products of Finite Automata	0
Rainbow Domination in Cartesian Product of Paths and Cycles	0
Operational Complexity in Subregular Classes	0
The k -Regular Edge Connectivity of Three Types of Regular Graphs	0
Strong Menger Connectivity of Folded Hypercubes with Faulty Subcube	0
Special Issue: Articles Dedicated to the Memory of Magnus Steinby — Preface	0
An Innovative Algorithm for Generating Three Completely Independent Spanning Trees in Folded Hypercube Networks	0
Sufficiency Conditions for Well-Formedness of Quantum Context-Free Grammars	0
The g-Good-Neighbor Conditional Diagnosabilities of Hypermesh Optical Interconnection Networks Under the PMC and Comparison Models	0
In Memoriam: Magnus Steinby (1941–2021)	0
Synthesizing Computable Functions from Rational Specifications Over Infinite Words	0
An Improved Approximation Algorithm for the Minimum 4-Star Partition Problem	0
The Strong Diagnosability of Multiprocessor Systems Under the PMC Model	0
Knapsack Problems with Monotonically Non-Decreasing Variable Weights (Profits) of Items	0
Treasure Hunt in Euclidean Plane: Cost vs. Pebble Trade-Off	0
Special Issue: Graph Algorithms: Theory and Applications - A Special Issue Dedicated to the Memory of Professor Takao Nishizeki — Preface	0
Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution	0
Average State Complexity of Partial Derivative Automata for Synchronised Shuffles	0
Accountable Authority Identity-Based Broadcast Encryption for IoT Devices	0
The Generalized Burning Number of Caterpillars	0
Approximate Nash Equilibria for Scheduling Game on Serial-Batching-Machines with Activation Cost	0
The Component Hierarchy of Chain-Free Cooperating Distributed Regular Tree Grammars Revisited	0