Publications
2010. Finishing genomes with limited resources: lessons from an ensemble of microbial genomes. BMC Genomics. 11(1):242-242.
2009. Parametric Complexity of Sequence Assembly: Theory and Applications to Next Generation Sequencing. Journal of Computational Biology. 16(7):897-908.
1997. The distributed information search component (disco) and the world wide web. Proc. of ACM SIGMOD Conf. on Management of Data.
1999. On the evolution of reactive components: A process-algebraic approach. Lecture notes in computer science. :161-175.
1975. TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.
1976. TORUS: A step towards bridging the gap between data bases and the casual user. Information Systems. 2(2):49-64.
2003. Necessity is the mother of invention: a simple grid computing system using commodity tools. J Parallel Distr Com. 63(5):578-589.
2002. PASSAT: A user-centric planning framework. Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space.
2008. Expanding the reach of Grid computing: combining Globus- and BOINC-based systems. Grids for Bioinformatics and Computational BiologyGrids for Bioinformatics and Computational Biology. :71-85.
2002. RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
2004. Buffer merging—a powerful technique for reducing memory requirements of synchronous dataflow specifications. ACM Transactions on Design Automation of Electronic Systems (TODAES). 9(2):212-237.
2000. Systematic consolidation of input and output buffers in synchronous dataflow specifications. Signal Processing Systems, 2000. SiPS 2000. 2000 IEEE Workshop on. :673-682.
1997. Joint minimization of code and data for synchronous dataflow programs. Formal Methods in System Design. 11(1):41-70.
2006. Leveraging reusability: cost-effective lexical acquisition for large-scale ontology translation. Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics. :945-952.
2006. Leveraging recurrent phrase structure in large-scale ontology translation. Proceedings of the 11th Annual Conference of the European Association for Machine Translation.
2000. A point-placement strategy for conforming Delaunay tetrahedralization. Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. :67-74.
2008. Immunity-Based Epidemic Routing in Intermittent Networks. 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, 2008. SECON '08. :609-611.
1998. Threshold-based admission control for multi-class video-on-demand systems. Performance, Computing and Communications, 1998. IPCCC '98., IEEE International. :154-160.
2004. End-to-end analysis of distributed video-on-demand systems. IEEE Transactions on Multimedia. 6(1):129-141.
1999. End-to-end request handling in distributed Video-on-Demand systems. Proceedings of the CNDS Conference (Society for Computer Simulation). :151-157.
2005. Class-based access control for distributed video-on-demand systems. IEEE Transactions on Circuits and Systems for Video Technology. 15(7):844-853.
2002. The Analysis and Performance of Multi-Rate Service in Distributed Video-on-Demand Systems. Multimedia Tools and Applications. 17(1):51-75.
1999. Integrated admission control in hierarchical video-on-demand systems. IEEE International Conference on Multimedia Computing and Systems, 1999. 1:220-225vol.1-220-225vol.1.