Turning automata theory into a hands-on course
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Learning automata and formal languages interactively with JFLAP
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Merging interactive visualizations with hypertextbooks and course management
ITiCSE-WGR '06 Working group reports on ITiCSE on Innovation and technology in computer science education
ProofChecker: an accessible environment for automata theory correctness proofs
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
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
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
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
Hypertextbooks and a Hypertextbook authoring environment
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Experimenting with formal languages using forlan
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Increasing engagement in automata theory with JFLAP
Proceedings of the 40th ACM technical symposium on Computer science education
State-dependent computation using coupled recurrent networks
Neural Computation
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Implementation of State Elimination Using Heuristics
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
A Learning Algorithm for Deterministic Finite Automata using JFLAP
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalable scheduling algorithms for wireless networkedcontrol systems
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Getting algorithm visualizations into the classroom
Proceedings of the 42nd ACM technical symposium on Computer science education
Improving compilers education through symbol tables animations
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
Changes to JFLAP to increase its use in courses
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
From sensorimotor graphs to rules: an agent learns from a stream of experience
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Making turing machines accessible to blind students
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Relating automata to other fields
Journal of Computing Sciences in Colleges
Automated grading of DFA constructions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
State Elimination Heuristics for Short Regular Expressions
Fundamenta Informaticae
| Hi-index | 0.00 |