yusuke1997/dblp-id-title huggingface dataset:
Regulations of Uniformly k-Limited ET0L Systems and Their Relations to Controlled Context-Free Grammars
Piecewise Directable Automata
Small Universal Deterministic Petri Nets with Inhibitor Arcs
Non-Self-Embedding Linear Context-Free Tree Grammars Generate Regular Tree Languages
Homomorphisms Preserving Linear Conjunctive Languages
On the Generative Power of Graph-Controlled Insertion-Deletion Systems with Small Sizes
Synchronizing Non-Deterministic Finite Automata
Insertion-Deletion with Substitutions II: About the Role of One-Sided Context
On Two-Sided Locally Testable Languages
Determinism and Simulation of Soliton Automata
About some Overlap-Free Morphisms on a n-Letter Alphabet
Coinductive Counting with Weighted Automata
Linear Languages with a Nonassociative Concatenation
Complexities for Jumps and Sweeps
Communication Membrane Systems with Active Symports
A Survey on Operational State Complexity
On Testing Output Faults in the McCluskey Fault Model
Non-Recursive Trade-Offs for Deterministic Restarting Automata
Bounds for Tree Automata with Polynomial Costs
A Small Embedding for Partial 4-Cycle Systems when the Leave is Small
Characterizations of Certain Matroids via Flats
Implementation of the Algorithm for Testing an Automaton for Synchronization in Linear Expected Time
Formal Language Characterizations of P, NP, and PSPACE
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach
Regular Nests
Automatic Complexity of Strings
On Rule-Number Complexity of Components of Probabilistic Cooperating Distributed Grammar Systems
Approximation Lower Bounds in Online LIB Bin Packing and Covering
Automaticity and Rationality
Multi-Bracketed Contextual Grammars
Recurrent Partial Words and Representable Sets
A Comparison of the Descriptional Complexity of Classes of Limited Lindenmayer Systems
Length-reducing Automata (almost) without Auxiliary Symbols
Automata, Palindromes, and Reversed Subwords
Self-Assembling Pushdown Automata
Words Avoiding Abelian Inclusions
Words Separation and Positive Identities in Symmetric Groups
On some Properties of Sticker Systems
Quasiperiods, Subword Complexity and the Smallest Pisot Number
On the Decidability Problems of Eco-Grammar Systems
The Degree of Parallelism
Two-Dimensional Rank-Reducing Grammars and Their Complexity
P Systems with Active Membranes Working in Logarithmic Space
Higher Dimensional Automata
Ultimately Periodic Languages
Local Logics for Traces
Descriptional Complexity of Deterministic Finite Automata with Multiple Initial States
On the Number of Accepting States of Finite Automata
On Monotonic Automata with a Restart Operation
Software Rejuvenation in Embedded Systems
Graph-Controlled Grammars as Language Acceptors
On Fair Words
Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems
Colored Random Tilings on Grids
Generators with Bounded Deciphering Delay for Rational ω-Languages
Pomsets for Local Trace Languages
Reinforcement Learning of Finite-State String Transductions
On CD-Systems of Stateless Deterministic R(2)-Automata
On Leftist Simply Generated Trees
Computational Requirements Hidden Behind Encodings
Confluent Monadic String-Rewriting Systems and Automatic Structures
String Assembly in Networks of Evolutionary Processors
Languages that Require Full Scanning of Words to Determine Membership
Factorizations of Cyclic Groups and Bayonet Codes
Slowly Synchronizing Automata with Idempotent Letters of Low Rank
Power and Efficiency of Minimal Parallelism in Polarizationless P Systems
Power of Causal Dependencies in Rule-Based Systems
Enhanced Covers of Regular and Indeterminate Strings Using Prefix Tables
Conjunctive Grammars
Some Properties of Left Non-Cancellative Languages
Equivalence of Set- and Bag-Valued Orbits
What is a Complex Regular Language?
Limited IL Systems
Minimal Initializing Word: A Contribution to Černý's Conjecture
State Complexity of Regular Languages
Ultimately Constant Abelian Complexity of Infinite Words
Maximal Error-Detecting Capabilities of Formal Languages
Descriptional Complexity of Rewriting P Systems
On Active Symbols in CD Grammar Systems
Convex Algebras, Convex Modules and Formal Power Series on Trees
On Square-Free Permutations
Subset Mapping Problems in Solvable Automata
PSPACE Limits the Power of P Systems with Active Membranes
Dealing with Hardware Space Limits when Removing Epsilon-Transitions in a Genomic Weighted Finite Automaton
Properties and Applications of Parametric Weighted Finite Automata
On Szilard Languages of InsDel Systems
Special Families of Sewing Languages
A Semiring-Semimodule Generalization of ω-Regular Languages I
The Complexity of the Minimum k-Cover Problem
Dependency Relations Between Elementary Intramolecular Operations in Gene Assembly in Ciliates
A Synergic Approach to the Minimal Uncompletable Words Problem
On the Modularity of Decidability of Completeness and Termination
Random Generation Models for NFAs
On Monotone Automata and Monotone Languages
On the Decidability of Model-Checking for P Systems
Iterated Pattern Languages
Some Results on Codes for Generalized Factorizations
Generating the Peano Curve and Counting Occurrences of some Patterns
The Computing Power of Programs over Finite Monoids
Weak Synchronization and Synchronizability of Multi-tape Pushdown Automata and Turing Machines
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
On Deleting Deterministic Restarting Automata That Have Two Windows
Necessary Conditions for Subclasses of Random Context Galleries
Abstract Comparison of two Error Detection Techniques for Programming Languages
Dialogues as Co-Operating Grammars
Semirings and Parallel Composition of Processes
On the Recognizability of Right Complete Codes
Transposition Diameter on Circular Binary Strings
Timed Automata with Periodic Clock Constraints
Sizes of Context-Free Languages Generated by Context-Free Grammars and Stable and Recurrent 0L Systems
On the Existence of Finite Isomorphically Complete Systems of Automata
Locally Maximal Clones II
Preface: Henning has Turned 60
Recognizing Picture Languages by Reductions to String Languages
Preface and Greeting Messages
Injectivity of the Quotient h\g of two Morphisms and Ambiguity of Linear Grammars
Symbolic Manipulation of Code Properties
State Complexity of Proportional Removals
Table-Driven and Context-Sensitive Collage Languages
Semiring Frameworks and Algorithms for Shortest-Distance Problems
Constructing Reversible Turing Machines in a Reversible and Conservative Elementary Triangular Cellular Automaton
A Technique for Proving Lower Bounds on the Size of Sweeping Automata
On the Regularity of Languages Generated by Parallel Communicating Grammar Systems
Some New NC 1 -hard Languages
From Kernel P Systems to X-Machines and FLAME
A New Measure of Asymmetry of Binary Words
Monotonicity of Restarting Automata
An Algebraic Box Calculus
Parallel Communicating Grammar Systems with Bounded Resources: Results, Techniques, Open Problems
On Measuring Non-recursive Trade-Offs
Information, Codes, and Languages - Preface
A Consistent and Efficient Estimator for Data-Oriented Parsing
Prefix Rewriting and Descriptional Complexity
Valence Languages Generated by Equality Sets
Distributed Pattern Matching Using Finite Automata
Coding of Two-Dimensional Constraints of Finite Type by Substitutions
On the State Complexity of k-Entry Deterministic Finite Automata
Subregularly Controlled Insertion Systems
On Fairness of Many-Dimensional Trajectories
Undecidability Results for Uniformly k-Limited 0L Systems
Lower Bound for Converting an NFA with Finite Nondeterminism into an MDFA
Formal Languages over Free Binoids
An Automata Theoretic Decidability Proof for First-Order Theory of ⟨ℕ,<,P⟩ with Morphic Predicate P
On the Membrane Computations in the Presence of Membrane Boundaries
General CD Grammar Systems and Their Simplification
Double Sequences with Complexity mn+1
On the Closure of Recognizable Tree Series Under Tree Homomorphisms
Languages Related to the Properties of Disjunctivity and Code
On Fibonacci and Thue-Morse Words
Anti-Context-Free Languages
Descriptional Complexity of Union and Star on Context-Free Languages
On Random Primitive Sets, Directable NFAs and the Generation of Slowly Synchronizing DFAs
Valid Identity Problem for Shuffle Regular Expressions
The Prefix Automaton
Scattered Subword Complexity of non-Primitive Words
On Prefixes of Formal Languages and Their Relation to the Average-Case Complexity of the Membership Problem
Membership for k-Limited ET0L Languages is not Decidable
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation
On the Complexity of a Mildly Context-Sensitive Language Class
The Field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic
Bottom-Up Quotients for Tree Languages
Weighted Muller Tree Automata and Weighted Logics
Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday - Editorial
Determinization of Finite State Weighted Tree Automata
On the Optimality of an Algorithm of Reingold and Supowit
Process Semantics for Membrane Systems
An Improvement to a Recent Upper Bound for Synchronizing Words of Finite Automata
Directed Graphs and Syntactic Algebras of Tree Languages
Groups and Automata: a Perfect Match
Generalized Prefix Relations and Codes with Finite Decoding Delay
Computing Quasi Suffix Arrays
Weak Bisimulation for (max/+) Automata and Related Models
A Remark About Homogeneous Experiments
Tight Bounds on the Simulation of Unary Probabilistic Automata by Deterministic Automata
Normal Processes for Modeling the Desired Behavior of Distributed Autonomous Discrete Event Systems
Pareto Grammars
Real-Valued Affine Automata Compute Beyond Turing Machines
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays
Generating all Circular Shifts by Context-Free Grammars in Chomsky Normal Form
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
On the System of Word Equations x 0 u 1 i x 1 u 2 i x 2 ... u m i x m = y 0 v 1 i y 1 v 2 i y 2 ... v n i y n (i=0, 1, 2, ...) in a Free Monoid
Winning Sets of Regular Languages: Descriptional and Computational Complexity
Weighted Finite Automata and Metrics in Cantor Space
1-Limited Automata: Witness Languages and Techniques
Nonterminal Controlled String Assembling Systems
Omega-Syntactic Congruences
A Complete Density Range of Continuum-Many Non-Context-Free Languages Fulfilling Strong Iteration Properties
Homomorphic Definitions of Tree Languages via Comma-Free Tree Codes
On the Unavoidability of Primitive Words and other Languages
The Descent Statistic on Signed Simsun Permutations
Smallest Filters in Complete Obligatory Hybrid Networks of Evolutionary Processors
On Maximal Dense Bifix Codes
Characterizations of Recursively Enumerable Languages by Programmed Grammars With Unconditional Transfer
State Complexity of GF(2)-Inverse and GF(2)-Star on Binary Languages
On Minimal Context-Free Insertion-Deletion Systems
State Complexity of Finite Tree Width NFAs
Forbidden Patterns for Ordered Automata
Towards a Theory of Complexity of Regular Languages
Extensions of Parikh Matrix of a Word to a Two-dimensional Binary Word
Generating Optimal Distinguishing Sequences for Testing Timed Protocols
Lexicalized Syntactic Analysis by Two-Way Restarting Automata
Compositions of Reaction Systems
Remarks on Simple Eco-Grammar Systems with Prescribed Teams
Preface: Celebrating Carlo's 60th Birthday
Rectangle Enclosure Reporting in Linear Space Revisited
On Representable Graphs
Remarks on some Simple Variants of Random Context Grammars
The Černý Conjecture Holds with High Probability
Rough-Set-Like Approximation Spaces for Formal Languages
Random Polynomial-Time Attacks and Dolev-Yao Models
P Systems with Conditional Communication Rules Assigned to Membranes
On the Palindromic Decomposition of Binary Words
Enumeration of Some Classes of Words Avoiding Two Generalized Patterns of Length Three
Further Remarks on Parallel Communicating Grammar Systems without a Master
On Distributed Cooperation and Synchronised Collaboration
Small Universal Networks of Evolutionary Processors
On the Frequency of Factors in a D0L Word
Descriptional Complexity of Finite Automata: Concepts and Open Problems
Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations
The Role of the Direction in Tissue P Systems with Cell Separation
Wadge Degrees of Classes of ω-Regular k -Partitions
A Characterization of Totally Compatible Automata
Topological Properties of Forbidding-Enforcing Systems
Timed Extensions of π Calculus
Weighted Automata for Proving Termination of String Rewriting
One-Way Topological Automata and the Tantalizing Effects of Their Topological Features
On Monotonic Directable Nondeterministic Automata
Nondeterministic One-Tape Off-Line Turing Machines and Their Time Complexity
Generalized P Colony Automata
Position Automata for Semi-extended Expressions
On Dehn Functions of Finitely Presented Bi-Automatic Monoids
Asymptotically Optimal Low-Cost Solid Codes
Extensions to Minimal Synchronizing Words
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections
On the Descriptional Complexity of CD Grammar Systems of Finite Index
Quotient Complexity of Regular Languages
Counting Permutations by the Number of Vertical Edges in Their Bargraphs
Reset Sink Complexity of Regular Ideals
Palindromes and Two-Dimensional Sturmian Sequences
Languages Recognized by Finite Supersoluble Groups
Nondeterministic State Complexity of Site-Directed Insertion
Involutive Fibonacci Words
On Computability and some Decision Problems of Parametric Weighted Finite Automata
On the Structure of Free Iteration Semirings
A Note on Černý Conjecture for Automata over 3-Letter Alphabet
Unrestricted State Complexity of Binary Operations on Regular and Ideal Languages
On Valve Adjustments that Interrupt all s-t-Paths in a Digraph
A Combinatorial Approach for the State Complexity of the Shuffle Product
Relative Watson-Crick Primitivity of Words
Generating Networks of Evolutionary Processors with Resources Restricted and Structure Limited Filters
Capacity-Bounded Grammars
Grammar Systems: Where are we? And Where do we go from Here? (As an Editorial)
Translations by Regulated Parallel Communicating Grammar Systems
Ogden's Lemma for Subclasses of Random Context Galleries
On the Determinization of Weighted Automata
Undecidability Results for Shuffle Languages
The Parallel Complexity of Deterministic and Probabilistic Automata
The LD and DLAD Bio-Operations on Formal Languages
Homomorphic Simulation and Letichevsky's Criterion
Regulated Insertion-Deletion Systems
Syntactic Complexities of Six Classes of Star-Free Languages
Graph Decomposition and Descriptional Complexity of Soliton Automata
Zoltán Ésik (1951 - 2016) - In Memoriam
Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm
Improving Energy Efficiency and Throughput in Heterogeneous Mobile Ad Hoc Networks
Indonesian Mobile Learning Information System Using Social Media Platforms
Performance Evaluation of 2-Wavelength Cognitive Wireless Network for V2R and V2V Communication
A New Intelligent Optimization Network Online Learning Behavior in Multimedia Big Data Environment
Dual-Level Attack Detection, Characterization and Response for Networks Under DDoS Attacks
An Improved Network Congestion Control Strategy Based on Active Source and Link Management
Systems Development Methodology for Mobile Commerce Applications
Vision-Based Human Face Recognition Using Extended Principal Component Analysis
Bi2-BERT-Based Long Sequence Text Vectorization Method for Power Grid Work Orders
Deep Reinforcement Learning for Mobile Video Offloading in Heterogeneous Cellular Networks
3D Maps in Mobile Devices: Pathway Analysis for Interactive Navigation Aid
Prioritization Schemes in Queuing Handoff and New Calls to Reduce Call Drops in Cellular Systems
Utilization of an Improvement Manuel Configuration for Multimedia in 6to4 Tunneling
Performance Measurement Study on Two Video Service Providers in China
Location Tracking Prediction of Network Users Based on Online Learning Method With Python
Primary Research on Arabic Visemes, Analysis in Space and Frequency Domain
A High Density WSN Cluster Positioning Approach
LEAP Enhanced: A Lightweight Symmetric Cryptography Scheme for Identifying Compromised Node in WSN
English Article Style Recognition and Matching by Using Web Semantics
An Assessment of Mobile Internet Usage in a Rural Setting of a Developing Country
Testing a Commercial BCI Device for In-Vehicle Interfaces Evaluation: A Simulator and Real-World Driving Study
Fast HEVC Inter-Prediction Algorithm Based on Matching Block Features
Reconstructing Handwriting Character Font Models with Incorrect Stroke Order
The Role of the Combination of 3D Simulation Sequence Diagram and Video Motion Recognition Technology in Evaluating and Correcting Dancers' Dance Moves
Wireless Communication Technologies for Vehicular Nodes: A Survey
Establishing A Personalized Information Security Culture
Improving Throughput of Starved TCP Flow by Sidestepping Bottleneck Nodes Using Concurrent Transmission
Performance Evaluation of Space-Time and Harq Diversity in MIMO HSDPA
A Proposal for Enhancing the Mobility Management in the Future 3GPP Architectures
Multi-Agent Reinforcement Learning-Based Resource Management for V2X Communication
Using Eye Tracking to Measure Overall Usability of Online Grocery Shopping Websites
Proactive Mobile Fog Computing using Work Stealing: Data Processing at the Edge
Implementation of an Interactive Information Sharing System for Disaster Measure Operation
Location Leveling
A Novel Fast Hierarchical Projection Algorithm for Skew Detection in Multimedia Big Data Environment
A Slotted Multichannel MAC Protocol for Fair Resource Allocation in VANET
AODV Energy Routing Mechanism for Multi-Channel Multi-Interface Ad Hoc Networks (EMCMI-AODV) Using a Dynamic Programming Algorithm
A CASE Tool for Java Mobile Computing Applications
Deep Learning-Based Machine Color Emotion Generation
Evaluating E-Communities of Wireless Networks Worldwide
Secure-Aware Multipath Routing Using Atom Search Rider Optimization Algorithm in Wireless Sensor Networks
Network Layer Mobility Management Schemes for IP-Based Mobile Networks: A Survey
What is New about the Internet Delay Space?
Video Sequence Analysis for On-Table Tennis Player Ranking and Analysis
An Interactive Device for Quick Arabic News Story Browsing
Decentralized Intelligent Search of Tourist Routes Based on Check-In Data
Modulation Recognition of Digital Multimedia Signal Based on Data Feature Selection
Performance Enhancement of Routing Protocols in Mobile Ad hoc Networks
Aesthetic Evaluation of Interior Design Based on Visual Features
FCVW: Experiments in Groupware
Clustering-Based Optimal Relay Vehicle Selection Scheme for Vehicular Adhoc Networks (VANETs)
FBPCQS-Fuzzy-Based Peer Coordination Quality Systems for P2P Networks: Implementation and Performance Evaluation
Pertinent Prosodic Features for Speaker Identification by Voice
Prediction of Football Match Results Based on Edge Computing and Machine Learning Technology
A Trusted Ubiquitous Healthcare Monitoring System for Hospital Environment
Enhanced Adaptive Call Admission Control Scheme With Bandwidth Reservation for LTE Networks
Headache App: Usability Assessment and Criterion Validity
Transmission Power Optimization of Concurrently Communicating Two Access Points in Wireless Local Area Network
On Uplink Channel Estimation in WiMAX Systems
GNSS Positioning Enhancement Based on NLOS Multipath Biases Estimation Using Gaussian Mixture Noise
Development of Learning Systems for Children to Promote Self-Directed Choosing of Learning Tasks
Options for WiMAX Uplink Media Streaming
An End-to-End Network Evaluation Method for Differentiated Multi-Service Bearing in VPP
Analysis of Bargaining Game Policy in the Internet Content Distribution Chain
: Online Authentication Using Smart Card Technology in Mobile Phone Infrastructure
TEEM: Technology-Enhanced Emergency Management for Supporting Data Communication During Patient Transportation
Information Flow Control Based on the CapBAC (Capability-Based Access Control) Model in the IoT
ICMPV6 Vulnerability: The Importance of Threat Model and SF-ICMP6
Youth Sources of News During the COVID-19 Period: Case Study in the UAE
A Novel Prediction-Based Location Management Technique for Mobile Networks
Certain Investigation on Secured Data Transmission in Wireless Sensor Networks
MIMO-Based Secret Key Generation Strategies: Rate Analysis
Ontology-Based Knowledge Model for Multi-View KDD Process
Intelligent Data Mining-Based Method for Efficient English Teaching and Cultural Analysis
Intelligent Skiing Posture Detection and Recognition Through Internet of Bodies
High-Efficiency Multihomed Multimedia Transmission in Wireless Sensors
Apps, Apps, and More Apps: Motivations and User Behaviours
Performance Evaluation of Multimedia Traffic Transmission Under Binomial and Poissonian Primary Traffics in Cognitive Radio Networks
A Pricing Model for Effective Radio Spectrum Utilization
SRMIP: A Software-Defined RAN Mobile IP Framework for Real Time Applications in Wide Area Motion
A Fast Image Encoding Algorithm Based on the Pyramid Structure of Codewords
A Hybrid Recommender Method Based on Multiple Dimension Attention Analysis
Differing Perceptions of Mobile Devices: Company-Issued Devices and Bring Your Own Device (BYOD)
Automatic Speaker Localization and Tracking: Using a Fusion of the Filtered Correlation with the Energy Differential
Awareness of Mobile Device Security: A Survey of User's Attitudes
A Method for Angular Super-Resolution via Big Data Radar System
Fuzzy Learning-Based Electric Measurement Data Circulation Monitoring and Security Risk Anomaly Evaluation
A Novel Power-Efficient Data Aggregation Scheme for Cloud-Based Sensor Networks
Exploiting User Check-In Data for Geo-Friend Recommendations in Location-Based Social Networks
A Model for Mobile Learning Service Quality in University Environment
A Proposed Intelligent Denoising Technique for Spatial Video Denoising for Real-Time Applications
Towards Scalable Certificate Status Validation in Mobile Ad Hoc Networks
An Adaptive Backoff Algorithm for Mobile Ad-Hoc Networks
A Context Transfer Model for Secure Handover in WiMAX/LTE Integrated Networks
Interactive Multi-View Visualization for Fraud Detection in Mobile Money Transfer Services
Intelligent Early Warning of Internet Financial Risks Based on Mobile Computing
Cooperative Caching in Mobile Ad Hoc Networks
Dict-Based Energy and Latency Efficient Air Indexing Technique for Full Text Search Over Wireless Broadcast Stream
Multipath Extension of the ZigBee Tree Routing in Cluster-Tree Wireless Sensor Networks
Definition and Analysis of a Fixed Mobile Convergent Architecture for Enterprise VoIP Services
Adaptive Mobile Sink for Energy Efficient WSN Using Biogeography-Based Optimization
Throughput-Delay Evaluation of a Hybrid-MAC Protocol for M2M Communications
Application of WMN-SA Simulation System for Node Placement in Wireless Mesh Networks: A Case Study for a Realistic Scenario
Reducing Network Overhead with Common Junction Methodology
Throughput Optimization of Cooperative Teleoperated UGV Network
Quality of Experience Models for Multimedia Streaming
Householder Algorithm Applied to Localization for Wireless Sensor Networks
LTE-A Implementation Scenarios: RF Planning Comparison
A Dynamic Security Scheme for OppNets Using Cognitive Computing
Optimal Spectral Resolution in Speaker Authentication Application in Noisy Environment and Telephony
Multilayer Perceptron Based Equalizer with an Improved Back Propagation Algorithm for Nonlinear Channels
A Novel Adaptive Scanning Approach for Effective H.265/HEVC Entropy Coding
Mobile Edge Computing to Assist the Online Ideological and Political Education
Face Recognition System using Discrete Cosine Transform combined with MLP and RBF Neural Networks
Progressive Data Synchronization Model for Mobile Devices
A Probabilistic Routing Protocol in VANET
Multi-Criteria Recommender Systems: A Survey and a Method to Learn New User's Profile