Publications
1997. Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
1999. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 21(4):747-789.
2005. Time reversal and n-qubit canonical decompositions. Journal of Mathematical Physics. 46(6):062104-062104-19-062104-062104-19.
2005. Asymptotically Optimal Quantum Circuits for d-Level Systems. Physical Review LettersPhys. Rev. Lett.. 94(23):230502-230502.
2007. Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.
2014. Validation of high throughput sequencing and microbial forensics applications. Investigative Genetics. 5(1):9.
2006. A New Hardware Monitor Design to Measure Data Structure-Specific Cache Eviction Information. International Journal of High Performance Computing Applications. 20(3):353-363.
2000. Using hardware performance monitors to isolate memory bottlenecks. Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM). :40-40.
2004. Data Centric Cache Measurement on the Intel ltanium 2 Processor. Proceedings of the 2004 ACM/IEEE conference on Supercomputing. :58–-58–.
2000. An API for Runtime Code Patching. International Journal of High Performance Computing Applications. 14(4):317-329.
1976. An internship in information systems: Combining computer science education with realistic problems. SIGCSE Bull.. 8(3):80-83.
2007. Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting. :1-7.
2011. Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. Software Engineering, IEEE Transactions on. 37(1):48-64.
2010. COSI: Cloud Oriented Subgraph Identification in Massive Social Networks. Advances in Social Networks Analysis and Mining (ASONAM), 2010 International Conference on. :248-255.
2001. A trend analysis of exploitations. 2001 IEEE Symposium on Security and Privacy, 2001. S&P 2001. Proceedings. :214-229.
2001. Designing an Interactive Message Board as a Technology Probe for Family Communication. Technical Reports of the Computer Science Department.
2005. Path dependence and the validation of agent‐based spatial models of land use. International Journal of Geographical Information Science. 19(2):153-174.
2004. Agent-based and analytical modeling to evaluate the effectiveness of greenbelts. Environmental Modelling & Software. 19(12):1097-1109.
2006. Reflecting on Health: A System for Students to Monitor Diet and Exercise. SIGCHI EA '06. :1807-1812.
2010. Clear Panels: a technique to design mobile application interactivity. Proceedings of the 8th ACM Conference on Designing Interactive Systems. :360-363.
2008. Exurbia from the bottom-up: Confronting empirical challenges to characterizing a complex system. Geoforum. 39(2):805-818.
1999. Human-centered computing, online communities, and virtual environments. IEEE Computer Graphics and Applications. 19(6):70-74.
2002. Modeling the Effects of Greenbelts at the Urban-Rural Fringe. Proceedings of IEMSS 2002. :190-195.