Publications
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.
2004. Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
2005. An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.
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.
2002. Temporal Color Correlograms in Video Retrieval. International Conference on Pattern Recognition. :267-270.
2002. Interactive, Incremental Scheduling for Virtual Telescopes in Education. THIRD INTERNATIONAL NASA WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE. :27--29-27--29.
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.
2011. Bacillus Anthracis Comparative Genome Analysis in Support of the Amerithrax Investigation. Proceedings of the National Academy of SciencesPNAS. 108(12):5027-5032.
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.
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.
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.
1993. Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
2003. Latency Profiles: Performance Monitoring for Wide Area Applications. Internet Applications, IEEE Workshop on. :74-74.
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).
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.
1986. A parallel processing strategy for evaluating recursive queries. Proceedings of the 12th International Conference on Very Large Data Bases. :412-419.