Publications

Export 1858 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1997
Fermüller C, Cheong LF, Aloimonos Y.  1997.  Visual space distortion. Biological Cybernetics. 77(5):323-337.
1996
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
Chen Y, Reggia JA.  1996.  Alignment of coexisting cortical maps in a motor control model. Neural computation. 8(4):731-755.
Kia OE, Doermann D, Chellappa R.  1996.  Compressed-domain document retrieval and analysis. SPIE Conference of Multimedia Storage and Archiving Systems. 2916(1):176-187.
Cleaveland R, Lewis P, Smolka S, Sokolsky O.  1996.  The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
Brodsky T, Fermüller C, Aloimonos Y.  1996.  Directions of motion fields are hardly ever ambiguous. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1065:119-128.
Marks JC, Cummings MP.  1996.  DNA sequence variation in the ribosomal internal transcribed spacer region of freshwater ıt Cladophora species (Chlorophyta). J Phycol. 32(6):1035-1042.
Martin, M.P, Candler GV.  1996.  Effect of Chemical Reactions on Decaying Isotropic Turbulence. APS Meeting Abstracts. 1
Aguirre M, Candler GV, Martin, M.P.  1996.  Effect of chemical reactions on the decay of isotropic homogeneous turbulence. AIAA Fluid Dynamics Conference. 96:131-131.
Cho S, Jang M, Reggia JA.  1996.  Effects of varying parameters on properties of self-organizing feature maps. Neural Processing Letters. 4(1):53-59.
Sheffler T, Schreiber R, Pugh W, Gilbert J, Chatterjee S.  1996.  Efficient distribution analysis via graph contraction. Languages and Compilers for Parallel Computing. :377-391.
Bhat G, Cleaveland R.  1996.  Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Arlat DPMCJ, Crouzet Y.  1996.  Estimation of time-dependent coverage. 96466
Blair D, Campos A, Cummings MP, Laclette JP.  1996.  Evolutionary biology of parasitic platyhelminths: The role of molecular phylogenetics. Parasitol Today. 12(2):66-71.
Blair D, Campos A, Cummings MP, Laclette JP.  1996.  Evolutionary biology of parasitic platyhelminths: The role of molecular phylogenetics. Parasitol Today. 12(2):66-71.
Shock C, Chang C, Davis LS, Goward S, Saltz J, Sussman A.  1996.  A high performance image database system for remotely sensed imagery. Euro-Par'96 Parallel Processing. :109-122.
Zheng J, Cahill SM, Lemmon MA, Fushman D, Schlessinger J, Cowburn D.  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.
Zheng J, Cahill SM, Lemmon MA, Fushman D, Schlessinger J, Cowburn D.  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.
Otto SP, Cummings MP, Wakeley J.  1996.  Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
Fermüller C, Aloimonos Y, Cheong L.  1996.  Interaction between 3D Shape and Motion: Theory and Applications.
Cleaveland R, Natarajan V, Sims S, Luettgen G.  1996.  Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
Cleaveland R, Sims S.  1996.  The NCSU concurrency workbench. Computer Aided Verification. :394-397.
Natarajan V, Cleaveland R.  1996.  Predictability of real-time systems: a process-algebraic approach. Real-Time Systems Symposium, IEEE International. :82-82.
Cleaveland R, L\üttgen G, Natarajan V, Sims S.  1996.  Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.

Pages