Learning two-tape automata from queries and counterexamples
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Structural properties of hypertext
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Stack Machines and Classes of Nonnested Macro Languages
Journal of the ACM (JACM)
Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages
Journal of the ACM (JACM)
A Morphic Representation of Complements of Recursively Enumerable Sets
Journal of the ACM (JACM)
Forty years of formal power series in automata theory
A half-century of automata theory
Algebraic aspects of families of fuzzy languages
Theoretical Computer Science - Algebraic methods in language processing
Interpretation of Automata in Temporal Concept Analysis
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The Delta Operation: From Strings to Trees to Strings
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Refining the Hierarchy of Blind Multicounter Languages
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Cones, Semi-AFPs, and AFPs of Algebraic Power Series
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
The delta operation: from strings to trees to strings
Formal and natural computing
Iterated pushdown automata and complexity classes
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
The splicing as an operation on formal languages
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Weighted grammars and automata with threshold interpretation
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Refining the hierarchy of blind multicounter languages and twist-closed trios
Information and Computation
Closure and decidability properties of some language classes with respect to ciliate bio-operations
Theoretical Computer Science
Branching synchronization grammars with nested tables
Journal of Computer and System Sciences
Families of languages defined by ciliate bio-operations
Theoretical Computer Science
Template-guided DNA recombination
Theoretical Computer Science - Descriptional complexity of formal systems
Fuzzy context-free languages: part 1: Generalized fuzzy context-free grammars
Theoretical Computer Science
Fuzzy context-free languages: part 2: Recognition and parsing algorithms
Theoretical Computer Science
Valence languages generated by equality sets
Journal of Automata, Languages and Combinatorics
Valences in Lindenmayer Systems
Fundamenta Informaticae
Infinite unfair shuffles and associativity
Theoretical Computer Science
Regulated RNA rewriting: Modelling RNA editing with guided insertion
Theoretical Computer Science
Editing Configurations of P Systems
Fundamenta Informaticae
Deterministic Input-Reversal and Input-Revolving Finite Automata
Language and Automata Theory and Applications
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
On input-revolving deterministic and nondeterministic finite automata
Information and Computation
The bag automaton: a model of nondeterministic storage
Journal of Automata, Languages and Combinatorics
Abstract families of length-preserving processors
Journal of Computer and System Sciences
On incomparable abstract family of languages (AFL)
Journal of Computer and System Sciences
Some properties of ciliate bio-operations
DLT'02 Proceedings of the 6th international conference on Developments in language theory
DLT'02 Proceedings of the 6th international conference on Developments in language theory
Flip-pushdown automata: nondeterminism is better than determinism
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Flip-pushdown automata: k + 1 pushdown reversals are better than k
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Bag automata and stochastic retrieval of biomolecules in solution
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Homomorphisms preserving types of density
Acta Cybernetica
Stochastic grammars for intelligent software systems modeling
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
There does not exist a minimal full trio with respect to bounded context-free languages
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Gaining power by input operations: finite automata and beyond
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
On computational properties of template-guided DNA recombination
DNA'05 Proceedings of the 11th international conference on DNA Computing
Hybrid extended finite automata
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Iterated TGR languages: membership problem and effective closure properties
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
Revolving-input finite automata
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
A polynomial time extension of parallel multiple context-free grammar
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Viral gene compression: complexity and verification
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Language-based comparison of petri nets with black tokens, pure names and ordered data
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Editing Configurations of P Systems
Fundamenta Informaticae
On the properties of language classes defined by bounded reaction automata
Theoretical Computer Science
Valences in Lindenmayer Systems
Fundamenta Informaticae
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
On the coverability and reachability languages of monotonic extensions of Petri nets
Theoretical Computer Science
Hi-index | 0.01 |