Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Journal of the ACM (JACM)
Formal solutions of differential equations
Journal of Symbolic Computation
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Upper Bounds for Speedup in Parallel Parsing
Journal of the ACM (JACM)
Some MACSYMA Programs for Solving Recurrence Relations
ACM Transactions on Mathematical Software (TOMS)
Computer-assisted microanalysis of programs
Communications of the ACM
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Computer-aided micro-analysis of programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
The essence of computation
On the Inference of Resource Usage Upper and Lower Bounds
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.02 |