ICSE '92 Proceedings of the 14th international conference on Software engineering
Asymptotic expansions of functional inverses
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
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
On the robustness of interconnections in random graphs: a symbolic approach
Theoretical Computer Science
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
Operational semantics of termination types
Nordic Journal of Computing
Random Sampling from Boltzmann Principles
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Optimized Live Heap Bound Analysis
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Verification of Embedded Software: Problems and Perspectives
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Automata and Computational Probabilities
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Journal of Symbolic Computation
Attribute grammars and automatic complexity analysis
Advances in Applied Mathematics - Special issue on: Formal power series and algebraic combinatorics in memory of Rodica Simion, 1955-2000
Computer algebra handbook
Boltzmann Samplers for the Random Generation of Combinatorial Structures
Combinatorics, Probability and Computing
The binomial transform and the analysis of skip lists
Theoretical Computer Science
Analytic combinatorics: a calculus of discrete structures
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
A new approach for ACET based scheduling of soft real-time systems
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Maximum likelihood analysis of algorithms and data structures
Theoretical Computer Science
Cost analysis using automatic size and time inference
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Effective bounds for P-recursive sequences
Journal of Symbolic Computation
Multivariate amortized resource analysis
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Amortized resource analysis with polymorphic recursion and partial big-step operational semantics
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Towards modular average-case timing in real-time languages: an application to real-time Java
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Multivariate amortized resource analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Asymptotic analysis and random sampling of digitally convex polyominoes
DGCI'13 Proceedings of the 17th IAPR international conference on Discrete Geometry for Computer Imagery
| Hi-index | 0.01 |