Metric-driven reengineering for static concurrency analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Multi-time simulation of voltage-controlled oscillators
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
The height of a binary search tree: the limiting distribution perspective
Theoretical Computer Science
Construction of Seminumerical Schemes: Application to the Artificial Satellite Problem
NAA '00 Revised Papers from the Second International Conference on Numerical Analysis and Its Applications
Higher-order averaging: periodic solutions, linear systems and an application
Nonlinear Analysis: Theory, Methods & Applications
A new analytic algorithm of Lane--Emden type equations
Applied Mathematics and Computation
Evaluation of the Masked Node Problem in Ad Hoc Wireless LANs
IEEE Transactions on Mobile Computing
Mathematics and Computers in Simulation
The effect of the slip condition on flows of an Oldroyd 6-constant fluid
Journal of Computational and Applied Mathematics
Journal of Computational Physics
Hi-index | 0.01 |