Handling floating-point exceptions in numeric programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A sequence of series for the Lambert W function
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Combinatorial approximation algorithms for generalized flow problems
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Fast approximations for sums of distances, clustering and the Fermat--Weber problem
Computational Geometry: Theory and Applications
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Reciprocity for multirestricted Stirling numbers
Journal of Combinatorial Theory Series A
Transient and periodic solution to the time-inhomogeneous quasi-birth death process
Queueing Systems: Theory and Applications
Distribution-sensitive point location in convex subdivisions
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Fundamenta Informaticae
Scientific Computing in the $C^H$ Programming Language
Scientific Programming
A pair of operator summation formulas and their applications
Computers & Mathematics with Applications
Legendre-Stirling permutations
European Journal of Combinatorics
Approximation error of the Lagrange reconstructing polynomial
Journal of Approximation Theory
E=I+T: The internal extent formula for compacted tries
Information Processing Letters
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
The Journal of Machine Learning Research
Information, Divergence and Risk for Binary Experiments
The Journal of Machine Learning Research
Boolean formulas and frequent sets
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
AMERICAN-MATH'12/CEA'12 Proceedings of the 6th WSEAS international conference on Computer Engineering and Applications, and Proceedings of the 2012 American conference on Applied Mathematics
Periodic solution to the time-inhomogeneous multi-server Poisson queue
Operations Research Letters
Fundamenta Informaticae
Journal of Combinatorial Theory Series A
Self-assembly models of variable resolution
Transactions on Computational Systems Biology XIV
Hi-index | 0.00 |