54. Miller, L. A. (fiction, in preparation). We Mobys! The inside story of post-Asimovian robots M. Phronesis, plus the three laws, the promise, and mmm. Planned to offer for serial web publication in summer, 2025.
53. Miller, L. A. (1997). New technology for data extraction from unformatted text. Proc. SPIE 2940, National and International Law Enforcement Databases, 78 (February 7); doi:10.1117/12.266280
52. Miller, L. A. (1995). Description of the SAIC DX system as used for MUC-6. In DARPA Message Understanding Conference Results, 1995. (pp. 193-206).
51. Miller, L. A. (1995). Recommended Guidelines for Validation and Verification of Various Kinds of Systems at Various Life Cycle Phases. Workshop on Verification & Validation of Expert Systems. AI Magazine Volume 16 Number 3.
50. Miller, L. A. and Hayes, J. E. (1994). Fault-specific verification: An alternative VV&T strategy for high reliability nuclear software systems. In Wallace, B. (Ed.), Proceedings of the Digital Systems Reliability and Nuclear Safety Workshop, US Nuclear Regulatory Commission, NUREG/CR-6018, March
49. Miller, L. A. (1994) Data and Knowledge Systems for Manufacturing and Engineering, Fourth International conference sponsored by IEEE and ACM, Hong Kong, 2-4 March.
48. Miller, L. A. (1993) The value of formal methods in the Validation and Verification of AI systems, Workshop at the American Association for Artificial Intelligence, Washington, DC May
47. Jensen, K., Heidorn, G., Miller, L., & Ravin, Y. (1993). Parse fitting and prose fixing. In Natural Language Processing: The PLNLP Approach (pp. 53-64). Springer US.
46. Miller, Lance A., Hayes, Jane E., and Steven Mirsky (1993). Guidelines for the Verification and Validation of Artificial Intelligence Software Systems. Prepared for US Nuclear Regulatory Commission and EPRI May 28.
45. Miller, L. A., Groundwater, Elizabeth, and Steven Mirsky (1993). Survey and Assessment of Conventional Software Verification and Validation Methods (NUREG/CR-6018). U.S. Nuclear Regulatory Commission
44. Miller, L. A. (1992). Methodologies for verification and validation of expert systems as a function of components, criticality, and life-cycle phase. In J. Naser (Ed.) Proceedings, Methodologies, Tools, and Standards for Cost-Effective Reliable Software Verification and Validation. Electric Power Research Institute Report, EPRI TR-100294
43. Miller, L. A. (1992). AI Systems for Transportation and Distribution, Conference on AI applications for logistics, sponsored by the American Defense Preparedness Associations, Williamsburg, VA, March 30
42. Miller, L. A. (1991). Issues in developing and using knowledge-based systems, Third Annual Association for Intelligent Systems Technology Conference in Syracuse, NY, March 11
41. Miller, L. A. (1991). Mapping a KBS life cycle onto 2167A," in 7th IEEE Conference on Artificial Intelligence Applications in the US Department of Defense, Miami Beach, FL, Feb. 25.
40. Criswell, E. L., Boyer, M. A., Canody, D., & Miller, L. (1990). Student-initiated interactions in a conventional CBI lesson. Journal of Computer-Based Instruction, 17(2), 61-65.
39. Miller, L. A. (1990). A realistic industrial strength life cycle model for knowledge-based system development and testing, 3rd Annual. Workshop on Verification and Validation of Knowledge-Based Syst., Boston, MA 1–13
38. Miller, L. A. (1990). Natural Language Interfaces. Journal of the Washington Academy of Sciences, 1(3), 249-269
37. Miller, L. A. (1990). Dynamic testing of knowledge bases using the heuristic testing approach. Expert Systems with Applications, 1(3), 249-269.
36. Miller, L. A. (1989) Tutorial on validation and verification of knowledge-based systems, presented at the Conference on Expert Systems Applications for the Electric Power Industry, Orlando, FL.
35. Miller, L. A., Criswell, E. L., Weinberg, A., Byrnes, H., Groundwater, E. H., Blyskal, J., and Canody, D. V. (1989) Analysis of Foreign Language Requirements for Military Interrogators and Design of Bridge German-English Tutor. Science Applications International Corporation Report.
34. Miller, L. A. (1989) New challenges for the validation and verification of knowledge-based systems, in AAAI Issues in Validation of Knowledge Based Systems, Reno, NV.
33. Miller, L. A. (1986). Man-Machine Interface and Decision Aids in the Strategic Defense Initiative, AFCEA SDI BMC3 Industry Report published by the Armed Forces Communications and Electronics Association, May
32. Miller, L. A. (1986). Computers for Composition: A Stage Model to Helping. Visible Language, 20(2), 188-219.
31. Chodorow, M. and Miller, L. A. (1986). The interpretation of temporal order in coordinate conjunction. IBM Research Report, RC-6199
30. Miller, L. A. (1985). Natural Language Applications and Technologies. In GI/OCG/ÖGI-Jahrestagung 1985 (pp. 1038-1066). Springer Berlin Heidelberg.
29. Thomas G. Bever, John M. Carroll, and Lance A. Miller, Talking minds: The study of language in the cognitive sciences. The MIT Press, 1984. (Review by H. Gigley, Computational Linguistics, 12(1), 40-41, 1986)
28. Miller, L. A., & Thomas, J. C. (1984). Behavioral issues in the use of interactive systems. International journal of human-computer studies, 51(2), 169-196.
27. Jensen, K., Heidorn, G. E., Miller, L. A., & Ravin, Y. (1983). Parse fitting and prose fixing: getting a hold on ill-formedness. Computational Linguistics, 9(3-4), 147-160.
26. Fikes, R. E., Hewitt, C., Joloboss, V., Miller, L. A., & Chairman-Dejong, S. P. (1982, June). Views of office data. In ACM SIGOA Newsletter (Vol. 3, No. 1-2, p. 122). ACM.
25. Miller, L. A., Byrd, R., Heidorn, G., & Jensen, K. (1982). The EPISTLE Project. ACM SIGART Bulletin, (79), 61
24. Miller, L. A. (1982), Building Non-Normative Systems — The Search for Robustness. American Journal of Computational Linguistics, Volume 8, Number 1.
23. Miller, L. A. (1982). Natural language texts are not necessarily grammatical and unambiguous or even complete. In Proceedings of the 20th annual meeting on Assoc. of Comp. Linguistics (pp. 167-168).
22. Miller, L. A. (1982). How to Write: A Barely Annotated Bibliography. IBM Research Report.
21. Dunlavey, M. R., & Miller, L. A. (1981). Technical corrections: On spelling correction and beyond. Communications of the ACM, 24(9), 608-609.
20. Miller, L. A., Heidorn, G. E., & Jensen, K. (1981). Text-critiquing with the EPISTLE system: an author\'s aid to better syntax. In Proceedings of the May 4-7, 1981, National Computer Conference (pp. 649-655). ACM.
19. Miller, L. A. (1981), Natural language programming: Styles, Strategies, and Contrasts. IBM Systems Journal, 1981, 20 (2), 184–215.
18. Miller, L. A. (1981). Processing the Natural Language Content. American J of Computational Ling., 7(3), 181.
17. Miller, L. A. (1980). Project EPISTLE: A System for the Automatic Analysis of Business Correspondence. In American Association for Artificial Intelligence, August (pp. 280-282).
16. Malhotra, A., Thomas, J. C., Carroll, J. M., & Miller, L. A. (1980). Cognitive processes in design. International Journal of Man-Machine Studies, 12(2), 119-140.
15. Carroll, J. M., Thomas, J. C., Miller, L. A., & Friedman, H. P. (1980). Aspects of solution structure in design problem solving. The American Journal of Psychology, 269-284.
14. Miller, L. A. (1980). Review of the process of question answering: a computer simulation of cognition by Wendy G. Lehnert. Lawrence Erlbaum Associates 1978. Computational Linguistics, 6(3-4), 187-189.
13. Miller, L. A. (1978). Behavioral Studies of the Programming Process. IBM Research Report, RC-2934.
12. Evans, Roger C., and Lance A. Miller (1978). STARCAT, A System to Analyze Interactive CMS Performance. No. RC-7072. IBM Research Lab Yorktown Heights NY, 1978.
11. Thomas, J. C., Lyon, D., & Miller, L. A. (1977). Aids for Problem Solving (No. RC-6468). IBM Thomas J Watson Research Center Yorktown Heights NY.
10. Miller, L. A. (1976). Unblocking creative problem solving. Book review of Conceptual Blockbusting by J. Adams, in Contemporary Psychology, 21, 542-544.
9. Miller, L. A. (1976). Natural language procedures: Guides for programming language design. In International Ergonomics Association Meeting, University of Maryland (Vol. 1, p. 76).
8. Miller, L. A. (1975). Naive programmer problems with specification of transfer-of-control. In Proceedings of the May 19-22, 1975, National Computer Conference and Exposition (pp. 657-663). ACM.
7. Miller, L. A., & Becker, C. A. (1974). Programming in Natural English, IBM Research Report RC-5137.
6. Miller, L. A. (1974). Conjunctive concept learning as affected by prior relevance information and other informational variables. Journal of Experimental Psychology, 103(6), 1220.
5. Schoonard, J. W., Gould, J. D., & Miller, L. A. (1973). Studies of visual inspection. Ergonomics, 16(4), 365-379.
4. Miller, L. A. (1972). Quantitative and Qualitative predication of human conjunctive concept learning performance from an "Efficient Hypothesis Search" model. IBM Research Report RC-3920
3. Miller, L. A. (1971). Hypothesis analysis of conjunctive concept-learning. Psychological Review, 78(3), 262.
2. Miller, L. A. (1968). The effects of procedural and informational variables on conjunctive concept attainment performance. University of Wisconsin—Madison Report. PhD dissertation
1. Miller, L. A. (1966). Discrimination Learning of College Subjects as a Function of Type of Shift, Amount of Irrelevant Information, and Successive Problems. University of Wisconsin—Madison Report. Master's Thesis.