Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
1991. Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
1991. VLSI architectures for multidimensional transforms. Computers, IEEE Transactions on. 40(9):1053-1057.
1991. VLSI architectures for template matching and block matching. Parallel architectures and algorithms for image understanding. :3-27.
1990. On automatically distinguishing inequivalent processes. Workshop on Computer-Aided Verification.
1990. Diagnostic reasoning at multiple levels of abstraction. AI Systems in Government Conference, 1990. Proceedings., Fifth Annual. :168-175.
1990. Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
1990. Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
1990. Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
1990. IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
1990. Modeling diagnostic problem-solving at multiple levels of abstraction. Artificial Intelligence Applications, 1990., Sixth Conference on. :55-61vol.1-55-61vol.1.
1990. A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
1990. The structure, distribution and evolution of the ıt Ta1 retrotransposable element family of ıt Arabidopsis thaliana. Genetics. 126(3):713-721.
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.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
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. Faster optimal parallel prefix sums and list ranking. Information and Computation. 81(3):334-352.
1989. Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.
1989. Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.