Publications

Export 1858 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1991
Zelkowitz MV, Cardenas S.  1991.  The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
Clemens DT, Jacobs DW.  1991.  Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.
Konieczny A, Voytas DF, Cummings MP, Ausubel FM.  1991.  A superfamily of ıt Arabidopsis thaliana retrotransposons. Genetics. 127(4):801-809.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Chakrabarti C, JaJa JF.  1991.  VLSI architectures for multidimensional transforms. Computers, IEEE Transactions on. 40(9):1053-1057.
Chakrabarti C, JaJa JF.  1991.  VLSI architectures for template matching and block matching. Parallel architectures and algorithms for image understanding. :3-27.
1990
Cleaveland R.  1990.  On automatically distinguishing inequivalent processes. Workshop on Computer-Aided Verification.
Cleaveland R, Parrow J, Steffen B.  1990.  The concurrency workbench. Automatic Verification Methods for Finite State Systems. :24-37.
Chu BTB, Reggia JA.  1990.  Diagnostic reasoning at multiple levels of abstraction. AI Systems in Government Conference, 1990. Proceedings., Fifth Annual. :168-175.
Cardenas S, Zelkowitz MV.  1990.  Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
Furnier GR, Cummings MP, Clegg MT.  1990.  Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
Furnier GR, Cummings MP, Clegg MT.  1990.  Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
Miller BP, Clark M, Hollingsworth J, Kierstead S, Lim S-S, Torzewski T.  1990.  IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
Chu B-TB, Reggia JA.  1990.  Modeling diagnostic problem-solving at multiple levels of abstraction. Artificial Intelligence Applications, 1990., Sixth Conference on. :55-61vol.1-55-61vol.1.
Cleaveland R, Steffen B.  1990.  A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
Cleaveland R, Hennessy M.  1990.  Priorities in process algebras. Information and Computation. 87(1-2):58-77.
Voytas DF, Konieczny A, Cummings MP, Ausubel FM.  1990.  The structure, distribution and evolution of the ıt Ta1 retrotransposable element family of ıt Arabidopsis thaliana. Genetics. 126(3):713-721.
Chakrabarti C, JaJa JF.  1990.  Systolic architectures for the computation of the discrete Hartley and the discrete cosine transforms based on prime factor decomposition. Computers, IEEE Transactions on. 39(11):1359-1368.
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Cleaveland R, Steffen B.  1990.  When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1989
Cole R, Vishkin U.  1989.  Faster optimal parallel prefix sums and list ranking. Information and Computation. 81(3):334-352.
Chan TF, Elman H.  1989.  Fourier Analysis of Iterative Methods for Elliptic Problems. SIAM Review. 31(1):20-49.
Chang AE, Steinberg SM, Culnane M, Lampert MH, Reggia JA, Simpson CG, Hicks JE, White DE, Yang JJ, Glatstein E.  1989.  Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.
Chang AE, Steinberg SM, Culnane M, Lampert MH, Reggia JA, Simpson CG, Hicks JE, White DE, Yang JJ, Glatstein E.  1989.  Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.

Pages