ACM SIGACT News
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
A Unified Framework for Simulating Markovian Models of Highly Dependable Systems
IEEE Transactions on Computers
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Journal of the ACM (JACM)
Complexity Results for Permuting Data and Other Computations on Parallel Processors
Journal of the ACM (JACM)
A Survey of Analysis Techniques for Discrete Algorithms
ACM Computing Surveys (CSUR)
ACM SIGACT News
Symbolic evaluation and the global value graph
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analysis of Asynchronous Polynomial Root Finding Methods on a Distributed Memory Multicomputer
IEEE Transactions on Parallel and Distributed Systems
Placement algorithms for custom VLSI
DAC '83 Proceedings of the 20th Design Automation Conference
A representation for linear lists with movable fingers
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A shortest-path algorithm with expected time O(n2 log n log* n)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A minimum-impact routing algorithm
DAC '82 Proceedings of the 19th Design Automation Conference
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
ALGOL Bulletin
Modeling message-passing programs with a Performance Evaluating Virtual Parallel Machine
Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
The VLSI Complexity of Sorting
IEEE Transactions on Computers
2D Euclidean distance transform algorithms: A comparative survey
ACM Computing Surveys (CSUR)
Labeling Still Image Databases Using Graphical Models
IbPRIA '09 Proceedings of the 4th Iberian Conference on Pattern Recognition and Image Analysis
Placement algorithms for custom VLSI
Computer-Aided Design
Exact formulas for the buddy system
Information Sciences: an International Journal
Time complexity analysis of the genetic algorithm clustering method
ISPRA'10 Proceedings of the 9th WSEAS international conference on Signal processing, robotics and automation
On tractability of neural-network approximation
ICANNGA'09 Proceedings of the 9th international conference on Adaptive and natural computing algorithms
Time complexity estimation and optimisation of the genetic algorithm clustering method
WSEAS Transactions on Mathematics
Multidimensional data structures for spatial applications
Algorithms and theory of computation handbook
Performance and complexity analysis of infinity-norm sphere-decoding
IEEE Transactions on Information Theory
Factorization of polynomials and GCD computations for finding universal denominators
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Exploring the performance of spatial stochastic simulation algorithms
Journal of Computational Physics
A TDM slot allocation flow based on multipath routing in NoCs
Microprocessors & Microsystems
Virtual cooperation for throughput maximization in distributed large-scale wireless networks
EURASIP Journal on Advances in Signal Processing - Special issue on cooperative MIMO multicell networks
Rational solutions of linear difference equations: Universal denominators and denominator bounds
Programming and Computing Software
ACM Communications in Computer Algebra
Parameter range reduction for ODE models using monotonic discretizations
Journal of Computational and Applied Mathematics
Wireless Personal Communications: An International Journal
Wireless Personal Communications: An International Journal
| Hi-index | 0.07 |