Publications

Export 1858 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2002
Ivanova EP, Matte GR, Matte MH, Coenye T, Huq A, Colwell RR.  2002.  Characterization of Pseudoalteromonas citrea and P. nigrifaciens Isolated from Different Ecological Habitats Based on REP-PCR Genomic Fingerprints. Systematic and Applied Microbiology. 25(2):275-283.
Shneiderman B, Card S, Norman DA, Tremaine M, Waldrop MM.  2002.  CHI@20: fighting our way from marginality to power. CHI '02 extended abstracts on Human factors in computing systems. :688-691.
Hannenhalli S, Hubbell E, Lipshutz R, Pevzner P.  2002.  Combinatorial Algorithms for Design of DNA Arrays. Chip TechnologyChip Technology. 77:1-19.
Hannenhalli S, Hubbell E, Lipshutz R, Pevzner P.  2002.  Combinatorial Algorithms for Design of DNA Arrays. Chip TechnologyChip Technology. 77:1-19.
Hannenhalli S, Hubbell E, Lipshutz R, Pevzner P.  2002.  Combinatorial Algorithms for Design of DNA Arrays. Chip TechnologyChip Technology. 77:1-19.
Chetty M.  2002.  A Comparison of Unified Modelling Language (UML) and Specification and Description Language (SDL).
Au T-C, Muñoz-Avila H, Nau DS.  2002.  On the Complexity of Plan Adaptation by Derivational Analogy in a Universal Classical Planning Framework. Advances in Case-Based Reasoning. 2416:199-206.
Seri M, Courtney T, Cukier M, Gupta V, Krishnmamurthy S, Lyons J, Ramasamy H, Ren J, Sanders WH.  2002.  A configurable CORBA gateway for providing adaptable system properties.
Seri M, Courtney T, Cukier M, Gupta V, Krishnmamurthy S, Lyons J, Ramasamy H, Ren J, Sanders WH.  2002.  A configurable CORBA gateway for providing adaptable system properties.
Morisio M, Seaman CB, Basili VR, Parra AT, Kraft SE, Condon SE.  2002.  COTS-based software development: Processes and open issues. Journal of Systems and Software. 61(3):189-199.
Jim T, Morrisett G, Grossman D, Hicks MW, Cheney J, Wang Y.  2002.  Cyclone: A safe dialect of C. USENIX Annual Technical Conference. :275-288.
Fischer-Le Saux M, Hervio-Heath D, Loaec S, Colwell RR, Pommepuy M.  2002.  Detection of Cytotoxin-Hemolysin mRNA in Nonculturable Populations of Environmental and Clinical Vibrio Vulnificus Strains in Artificial Seawater. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 68(11):5641-5646.
Lipp EK, Huq A, Colwell RR.  2002.  Effects of Global Climate on Infectious Disease: The Cholera Model. Clinical Microbiology ReviewsClin. Microbiol. Rev.. 15(4):757-770.
Beynon MD, Sussman A, Kurc T, Catalyurek U, Saltz J.  2002.  Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
Lindvall M, Basili VR, Boehm B, Costa P, Dangle K, Shull F, Tesoriero R, Williams L, Zelkowitz MV.  2002.  Empirical findings in agile methods. Extreme Programming and Agile Methods—XP/Agile Universe 2002. :81-92.
Mount SM, Chang C.  2002.  Evidence for a Plastid Origin of Plant Ethylene Receptor Genes. Plant PhysiologyPlant Physiol.. 130(1):10-14.
Tan L, Cleaveland R.  2002.  Evidence-based model checking. Computer Aided Verification. :641-680.
Spencer M, Ferreira R, Beynon M, Kurc T, Catalyurek U, Sussman A, Saltz J.  2002.  Executing Multiple Pipelined Data Analysis Operations in the Grid. SC Conference. :54-54.
Gupta H, Agrawala AK, Pruthi T, Shekhar C, Chellappa R.  2002.  An experimental evaluation of linear and kernel-based methods for face recognition. Applications of Computer Vision, 2002. (WACV 2002). Proceedings. Sixth IEEE Workshop on. :13-18.
Joshi K, Cukier M, Sanders W.  2002.  Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. Dependable Computing EDCC-4. 2485:644-648.
Zhou S, Krueger V, Chellappa R.  2002.  Face recognition from video: a CONDENSATION approach. Automatic Face and Gesture Recognition, 2002. Proceedings. Fifth IEEE International Conference on. :221-226.
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
Colwell RR.  2002.  Fulfilling the promise of marine biotechnology. Marine biotechnology in the twenty-first century: problems, promise, and productsMarine biotechnology in the twenty-first century: problems, promise, and products. :39-39.
Li B, Chellappa R.  2002.  A generic approach to simultaneous tracking and verification in video. Image Processing, IEEE Transactions on. 11(5):530-544.
Cleaveland R, Sims ST.  2002.  Generic tools for verifying concurrent systems. Science of Computer Programming. 42(1):39-47.

Pages