The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Two Algorithms for Determining Volumes of Convex Polyhedra
Journal of the ACM (JACM)
Symbolic Solution of Finite-Difference Equations
ACM Transactions on Mathematical Software (TOMS)
Some MACSYMA Programs for Solving Recurrence Relations
ACM Transactions on Mathematical Software (TOMS)
Analyses of deterministic parsing algorithms
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Micro-Analysis of Computer System Performance
Micro-Analysis of Computer System Performance
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Analysis of computational systems: Discrete Markov analysis of computer programs
ACM '65 Proceedings of the 1965 20th national conference
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Formalizing the analysis of algorithms.
Formalizing the analysis of algorithms.
A development environment for horizontal microcode programs
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Journal of the ACM (JACM)
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Language for Specifying Program Transformations
IEEE Transactions on Software Engineering
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Micro Time Cost Analysis of Parallel Computations
IEEE Transactions on Computers
Computer-assisted microanalysis of parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static dependent costs for estimating execution time
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Comparison of Compacting Algorithms for Garbage Collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance analysis of on-the-fly garbage collection
Communications of the ACM
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
A Development Environment for Horizontal Microcode
IEEE Transactions on Software Engineering
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources
IEEE Transactions on Software Engineering
Termination of polynomial programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A mathematical model to estimate average response time of parallel programs
Mathematical and Computer Modelling: An International Journal
| Hi-index | 48.24 |