Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1996. An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
1996. Alignment of coexisting cortical maps in a motor control model. Neural computation. 8(4):731-755.
1996. Compressed-domain document retrieval and analysis. SPIE Conference of Multimedia Storage and Archiving Systems. 2916(1):176-187.
1996. The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
1996. Directions of motion fields are hardly ever ambiguous. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1065:119-128.
1996. DNA sequence variation in the ribosomal internal transcribed spacer region of freshwater ıt Cladophora species (Chlorophyta). J Phycol. 32(6):1035-1042.
1996. Effect of chemical reactions on the decay of isotropic homogeneous turbulence. AIAA Fluid Dynamics Conference. 96:131-131.
1996. Effects of varying parameters on properties of self-organizing feature maps. Neural Processing Letters. 4(1):53-59.
1996. Efficient distribution analysis via graph contraction. Languages and Compilers for Parallel Computing. :377-391.
1996. Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1996. Evolutionary biology of parasitic platyhelminths: The role of molecular phylogenetics. Parasitol Today. 12(2):66-71.
1996. Evolutionary biology of parasitic platyhelminths: The role of molecular phylogenetics. Parasitol Today. 12(2):66-71.
1996. A high performance image database system for remotely sensed imagery. Euro-Par'96 Parallel Processing. :109-122.
1996. Identification of the Binding Site for Acidic Phospholipids on the PH Domain of Dynamin: Implications for Stimulation of GTPase Activity. Journal of Molecular Biology. 255(1):14-21.
1996. Identification of the Binding Site for Acidic Phospholipids on the PH Domain of Dynamin: Implications for Stimulation of GTPase Activity. Journal of Molecular Biology. 255(1):14-21.
1996. Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
1996. Predictability of real-time systems: a process-algebraic approach. Real-Time Systems Symposium, IEEE International. :82-82.
1996. Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.