Publications
Export 1425 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is H [Clear All Filters]
1998. A Thematic Hierarchy for Efficient Generation from Lexical-Conceptual Structure. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:333-343.
2009. Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. Proceedings for the 1st workshop on Script to Program Evolution. :14-16.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
2008. Test case generator for GUITAR. Companion of the 30th international conference on Software engineering. :959-960.
1999. Temporal visualization for legal case histories. PROCEEDINGS OF THE ANNUAL MEETING-AMERICAN SOCIETY FOR INFORMATION SCIENCE. 36:271-279.
2012. Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
2011. Temperature regulation of virulence factors in the pathogen Vibrio coralliilyticus. The ISME Journal. 6(4):835-846.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2010. Technology-Mediated Social Participation: Deep Science and Extreme Technology. Active Media TechnologyActive Media Technology. 6335:1-4.
2003. Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
2003. Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
2002. Technologies for families. CHI '02 extended abstracts on Human factors in computing systems. :938-939.
1995. Techniques for performance measurement of parallel programs. Parallel computers: theory and practice. :225-240.
2007. Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks. IEEE Transactions on Software Engineering. 33(5):287-304.
2007. Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.
2006. Task taxonomy for graph visualization. Proceedings of the 2006 AVI workshop on BEyond time and errors: novel evaluation methods for information visualization. :1-5.
2009. Target Tracking Based on Nonparametric Clustering and Multi-Scale Images. JSCUT (Natural Science Edition). 37(1):34-41.
2005. Tagged Sets: A Secure and Transparent Coordination Medium. Coordination Models and LanguagesCoordination Models and Languages. 3454:193-205.
1996. Table-Form Structure Analysis Based on Box-Driven Reasoning. IEICE TRANSACTIONS on Information and Systems. E79-D(5):542-547.