Increasing interaction and support in the formal languages and automata theory course
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Towards a Common Semantic Foundation for Use Cases and Task Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Formal languages through web forms and regular expressions
ACM SIGCSE Bulletin
Incorporating transformations into jflap for enhanced understanding of automata
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Understanding the Universal Turing Machine: an implementation in JFLAP
Journal of Computing Sciences in Colleges
State complexity of basic language operations combined with reversal
Information and Computation
Increasing engagement in automata theory with JFLAP
Proceedings of the 40th ACM technical symposium on Computer science education
Instrumentation of open-source software for intrusion detection
RV'07 Proceedings of the 7th international conference on Runtime verification
Type inference and strong static type checking for Promela
Science of Computer Programming
Expressive, efficient and obfuscation resilient behavior based IDS
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
A fast fuzzy Cocke-Younger-Kasami algorithm for DNA and RNA strings analysis
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
Hi-index | 0.00 |