Two languages for estimating program efficiency
Communications of the ACM
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
A Bibliography on Digital and Computational Convexity (1961-1988)
IEEE Transactions on Pattern Analysis and Machine Intelligence
Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Computer-assisted microanalysis of programs
Communications of the ACM
A Laplace transform algorithm for the volume of a convex polytope
Journal of the ACM (JACM)
On Standard Quadratic Optimization Problems
Journal of Global Optimization
Statistical timing for parametric yield prediction of digital integrated circuits
Proceedings of the 40th annual Design Automation Conference
Computer-aided micro-analysis of programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Inner and outer approximations of polytopes using boxes
Computational Geometry: Theory and Applications
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Expert Systems with Applications: An International Journal
On the semantics of top-k ranking for objects with uncertain data
Computers & Mathematics with Applications
Hi-index | 0.05 |