Automatic average-case analysis of algorithms

This publication has 39 references indexed in Scilit:

• Gaussian limiting distributions for the number of components in combinatorial structures
  Journal of Combinatorial Theory, Series A, 1990
• Complexity analysis of term-rewriting systems
  Theoretical Computer Science, 1989
• A logical approach to asymptotic combinatorics I. First order properties
  Advances in Mathematics, 1987
• A complexity calculus for recursive tree algorithms
  Theory of Computing Systems, 1986
• Algebraic languages and polyominoes enumeration
  Theoretical Computer Science, 1984
• Computer-assisted microanalysis of programs
  Communications of the ACM, 1982
• Differentiably Finite Power Series
  European Journal of Combinatorics, 1980
• On the Altitude of Nodes in Random Trees
  Canadian Journal of Mathematics, 1978
• A note on the number of functional digraphs
  Mathematische Annalen, 1961
• A Generalisation of Stirling's Formula.
  Journal für die reine und angewandte Mathematik (Crelles Journal), 1956