Publications

Export 337 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is T  [Clear All Filters]
1975
Zelkowitz MV.  1975.  Third generation compiler design. Proceedings of the 1975 annual conference. :253-258.
Mylopoulos J, Borgida A, Cohen P, Roussopoulos N, Tsotsos J, Wong H.  1975.  TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.
Shneiderman B, Ho MH.  1975.  Two Exploratory Experiments in Program Comprehension.
1976
Mylopoulos J, Borgida A, Cohen P, Roussopoulos N, Tsotsos J, Wong H.  1976.  TORUS: A step towards bridging the gap between data bases and the casual user. Information Systems. 2(2):49-64.
Shneiderman B, Shapiro SC.  1976.  Toward a theory of encoded data structures and data translation. International Journal of Parallel Programming. 5(1):33-43.
Shneiderman B.  1976.  Travels in computerland or incompatibilities and interfaces::, Addison-Wesley, Reading, Mass., 1974. Information Processing & Management. 12(3):230-230.
1977
Shneiderman B.  1977.  Teaching programming: A spiral approach to syntax and semantics. Computers & Education. 1(4):193-197.
1978
Brosey M, Shneiderman B.  1978.  Two experimental comparisons of relational and hierarchical database models. International Journal of Man-Machine Studies. 10(6):625-637.
1981
Dingermann T, Sharp S, Appel B, DeFranco D, Mount SM, Heiermann R, Pongs O, Söll D.  1981.  Transcription of cloned tRNA and 5S RNA genes in a Drosophila cell free extract. Nucleic Acids ResearchNucl. Acids Res.. 9(16):3907-3918.
1982
Shneiderman B.  1982.  Teaching software psychology experimentation through team projects. ACM SIGCSE Bulletin. 14(3):38-40.
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.
Vishkin U, Wigderson A.  1983.  Trade-offs between depth and width in parallel computation. Foundations of Computer Science, 1983., 24th Annual Symposium on. :146-153.
Zagoria RJ, Reggia JA.  1983.  Transferability of medical decision support systems based on Bayesian classification. Medical Decision Making. 3(4):501-501.
1984
Zelkowitz MV.  1984.  A taxonomy of prototype designs. ACM SIGSOFT Software Engineering Notes. 9(5):11-12.
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.
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.
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.
1988
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
1989
Perlis D.  1989.  Truth and meaning (research note). Artificial intelligence. 39(2):245-250.
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.

Pages