yusuke1997/dblp-id-title huggingface dataset:
An Efficient Job Scheduling Algorithm in Partitionable Mesh Connected Systems
A Self-Stabilizing Algorithm for Finding Articulation Points
On the Complexity of Some Adaptive Polling Algorithms in General Networks
Securing Information Exchange in VANETs by Using Pairing-Based Cryptography
On Average Behaviour of Regular Expressions in Strong Star Normal Form
A Priority Queue with the Working-set Property
Functional Constructions between reaction Systems and Propositional Logic
On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups
P Systems with Single passenger Carriers
Several Generalizations Of Shamir's Secret Sharing Scheme
Reachability for Finite-State Process Algebras using Horn Clauses
Errata to "Martin-Löf's Type Theory as an Open-Ended Framework"
Prinipal Type Assignment to Lambda Terms
Worst-Case Performance Evaluation on Multiprocessor Task Scheduling with Resource Augmentation
Computing the Expected Edit Distance from a String to a Probabilistic Finite-State Automaton
Goodby to the Kindhearted Dragon Prof. Sheng Yu, 1950-2012
Practical Secure Naïve Bayesian Classification Over Encrypted Big Data in Cloud
Repetitions, Fullness, And Uniformity In Two-Dimensional Words
On some Properties of the Language of 2-collapsing Words
An Extended Dimension Order Token Distribution Algorithm on k-Ary d-Cubes and Its Complexity
The Graph-Bin Packing Problem
Preemptive Scheduling Algorithms with Nested Processing Set restriction
Bounded Parikh Automata
Algorithms for the Truss Maintenance Problem on Edge-Weighted Graphs
Small Universal Tvdh and Test Tube Systems
Real-Time Dispatching: Scheduling Stability and Precedence
A New Construction of Identity-Based Signcryption without Random Oracles
Compressed Membership Problems for Regular Expressions and Hierarchical Automata
Isolated Rupture in Thorny Networks
State Complexity of Catenation Combined with a Boolean Operation: A Unified Approach
Membership Problem for Two-Dimensional General Row Jumping Finite Automata
Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching
Weighted Automata as Coalgebras in Categories of Matrices
Robust Subgroup Multisignature with One-Time Public Keys in Order
Decision Problems on Path-Controlled Grammars
Online scheduling of unit jobs with bounded importance ratio
Fault-Tolerant Panconnectivity of Augmented Cubes AQn
Paired Domination Integrity of Graphs
Conditional inequalities and the shortest common superstring problem
Temporal Logics for Trace Systems: On Automated Verification
Implementation and Application of Automata - Editor's Foreword
Triple Loop Networks with Minimal Transmission Delay
Group Extensions over Infinite Words
General Idempotency Languages Over Small Alphabets
On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane
The Frontier of Decidability in Partially Observable Recursive Games
Performance Analysis of Wormhole Routed K-Ary N-Trees
Linear Complexity of r-Ary Sequences Derived from Euler Quotient Modulo pq
An Improved Approximation Algorithm for the Capacitated Correlation Clustering Problem
Indexing Gapped-Factors Using a Tree
Mobile Agent Based Checkpointing with Concurrent Initiations
Prefix-Free Lukasiewicz Languages
On a Conjecture by carpi and d'alessandro
Modelling and Performance Evaluation of the Circulating Multisequencer, The Multi-Tokens and the Consensus Algorithms in a Real Time Distributed Transactional System
State Complexity of k -Union and k -Intersection for Prefix-Free Regular Languages
Self-stabilizing Anonymous Leader Election in a Tree
Randomized Self-Stabilizing Leader Election in Preference-Based Anonymous Trees
Enhanced Security Models and a Generic Construction Approach for Linkable Ring Signature
On the Conservativity of Leibniz Equality
On Reachability and Safety in Infinite-State Systems
Constructing New APN Functions from known PN Functions
An Algorithm and Applications to Sequence Alignment with Weighted Constraints
Properties and Algorithm of Lattice Pseudo-Submodular Functions
Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata
Linear Codes and Linear Complementary Pairs of Codes Over a Non-Chain Ring
Data Associations Between Two Hierarchy Trees
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions
Optimal Bounds for the Similarity Density of the Thue-Morse Word with Overlap-Free and 73-Power-Free Infinite Binary Words
Active Tile Self-assembly, Part 2: Self-Similar Structures and Structural Recursion
On simulating a class of parallel architectures
On the Boolean Closure of Deterministic Top-Down Tree Automata
Analysis of Vulnerability of Some Transformation Networks
Computational Complexity of the Perfect Matching Problem in Hypergraphs with Subcritical Density
Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels
Self-Stabilizing Prefix Tree Based Overlay Networks
An Application of ST-Numbering to Secret Key Agreement
The Complexity of Fixed-Height Patterned Tile Self-Assembly
Approximation algorithms for flexible job shop problems
Jumping Finite Automata
Literally Idempotent Languages and their Varieties - Two Letter Case
Closure Property of Probabilistic Turing Machines and Alternating Turing Machines with Sublogarithmic Spaces
Computation of Ramsey Numbers by P Systems with Active Membranes
Dyck Words, Lattice Paths, and Abelian Borders
Improved Related-Key Rectangle Attack on the Full has-160 Encryption Mode
Alignment-to-Alignment Editing with "Move Gap" Operations
Succinct Minimal Generators: Theoretical Foundations and Applications
Soliton Languages are Nearly an Anti-AFL
Redundancy and the Justification for Fourth Normal Form in Relational Databases
Intra-Molecular Template-Guided Recombination
Efficient Deterministic Finite Automata Split-Minimization derived from Brzozowski's Algorithm
The Benford-Newcomb Distribution and Unambiguous Context-Free Languages
Remarks on Two Nonstandard Versions of Periodicity in Words
Nonce-Based Key Agreement Protocol Against Bad Randomness
Minimal Duval Extensions
Volume Edited by Magnus Steinby
Formal Verification of P Systems Using Spin
The Spanning Connectivity of the (n, k)-star Graphs
Multiple Repair Localities with Distinct Erasure Tolerance
On coverings of Products of Rough Transformation Semigroups
On the Power of Cooperating Morphisms via Reachability Problems
Alberto Apostolico
Linearly Many Faults in (n, k)-Star Graphs
Conditional Fractional Matching Preclusion Number of Graphs
Autocorrelation of the Modified Binary Two-Prime Sidelnikov Sequence
On the Complexity of Solving Restricted Word Equations
Families of Noncounting Languages and Their Learnability from Positive Data
Nondeterministically Selective Sets
Termination Analysis of Linear Loops
Classifying Predicates and Languages
A Dynamic Scheduling Communication Protocol and Its Analysis for Hypercube Networks
Two Fixed-parameter Tractable Algorithms for Testing Upward Planarity
New Optimal frequency Hopping sequence Sets from Balanced Nested difference Packings of Partition-Type
On the Complexity of Counting Fixed Points and Gardens of Eden in Sequential Dynamical Systems on Planar Bipartite Graphs
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
The r-Extra Diagnosability of Hyper Petersen Graphs
Spectrum Based Techniques for Graph Isomorphism
Approximating dependency grammars through intersection of star-free regular languages
Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
Inductive Inference of Limiting Programs with Bounded Number of Mind Changes
Yao's Millionaires' Problem and Decoy-Based Public Key Encryption by Classical Physics
Normalish Amenable Subgroups of the R. Thompson Groups
Comparing Subword Occurrences in Binary D0L Sequences
Procedures For Logic And Arithmetic Operations With Dna Molecules
Monotonic Abstraction: on Efficient Verification of Parameterized Systems
The Congestion of generalized Cube Communication Pattern in Linear Array Network
The Bottom-Up Position Tree Automaton and the Father Automaton
On Basic Properties of Jumping Finite Automata
State Complexity of Two Combined Operations: Catenation-Star and Catenation-Reversal
Combinatorics of Life and Death for Reaction Systems
Reduction Graphs from Overlap Graphs for Gene Assembly in Ciliates
Stateless One-Way Multi-Head Finite Automata with Pebbles
Weighted Linear Dynamic Logic
Identifying Potential Regulatory Elements by Transcription Factor Binding Site Alignment Using Partial Order Graphs
Partitioning 3d Phantoms Into Homogeneous Cuboids
CCA-Secure and Revocable Certificateless Encryption with Ciphertext Evolution
Hamiltonian-Based Efficient Algorithms for Legalization with Neighbor Diffusion Effect
Super Ck and Sub-Ck Connectivity of k-Ary n-Cube Networks
Two New Classes of (Almost) Perfect c-Nonlinear Permutations
Descriptional Complexity of the Forever Operator
New Results on Computability of Recurrence Equations
Computing by Communication in Networks of Membranes
Linear and Integer Programming Techniques for Cooperative Games
Volume and Surface Triangulations - Preface
On the Hardness of the Border Length Minimization Problem on a Rectangular Array
Words avoiding 7/3-powers and the thue-morse morphism
Consensus Game Acceptors and Iterated Transductions
Greedy Palindromic Lengths
Sorting conjugates and Suffixes of Words in a Multiset
Algorithmic Aspects of Total Vertex-Edge Domination in Graphs
Optimizing the Online Learners' Verbal Intention Classification Efficiency Based on the Multi-Head Attention Mechanism Algorithm
A Bridge between Self-Organizing Networks and Grammar Systems Theory
On the Clique-Width of Some Perfect Graph Classes
Link Failure Tolerance in the Arrangement Graphs
Balanced Even-Variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Maximum Algebraic Degree and Higher Nonlinearity
Space-Efficient Representations for Glushkov Automata
Context-Freeness of Parsing Expression Languages is Undecidable
Depth and Path Length of Heap Ordered Trees
Minimal and Hyper-Minimal Biautomata
The Monotone Satisfiability Problem with Bounded Variable Appearances
The Clustered Selected-Internal Steiner Tree Problem
The Averaging Trick and the černý Conjecture
Non-Boolean Almost Perfect nonlinear Functions on Non-Abelian Groups
The Delaunay Hierarchy
On String Languages Generated by Spiking Neural P Systems with Anti-Spikes
Optimal L(j, k)-Edge-Labeling of Regular Grids
Testing for forbidden Posets in Ordered Rooted Forests
Two Boolean Functions with Five-Valued Walsh Spectra and High Nonlinearity
Performance Analysis and Evaluation of Random Walk Algorithms on Wireless Networks
Subset Synchronization and Careful Synchronization of Binary Finite Automata
Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs
Conditional Fault Tolerance of Hypermesh Optical Interconnection Networks
Gene Assembly Models and Boolean Circuits
Iteration of Invertible Transductions
Scheduling Two-Machine Flow shops with Exact Delays
Counting subwords Using a Trie Automaton
Soccer is Harder Than Football
Automated Termination in Model-Checking Modulo Theories
Intricacies of Simple Word Equations: an Example
A simple lossless compression heuristic for grey scale images
Multipseudoperiodic Words
Optimal Parallel Encoding and Decoding Algorithms for Trees
Computational Complexity of Arbitrage in Frictional Security Market
Neighbor Rupture Degree of Harary Graphs
A New Upper Bound for Random (2 + P )-SAT by Flipping Two Variables
The D0l omega-equivalence Problem
Online Two Stage k -Search Problem and Its Competitive Analysis
Algorithms for Longest Common Abelian Factors
Symbol Separation in Double Occurrence Words
The Dot-Depth of a Generating Class of Aperiodic Monoids is Computable
Analysis Of Web Search Algorithm Hits
Remarks on a Query-Based Variant of the Parallel Repetition Theorem
O(1) Query Time Algorithm for all Pairs Shortest Distances on Interval Graphs
An Overview on Operational Semantics in Membrane Computing
Multidimensional Sturmian Sequences and Generalized Substitutions
Hairpin Languages
One-Round Attribute-Based Key Exchange in the Multi-Party Setting
Minimizing Maximum Unmet Demand by Transportations Between Adjacent Nodes Characterized by Supplies and Demands
Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks
Improved Approximation Algorithm for the Combination of Parallel Machine Scheduling and Vertex Cover
Weak Cost Register Automata are Still Powerful
Two-Way Non-Uniform Finite Automata
Approximation Algorithms for Scheduling Malleable Tasks Under Precedence Constraints
Combinatorial Properties of Sturmian Palindromes
An Adaptive Heuristic Algorithm with the Probabilistic Safety Vector for Fault-Tolerant Routing on the (n, k)-Star Graph
Non-recursive trade-offs for two-way machines
Generating All Circular Shifts by Context-Free Grammars in Greibach Normal Form
Topological Properties of the (n, k)-Star Graph
Some Initial Thoughts on Bounded Query Computations over the Reals
Dependability Evaluation of Cluster-Based Distributed Systems
Intelligent High-Performance Crawlers Used to Reveal Topic-Specific Structure of WWW
A Time And Space Efficient Algorithm For Minimizing Cover Automata For Finite Languages
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata
General Algorithms for Testing the Ambiguity of Finite Automata and the Double-Tape Ambiguity of Finite-State Transducers
Watson-Crick Bordered Words and their Syntactic Monoid
Approximating Minimum k-Tree Cover of a Connected Graph Inspired by the Multi-Ferry Routing in Delay Tolerant Networks
A General Pram Simulation Scheme For Clustered Machines
The Super Spanning Connectivity of Arrangement Graphs
A Normal Form for First-Order Logic over Doubly-Linked Data Structures
On the Complexity of the Evaluation of Transient Extensions of Boolean Functions
Full Monoids and Maximal Codes
A Space Efficient Bit-parallel Algorithm for the Multiple String Matching Problem
Constructive Classical Logic as CPS-Calculus
Efficient Identification of Node Importance Based on Agglomeration in Cycle-Related Networks
A Parallel Metaheuristic Framework Based on Harmony Search for Scheduling in Distributed Computing Systems
A Tour of reaction Systems
N-Way Composition of Weighted Finite-State Transducers
Around dot-Depth One
Average Case Analysis of Brzozowski's Algorithm
Dictionary Look-Up Within Small Edit Distance
Embedding Augmented Cube into Certain Trees and Windmill Graphs
Node and Link Vulnerability in Complete Multipartite Networks
PSPACE Survives Constant-Width Bottlenecks
Cell/symbol complexity of tissue P systems with symport/antiport rules
Parikh q-Matrices and q-Ambiguous Words
Synchronizing quasi-Eulerian and quasi-One-Cluster Automata
m-Bonsai: A Practical Compact Dynamic Trie
Efficient Simulation Of An Acyclic Directed Reconfigurable Model On An Undirected Reconfigurable Model
How to synchronize the Heads of a Multitape Automaton
New Self-Stabilizing Algorithms for Minimal Weakly Connected Dominating Sets
On Uniformly Recurrent Morphic Sequences
Cooking Your Own Parity Game Preorders Through Matching Plays
Hamiltonian Cycle in K1, r-Free Split Graphs - A Dichotomy
A Universe of Strictly Positive Families
Resilient Lkh: Secure Multicast Key Distribution Schemes
A class of 1-Resilient Boolean Functions with Optimal Algebraic Immunity and Good Behavior against Fast Algebraic Attacks
Overlap-Free Languages and solid Codes
Synchronizing Almost-Group Automata
Cobham's Theorem and Automaticity
Probably Secure Keyed-Function Based Authenticated Encryption Schemes for Big Data
Log-Gain stoichiometric Stepwise Regression for MP Systems
On Scheduling Series-Parallel DAGs to Maximize Area
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Representation and Construction of Ontologies for Web Intelligence
On an Almost-Universal Hash Function Family with Applications to Authentication and Secrecy Codes
The Wide Diameter and Fault Diameter of Exchanged Crossed Cube
Constructing odd Variable Boolean Functions with Optimal Algebraic Immunity
On the Power of Families of Recognizer Spiking Neural P Systems
State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection
On the Number of Linear Finite Transducers
Cross-pollinating parallel genetic algorithms for multi-objective search and optimization
Results on the Gowers U2 Norm of Generalized Boolean Functions
Matching preclusion for Alternating Group Graphs and their Generalizations
Bounded Size Dictionary Compression: Relaxing the Lru Deletion Heuristic
On the Complexity of the Mapping Problem for Massively Parallel Architectures
Some Results for the rupture Degree
State Complexity of Regular Tree Languages for Tree Matching
Cayley Automatic Representations of Wreath Products
A Note on the Dimensionality of Modified Knö;del Graphs
On a Partial Affirmative Answer for a Păun's Conjecture
On Graphs with Limited Number of P 4 -Partners
On the Competitiveness of Online Real-Time Scheduling with Rate of Progress Guarantees
On the Membership Problem of Permutation Grammars - A Direct Proof of NP-Completeness
Trémaux Trees and Planarity
Simulations of Unary One-Way Multi-Head Finite Automata
The Clique-Width of Bipartite Graphs in Monogenic Classes
Properties and Construction of Unique Maximal Factorization Families for Strings
Efficient Algorithms for degenerate Primer Search
Multicasting And Broadcasting In Undirected Wdm Networks And Qos Extentions Of Multicasting
Computing Jordan Normal Forms Exactly for Commuting Matrices in Polynomial Time
A Characterization of k-th Powers Pn, k of Paths in Terms of k-Trees
A Learning Automata-Based Algorithm to the Stochastic Min-Degree Constrained Minimum Spanning Tree Problem
Active Tile Self-assembly, Part 1: Universality at temperature 1
On the Computing Power of Programs with Sets
Algorithms for Point Set Matching with K-differences
Combining Term Rewriting and Type Assignment Systems
Molecular Model Checking
Recognizing Non-Floundering Logic Programs and Goals
Playing Muller Games in a Hurry
On the k-error Linear Complexity of Subsequences of d-ary Sidel'nikov Sequences Over Prime Field 𝔽 d
A Dynamic Recommendation System Based on Log Mining
On Grouping in Relational Algebra
Applications of Finsler Geometry to Speed Limits to Quantum Information Processing
Equivalence of Labeled Markov Chains
Mergeable Double-Ended Priority Queues
Corrigendum: "Simple Matrix Grammars and Their Leftmost Variants [3]"
A Constant Time Algorithm for DNA Add
Preface - Special Issue: Research in Combinatorial Optimization and Applications of COCOA 2021
Encodings of Multisets
Lambda-Representable Functions Over Term Algebras
P Systems with Active Membranes Working in Polynomial Space
Storage Overhead of O-Trees, B-Trees and Prefix B-Trees: A Comparative Analysis
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus
Descriptional Complexity in encoded Blum Static Complexity Spaces
On Implementation and Performance of Table-Driven DFA-Based String Processors
A Survey on Small Fragments of First-Order Logic over Finite Words
Total 2-Rainbow Domination in Graphs: Complexity and Algorithms
Complexity of bio-computation: symbolic dynamics in membrane systems
(n - 2)-Fault-Tolerant Edge-Pancyclicity of Crossed Cubes CQn
Influential Node Identification of Network Based on Agglomeration Operation
Collapsing the Hierarchy of Parallel Computational Models
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting
Efficient Rebalancing of B-Trees with Relaxed Balance
Communication Performance Evaluation of the Locally Twisted Cube
Covering a Circular String with Substrings of Fixed Length
A Process Algebraic Approach to Time Granularity Semantics
A Recursive Algorithm for Constructing Dual-CISTs in Hierarchical Folded Cubic Networks
Enhancing Reliability of Folded Petersen Networks Based on Edge Partition
Procedures For Multiple Input Functions With Dna Molecules
Energy-Efficient Threshold Circuits Computing mod Functions
Representation of semiautomata by canonical words and equivalences
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface
On The Computational Power Of Physical Interactions: Bounds On The Number Of Time Steps For Simulating Arbitrary Interaction Graphs
Preface: Special Issue Cryptography and Provable Security
Wireless Mobile Computing and its Links to Descriptive Complexity
Networks of Reaction Systems
Scheduling of Incompatible Jobs on Unrelated Machines
About Modest Sets
Input-Driven Double-Head Pushdown Automata
Two-Dimensional Languages and Cellular Automata
On the Descriptional Complexity of the Window Size for Deleting Restarting Automata
The design principles and algorithms of a weighted grammar library
On Two Approximation Algorithms for the Clique Problem
Some New Constructions for Generalized Zero-Difference Balanced Functions
Lattice-Based Identity-Based Homomorphic Conditional Proxy Re-Encryption for Secure Big Data Computing in Cloud Environment
On The Palindromic Complexity Of Infinite Words
Compositions with Constant Weighted Extended Tree Transducers
On Non-Primitive Palindromic Context-Free Languages
Identifying the Configurations to Operating Efficiency in China's Life Insurance Industry Using Fuzzy-Set Qualitative Comparative Analysis
An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages
On Evaluating Boolean Functions with Unreliable Tests
One Sufficient and Necessary Condition on Balanced Boolean Functions with σ f = 2 2n + 2 n+3 (n ≥ 3)
2-Adic Complexity of Two Classes of Generalized Cyclotomic Binary Sequences
Networks with Evolutionary Processors and Ideals and Codes as Filters
The Fastest and Shortest Algorithm for all Well-Defined Problems
Learning Classes of Linearly Separable Boolean Functions from Positive Examples
Heterogeneity in Computing: Insights from a Worksharing Scheduling Problem
On-line seat reservations via off-line seating arrangements
New Bounds for Some Topological Indices
Algorithmic Combinatorics on Partial Words
On Counter Machines, Reachability Problems, and Diophantine Equations
Almost Rich Words as Morphic Images of Rich Words
Bounds on the Convergence Time of Distributed Selfish Bin Packing
Online Scheduling of mixed CPU-GPU jobs
Erratum: "Conditional Inequalities And The Shortest Common Superstring Problem"
Fast Exponential-Time Algorithms for the Forest Counting and the Tutte Polynomial Computation in Graph Classes
On Achieving the Shortest-Path Routing in 2-d Meshes
A Calculus of Timed Communicating Systems
The Degree and Codegree Threshold for Generalized Triangle and Some Trees Covering
Load Balancing in Home-Based Software DSMS
Pama: a Fast String Matching Algorithm
Computation by Annotation: Modelling Epigenetic Regulation
Linear Time Recognition and Optimizations for Weak-Bisplit Graphs, Bi-Cographs and Bipartite P 6 -Free Graphs
Accountable CP-ABE with Public Verifiability: How to Effectively Protect the Outsourced Data in Cloud
Decentralized packet clustering in router-based networks
Limiting Polynomial Approximation of Complexity Classes
Fine and Wilf's Theorem for Partial Words with Arbitrarily Many Weak Periods
On Inequalities between Subword Histories
Zero-Knowledge Blackbox Testing: where are the Faults?
A Pseudo-Random Generator Whose Output is a Normal Sequence
Optimal Inter-Frame Alignment for Video Compression
Bdd-based analysis of gapped q-gram Filters
On Centralized Parallel Communicating Grammar Systems with Context-Sensitive Components
A More Reasonable Proof of Cobham's Theorem
Generalized connectivity of (n, k)-Star graphs
Novel Randomized Feature Selection Algorithms
Properties of Pseudo-Primitive Words and their Applications
Compressed Pattern Matching in Jpeg Images
Reachability on Suffix Tree Graphs
Variants of (A, B)-Trees with Relaxed Balance
Constructivizing Membership Proofs in Complexity Classes
Bounded Prefix-Suffix Duplication: Language Theoretic and Algorithmic Results
Interval Routing Schemes for Circular-Arc Graphs