Publications
2011. Article 28 (28 pages)-New Constructive Aspects of the Lovász Local Lemma. Journal of the ACM-Association for ComputingMachinery. 58(6)
2010. New Constructive Aspects of the Lovasz Local Lemma. 2010 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS). :397-406.
2006. Patterns of sequence conservation in presynaptic neural genes. Genome Biology. 7(11):R105-R105.
2008. Test case generator for GUITAR. Companion of the 30th international conference on Software engineering. :959-960.
2003. CATVAR: A database of categorial variations for English. Proceedings of the MT Summit. :471-474.
2002. Handling Translation Divergences: Combining Statistical and Symbolic Techniques in Generation-Heavy Machine Translation. Machine Translation: From Research to Real UsersMachine Translation: From Research to Real Users. 2499:84-93.
2003. Hybrid Natural Language Generation from Lexical Conceptual Structures. Machine Translation. 18(2):81-128.
2009. Symbolic-to-statistical hybridization: extending generation-heavy machine translation. Machine Translation. 23(1):23-63.
2006. Challenges in building an Arabic-English GHMT system with SMT components. Proceedings of the 11th Annual Conference of the European Association for Machine Translation (EAMT-2006). :56-65.
2003. A categorial variation database for English. Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1. :17-23.
2005. Envisioning help resources for the future information ecology: Toward an enriched sense of help. Proceedings of the American Society for Information Science and Technology. 42(1):n/a-n/a-n/a-n/a.
2007. Schistosoma mansoni genome: Closing in on a final gene set. Experimental Parasitology. 117(3):225-228.
2006. Toward an enriched (and revitalized) sense of help: Summary of an ASIS&T 2005 panel session. Bulletin of the American Society for Information Science and Technology. 32(5):23-26.
2003. Improving the Arabidopsis genome annotation using maximal transcript alignment assemblies. Nucleic Acids ResearchNucl. Acids Res.. 31(19):5654-5666.
2005. Measurement-based multipath multicast. INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings IEEE. 4:2803-2808vol.4-2803-2808vol.4.
2008. A Unified Framework for Multipath Routing for Unicast and Multicast Traffic. Networking, IEEE/ACM Transactions on. 16(5):1038-1051.
2004. Measurement based optimal multi-path routing. INFOCOM 2004. Twenty-third AnnualJoint Conference of the IEEE Computer and Communications Societies. 1:187-196.
2000. Approximation algorithms with bounded performance guarantees for the clustered traveling salesman problem. Algorithmica. 28(4):422-437.
2002. Supporting access to large digital oral history archives. Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries. :18-27.
1997. Interpreting presuppositions using active logic: From contexts to utterances. Computational Intelligence. 13(3):391-413.
1984. Solving NP-hard problems on graphs that are almost trees and an application to facility location problems. Journal of the ACM (JACM). 31(3):459-473.
1995. Representing a student’s learning states and transitions. American Association of Artificial Intelligence Spring Symposium on Representing Mental States and Mechanisms.