Teaching theory of computation at the junior level
APL '87 Proceedings of the international conference on APL: APL in transition
Undergraduate theory of computation: an approach using simulation tools
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
The Computational Completeness of Extended Database Query Languages
IEEE Transactions on Software Engineering
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
ACM SIGACT News
A general data dependence test for dynamic, pointer-based data structures
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Web-based conformance testing for VRML
StandardView
Weak and Mixed Strategy Precedence Parsing
Journal of the ACM (JACM)
VRML Testing: Making VRML Worlds Look the Same Everywhere
IEEE Computer Graphics and Applications
From Syntactical to Semantical Mutation Operators for Structure Optimization
PPSN VII Proceedings of the 7th International Conference on Parallel Problem Solving from Nature
A Framework to Analyse and Evaluate Information Systems Specification Languages
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Creating Difficult Instances of the Post Correspondence Problem
CG '00 Revised Papers from the Second International Conference on Computers and Games
Programming non-deterministically using automata simulators
Journal of Computing Sciences in Colleges
The lane tracing algorithm for constructing LR(k) parsers
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
A logic minimizer for VLSI PLA design
DAC '82 Proceedings of the 19th Design Automation Conference
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
Proceedings of the 30th international conference on Software engineering
Imperative-program transformation by instrumented-interpreter specialization
Higher-Order and Symbolic Computation
TSO attach: a multipurpose communication channel to IBM database 2
IBM Systems Journal
Context sensitive recognition of abrupt changes in cutting process
Expert Systems with Applications: An International Journal
Safety property analysis techniques for cooperating embedded systems using LTS
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Ontological and linguistic metamodelling revisited: A language use approach
Information and Software Technology
| Hi-index | 0.00 |