Journal of the ACM (JACM)
Finite automata and their decision problems
IBM Journal of Research and Development
FOCS '65 Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1965)
Some Applications of the Decidability of DPDA's Equivalence
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Decision problems in computational models
Proceedings of ACM conference on Proving assertions about programs
On the Computational Complexity of a Generalized Scheduling Problem
IEEE Transactions on Computers
The equivalence problem of multidimensional multitape automata
Journal of Computer and System Sciences
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Program schemata as automata. I
Journal of Computer and System Sciences
Program schemata and the first-order decision problem
Journal of Computer and System Sciences
Program equivalence and context-free grammars
Journal of Computer and System Sciences
Characterizations of flowchartable recursions
Journal of Computer and System Sciences
Completeness results for the equivalence of recursive schemas
Journal of Computer and System Sciences
Equivalences on program schemes
Journal of Computer and System Sciences
Program schemes, recursion schemes, and formal languages
Journal of Computer and System Sciences
The computational complexity of program schemata
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Effective proper procedures and universal classes of program schemata
Journal of Computer and System Sciences
Equivalence of programs with structured variables
Journal of Computer and System Sciences
On program schemata equivalence
Journal of Computer and System Sciences
Program equivalence checking by two-tape automata
Cybernetics and Systems Analysis
Inference rules for proving the equivalence of recursive procedures
Time for verification
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
On the computational complexity of dynamic slicing problems for program schemas
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Complexity of Data Dependence Problems for Program Schemas with Concurrency
ACM Transactions on Computational Logic (TOCL)
On the power of programming features
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 0.01 |