Publications
Export 337 results:
Author Title Type [ Year] Filters: First Letter Of Title is T [Clear All Filters]
1975. TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.
1976. TORUS: A step towards bridging the gap between data bases and the casual user. Information Systems. 2(2):49-64.
1976. Toward a theory of encoded data structures and data translation. International Journal of Parallel Programming. 5(1):33-43.
1976. Travels in computerland or incompatibilities and interfaces::, Addison-Wesley, Reading, Mass., 1974. Information Processing & Management. 12(3):230-230.
1977. Teaching programming: A spiral approach to syntax and semantics. Computers & Education. 1(4):193-197.
1978. Two experimental comparisons of relational and hierarchical database models. International Journal of Man-Machine Studies. 10(6):625-637.
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. Teaching software psychology experimentation through team projects. ACM SIGCSE Bulletin. 14(3):38-40.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1983. Trade-offs between depth and width in parallel computation. Foundations of Computer Science, 1983., 24th Annual Symposium on. :146-153.
1983. Transferability of medical decision support systems based on Bayesian classification. Medical Decision Making. 3(4):501-501.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1986. Tight complexity bounds for parallel comparison sorting. 27th Annual Symposium on Foundations of Computer Science. :502-510.
1987. Tight comparison bounds on the complexity of parallel sorting. SIAM J. Comput.. 16(3):458-464.
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.
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.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.