Publications

Export 292 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is F  [Clear All Filters]
1990
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Shneiderman B.  1990.  Future directions for human‐computer interaction. International Journal of Human-Computer Interaction. 2(1):73-90.
1991
Mahesh R, Rangan C.P, Srinivasan A.  1991.  On finding the minimum bandwidth of interval graphs. Information and Computation. 95(2):218-224.
Nirkhe M, Kraus S, Perlis D.  1991.  Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. :589-599.
1992
Panconesi A, Srinivasan A.  1992.  Fast randomized algorithms for distributed edge coloring. Proceedings of the eleventh annual ACM symposium on Principles of distributed computing. :251-262.
Tian J, Zelkowitz MV.  1992.  A formal program complexity model and its application. Journal of Systems and Software. 17(3):253-266.
Liao HS, Osada M, Shneiderman B.  1992.  A formative evaluation of three interfaces for browsing directories using dynamic queries.
1993
Plaisant C, Laboratory H-computer I.  1993.  Facilitating Data Exploration: Dynamic Queries On A Health Statistics Map. Proc. of the Government Statistics Section, Annual Meeting of the American Statistical Assoc. Conf. Proc, pg. :18-23.
Varshney A, Brooks FP.  1993.  Fast analytical computation of Richards's smooth molecular surface. Proceedings of the 4th conference on Visualization '93. :300-307.
Arya S, Phamdo N, Farvardin N, Mount D.  1993.  Fast search algorithms with applications to split and multi-stage vector quantization of speech lsp parameters. Speech Coding for Telecommunications, 1993. Proceedings., IEEE Workshop on. :65-66.
Marchionini G, Shneiderman B.  1993.  Finding facts vs. browsing knowledge in hypertext systems. Sparks of innovation in human-computer interaction. :103-103.
Shneiderman B.  1993.  First steps toward positive contributions. Communications of the ACM. 36(1):15-16.
Jordan PW, Dorr BJ, Benoit JW.  1993.  A first-pass approach for evaluating machine translation systems. Machine Translation. 8(1):49-58.
1994
Levi S-T, Agrawala AK.  1994.  Fault tolerant system design. :440.
Regli WC, Gupta SK, Nau DS.  1994.  Feature Recognition for Manufacturability Analysis. ISR; TR 1994-10
Berkman O, Vishkin U.  1994.  Finding level-ancestors in trees. Journal of Computer and System Sciences. 48(2):214-230.
Jacobs DW, Chennubhotla C.  1994.  Finding structurally consistent motion correspondences. Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision Image Processing., Proceedings of the 12th IAPR International Conference on. 1:650-653vol.1-650-653vol.1.
Khuller S, Naor J.  1994.  Flow in planar graphs with vertex capacities. Algorithmica. 11(3):200-225.
Dorr BJ, Garman J, Weinberg A.  1994.  From syntactic encodings to thematic roles: Building lexical entries for interlingual MT. Machine Translation. 9(3):221-250.
Yuen S, Cleaveland R, Dayar Z, Smolka S.  1994.  Fully abstract characterizations of testing preorders for probabilistic processes. CONCUR'94: Concurrency Theory. :497-512.
Shneiderman B, Plaisant C.  1994.  The future of graphic user interfaces: Personal role managers. People and Computers. :444-444.
1995
Mahajan R, Shneiderman B.  1995.  A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
Mahajan R, Shneiderman B.  1995.  A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
Pugh W, Kelly W.  1995.  Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
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.

Pages