Publications
1993. Query mapping and transformation techniques for problem solving with multiple knowledge servers. Proceedings of the Second International Conference on Information and Knowledge Management (CIKM-93).
1986. A parallel processing strategy for evaluating recursive queries. Proceedings of the 12th International Conference on Very Large Data Bases. :412-419.
1994. A Semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12(3):305-349.
1992. A parallel pipelined strategy for evaluating linear recursive predicates in a multiprocessor environment.. J. Parallel Distrib. Comput.. 14(2):146-162.
2005. Using Non-random Associations for Predicting Latency in WANs. Web Information Systems Engineering – WISE 2005.
1986. A Special-Function Unit for Sorting and Sort-Based Database Operations. IEEE Transactions on Computers. C-35(12):1071-1077.
2000. Exploiting concurrency in a DBMS implementation for production systems. Proceedings of the first international symposium on Databases in parallel and distributed systems. :34-45.
2003. Latency Profiles: Performance Monitoring for Wide Area Applications. Internet Applications, IEEE Workshop on. :74-74.
1991. Semantics for update rule programs and implementation in a relational database management system. ACM Transactions on Database Systems.
2017. Vibrio cholerae O1 with Reduced Susceptibility to Ciprofloxacin and Azithromycin Isolated from a Rural Coastal Area of Bangladesh. Frontiers in Microbiology.
2012. Genetic characteristics of drug-resistant Vibrio cholerae O1 causing endemic cholera in Dhaka, 2006-2011. Journal of Medical Microbiology. :1736-1745.
2013. Detection of Vibrio cholerae in environmental waters including drinking water reservoirs of Azerbaijan. Environmental Microbiology Reports. (1):30-38.
2016. Comparison of inferred relatedness based on multilocus variable-number tandem-repeat analysis and whole genome sequencing of Vibrio cholerae O1. FEMS Microbiology Letters. 36389(12):fnw116.
2011. Bacillus Anthracis Comparative Genome Analysis in Support of the Amerithrax Investigation. Proceedings of the National Academy of SciencesPNAS. 108(12):5027-5032.
2008. Enhancements in robust feature matching. Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, 2008. ECTI-CON 2008. 5th International Conference on. 1:505-508.
2002. Interactive, Incremental Scheduling for Virtual Telescopes in Education. THIRD INTERNATIONAL NASA WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE. :27--29-27--29.
2002. Temporal Color Correlograms in Video Retrieval. International Conference on Pattern Recognition. :267-270.
2007. Association of Vibrio Cholerae O1 El Tor and O139 Bengal with the Copepods Acartia Tonsa and Eurytemora Affinis. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 73(24):7926-7933.
2005. An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.
2006. A Software Architectural Approach to Security by Design. Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International. 2:83-86.
2005. Secure requirements elicitation through triggered message sequence charts. Distributed Computing and Internet Technology. :273-282.
2008. Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
2006. Model based verification and validation of distributed control architectures. Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA.
2009. Validating Automotive Control Software Using Instrumentation-Based Verification. Automated Software Engineering, International Conference on. :15-25.
2004. Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer (STTT). 5(4):351-369.