Publications
2006. Routing in intermittent network topologies. Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems. :385-389.
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.
2000. A point-placement strategy for conforming Delaunay tetrahedralization. Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. :67-74.
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.
1997. Joint minimization of code and data for synchronous dataflow programs. Formal Methods in System Design. 11(1):41-70.
2000. Systematic consolidation of input and output buffers in synchronous dataflow specifications. Signal Processing Systems, 2000. SiPS 2000. 2000 IEEE Workshop on. :673-682.
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.
2002. RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
2003. Necessity is the mother of invention: a simple grid computing system using commodity tools. J Parallel Distr Com. 63(5):578-589.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
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.
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.
1999. On the evolution of reactive components: A process-algebraic approach. Lecture notes in computer science. :161-175.
1997. The distributed information search component (disco) and the world wide web. Proc. of ACM SIGMOD Conf. on Management of Data.
2008. Uncovering Genomic Reassortments among Influenza Strains by Enumerating Maximal Bicliques. IEEE International Conference on Bioinformatics and Biomedicine, 2008. BIBM '08. :223-230.
2009. Parametric Complexity of Sequence Assembly: Theory and Applications to Next Generation Sequencing. Journal of Computational Biology. 16(7):897-908.
2003. Refactoring using event-based profiling. First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE).
2010. Sequencing and Genome Assembly Using Next-Generation Technologies. Computational BiologyComputational Biology. 673:1-17.