Publications

Export 1858 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1994
Chen C, Porter A, Purtilo J.  1994.  Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
Chang Y, Raschid L, Dorr BJ.  1994.  Transforming queries from a relational schema to an object schema: A prototype based on F-logic. Methodologies for Intelligent SystemsMethodologies for Intelligent Systems. 869:154-163.
Cummings MP.  1994.  Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
Carr D, Plaisant C, Hasegawa H.  1994.  Usability Experiments for the Redesign of a Telepathology Workstation. CS-TR-3270
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
Gershon N, Card SK, Roth SF, Shneiderman B.  1994.  Visualization in the information highway. Proceedings of the conference on Visualization '94. :4-7.
1995
Fermüller C, Cheong LF, Aloimonos Y.  1995.  3D motion representations in visual servo control. Proceedings of International Symposium on Computer Vision, 1995. :61-66.
Natarajan V, Cleaveland R.  1995.  Divergence and fair testing. Automata, Languages and Programming. :648-659.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Shneiderman B, Chimera R, Jog N, Stimart R, White D.  1995.  Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
Cleaveland R, Madelaine E, Sims S.  1995.  A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
Celikkan U, Cleaveland R.  1995.  Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
Celikkan U, Cleaveland R.  1995.  Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
Hannenhalli S, Chappey C, Koonin EV, Pevzner PA.  1995.  Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
Plaisant C, Morrison S, Skokowski C, Reesch J, Shneiderman B, of at Laboratory U M C P. H/C I, Channel F.  1995.  Human-Computer Interaction Laboratory 1995 Video Reports.
Plaisant C, Carr D, Shneiderman B.  1995.  Image-browser taxonomy and guidelines for designers. IEEE Software. 12(2):21-32.
Raschid L, Chang Y.  1995.  Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
Cheong LF, Aloimonos Y.  1995.  Iso-distortion contours and egomotion estimation. Proceedings of International Symposium on Computer Vision, 1995. :55-60.
Liang S, Davis LS, Townshend J, Chellappa R, DeFries R, Dubayah R, Goward S, JaJa JF, Krishnamachar S, Roussopoulos N et al..  1995.  Land cover dynamics investigation using parallel computers. Geoscience and Remote Sensing Symposium, 1995. IGARSS '95. 'Quantitative Remote Sensing for Science and Applications', International. 1:332-334vol.1-332-334vol.1.
Cleaveland R, Iyer P, Yankelevich D.  1995.  Optimality in abstractions of model checking. Static Analysis. :51-63.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Chari S, Rohatgi P, Srinivasan A.  1995.  Randomness-Optimal Unique Element Isolation with Applications to Perfect Matching and Related Problems. SIAM Journal on Computing. 24(5):1036-1036.
Cummings MP, Otto SP, Wakeley J.  1995.  Sampling properties of DNA sequence data in phylogenetic analysis. Mol Biol Evol. 12(5):814-822.
Bader DA, JaJa JF, Chellappa R.  1995.  Scalable data parallel algorithms for texture synthesis using Gibbs random fields. Image Processing, IEEE Transactions on. 4(10):1456-1460.

Pages