Stråhle's Equal-Tempered Triumph.
Am. Math. Mon., 2016
A Weight-Scaling Algorithm for Min-Cost Imperfect Matchings in Bipartite Graphs.
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
Cauldron: A Policy-Based Design Tool.
Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006
Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation.
Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004
More Balls in Urns: 10722.
Am. Math. Mon., 2001
Suitening our nomenclature.
SIGACT News, 1989
Blossoms are polar forms.
Comput. Aided Geom. Des., 1989
Eliminating go to's while preserving program structure.
J. ACM, 1988
A Kinetic Framework for Computational Geometry
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
A Note on Gray Code and Odd-Even Merge.
SIAM J. Comput., 1980
Formalizing the analysis of algorithms.
PhD thesis, 1979
Binomial Coefficients with Non-Integral Lower Index.
Inf. Process. Lett., 1977