Publications
2004. Social and psychological influences on computer user frustration. Media access: Social and psychological dimensions of new technology useMedia access: Social and psychological dimensions of new technology use. :91-103.
2000. Design of a Framework for Data-Intensive Wide-Area Applications. Heterogeneous Computing Workshop. :116-116.
1999. Performance impact of proxies in data intensive client-server applications. Proceedings of the 13th international conference on Supercomputing. :383-390.
2002. Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
2000. DataCutter: Middleware for filtering very large scientific datasets on archival storage systems. NASA conference publication. :119-134.
2002. Processing large-scale multi-dimensional data in parallel and distributed environments. Parallel Computing. 28(5):827-859.
2001. Performance optimization for data intensive grid applications. Active Middleware Services, 2001. Third Annual International Workshop on. :97-105.
2001. Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
2002. Optimizing execution of component-based applications using group instances. Future Generation Computer Systems. 18(4):435-448.
2007. Guest Editorial: Special Issue on Human Detection and Recognition. Information Forensics and Security, IEEE Transactions on. 2(3):489-490.
2011. Face Tracking and Recognition in a Camera Network. Multibiometrics for Human IdentificationMultibiometrics for Human Identification.
1999. A practical approach to implementing real-time semantics. Annals of Software Engineering. 7(1):127-155.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1996. Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
1997. Dynamic priorities for modeling real-time. Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII’97). :321-336.
2008. Trellis: a platform for building flexible, fast virtual networks on commodity hardware. Proceedings of the 2008 ACM CoNEXT Conference. :72:1–72:6-72:1–72:6.
2001. Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.