Publications
1982. The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
2005. Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.
1998. Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
2008. A Logic Framework for Sports Video Summarization Using Text-Based Semantic Annotation. Semantic Media Adaptation and Personalization, 2008. SMAP '08. Third International Workshop on. :69-75.
2003. Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Signal Process.. 2003:565-579.
2000. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
1999. Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
2011. LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
2006. LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
2006. Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
2004. Location diversity in anonymity networks. Proceedings of the 2004 ACM workshop on Privacy in the electronic society. :66-76.
1988. Locating alignments with k differences for nucleotide and amino acid sequences. Computer applications in the biosciences: CABIOS. 4(1):19-19.
2009. Locally time-invariant models of human activities using trajectories on the grassmannian. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2435-2441.
2011. Localizing parts of faces using a consensus of exemplars. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :545-552.
1995. Localization of Sequences Required for Size-specific Splicing of a SmallDrosophilaIntronin Vitro. Journal of Molecular Biology. 253(3):426-437.
1996. Local tools: an alternative to tool palettes. Proceedings of the 9th annual ACM symposium on User interface software and technology. :169-170.
2007. Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.