Conferences in DBLP
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity. [Citation Graph (, )][DBLP ] Language Decompositions, Primality, and Trajectory-Based Operations. [Citation Graph (, )][DBLP ] Automata, Probability, and Recursion. [Citation Graph (, )][DBLP ] Concurrency, Synchronization, and Conflicts in Petri Nets. [Citation Graph (, )][DBLP ] Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. [Citation Graph (, )][DBLP ] Antimirov and Mosses's Rewrite System Revisited. [Citation Graph (, )][DBLP ] Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. [Citation Graph (, )][DBLP ] Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L). [Citation Graph (, )][DBLP ] Hopcroft's Minimization Technique: Queues or Stacks?. [Citation Graph (, )][DBLP ] Learning Regular Languages Using Nondeterministic Finite Automata. [Citation Graph (, )][DBLP ] Multi-Return Macro Tree Transducers. [Citation Graph (, )][DBLP ] Computing Convex Hulls by Automata Iteration. [Citation Graph (, )][DBLP ] A Translation from the HTML DTD into a Regular Hedge Grammar. [Citation Graph (, )][DBLP ] Tree-Series-to-Tree-Series Transformations. [Citation Graph (, )][DBLP ] Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning. [Citation Graph (, )][DBLP ] Pattern Matching in DCA Coded Text. [Citation Graph (, )][DBLP ] Five Determinisation Algorithms. [Citation Graph (, )][DBLP ] Persistent Computations of Turing Machines. [Citation Graph (, )][DBLP ] On Complexity of Two Dimensional Languages Generated by Transducers. [Citation Graph (, )][DBLP ] Games for Temporal Logics on Trees. [Citation Graph (, )][DBLP ] A Run-Time Efficient Implementation of Compressed Pattern Matching Automata. [Citation Graph (, )][DBLP ] Composed Bisimulation for Tree Automata. [Citation Graph (, )][DBLP ] Hyper-Minimization in O(n2). [Citation Graph (, )][DBLP ] Deterministic Pushdown Automata and Unary Languages. [Citation Graph (, )][DBLP ] Finite Eilenberg Machines. [Citation Graph (, )][DBLP ] The Number of Runs in Sturmian Words. [Citation Graph (, )][DBLP ] 3-Way Composition of Weighted Finite-State Transducers. [Citation Graph (, )][DBLP ] Progressive Solutions to FSM Equations. [Citation Graph (, )][DBLP ] Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees. [Citation Graph (, )][DBLP ] Approximate Periods with Levenshtein Distance. [Citation Graph (, )][DBLP ]