Publications

Export 7148 results:
[ Author(Desc)] 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
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.
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.
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.
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.
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.
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.
Rautiainen M, Doermann D.  2002.  Temporal Color Correlograms in Video Retrieval. International Conference on Pattern Recognition. :267-270.
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.
Ray A, Cleaveland R.  2008.  Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
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, 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.

Pages