Publications
2006. Applying flow-sensitive CQUAL to verify MINIX authorization check placement. Proceedings of the 2006 workshop on Programming languages and analysis for security. :3-6.
2008. Virtual access points for vehicular networks. Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications. :14-14.
2007. Caching in Mobile Environments: A New Analysis and the Mobile-Cache System. IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, 2007. PIMRC 2007. :1-5.
2009. Incremental covering array failure characterization in large configuration spaces. Proceedings of the eighteenth international symposium on Software testing and analysis. :177-188.
2007. Improving software quality with static analysis. Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :83-84.
2006. Flow-insensitive type qualifiers. ACM Transactions on Programming Languages and Systems (TOPLAS). 28(6):1035-1087.
2000. Polymorphic versus monomorphic points-to analysis. Proceedings of the 7th International Static Analysis Symposium, Lecture Notes in Computer Science. Springer Verlag.
2000. Phylogenetic relationships of ıt Phytophthora species based on ribosomal ITS I DNA sequence analysis with emphasis on Waterhouse groups V and VI. Mycol Res. 104:1055-1061.
2009. Using Satellite Images of Environmental Changes to Predict Infectious Disease Outbreaks. Emerging Infectious DiseasesEmerg Infect Dis. 15(9):1341-1346.
2013. Bear-with-me: an embodied prototype to explore tangible two-way exchanges of emotional language. CHI'13 Extended Abstracts on Human Factors in Computing Systems.
2004. Bidimensional Parameters and Local Treewidth. Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004: Proceedings. :109-109.
2002. Content-based image retrieval using Fourier descriptors on a logo database. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:521-524vol.3-521-524vol.3.
1996. Answering queries using OQL view expressions. In Workshop on Materialized Views, in cooperation with ACM SIGMOD.
1996. A methodology for query reformulation in CIS using semantic knowledge. International Journal of Cooperative Information Systems. 5(4):431-468.
2017. A Bioinformatics 3D Cellular Morphotyping Strategy for Assessing Biomaterial Scaffold Niches. ACS Biomaterials Science & Engineering. 3(10):2302-2313.
2016. 3D Cellular Morphotyping of Scaffold Niches. 2016 32nd Southern Biomedical Engineering Conference (SBEC).
2009. Automatic classification of human values: Applying computational thinking to information ethics. Proceedings of the American Society for Information Science and Technology. 46(1):1-4.
2011. Modeling diverse standpoints in text classification: learning to be human by modeling human values. Proceedings of the 2011 iConference. :672-673.
2007. Fast and scalable approximation methods for finding minimum cost flows with .... 10/053,079(7280526)
2001. Near-optimal design of MP S tunnels with shared recovery. DIMACS Mini-Workshop on Quality of Service Issues in the Internet.
2000. Design and use of linear models for image motion analysis. International Journal of Computer Vision. 36(3):171-193.