International Journal of Foundations of Computer Science

Title Publication Date Language Citations
Marriage and Roommate2023/06/30English
Approximation Algorithms for Partial Vertex Covers in Trees2023/06/28English
On the Boolean Closure of Deterministic Top-Down Tree Automata2023/06/28English
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern2023/01/04English
Approximate Nash Equilibria for Scheduling Game on Serial-Batching-Machines with Activation Cost2023/01/19English
Restricted Existence and Approximation Algorithms for PMMS2023/01/19English
Transportation Problem Allowing Sending and Bringing Back2023/01/19English
A Differentially Private Approximation Algorithm for Submodular Maximization Under a Polymatroid Constraint Over the Integer Lattice2023/01/14English
Edge-Disjoint Hamiltonian Cycles in Balanced Hypercubes with Applications to Fault-Tolerant Data Broadcasting2024/04/18English
AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS2002/06/01English
DERANDOMIZED LEARNING OF BOOLEAN FUNCTIONS OVER FINITE ABELIAN GROUPS2001/08/01English
A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL2001/06/01English
MODELS AND ALGORITHMS FOR OPTICAL AND OPTOELECTRONIC PARALLEL COMPUTERS2001/06/01English
ORACLES IN $\Sigma^p_2$ ARE SUFFFICIENT FOR EXACT LEARNING2000/12/01English
ON SOLVING MULTIMESSAGE MULTICASTING PROBLEMS2001/12/01English
VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC2002/06/01English
PITCHING TENTS IN SPACE-TIME: MESH GENERATION FOR DISCONTINUOUS GALERKIN METHOD2002/04/01English
VECTOR ALGORITHMS FOR APPROXIMATE STRING MATCHING2002/02/01English
AN IMPROVED ALGORITHM FOR FINDING TREE DECOMPOSITIONS OF SMALL WIDTH2000/09/01English
FINDING SMALLEST SUPERTREES UNDER MINOR CONTAINMENT2000/09/01English
TWO CONP-COMPLETE SCHEDULE ANALYSIS PROBLEMS2001/10/01English
A NOTE ON SYNCHRONIZED AUTOMATA AND ROAD COLORING PROBLEM2002/06/01English
VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES2002/02/01English
BOUNDARY TRIANGULATIONS APPROXIMATING DEVELOPABLE SURFACES THAT INTERPOLATE A CLOSED SPACE CURVE2002/04/01English
ON DYNAMIC TASK SCHEDULING FOR FPGA-BASED SYSTEMS2001/10/01English
On the Span of ℓ Distance Coloring of Infinite Hexagonal Grid2023/09/08English
On the Super (Edge)-Connectivity of Generalized Johnson Graphs2023/09/27English
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number2023/09/09English
Algorithms for the Truss Maintenance Problem on Edge-Weighted Graphs2023/08/01English
A Recursive Algorithm for Constructing Dual-CISTs in Hierarchical Folded Cubic Networks2023/08/29English