The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
Sorting by Address Calculation
Journal of the ACM (JACM)
Dynamic Programming Treatment of the Travelling Salesman Problem
Journal of the ACM (JACM)
Data Structure Techniques
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Combinatorial Algorithms: Theory and Practice
Combinatorial Algorithms: Theory and Practice
Basic techniques for design and analysis of algorithms
ACM Computing Surveys (CSUR)
Symbolic Cache Analysis for Real-Time Systems
Real-Time Systems - Special issue on worst-case execution-time analysis
Surveyor's Forum: An Update on SynthaVision
ACM Computing Surveys (CSUR)
Surveyor's Forum: Generating Solutions
ACM Computing Surveys (CSUR)
Surveyor's Forum: Generating Solutions
ACM Computing Surveys (CSUR)
A Unified Symbolic Evaluation Framework for Parallelizing Compilers
IEEE Transactions on Parallel and Distributed Systems
Synthesizing recurrence relations I: analysis of the problems
ACM SIGSAM Bulletin
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Algorithm design and analysis techniques
Algorithms and theory of computation handbook
Symbolic analysis of imperative programming languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software
The maximum degree and diameter-bounded subgraph in the mesh
Discrete Applied Mathematics
Hi-index | 0.00 |