Publications
2005. DSP address optimization using evolutionary algorithms. Proceedings of the 2005 workshop on Software and compilers for embedded systems. :91-98.
2004. Using the structure of Web sites for automatic segmentation of tables. Proceedings of the 2004 ACM SIGMOD international conference on Management of data. :119-130.
2004. Optimal models of disjunctive logic programs: semantics, complexity, and computation. Knowledge and Data Engineering, IEEE Transactions on. 16(4):487-503.
2008. Contribution to a Taxonomy of Non-Manifold Models Based on Topological Properties. ASME Conference Proceedings. 2008(43277):187-197.
2009. Classification of non-manifold singularities from transformations of 2-manifolds. Shape Modeling and Applications, 2009. SMI 2009. IEEE International Conference on. :179-184.
1998. Multicommodity flow and circuit switching. , Proceedings of the Thirty-First Hawaii International Conference on System Sciences, 1998. 7:459-465vol.7-459-465vol.7.
1999. New algorithmic aspects of the Local Lemma with applications to routing and partitioning. Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms. :643-652.
2007. BIPASS: BioInformatics Pipeline Alternative Splicing Services. Nucleic Acids Research. 35(Web Server issue):W292-W292.
2003. An experimental evaluation of correlated network partitions in the Coda distributed file system. :273-282.
2010. Decentralized dynamic scheduling across heterogeneous multi-core desktop grids. 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW). :1-9.
2005. High Performance Communication between Parallel Programs. Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International. :177b-177b-177b-177b.
2007. Bio-STEER: A Semantic Web workflow tool for Grid computing in the life sciences. Future Generation Comp Syst. 23(3):497-509.
2006. Visualizing Graphs as Trees: Plant a Seed and Watch it Grow. Graph DrawingGraph Drawing. 3843:516-518.
2008. Algorithm 879: EIGENTEST—a test matrix generator for large-scale eigenproblems. ACM Trans. Math. Softw.. 35(1):7:1–7:11-7:1–7:11.
2006. Exploring content-actor paired network data using iterative query refinement with NetLens. Digital Libraries, 2006. JCDL '06. Proceedings of the 6th ACM/IEEE-CS Joint Conference on. :372-372.
2002. Representing thermal vibrations and uncertainty in molecular surfaces. SPIE Conference on Visualization and Data Analysis. 4665:80-90.
2012. BclAF1 restriction factor is neutralized by proteasomal degradation and microRNA repression during human cytomegalovirus infection. Proceedings of the National Academy of Sciences. 109(24):9575-9580.
2004. Constant-time navigation in four-dimensional nested simplicial meshes. Shape Modeling Applications, 2004. Proceedings. :221-230.
2003. Cooperative peer groups in NICE. INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications. IEEE Societies. 2:1272-1282vol.2-1272-1282vol.2.
2007. MobCast: Overlay Architecture for Seamless IP Mobility using Scalable Anycast Proxies. Wireless Communications and Networking Conference, 2007.WCNC 2007. IEEE. :3872-3876.
2006. Geometry-dependent lighting. Visualization and Computer Graphics, IEEE Transactions on. 12(2):197-207.