VisA: towards a students' green card to automata theory and formal languages
ACSE '98 Proceedings of the 3rd Australasian conference on Computer science education
Subset construction complexity for homogeneous automata, position automata and ZPC-structures
Theoretical Computer Science
Normal form algorithms for extended context-free grammars
Theoretical Computer Science
Direct and dual laws for automata with multiplicities
Theoretical Computer Science
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Extended Context-Free Grammars and Normal Form Algorithms
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Determinization of Glushkov Automata
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
SEA: A Symbolic Environment for Automata Theory
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Glushkov Construction for Multiplicities
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Assembling molecules in ATOMIX is hard
Theoretical Computer Science - Algorithmic combinatorial game theory
Regular expressions: new results and open problems
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
Efficient simulation of nondeterministic weighted finite automata
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
Journal of Computing Sciences in Colleges
Interactive symbolic software for teaching formal languages, automata and beyond
Journal of Computing Sciences in Colleges
Towards practically feasible answering of regular path queries in lav data integration
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Regular expressions: new results and open problems
Journal of Automata, Languages and Combinatorics
Experimenting with formal languages using forlan
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Periodicity, repetitions, and orbits of an automatic sequence
Theoretical Computer Science
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
A package TESTAS for checking some kinds of testability
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
State complexity of union and intersection of finite languages
DLT'07 Proceedings of the 11th international conference on Developments in language theory
From sequential extended regular expressions to NFA with symbolic labels
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Enumerating regular expressions and their languages
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Policy-driven memory protection for reconfigurable hardware
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Non-blocking parallel subset construction on shared-memory multicore architectures
AusPDC '13 Proceedings of the Eleventh Australasian Symposium on Parallel and Distributed Computing - Volume 140
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments
International Journal of Parallel Programming
| Hi-index | 0.00 |