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).
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.
1992. Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.
1995. Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
1990. Maintaining consistency in a stratified production system program. Proceedings of the AAAI National Conference on Artificial Intelligence. :284-289.
1994. A simulation-based study on the concurrent execution of rules in a database environment. Journal of Parallel and Distributed computing. 20(1):20-42.
1998. Equal Time for Data on the Internet with WebSemantics. Advances in Database Technology—EDBT'98. :87-87.
2012. Genetic characteristics of drug-resistant Vibrio cholerae O1 causing endemic cholera in Dhaka, 2006-2011. Journal of Medical Microbiology. :1736-1745.
2017. Vibrio cholerae O1 with Reduced Susceptibility to Ciprofloxacin and Azithromycin Isolated from a Rural Coastal Area of Bangladesh. Frontiers in Microbiology.
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.
2013. Detection of Vibrio cholerae in environmental waters including drinking water reservoirs of Azerbaijan. Environmental Microbiology Reports. (1):30-38.
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.
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.
2009. Validating Automotive Control Software Using Instrumentation-Based Verification. Automated Software Engineering, International Conference on. :15-25.
2006. Model based verification and validation of distributed control architectures. Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA.
2004. Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer (STTT). 5(4):351-369.
2003. Architectural Interaction Diagrams: AIDs for System Modeling. Software Engineering, International Conference on. :396-396.