Publications
1993. A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
1994. Computing with very weak random sources. , 35th Annual Symposium on Foundations of Computer Science, 1994 Proceedings. :264-275.
1995. Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.
1997. Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
2000. Receiver based management of low bandwidth access links. IEEE INFOCOM 2000. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. 1:245-254vol.1-245-254vol.1.
2001. Ordered treemap layouts. IEEE Symposium on Information Visualization, 2001. INFOVIS 2001. :73-78.
2001. A tool to help tune where computation is performed. IEEE Transactions on Software Engineering. 27(7):618-629.
2003. Why not make interfaces better than 3D reality? IEEE Computer Graphics and Applications. 23(6):12-15.
2004. Facilitating understanding of information visualizations: emerging principles and examples. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings.
2006. Knowledge discovery in high-dimensional data: case studies and a user survey for the rank-by-feature framework. IEEE Transactions on Visualization and Computer Graphics. 12(3):311-322.
2007. Similarity-Based Forecasting with Simultaneous Previews: A River Plot Interface for Time Series Forecasting. Information Visualization, 2007. IV '07. 11th International Conference. :191-196.
2008. Alternating GUI Test Generation and Execution. Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic Industrial Conference. :23-32.
2008. Compressive wireless arrays for bearing estimation. Acoustics, Speech and Signal Processing, 2008. ICASSP 2008. IEEE International Conference on. :2497-2500.
2009. Finding comparable temporal categorical records: A similarity measure with an interactive visualization. IEEE Symposium on Visual Analytics Science and Technology, 2009. VAST 2009. :27-34.
2009. Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing Techniques. Software Engineering, IEEE Transactions on. 35(4):551-565.
2009. Real-time shape retrieval for robotics using skip Tri-Grams. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. IROS 2009. :4731-4738.
2010. Dynamically checking ownership policies in concurrent c/c++ programs. Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :457-470.
2010. Electromagnetic Modeling of Ethernet Transformers. Magnetics, IEEE Transactions on. 46(2):563-569.