Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1988. Optimal parallel algorithms for expression tree evaluation and list ranking. VLSI Algorithms and Architectures. :91-100.
1988. A united approach to finding enclosing and enclosed triangles. Proceedings of 26th Allerton Conference on Communication, Control and Computing.
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.
1989. A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
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.