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.  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.
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, 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, Chang Y, Dorr BJ.  1994.  Query transformation techniques for interoperable query processing in cooperative information systems. Proceedings of the Second International Conference on Cooperative Information Systems (CoopIS94), May. :17-20.
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, 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.  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.  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 GAML, Tomasic A.  1998.  Equal Time for Data on the Internet with WebSemantics. Advances in Database Technology—EDBT'98. :87-87.

Pages