International Journal of Foundations of Computer Science

Article	Citations
Note on Two-Stage BP Maximization	22
A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices	22
The Partial Diagnosability of Interconnection Networks Under the Strong Hybrid MM* Model	16
Ambiguity Hierarchies for Weighted Tree Automata	15
A Simple 2-Approximation for Maximum-Leaf Spanning Tree	14
Restricted Existence and Approximation Algorithms for PMMS	11
On the Shared Transportation Problem: Computational Hardness and Exact Approach	8
Family Trees for Enumeration	7
The Structure Fault Tolerance of Alternating Group Networks	7
A Differentially Private Approximation Algorithm for Submodular Maximization Under a Polymatroid Constraint Over the Integer Lattice	7
A new class of permutation quadrinomial over ????q2 with characteristic 5	6
Optimizing the Online Learners’ Verbal Intention Classification Efficiency Based on the Multi-Head Attention Mechanism Algorithm	6
Minimizing Maximum Unmet Demand by Transportations Between Adjacent Nodes Characterized by Supplies and Demands	5
A Novel Image Clustering Algorithm Based on Supported Nearest Neighbors	5
Shortest Journeys in Directed Temporal Graphs	5
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata Over Small Alphabets	5
On the Smallest Synchronizing Terms of Finite Tree Automata	4
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata	4
Fault-Tolerant Maximal Local-Connectivity on Leaf-Sort Graphs	4
An Improvement for Error-Correcting Pairs of Some Special MDS Codes	3
Weighted Linear Dynamic Logic	3
More Efficient Parallel Integer Sorting	3
k-Planar Placement and Packing of Δ-Regular Caterpillars	3
Some Constructions of Perfect c-Nonlinear and Pseudo-Perfect c-Nonlinear Functions	3
Strongly Connected Orientation with Minimum Lexicographic Order of Indegrees	3

Component Connectivity of 3-Ary n-Cubes	2
Structural Synthesis of PLC Program for Real-Time Specification Patterns	2
PSPACE-Completeness of Reversible Deterministic Systems	2
Reversible Two-Party Computations	2
Balanced-by-Construction Regular and ω-Regular Languages	2
Results on the Gowers U2 Norm of Generalized Boolean Functions	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
Component Connectivity of Alternating Group Networks and Godan Graphs	2
Routing Among Convex Polygonal Obstacles in the Plane	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 Verifiable Multi-Secret Sharing Scheme Based on ℓ-Intersection Pair of Cyclic Codes	2
Non-Resumable Scheduling on a Single Bounded Parallel-Batch Machine with Flexible Maintenance	2
Ratio-Based Distortion and Network Distance	2
Hamiltonian Paths Passing Through Linear Forests in Hypercubes with Faulty Edges	2
Modelling Uncertainty in Architectures of Parametric Component-Based Systems	2
The h-Faulty-Block Connectivity of n-Dimensional Balanced Hypercube	1
Image-Binary Automata	1
Graph Bipartization Problem with Applications to Via Minimization in VLSI Design	1
Online Predictions for Online TSP on the Line	1
Conditional Fractional Matching Preclusion Number of Graphs	1
Interrelations Between Soft and Ordinary Sets: An Exploration of Soft Filters and Soft Nets	1
Graph Algorithm Based Submodular Function for Sparsest Cut Problem	1
Conditionally accepted sampling: AB15 IO scheme with smaller deviation ratio	1
Volume Edited by Magnus Steinby	1
Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs	1
Computation of Geometric Color-Spanning Region for Line Segments	1
A Generalized Pumping Lemma for Weighted Recognizable Languages	1
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time	1
The Coordination Mechanism for Scheduling Game with Deterioration Jobs and Uniform-Batch Machines	1
An Upper Bound for Edge Congestion and the Exact Wirelength of Embedding onto BC Graphs	1
Author Index Volume 35 (2024)	1
Online and Approximate Network Construction from Bounded Connectivity Constraints	1
Author Index Volume 32 (2021)	1
The Generalized 4-Connectivity of Bubble-Sort Graphs	1
Embedded Edge-Connectivity Reliability Evaluation of Augmented Hypercube Interconnection Networks	1
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages	1
Compositions of Weighted Extended Tree Transducers — The Unambiguous Case	1
The Longest Wave Subsequence Problem: Generalizations of the Longest Increasing Subsequence Problem	1
Non-Submodular Maximization Subject to a Knapsack Constraint on the Integer Lattice	1
Minimizing I/Os in Out-of-Core Task Tree Scheduling	1
Locating Number of Biswapped Networks	1
Tree-Based Generation of Restricted Graph Languages	1
On the Super (Edge)-Connectivity of Generalized Johnson Graphs	1
Eulerian and Hamiltonian Soft Semigraphs	1
Efficiently Enumerating Spanning Trees of k-Trees	1
Succinct Data Structures for SP, Block-Cactus and 3-Leaf Power Graphs	1
The Seeding and Bi-Criteria Algorithms for Fuzzy k-Median Problem	1
Certainty in Formalising SMT-LIB for Strings in Isabelle	1

Sweeping Input-Driven Pushdown Automata	1
Symmetric Connectivity in Wireless Sensor Networks with π/3 Directional Antennas	1
Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems	1
A Note of Reliability Analysis of SM-λ in Folded-Crossed Hypercube with Conditional Faults	0
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products	0
One-Way Restarting Automata and Their Sensitivitys	0
A Steganography Embedding Method Based on CDF-DWT Technique for Reversible Data Hiding Application Using Elgamal Algorithm	0
Balanced Even-Variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Maximum Algebraic Degree and Higher Nonlinearity	0
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata	0
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata	0
Algorithm Design for Asset Trading Under Multiple Factors	0
Relating Various Types of Distributed Reaction Systems	0
Completely Reachable Automata: An Interplay Between Automata, Graphs, and Trees	0
Transportation Problem Allowing Sending and Bringing Back	0
Closure Properties of Subregular Languages Under Operations	0
Isolated Rupture in Thorny Networks	0
Optimal Gathering Over Weber Meeting Nodes in Infinite Grid	0
Single Machine Scheduling with a Restricted Weight-Modifying Activity to Minimize the Weighted Makespan	0
Limit Law for Zagreb and Wiener Indices of Random Exponential Recursive Trees	0
Guessing the Buffer Bound for k-Synchronizability	0
Improved Approximation Algorithms for Matroid and Knapsack Means Problems	0
Author Index Volume 33 (2022)	0
Hybrid Enhanced Binary Honey Badger Algorithm with Quadratic Programming for Cardinality Constrained Portfolio Optimization	0
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge	0
Fuzzy Clustering-Based Financial Data Mining System Analysis and Design	0
Hardness Results of Connected Power Domination for Bipartite Graphs and Chordal Graphs	0
Hulls of q-Ary Narrow-Sense BCH Codes of Length q4 − 1	0
The Generalized Burning Number of Caterpillars	0
Total 2-Rainbow Domination in Graphs: Complexity and Algorithms	0
The Clustered Selected-Internal Steiner Tree Problem	0
Edge-Disjoint Hamiltonian Cycles in Balanced Hypercubes with Applications to Fault-Tolerant Data Broadcasting	0
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers	0
Weakly and Strongly Irreversible Regular Languages	0
Approximating All-Points Furthest Pairs and Maximum Spanning Trees in Metric Spaces	0
Preface	0
Compositions with Constant Weighted Extended Tree Transducers	0
The g-Good-Neighbor Conditional Diagnosabilities of Hypermesh Optical Interconnection Networks Under the PMC and Comparison Models	0
An Analysis of Las Vegas Algorithms for Linear Search	0
Preface	0
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules	0
Transition Systems from Asymmetric Prime Event Structures with Cause-Respecting Reversibility	0
Operational Complexity in Subregular Classes	0
Characterization of Isometric Words based on Swap and Mismatch Distance	0
Approximating Minimum k-Tree Cover of a Connected Graph Inspired by the Multi-Ferry Routing in Delay Tolerant Networks	0
Preface	0
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern	0
Robust Subgroup Multisignature with One-Time Public Keys in Order	0
Note on the Nonlinear Complexity of Finite Length Sequences	0
Metric Properties of Non-Commuting Graph Associated to Two Groups	0
Extremal Binary PFAs with Small Number of States	0
Compressed Structures for Partial Derivative Automata Constructions	0
Linear Codes and Linear Complementary Pairs of Codes Over a Non-Chain Ring	0
The Triple-Pair Construction for Weighted ω-Pushdown Automata	0
Approximate Nash Equilibria for Scheduling Game on Serial-Batching-Machines with Activation Cost	0
Management and Monitoring of Multi-Behavior Recommendation Systems Using Graph Convolutional Neural Networks	0
Smooth Subsum Search A Heuristic for Practical Integer Factorization	0
New Bounds for Some Topological Indices	0
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) — Preface	0
Universal First-Order Quantification Over Automata	0
Two-Way Non-Uniform Finite Automata	0
Knapsack Problems with Monotonically Non-Decreasing Variable Weights (Profits) of Items	0
Exact Affine Counter Automata	0
Treasure Hunt in Euclidean Plane: Cost vs. Pebble Trade-Off	0
The Strong Diagnosability of Multiprocessor Systems Under the PMC Model	0
Language Quotients Revisited	0
Almost Perfect c-Nonlinear Permutations with Trace Functions over ????2n	0
A Simple and Efficient Method for Accelerating Construction of the Gap-Greedy Spanner	0
Definability Results for Top-Down Tree Transducers	0
Research on Prediction of Housing Prices Based on GA-PSO-BP Neural Network Model: Evidence from Chongqing, China	0
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case	0
Enhancing Reliability of Folded Petersen Networks Based on Edge Partition	0
Additional Closeness of Cycle Graphs	0
State Complexity of Partial Word Finite Automata	0
Algorithmic Aspects of Total Vertex-Edge Domination in Graphs	0
Edge-Fault-Tolerant Edge-Bipancyclicity of Modified Bubble-Sort Graphs	0
Descriptive Complexity of Reversible Languages Having Finitely Many Reduced Automata	0
An Improved Approximation Algorithm for the Minimum 4-Star Partition Problem	0
Improving the Quality of Service (QoS) and Resource Allocation in Vehicular Platoon Using Meta-Heuristic Optimization Algorithm	0
Control Languages Associated with Labelled Spiking Neural P Systems with Mute Rules	0
The Power of Machines That Control Experiments	0

State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs	0
Improved Approximation Algorithms for Bin Packing with Conflicts	0
Influential Node Identification of Network Based on Agglomeration Operation	0
Marriage and Roommate	0
Connectivity Status of Intuitionistic Fuzzy Graphs and Its Applications	0
The Local Metric Dimension and Distance-Edge-Monitoring Number of Graph	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
Algorithms for the Truss Maintenance Problem on Edge-Weighted Graphs	0
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata	0
Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer	0
Integer Weighted Automata on Infinite Words	0
Computing a 3-Role Assignment is Polynomial-Time Solvable on Complementary Prisms	0
Sensitivity Analysis Contact Reliability of VH-CATT Cylindrical Gear and Its Reliability with Material Strength Degradation	0
Two-Dimensional Context-Free Grid Grammars	0
Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words	0
Linear Complexity of r-Ary Sequences Derived from Euler Quotient Modulo pq	0
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements	0
Hamiltonian-Based Efficient Algorithms for Legalization with Neighbor Diffusion Effect	0
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations	0
A Lower Bound on the 2-Adic Complexity of Hall’s Sextic Residue Sequences	0
Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution	0
Special Issue: 25th International Conference on Developments in Language Theory (DLT 2021) — Preface	0
The Budget-Feasible Mechanisms on Non-Monotone k-Submodular Objectives for the Offline and Online Procurement Auctions	0
The 4-Set Tree Connectivity of Folded Hypercube	0
The Pumping Lemma for Regular Languages is Hard	0
Properties and Algorithm of Lattice Pseudo-Submodular Functions	0
Characterizations of M-Equivalence and Weak M-Relation	0
Graph Convolutional Network-Guided Mine Gas Concentration Predictor	0
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number	0
Latvian Quantum Finite State Automata for Unary Languages	0
Strong Menger Connectivity of Folded Hypercubes with Faulty Subcube	0
HV-Palindromes in Two-Dimensional Words	0
Dyck Words, Lattice Paths, and Abelian Borders	0
The Generalized 4-Connectivity of Locally Exchanged Twisted Cubes	0
Securing Smart City Services in Cyber-Physical Systems Using the Computation Annealed Selection Process	0
Finite Approximations and Similarity of Languages	0
Some Special Perfect c-Nonlinear Functions on ℤn	0
Algorithmic Aspects of Outer-Independent Double Roman Domination in Graphs	0
Multi-Head Two-Way Finite Automata with Advice	0
On Deterministic Finite Automata Equipped with Partial Orders	0
Identifying the Configurations to Operating Efficiency in China’s Life Insurance Industry Using Fuzzy-Set Qualitative Comparative Analysis	0
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs	0
Special Aquatic Products Supply Chain Coordination Considering Bilateral Green Input in the Context of High-Quality Development	0
On Two Modifications of the McEliece PKE and the CFS Signature Scheme	0
Sufficiency Conditions for Well-Formedness of Quantum Context-Free Grammars	0
More on the Descriptional Complexity of Products of Finite Automata	0
A Novel Approach Towards Degree and Walsh-Transform of Boolean Functions	0
The k-Regular Edge Connectivity of Three Types of Regular Graphs	0
Corrigendum: Inside the class of REGEX languages [6]	0
The Hardest LL(k) Language	0
Embedding Hierarchical Cubic Networks into k-Rooted Complete Binary Trees for Minimum Wirelength	0
Isolated Rupture in Composite Networks	0
The Component Hierarchy of Chain-Free Cooperating Distributed Regular Tree Grammars Revisited	0
On the Boolean Closure of Deterministic Top-Down Tree Automata	0
A Quantum Secure Convertible Ring Signature Scheme Over SIS Problem	0
On the Power of Star-Controlled Insertion-Deletion Systems	0
Non-Adaptive and Adaptive Two-Sided Search with Fast Objects.	0
Integer Codes Correcting Single Errors and Detecting Double Adjacent Errors	0
Tissue P Systems with Vesicles of Multisets	0
Subnetwork Preclusion of (n,k)-Star Networks	0
An Improved Approximation Algorithm for the Capacitated Correlation Clustering Problem	0
The Differential Properties of Certain Permutation Polynomials Over Finite Fields	0
An Improved Helmet Detection Algorithm Based on YOLO V4	0
Repetition Factorization of Automatic Sequences	0
Optimal Embedded and Enclosing Isosceles Triangles	0
Giovanni in Paris	0
Reversible Top-Down Syntax Analysis	0
The Component (Edge) Connectivity of Round Matching Composition Networks	0
A Time to Cast Away Stones: On a Family of Pebble Automata	0
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions	0
Language Acceptors with a Pushdown: Characterizations and Complexity	0
Characterisation of Language Intersections Using Distances	0
Fractal Automata: Recursion in Context-Free and in Deterministic and Linear Context-Free Languages	0
Inverse Spectral Problems for a Special Acyclic Matrix	0
Recursion Theorems in Numbered Sets	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
Operations on Boolean and Alternating Finite Automata	0
Approximation Algorithms for Partial Vertex Covers in Trees	0
Conversions Between Six Models of Finite Automata	0
An Efficient Algorithm to Compute Dot Product Dimension of Some Outerplanar Graphs	0
Fuzzy Propositional Configuration Logics	0
Distributed Independent Sets in Interval and Segment Intersection Graphs	0
Multilayer Stacked Probabilistic Belief Network-Based Brain Tumor Segmentation and Classification	0
Language Classes of Extended Distributed Reaction Systems	0
The Outer-Paired Domination of Graphs	0
The Component Diagnosability of General Networks	0
Kernels of Context-Free Languages	0
Asynchronous Gathering of Finite Memory Robots on a Circle under Limited Visibility	0
Drawing Simultaneously Embedded Graphs with Few Bends	0
Once-Marking and Always-Marking 1-Limited Automata	0
The g-Extra Mixed Connectivity of Hypercube-Like Networks	0
Optimal Layout of Embedding onto Folded Hypercubes	0
The Wide Diameter and Fault Diameter of Exchanged Crossed Cube	0