Publications
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).
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.
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.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
2002. RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
2002. PASSAT: A user-centric planning framework. Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space.
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.
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.
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.
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.
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.