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, 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.
Ray A, Cleaveland R, Skou A.  2005.  An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.
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 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.
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.
Raschid L.  1992.  Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.
Raschid L, Chang Y.  1995.  Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
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.  1990.  Maintaining consistency in a stratified production system program. Proceedings of the AAAI National Conference on Artificial Intelligence. :284-289.
Raschid L, Sellis T, Delis A.  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.
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 GAML, Tomasic A.  1998.  Equal Time for Data on the Internet with WebSemantics. Advances in Database Technology—EDBT'98. :87-87.
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.

Pages