Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Journal Articles
Mao Y, Sun Y, M. Wu, Liu KJR.  2006.  JET: dynamic join-exit-tree amortization and scheduling for contributory key management. IEEE/ACM Trans. Netw.. 14(5):1128-1140.
Pugh W.  2000.  The Java memory model is fatally flawed. Concurrency - Practice and Experience. 12(6):445-455.
Ceccarelli D, Colwell RR.  2014.  Vibrio ecology, pathogenesis, and evolution. Frontiers in Microbiology.
Kirchberger P.C, Turnsek M., Hunt D.E, Haley B.J, Colwell RR, Polz M.F, Tarr C.L, Boucher Y..  2014.  Vibrio metoecus sp. nov., a close relative of Vibrio cholerae isolated from coastal brackish ponds and clinical specimens. INTERNATIONAL JOURNAL OF SYSTEMATIC AND EVOLUTIONARY MICROBIOLOGY. (Pt 95616795215116120545121):3208-3214.
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.
Martinelli Filho JE, Lopes RM, Rivera ING, Colwell RR.  2011.  Vibrio Cholerae O1 Detection in Estuarine and Coastal Zooplankton. Journal of Plankton Research. 33(1):51-62.
Haley BJ, Chen A, Grim CJ, Clark P, Diaz CM, Taviani E, Hasan NA, Sancomb E, Elnemr WM, Islam MA et al..  2012.  Vibrio cholerae in a historically cholera-free country. Environmental Microbiology Reports. (4):381-389.
Alam M, Islam TM, Rashed S M, Johura F-T, Bhuiyan NA, Delgado G, Morales R, Mendez J L, Navarro A, Watanabe H et al..  2012.  Vibrio Cholerae Classical Biotype Strains Reveal Distinct Signatures in Mexico. Journal of Clinical Microbiology.
Jacox EH, Samet H.  2003.  Iterative spatial join. ACM Trans. Database Syst.. 28(3):230-256.
Kilmer M, Stewart G.W.  2000.  Iterative regularization and MINRES. SIAM Journal on Matrix Analysis and Applications. 21(2):613-628.
Shih YT, Elman H.  2000.  Iterative methods for stabilized discrete convection-diffusion problems. IMA journal of numerical analysis. 20(3):333-333.
Elman H, Silvester DJ, Wathen AJ.  1997.  Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.
Elman H.  1994.  Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
Elman H.  1982.  Iterative methods for large, sparse, nonsymmetric systems of linear equations.. Dissertation Abstracts International Part B: Science and Engineering[DISS. ABST. INT. PT. B- SCI. & ENG.],. 43(5):1982-1982.
Elman H, Golub GH.  1991.  Iterative methods for cyclically reduced non-self-adjoint linear systems II. Math. Comp. 56(193):215-242.
Elman H, Golub GH.  1990.  Iterative methods for cyclically reduced non-self-adjoint linear systems. Math. Comp. 54(190):671-700.
Yuan X, Memon AM.  2010.  Iterative execution-feedback model-directed GUI testing. Information and Software Technology. 52(5):559-575.
Larman C, Basili VR.  2003.  Iterative and incremental developments. a brief history. Computer. 36(6):47-56.
Boltcheva D, Canino D, Merino Aceituno S, Léon J-C, De Floriani L, Hétroy F.  2011.  An iterative algorithm for homology computation on simplicial shapes. Computer-Aided Design. 43(11):1457-1467.
Maneewongvatana S, Mount D.  1999.  It’s okay to be skinny, if your friends are fat. Center for Geometric Computing 4th Annual Workshop on Computational Geometry.
Zelkowitz MV.  1974.  It is not time to define "structured programming". SIGOPS Oper. Syst. Rev.. 8(2):7-8.
Shi Q, JaJa JF.  2006.  Isosurface Extraction and Spatial Filtering using Persistent Octree (POT). Visualization and Computer Graphics, IEEE Transactions on. 12(5):1283-1290.
Weiss K, De Floriani L.  2010.  Isodiamond Hierarchies: An Efficient Multiresolution Representation for Isosurfaces and Interval Volumes. Visualization and Computer Graphics, IEEE Transactions on. 16(4):583-598.
Nath S, Deshpande A, Ke Y, Gibbons P, Karp B, Seshan S.  2002.  Irisnet: An architecture for compute-intensive wide-area sensor network services. Intel Corporation, Pittsburgh IRPTR-02. 10
Deshpande A, Nath S, Gibbons PB, Seshan S.  2003.  IRIS: Internet-scale Resource-Intensive Sensor Services. Intel Research, UC Berkeley, Carnegie Mellon University.

Pages