Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. JET: dynamic join-exit-tree amortization and scheduling for contributory key management. IEEE/ACM Trans. Netw.. 14(5):1128-1140.
2000. The Java memory model is fatally flawed. Concurrency - Practice and Experience. 12(6):445-455.
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.
2017. Vibrio cholerae O1 with Reduced Susceptibility to Ciprofloxacin and Azithromycin Isolated from a Rural Coastal Area of Bangladesh. Frontiers in Microbiology.
2011. Vibrio Cholerae O1 Detection in Estuarine and Coastal Zooplankton. Journal of Plankton Research. 33(1):51-62.
2012. Vibrio cholerae in a historically cholera-free country. Environmental Microbiology Reports. (4):381-389.
2012. Vibrio Cholerae Classical Biotype Strains Reveal Distinct Signatures in Mexico. Journal of Clinical Microbiology.
2000. Iterative regularization and MINRES. SIAM Journal on Matrix Analysis and Applications. 21(2):613-628.
2000. Iterative methods for stabilized discrete convection-diffusion problems. IMA journal of numerical analysis. 20(3):333-333.
1997. Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.
1994. Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
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.
1991. Iterative methods for cyclically reduced non-self-adjoint linear systems II. Math. Comp. 56(193):215-242.
1990. Iterative methods for cyclically reduced non-self-adjoint linear systems. Math. Comp. 54(190):671-700.
2010. Iterative execution-feedback model-directed GUI testing. Information and Software Technology. 52(5):559-575.
2011. An iterative algorithm for homology computation on simplicial shapes. Computer-Aided Design. 43(11):1457-1467.
1999. It’s okay to be skinny, if your friends are fat. Center for Geometric Computing 4th Annual Workshop on Computational Geometry.
2006. Isosurface Extraction and Spatial Filtering using Persistent Octree (POT). Visualization and Computer Graphics, IEEE Transactions on. 12(5):1283-1290.
2010. Isodiamond Hierarchies: An Efficient Multiresolution Representation for Isosurfaces and Interval Volumes. Visualization and Computer Graphics, IEEE Transactions on. 16(4):583-598.
2002. Irisnet: An architecture for compute-intensive wide-area sensor network services. Intel Corporation, Pittsburgh IRPTR-02. 10
2003. IRIS: Internet-scale Resource-Intensive Sensor Services. Intel Research, UC Berkeley, Carnegie Mellon University.