Publications

Export 337 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is T  [Clear All Filters]
1991
Shneiderman B.  1991.  A taxonomy and rule base for the selection of interaction styles. Human factors for informatics usability. :325-325.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Shneiderman B.  1991.  Touch screens now offer compelling uses. IEEE Software. 8(2):93-94.
Gil J, Matias Y, Vishkin U.  1991.  Towards a theory of nearly constant time parallel algorithms. Foundations of Computer Science, 1991. Proceedings., 32nd Annual Symposium on. :698-710.
Johnson B, Shneiderman B.  1991.  Tree-maps: a space-filling approach to the visualization of hierarchical information structures. , IEEE Conference on Visualization, 1991. Visualization '91, Proceedings. :284-291.
Litwin WA, Roussopoulos N, Levy G, Hong W.  1991.  Trie hashing with controlled load. IEEE Transactions on Software Engineering. 17(7):678-691.
Miller M, Perlis D.  1991.  Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
1990
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Perlis D.  1990.  Thing and Thought. Knowledge Representation and Defeasible Reasoning. Kluwer.
Sears A, Kochavy Y, Shneiderman B.  1990.  Touchscreen field specification for public access database queries: let your fingers do the walking. Proceedings of the 1990 ACM annual conference on Cooperation. :1-7.
Tsakiris JYADP.  1990.  TRACKING IN A COMPLEX VISUAL ENVIRONMENT. Computer Vision-ECCV 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings. 1:249-249.
Khuller S, Mitchell JSB.  1990.  On a triangle counting problem. Information Processing Letters. 33(6):319-321.
Pugh W, Weddell G.  1990.  Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
1989
Perlis D.  1989.  Truth and meaning (research note). Artificial intelligence. 39(2):245-250.
1988
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
1987
Azar Y, Vishkin U.  1987.  Tight comparison bounds on the complexity of parallel sorting. SIAM J. Comput.. 16(3):458-464.
Gaitan M, Mayergoyz ID.  1987.  TIME PERTURBATION ANALYSIS FOR THE MOS SYSTEM. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering. 6(2):77-83.
Wallace DF, Anderson NS, Shneiderman B.  1987.  Time Stress Effects on Two Menu Selection Systems. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 31(7):727-731.
Gannon JD, Zelkowitz MV.  1987.  Two implementation models of abstract data types. Computer Languages. 12(1):21-25.
1986
Alon N, Azar Y, Vishkin U.  1986.  Tight complexity bounds for parallel comparison sorting. 27th Annual Symposium on Foundations of Computer Science. :502-510.
1985
Reggia JA, Nau DS, Peng Y, Perricone B.  1985.  A theoretical foundation for abductive expert systems.
Coolahan Jr JE, Roussopoulos N.  1985.  A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1984
Zelkowitz MV.  1984.  A taxonomy of prototype designs. ACM SIGSOFT Software Engineering Notes. 9(5):11-12.
1983
Coolahan JE, Roussopoulos N.  1983.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.

Pages