Motivating the Church-Turing thesis in the twenty-first century
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
A framework to visualize equivalences between computational models of regular languages
Information Processing Letters
Recognizing multitasked activities from video using stochastic context-free grammar
Eighteenth national conference on Artificial intelligence
Using theoretical computer simulators for formal languages and automata theory
ACM SIGCSE Bulletin
A visual and interactive automata theory course with JFLAP 4.0
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Didactic strategies for promoting significant learning in formal languages and automata theory
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
A Formal Framework for Prefetching Based on the Type-Level Access Pattern in Object-Relational DBMSs
IEEE Transactions on Knowledge and Data Engineering
Turning automata theory into a hands-on course
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Journal of Computing Sciences in Colleges
Interactive symbolic software for teaching formal languages, automata and beyond
Journal of Computing Sciences in Colleges
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
Increasing engagement in automata theory with JFLAP
Proceedings of the 40th ACM technical symposium on Computer science education
Information Sciences: an International Journal
Applying the new primer on prime numbers
WSEAS Transactions on Mathematics
The new primer on prime numbers: sums of second derivatives
AMERICAN-MATH'10 Proceedings of the 2010 American conference on Applied mathematics
Type-Level access pattern view: a technique for enhancing prefetching performance
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Some optimisation problems revisited
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |