yusuke1997/dblp-id-title huggingface dataset:
Parameterized Complexity of Directed Steiner Network with Respect to Shared Vertices and Arcs
Strong Menger Connectivity of Folded Hypercubes with Faulty Subcube
Universal Information Systems
An Infinite Class of Functions Identifiable Using Minimal Programs in all Kolmogorov Numberings
On Deterministic CD-Systems of Restarting Automata
On The Descriptional Complexity Of Lindenmayer Systems
Language Classes of Extended Distributed Reaction Systems
On the Domination Integrity
Robustness of Regular Caterpillars
On Strong Reversibility in P Systems and Related Problems
The Space Complexity of Leader Election in Anonymous Networks
Scalable and Optimal Speed-Up Parallel Algorithms for Template Matching on Arrays with Reconfigurable Optical Buses
Average Value of Sum of Exponents of Runs in a String
Cd Grammar Systems with Regular Start Conditions
Model Partitions and Compact Test Case Suites
Scalable and Efficient Implementations of the Ldpc Decoder Using Reconfigurable Models
New Results on the Minimum Amount of Useful Space
Finitely Subsequential Transducers
On Component Connectivity of Hierarchical Star Networks
Selection Algorithms with Small Groups
Coloring Algorithms On Subcubic Graphs
The Outer-Paired Domination of Graphs
A New Characterization of Unbreakable Graphs
Completely Reachable Automata: An Interplay Between Automata, Graphs, and Trees
A Note on the Decidability of subword inequalities
The 4-Set Tree Connectivity of Folded Hypercube
Episturmian Words: Shifts, Morphisms And Numeration Systems
Asymptotically Optimal Deterministic Rendezvous
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata
On Stateless Automata and P Systems
A New Operator over Parikh Languages
Modular Assembly of Cell Systems Biology Models Using P Systems
Binary amiable Words
Minimalizations of NFA using the universal automaton
A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure
Non-uniqueness and radius of cyclic unary NFAs
Golomb Rulers And Difference Sets For Succinct Quantum Automata
On Finding Sparse Three-Edge-Connected and Three-Vertex-Connected Spanning subgraphs
Rational Multi-Secret Sharing Scheme in Standard Point-to-Point Communication Networks
Time And Energy Optimal List Ranking Algorithms On The K-Channel Broadcast Communication Model With No Collision Detection
Categorical Model Construction for Proving Syntactic Properties
A Lightweight Key Agreement Protocol with Authentication Capability
An algorithmic model for heterogeneous hyper-clusters: rationale and experience
Scheduling: Theory and Applications - Guest Editor's Preface
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems
Fuzzy Clustering-Based Financial Data Mining System Analysis and Design
HV-Palindromes in Two-Dimensional Words
Flexible Music Retrieval in Sublinear Time
On Embedding a Graph on Two Sets of Points
Locating Number of Biswapped Networks
Complexity of Task Graph Scheduling with Fixed Communication Capacity
On the Prefix-Suffix Duplication Reduction
Nondeterministic Ordered Restarting Automata
An Analysis of Las Vegas Algorithms for Linear Search
Involutively Bordered Words
A Secure and Efficient Code-Based Signature Scheme
A Novel Efficient Access Control Scheme for Large-Scale Distributed Wireless Sensor Networks
On Parikh Matrices
State complexity of concatenation and complementation
Handling Non Left-Linear Rules when Completing Tree Automata
Probabilistic Rewriting P Systems
Some Languages Recognized by Two-Way Finite Automata with Quantum and Classical States
Two-Dimensional Digitized Picture Arrays and Parikh Matrices
Conjunctive and Disjunctive Reducibilities to Sparse and Tally Sets Revisited
Tight Bounds on the Upload Capacity to Enable Two-Hop Delivery in Peer-to-Peer Video Streaming Systems
Prices of Anarchy of Selfish 2D Bin Packing Games
Fault-Tolerance of Star Graph Based on Subgraph Fault Pattern
Maximal Independent Set, Weakly-Connected Dominating Set, and Induced Spanners in Wireless Ad Hoc Networks
From Petri Nets to Linear Logic through Categories: A Survey
The Physical Church-Turing Thesis and the Principles of Quantum Theory
Reduction Tree of the Binary Generalized Post Correspondence Problem
Probing High-Capacity Peers to Reduce Download times in P2P File Sharing Systems with Stochastic Service Capacities
Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities
Extremal Binary PFAs with Small Number of States
Properties of the Contour Path of Discrete Sets
Finding the Growth Rate of a Regular or Context-Free Language in Polynomial Time
Meet-in-the-Middle Attack on 11-Round 3D Block Cipher
Super Edge connectivity of Kronecker Products of graphs
Performance Analysis of Grid Architecture via Queueing Theory
A Survey On Algorithmic Aspects Of Tandem Repeats Evolution
Double Hashing With Multiple Passbits
Synthesizing Computable Functions from Rational Specifications Over Infinite Words
Notes on Dual Concatenation
The Construction of Large Scale Reconfigurable Parallel Computing Systems (The Architecture of the SC320)
Fractal Automata: Recursion in Context-Free and in Deterministic and Linear Context-Free Languages
On Stepwise Explicit Substitution
Approximating All-Points Furthest Pairs and Maximum Spanning Trees in Metric Spaces
Multitriangle: A Constant Node Degree Interconnection Network
Approximating the Nearest Neighbor Intercharge Distance for Non-Uniform-Degree Evolutionary Trees
The Super Spanning Connectivity and Super Spanning laceability of Tori with Faulty Elements
On the Structure of Finitely Generated Semigroups of Unary Regular Languages
The Category of Simulations for Weighted Tree Automata
On the Interplay Between Černý and Babai's Conjectures
Approximating the Discrete Resource Sharing Scheduling Problem
Repetition Factorization of Automatic Sequences
On the Construction of Binary Optimal LCD Codes with Short Length
Redex Capturing in Term Graph Rewriting
Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars
Counting The Number Of Minimal Dfca Obtained By Merging States
Factorizations and Universal Automaton of omega Languages
The dot-depth and the polynomial hierarchies correspond on the delta levels
Theoretical issues of searching aerial photographs: a bird's eye view
From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors
Resource Allocation Strategies for Constructive in-Network Stream Processing
Solving Rostering Tasks by Generic Methods for Constraint Optimization
Algorithm Design for Asset Trading Under Multiple Factors
Simple Matrix Grammars and Their Leftmost Variants
Low-Latency Connected Component Labeling Using an FPGA
Approximation Algorithms for Local Alignment with Length Constraints
Relational String Verification Using Multi-Track Automata
A fully compressed pattern matching algorithm for simple collage systems
Efficient Solution to Uniform Atomic Broadcast
Nested Guarded Horn Clauses
Unambiguous Shared-Memory Systems
Fault Resiliency of Cayley Graphs Generated by Transpositions
Clustering Web Visitors by Fast, Robust and Convergent Algorithms
Ordinal Automata and Cantor Normal Form
Avoiding Abelian Powers in Binary Words with Bounded Abelian Complexity
Statistical Properties of the Arithmetic Correlation of Sequences
Cluster-Based Task Scheduling for the LOGP Model
A Three-Round Adaptive Diagnostic Algorithm in a Distributed System Modeled by Dual-Cubes
Tractable and Intractable variations of Unordered Tree Edit Distance
Lower Bounds for Synchronizing Word Lengths in Partial Automata
Undecidability Bounds for Integer Matrices Using Claus Instances
A Pumping Lemma for Permitting Semi-Conditional Languages
Conflicts and Fair Testing
Language Acceptors with a Pushdown: Characterizations and Complexity
Simple Flat Languages: A Learnable Class in the Limit from Positive Data
Automata with Auxiliary Weights
How to Synchronize the Activity of All Components of a P System?
Research on Prediction of Housing Prices Based on GA-PSO-BP Neural Network Model: Evidence from Chongqing, China
Quantum Octal Games
Fault-Free Hamiltonian Cycles in Balanced Hypercubes with Conditional Edge Faults
Compositionality and Reachability with Conditions on Path Lengths
Approximating the Mean Speedup in Trace Monoids
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
A Black-Box Construction of Strongly Unforgeable Signature Scheme in the Leakage Setting
Finding a Maximum Clique in a Set of Proper Circular Arcs in Time O(n) with Applications
Modelling Uncertainty in Architectures of Parametric Component-Based Systems
A Novel Image Clustering Algorithm Based on Supported Nearest Neighbors
Membrane Computing and One-Way Functions
Lower Bounds on the Second Order nonlinearity of Boolean Functions
Vertex-Neighbor-Scattering Number of Bipartite Graphs
Boosting Reversible Pushdown and Queue Machines by Preprocessing
The Computational Complexity of and Approximation Algorithms for Variants of the Component Selection Problem
Transcriptomics: Quantifying Non-Uniform Read Distribution Using MapReduce
Binary Morphisms with Stable Suffix Complexity
Canonical Decomposition, Realizer, Schnyder Labeling And Orderly Spanning Trees Of Plane Graphs
Implementations and Applications of Automata 2018: Preface
Dynamic Tree Rebalancing Using Recurrent Rotations
On the Anonymity of Multi-Receiver Identity-Based Encryption Based on Fujisaki-Okamoto Transformation
Hamiltonicity of the Torus Network Under the Conditional Fault Model
Lossless Subdivision-Based Multiresolution Representation of Arbitrary Triangle Meshes Using Kite Trees
Boolean Fuzzy Sets
On Extending a Partial Straight-line Drawing
The Average State Complexity of Rational Operations on Finite Languages
Realizing Exchanged Crossed Cube Communication Patterns on Linear Array WDM Optical Networks
Direct Reciprocity-Based Cooperation in Mobile Ad Hoc Networks
Parallizing 1-Dimensional Estuarine Model
Algorithms and Bounds for L-Drawings of Directed Graphs
A Kleene Theorem for Bisemigroup and binoid Languages
On Hierarchical Configuration Of Distributed Systems On Mesh And Hypercube
Table-Driven Context-Free Picture Grammars
New Extensions of Pairing-Based Signatures into Universal (Multi) Designated Verifier Signatures
On the Disambiguation of Finite Automata and Functional Transducers
The Component (Edge) Connectivity of Round Matching Composition Networks
An Input/Output Efficient Algorithm for Hessenberg Reduction
On Compensation Loops in Genomic Duplications
Quantum Authentication Using Entangled States
Some Algebraic Aspects of Parikh q -Matrices
A Robust Dna Computation Model That Captures Pspace
Extremal Results on Vertex and Link Residual Closeness
Geometric Algorithms for the Constrained 1-d k-Means Clustering Problems and IMRT Applications
Hamiltonian Cycle Embeddings in Faulty Hypercubes Under the Forbidden Faulty Set Model
State Complexity of Code Operators
Cycles Embedding in Exchanged Crossed Cube
On Pseudovarieties of Forest Algebras
An analogue-Digital Church-Turing Thesis
On the Dealer's Randomness Required in Perfect Secret Sharing Schemes with Access Structures of Constant Rank
Deviation Algorithms for Ranking Shortest Paths
A Proof Procedure For Temporal Logic Programming
Partial Halting in P Systems
Bipartite Graphs Totally Decomposable by Canonical Decomposition
Computing Version Spaces in the Qualitative Approach to Multicriteria Decision Aid
A Logical Characterisation of Event Clock Automata
Observing Distribution in Processes: Static and Dynamic Localities
Separating the Classes of Recursively Enumerable Languages Based on Machine Size
An Effective Cauchy-Peano Existence Theorem for Unique Solutions
Encoding of Rational Numbers and Their Homomorphic Computations for FHE-Based Applications
Computing And Combinatorics Conference -- Cocoon'02
When Church-Rosser Becomes Context Free
The Equivalence Problem of Finite Substitutions on ab*c, with Applications
Edge Rupture Degree of Graphs
Sets of k-Independent Strings
Learning with Natural Imprecision
The Generalized 3-Connectivity of Exchanged Crossed Cube
The Computational Complexity of Avoiding Forbidden Submatrices by Row Deletions
Simplified Bounds on FHSs Set and Its Strictly Optimal Construction
Permutations and Negative Beta-Shifts
On the Computation of the Relative Entropy of Probabilistic Automata
On the Power of Deterministic and Sequential Communicating P Systems
Stronger Quickheaps
More Vectorial Boolean Functions with Unbounded nonlinearity Profile
A Survey on Decidable Equivalence Problems for Tree Transducers
A Dual Coordinate Descent Algorithm for SVMs Combined with Rational Kernels
An Innovative Algorithm for Generating Three Completely Independent Spanning Trees in Folded Hypercube Networks
Blackwell Optimal Strategies in Priority mean-Payoff Games
Verifying Probabilistic Programs Using a Hoare Like Logic
A Dual Criteria Preemptive Scheduling Problem For Minimax Error Of Imprecise Computation Tasks
Subnetwork Preclusion of (n, k)-Star Networks
Tight Upper Bounds on Distinct Maximal (Sub-)Repetitions in Highly Compressible Strings
Algebraic Attacks Against Several Weak Variants of GVW'13 ABE
Constructing 2 M -variable Boolean Functionswith Optimal Algebraic Immunity Based on Polar Decomposition of
Tight Bounds for Restricted Grid Scheduling
The Bursty Steiner Tree Problem
When is a Category of Many-Sorted Partial Algebras Cartesian-Closed?
The Isoperimetric Number of d-Dimensional k-Ary Arrays
Functions Defined by Reaction Systems
Phase Transitions of EXPSPACE-Complete Problems: a Further Step
Optimal Layout of Embedding onto Folded Hypercubes
Parallel Recognition Algorithms for Graphs with Restricted Neighbourhoods
Conjunctive Grammars Generate Non-Regular Unary Languages
A Verifiable Multi-Secret Sharing Scheme Based on ℓ-Intersection Pair of Cyclic Codes
Dynamic Allocation of Finite Automata States for Fast String Recognition
The Component Hierarchy of Chain-Free Cooperating Distributed Regular Tree Grammars Revisited
Measuring the Quality of Surveillance in a Wireless Sensor Network
Simulation of Hierarchical Resource Management for Meta-Computing Systems
Vertex isoperimetric parameter of a Computation Graph
Logical Characterization of Recognizable Sets of polynomials over a Finite Field
On the Ambiguity of Insertion Systems
Triple Cyclic Codes Over 픽q + u픽q
Random Models and Analyses for Chemical Graphs
Uniform Characterizations of Complexity Classes of Functions
The Base Problem for D0l Parikh Sets
State-Size Hierarchy for Finite-State Complexity
Optimal results for the computational completeness of gemmating (tissue) P systems
Efficient Algorithms For Selection And Sorting Of Large Distributed Files On De Bruijn And Hypercube Structures
Filter Position in Networks of Substitution Processors Does not Matter
Information Distance and its Applications
Special Issue Developments in Language Theory 2018 - Preface
On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis
Efficient Detectors and Constructors for Single Languages
Index-Shuffle Graphs
Schema for Parallel Insertion and Deletion: Revisited
A New Typee of Pushdown Automata on Infinite Trees
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time
Intruder Capturing in Mesh and Torus Networks
The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages
On Flips in Polyhedral Surfaces
Constructing Multiple Independent Spanning Trees on Recursive circulant Graphs G(2 M , 2)
The Edit-Distance between a Regular Language and a Context-Free Language
Verification in Queue-Connected Multicounter Machines
Un-Kleene Boolean equation Solving
Planar Point Location Revisited (Review Paper)
An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical
Register Machine Computations on Binary Numbers by oscillating and Catalytic Chemical reactions Modelled Using Mass-Action kinetics
Neighbor Integrity of Transformation Graphs
Context-Free Grammars with Linked Nonterminals
Algorithms For The Constrained Longest Common Subsequence Problems
On The K-Truck Scheduling Problem
Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic
Embedding Hierarchical Cubic Networks into k-Rooted Complete Binary Trees for Minimum Wirelength
Special Issue: Graph Algorithms: Theory and Applications - A Special Issue Dedicated to the Memory of Professor Takao Nishizeki - Preface
Non-Constructive Methods for Finite Probabilistic Automata
Finite-Memory Automata with Non-Deterministic Reassignment
Variations of Base-Station Placement Problem on the Boundary of a Convex Region
A Note on Edge Isoperimetric Numbers and Regular Graphs
Fast Algorithms for Diameter-Optimally Augmenting Paths and Trees
Weakly and Strongly Irreversible Regular Languages
Incremental Checkpoint Schemes for Weibull Failure Distribution
Periods on Two Kinds of nonlinear Feedback Shift Registers with Time Varying Feedback Functions
Improved Compression of DNA Sequencing Data with Cascading Bloom Filters
Testing the Descriptional Power of Small Turing Machines on Nonregular Language Acceptance
Mapping Arbitrary Heterogeneous Task Graphs Onto Arbitrary Heterogeneous System Graphs
L-Systems in Geometric Modeling
Uniform Scattering of Autonomous Mobile Robots in a Grid
An Improved Prefix-Free Regular-Expression Matching
Characteristics of Deterministic Optimal Routing for Two Heterogeneous Parallel Servers
Iteration Algebras
Secure Data Deduplication with Reliable Data Deletion in Cloud
Minimal Cooperation in Symport/antiport Tissue P Systems
Inductive Complexity Measures for Mathematical Problems
Pitching Tents in Space-Time: Mesh Generation for Discontinuous Galerkin Method
State Complexity and Approximation
Soliton Automata Based on Trees
Optimal Construction of Sense of Direction in a Torus by a Mobile Agent
Multilayer Stacked Probabilistic Belief Network-Based Brain Tumor Segmentation and Classification
Steady-state scheduling on heterogeneous clusters
Dynamic RLE-Compressed Edit Distance Tables Under General Weighted Cost Functions
The Firing Squad Synchronization Problem on Squares, Toruses and Rings
A Measure for the Lexicographically First Maximal Independent Set Problem and Its Limits
Several Classes of Quadratic Ternary Bent, Near-Bent and 2-Plateaued Functions
Minimizing Total Weighted Completion Time on Identical Parallel Batch Machines
An Algorithmic Framework for Solving Geometric Covering Problems - with Applications
Deterministic Branch-and-Bound on Distributed Memory Machines
In Memoriam: Magnus Steinby (1941-2021)
A Formula-Driven Modular Attack on State Explosion
Operations on trajectories with applications to coding and bioinformatics
Improved Bounds On The Number Of Automata Accepting Finite Languages
The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers
On the Implication of Multivalued Dependencies in Partial Database Relations
Kuratowski Algebras Generated by Prefix-, Suffix-, Factor-, and Subword-Free Languages Under Star and Complementation
Hierarchical Identity-Based Proxy Re-Encryption without Random Oracles
An Approach To Membrane Computing Under Inexactitude
Additional Closeness of Cycle Graphs
Agglomeration-Based Node Importance Analysis in Wheel-Type Networks
A Note on the Polynomial Representation of Boolean Functions over GF(2)
Recognizing Generating Subgraphs Revisited
Distributed Processing in Automata
Sensitivity Analysis Contact Reliability of VH-CATT Cylindrical Gear and Its Reliability with Material Strength Degradation
Online Graph Coloring Against a Randomized Adversary
Programmed Grammars with Rule Queues
Constructing de Bruijn Sequences Based on a New Necessary Condition
Recomputation of Public Capital Based on PIM and the Effect on China Regional Economic Growth
Tissue P Systems with Vesicles of Multisets
Multi-Sequential Word Relations
Some Binomial and Trinomial Differentially 4-Uniform Permutation Polynomials
Analysis and Implementation of Parallel Uniform Hashing
Fault-Tolerant Maximal Local-Connectivity on Cayley Graphs Generated by Transpositions
On the Complexity of omega-Tree Sets and Nerode Theorem
L P Distance and Equivalence of Probabilistic Automata
An Observer-Based de-Quantisation of Deutsch's Algorithm
Generalized Lr Parsing Algorithm for Boolean Grammars
On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality
Fault Tolerance on Star Graphs
Self-Stabilizing Master-Slave Token Circulation and Efficient Size-Computation in a Unidirectional Ring of Arbitrary Size
Unambiguous constrained Automata
Efficient Hardware Algorithms for n Choose k Counters Using the Bitonic Merger
Covers from Templates
Descriptional complexity of nfa of different ambiguity
Separability of M -Equivalent Words by Morphisms
The Frequent Items Problem in Online Streaming Under Various Performance Measures
Fast Convolutions of Packed Strings and Pattern Matching with Wildcards
Remarks on Privileged Words
Multi-Push-Down Languages and Grammars
Testing Embeddability between Metric Spaces
P Systems working in the sequential mode on arrays and strings
The Strong Diagnosability of Multiprocessor Systems Under the PMC Model
A Tree-Height Hierarchy of Context-Free Languages
The Equality Condition for Infinite Catenations of Two Sets of Finite Words
Deterministic Lindenmayer Systems with Dynamic Control of Parallelism
A Reduction of Integer Factorization to Modular Tetration
Computing Shortest, Fastest, and Foremost Journeys in Dynamic Networks
Analysis Of Quantum Functions
On the nonexistence of Bent Functions
Certificate-Based Generalized Ring Signcryption Scheme
Conjectures And Results On Morphisms Generating K-Power-Free Words
Leftmost Derivations in CD Grammar Systems
On Dynamic Task Scheduling for EPGA-Based Systems
A Unification Algorithm for the lambda-Pi-Calculus
Heuristic for Minimizing the Number of Late Jobs on Two Processors
Authentication Codes from difference Balanced Functions
A Novel Approach Towards Degree and Walsh-Transform of Boolean Functions
On the Commutative Equivalence of Algebraic Formal Series and Languages
Matrix Indicators For Subword Occurrences And Ambiguity
Optimal Gathering Over Weber Meeting Nodes in Infinite Grid
Software Diversity-Based Active Replication as an Approach for Enhancing the Performance of Advanced Simulation Systems
Special Aquatic Products Supply Chain Coordination Considering Bilateral Green Input in the Context of High-Quality Development
Ambiguity by Restarting Automata
Minimal Reaction Systems Revisited and Reaction System Rank
Adaptive Distributed Mutual Exclusion by Dynamic Topology Switching
Unary Coded NP-Complete Languages in Aspace(log log n)
Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations
Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
On the Conjecture About the Linear Structures of Rotation Symmetric Boolean Functions
An Improved Helmet Detection Algorithm Based on YOLO V4
A Comparison of the Descriptional Complexity of Classes of Limited Lindenmayer Systems: Part I
Randomized Mobile Agent Based Routing in Wireless Networks
A framework for the dynamic implementation of finite automata for performance enhancement
Two Local Strategy Iteration Schemes for Parity Game Solving
Quantum Computation With Restricted Amplitudes
Palindromic Characteristic of Committed Graphs and Some Model Theoretic Properties
Prefix Picture codes: a Decidable class of Two-Dimensional codes
On Source-Based Route Computation for Quickest Paths under Dynamic Bandwidth Constraints
Recognizing Lexicographically Smallest Words and Computing Successors in Regular Languages
Learning Recursive Languages with Bounded Mind Changes
Parikh Matrices, Amiability and Istrail Morphism
Compositions of Weighted Extended Tree Transducers - The Unambiguous Case
Rational Approximations of Polynomial Factorial Languages
Simulating an R-Mesh on an LR-Mesh in Constant Time
Quantum Pushdown Automata with Garbage Tape
Tissue-Like P Systems with Dynamically Emerging Requests
The Non-inclusive Diagnosability of Hypercubes under the MM* Model