Publications
1985. Optimal parallel generation of a computation tree form. ACM Transactions on Programming Languages and Systems (TOPLAS). 7(2):348-357.
1985. The Psychology of Program Documentation. Conference on Software Maintenance, 1985, Sheraton Inn Washington-Northwest, November 11-13, 1985. :191-191.
1985. Schema manipulation in self-describing and self-documenting data models. International Journal of Parallel Programming. 14(1):1-28.
1985. SEES—A Software testing Environment Support System. IEEE Transactions on Software Engineering. SE-11(4):355-366.
1985. Solving NP-hard problems in [] almost trees': Vertex cover. Discrete applied mathematics. 10(1):27-45.
1985. The Structure of Information in Online and Paper Technical Manuals. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 29(12):1110-1113.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1984. Applications or Protected Circumscription. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings. 170:414-414.
1984. Computer-aided assessment of transient ischemic attacks. A clinical evaluation.. Archives of neurology. 41(12):1248-1248.
1984. Data collection and evaluation for experimental computer science research. Information Processing & Management. 20(1–2):269-276.
1984. Direct processing of curvilinear sensor motion from a sequence of perspective images. Proc. Workshop on Computer Vision: Representation and Control. 72:77-77.
1984. An experimental comparison of tabular and graphic data presentation. International Journal of Man-Machine Studies. 20(6):545-566.
1984. Finding biconnected components and computing tree functions in logarithmic parallel time. 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998: proceedings. :12-12.
1984. A framework for self-describing and self-documenting database systems. NBS Trends and Application Conference.
1984. GDDT--A graphical design and documentation tool for software development. Computers & Graphics. 8(3):309-323.