Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
R
Ray A, Cleaveland R, Jiang S, Fuhrman T.  2006.  Model based verification and validation of distributed control architectures. Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA.
Ray A, Morschhaeuser I, Ackermann C, Cleaveland R, Shelton C, Martin C.  2009.  Validating Automotive Control Software Using Instrumentation-Based Verification. Automated Software Engineering, International Conference on. :15-25.
Ray A, Cleaveland R.  2004.  Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer (STTT). 5(4):351-369.
Ray A, Cleaveland R.  2003.  Architectural Interaction Diagrams: AIDs for System Modeling. Software Engineering, International Conference on. :396-396.
Ray A, Cleaveland R.  2004.  Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
Rawlings TK, Ruiz GM, Colwell RR.  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.
Rautiainen M, Doermann D.  2002.  Temporal Color Correlograms in Video Retrieval. International Conference on Pattern Recognition. :267-270.
Rathod P, desJardins M, Sansare S.  2002.  Interactive, Incremental Scheduling for Virtual Telescopes in Education. THIRD INTERNATIONAL NASA WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE. :27--29-27--29.
Ratanasanya S, Mount D, Netanyahu NS, Achalakul T.  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.
Rasko DA, Worsham PL, Abshire TG, Stanley ST, Bannan JD, Wilson MR, Langham RJ, Decker SR, Jiang L, Read TD et al..  2011.  Bacillus Anthracis Comparative Genome Analysis in Support of the Amerithrax Investigation. Proceedings of the National Academy of SciencesPNAS. 108(12):5027-5032.
Rashid M-ur, Almeida M, Azman AS, Lindsay BR, Sack DA, Colwell RR, Huq A, J. Morris G, Alam M, O. Stine C.  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.
Rashid A, Haley BJ, Rajabov M, Ahmadova S, Gurbanov S, Colwell RR, Huq A.  2013.  Detection of Vibrio cholerae in environmental waters including drinking water reservoirs of Azerbaijan. Environmental Microbiology Reports. (1):30-38.
Rashed S.M, Mannan S.B, Johura F.-T., Islam M.T, Sadique A., Watanabe H., Sack R.B, Huq A., Colwell RR, Cravioto A. et al..  2012.  Genetic characteristics of drug-resistant Vibrio cholerae O1 causing endemic cholera in Dhaka, 2006-2011. Journal of Medical Microbiology. :1736-1745.
Rashed SM, Hasan NA, Alam M, Sadique A, Sultana M, Hoq M.Mozammel, R. Sack B, Colwell RR, Huq A.  2017.  Vibrio cholerae O1 with Reduced Susceptibility to Ciprofloxacin and Azithromycin Isolated from a Rural Coastal Area of Bangladesh. Frontiers in Microbiology.
Raschid L, Su SYW.  1986.  A parallel processing strategy for evaluating recursive queries. Proceedings of the 12th International Conference on Very Large Data Bases. :412-419.
Raschid L, Lobo J.  1994.  A Semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12(3):305-349.
Raschid L, Ye Q, Zadorozhny V, Gal A, Murthy H.  2005.  Using Non-random Associations for Predicting Latency in WANs. Web Information Systems Engineering – WISE 2005.
Raschid L, Su SYW.  1992.  A parallel pipelined strategy for evaluating linear recursive predicates in a multiprocessor environment.. J. Parallel Distrib. Comput.. 14(2):146-162.
Raschid L, Chang Y, Dorr BJ.  1993.  Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
Raschid L, Chang Y, Dorr BJ.  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).
Raschid L, Fei T, Lam H, Su SYW.  1986.  A Special-Function Unit for Sorting and Sort-Based Database Operations. IEEE Transactions on Computers. C-35(12):1071-1077.
Raschid L, Sellis T, Lin CC.  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.
Raschid L, Wen H-F, Gal A, Zadorozhny V.  2003.  Latency Profiles: Performance Monitoring for Wide Area Applications. Internet Applications, IEEE Workshop on. :74-74.
Raschid L, Lobo J.  1991.  Semantics for update rule programs and implementation in a relational database management system. ACM Transactions on Database Systems.
Raschid L.  1992.  Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.

Pages