Publications
2001. Efficient algorithms for location and sizing problems in network design. IEEE Global Telecommunications Conference, 2001. GLOBECOM '01. 4:2586-2590vol.4-2586-2590vol.4.
2001. Efficient and Non-interactive Non-malleable Commitment. Advances in Cryptology — EUROCRYPT 2001Advances in Cryptology — EUROCRYPT 2001. 2045:40-59.
2001. Efficient evaluation of reverberant sound fields. Applications of Signal Processing to Audio and Acoustics, 2001 IEEE Workshop on the. :203-206.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
2001. Efficient network and I/O throttling for fine-grain cycle stealing. Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '01. :3-3.
2001. Efficient password-authenticated key exchange using human-memorable passwords. Advances in Cryptology—EUROCRYPT 2001. :475-494.
2001. Efficient perspective-accurate silhouette computation and applications. Proceedings of the seventeenth annual symposium on Computational geometry. :60-68.
2001. Efficient randomized algorithms for robust estimation of circular arcs and aligned ellipses. Computational Geometry. 19(1):1-33.
2001. An efficient system for multi-perspective imaging and volumetric shape analysis. Proceedings of the 2001 Workshop on Parallel and Distributed Computing in Imaging Processing, Video Processing, and Multimedia.
2001. An empirical study of a new approach to nearest neighbor searching. Algorithm Engineering and Experimentation. :172-187.
2001. An empirical study of regression test selection techniques. ACM Transactions on Software Engineering and MethodologyACM Trans. Softw. Eng. Methodol.. 10(2):184-208.
2001. Enabling Commuters to Find the Best Route: An Interface for Analyzing Driving History Logs. Proceedings of the IFIP Conference on Human-Computer Interaction (Interact2001). :799-800.
2001. Enrichment of Regulatory Signals in Conserved Non-Coding Genomic Sequence. BioinformaticsBioinformatics. 17(10):871-877.
2001. Entropy-preserving cuttings and space-efficient planar point location. Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms. :256-261.
2001. Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
2001. E-tables: Non-specialist use and understanding of statistical data. SURFACE, the Syracuse University Research Facility And Collaborative Environment. :33-33.
2001. Evaluating the XMT parallel programming model. High-Level Parallel Programming Models and Supportive Environments. :95-108.
2001. Evolving columnar circuitry for lateral cortical inhibition. Neural Networks, 2001. Proceedings. IJCNN'01. International Joint Conference on. 1:278-283.
2001. An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
2001. Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
2001. Exploration of Large Online Data Tables Using Generalized Query Previews. University of Maryland Computer Science Technical Report (June 2001).
2001. Eyes from Eyes. 3D Structure from Images — SMILE 20003D Structure from Images — SMILE 2000. 2018:204-217.