Bailin, S., Simos, M., Levine, L., and Creps, R. Learning and Inquiry Based Reuse Adoption (LIBRA). IEEE Press, 2000.

Nichols, E., Bailin, S., and Nichols, J. UNIX Survival Guide. Holt, Rinehart and Winston, 1986.

Bailin, S. and Truszkowski, W. Perspectives: an analysis of multiple viewpoints in agent-based systems. Agent-Mediated Knowledge Management, ed. Elst, L.v., Dignum, V., Abecker, A., Springer LNCS (LNAI) Vol. 2926, 2004, pages 368-387.

Bailin, S. Object oriented analysis. In Encyclopedia of Software Engineering, 2nd Edition, ed. John Marciniak. John Wiley and Sons, 2002.

Barker-Plummer, D. and Bailin, S. On the semantics of mathematical diagrams. In Diagrammatic Reasoning, ed. M. Anderson, Springer Verlag, 2001.

Moore, M. and Bailin, S. Domain analysis: Framework for reuse. In Domain Analysis and Software System Modeling, ed. G. Arango and R. Prieto-Diaz. IEEE Computer Society Press, 1990.

Meyer, D.E., Bailin, S.C., Vallero, D., Egeghy, P.P., Shi, L.V., and Cohen-Hubal, E.A. Enhancing life cycle chemical exposure assessment through ontology modeling. Science of the Total Environment, Volume 712, 2020.

Mittal,V.K., Bailin, S.C., Gonzalez, M.A., Meyer, D.E., Barrett, W.M., and Smith, R.L. Toward Automated Inventory Modeling in Life Cycle Assessment: The Utility of Semantic Data Modeling to Predict Real-World Chemical Production. ACS Sustainable Chem. Eng., December 6, 2017.

Truszkowski, W., Rouff, C., Bailin, S., and Rilee, M. Progressive autonomy: a method for gradually introducing autonomy into space missions. Innovations in Systems and Software Engineering, Vol. 1, No. 2, September 2005, pages 89-99.

Bailin, S. Diagrams and design stories. Machine Graphics and Vision, Vol. 12, No. 1, 2003.

Guo, D., Berry, M.W., Thompson, B., and Bailin, S. Knowledge-enhanced latent semantic indexing. Information Retrieval, Vol. 6, Issue 2, pages 225-250, April 2003.

Bailin, S. and Truszkowski, W. Ontology negotiation between intelligent information agents. Knowledge Engineering Review, Vol. 17, Issue 1, March 2002.

Barker-Plummer, D. and Bailin, S. The role of diagrams in mathematical proofs. Machine Graphics and Vision, Vol. 6, No. 1, 1997.

Bailin, S. Software development as knowledge creation. International Journal of Applied Software Technology, Vol. 3, No. 1, March 1997.

Henderson, S. and Bailin, S. A dynamic memory of software designs. Journal of Artificial Intelligence in Engineering Design, Analysis, and Manufacturing, 8, pages 163 - 176. 1994.

Bailin, S. and Barker-Plummer, D. Z-match: An inference rule for incrementally elaborating set instantiations. Journal of Automated Reasoning, Vol. 11, No. 3. December 1993.

Bailin, S. and Henderson, S. An application of machine learning to the organization of institutional software repositories. Telematics and Informatics, Vol. 10, No. 3, September 1993.

Bailin, S., Paterra, F., Truszkowski, W., and Henderson, S. Model-based reasoning for system and software engineering. Telematics and Informatics, Vol. 10, No. 3, September 1993.

Bailin, S., Gattis, R., and Truszkowski, W. A learning-based software engineering environment for reusing design knowledge. International Journal of Software Engineering and Knowledge Engineering, 1(4):351 - 371, 1991.

Bailin, S., Moore, M., Hilberg, R., and Murphy, E. A logical model of cooperating rule-based systems. Telematics and Informatics, 6(3/4), 1989.

Bailin, S. An object-oriented requirements specification method. Communications of the ACM, May 1989. Earlier version presented at the Fifth Washington Ada Symposium - Best Paper Award.

Bailin, S. A lambda-unifiability test for set theory. Journal of Automated Reasoning, 4(3), September 1988.

Hanson, K., Surkis, A., Bailin, S., Bourges-Waldegg, D., Cheng, S., Ciriello, M., and Bakker, T. Local research resource discovery and sharing: How will eagle-i fly? To be presented at the Medical Library Association Annual Meeting and Exhibition, MLA '14, Chicago, May 16-21, 2014.

Rilee, M., Curtis, S., Clark, P., and Bailin, S. Frontier, a decision engine for designing stable adaptable complex systems: Adaptive framework. Proceedings of the 2012 IEEE Aerospace Conference, 3-10 March 2012.

Bailin, S. Features need stories. In S. Edwards, and G. Kulczycki (eds.), Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse (ICSR 2009), Falls Church, VA, USA, September 27-30, 2009. Lecture Notes in Computer Science 5791, Springer 2009.

Cockrell, J., Wysocki, P., Hodgson, R., and Bailin, S. Wire integrity management using sensors on-board manned aero-spacecraft. Proceedings of the 2006 IEEE Aerospace Conference, 4-11 March 2006.

Bailin, S. Software reuse as ontology negotiation. Eighth International Conference on Software Reuse (ICSR 2004), Madrid, Spain, July 5-9. Lecture Notes in Computer Science 3107, Springer, 2004.

Bailin, S. and Lehmann, H. Facilitating physician-patient dialogue through ontology negotiation. Sixteenth IEEE Symposium on Computer-Based Medical Systems (CBMS 2003).

Truszkowski, W. and Bailin, S. Ontology negotiation between strange agents. International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L’Aquila, Italy, August 2001.

Bailin, S. and Truszkowski, W. Ontology negotiation: a dynamic approach to substantive communication between agents. Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, Florida, July 2001.

Bailin, S. and Truszkowski, W. Ontology negotiation between scientific archives. Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management (SSDBM 2001), IEEE Press, July 2001.

Bailin, S. and Truszkowski, W. Ontology negotiation using JESS: inferencing for web-based knowledge retrieval. Proceedings of the Third International Conference on Enterprise Information Systems (ICEIS 2001), Setubal, Portugal, July 2001.

Johnson, M., Rilee, M., Truszkowski, W., and Bailin, S. Using model-based reasoning for autonomous instrument operation – lessons learned from IMAGE/LENA. AAAI Symposium on Robust Autonomy, April 2001.

Johnson, M., Rilee, M., Truszkowski, W., and Bailin, S. Autonomous instrument control for LENA. IEEE Conference on Aerospace Systems, 2001.

Bailin, S. and Henderson, S. A tool for reasoning about software models. Proceedings of the Computer Assurance Conference, ACM Press, June 1993.

Barker-Plummer, D. and Bailin, S. Graphical theorem proving: An approach to reasoning with the help of diagrams. In Proceedings of the 10th European Conference on Artificial Intelligence. John Wiley and Sons, August 1992.

Barker-Plummer, D., Bailin, S., and Merrill, A. Automated natural deduction. In Proceedings of the Ninth Conference on Automated Deduction. Springer Verlag, June 1992.

Jiang, J., Murphy, E., Bailin, S., Truszkowski, W., and Szczur, M. Prototyping a knowledge-based compliance checker for user interface evaluation in Motif development environments. Proceedings of the Conference on Motif Applications, November 1992.

Jiang, J., Murphy, E., Bailin, S., and Truszkowski, W. Automating a human factors evaluation of graphical user interfaces for NASA applications: an update on CHIMES. Proceedings of the Space Operations Conference, December 1992.

Bailin, S., Gattis, R., and Truszkowski, W. A learning-based software engineering environment. In P. Selfridge, editor, Proceedings of the Sixth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press, September 1991.

Gattis, R. and Bailin, S. Applying explanation-based learning to learn repairs in a case-based reasoning system. In M. Fishman, editor, Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, April 1991.

Bewtra, M. and Bailin, S. Combining object-oriented and functional paradigms in a design methodology for Ada. In Proceedings of the TriAda '90 Conference. ACM Press, December 1990.

Bailin, S., Moore, M., Bentz, R., and Bewtra, M. KAPTUR: Knowledge acquisition for preservation of tradeoffs and underlying rationales. In Proceedings of the Fifth Knowledge-Based Software Assistant Conference. Rome Laboratory, September 1990.

Bailin, S., Bewtra, M., and Moore, M. An Ada design and implementation toolset based on object-oriented and functional programming paradigms. In Proceedings of the Seventh Washington Ada Symposium. ACM Press, June 1990.

Bailin, S. An automated quality assessor for Ada object-oriented designs. In Proceedings of the Fortieth National Aerospace and Electronics Conference. IEEE Aerospace and Electronic Systems Society, May 1988.

Bailin, S. Distribution of access control functions in a local area network. In Proceedings of the Computer Networking Symposium. IEEE Computer Society, December 1982.

Bailin, S. Progressive formalization and evolving narrative as preconditions for knowledge reuse. Second Workshop on Knowledge Reuse, Falls Church, VA, September 27, 2009.

Bailin, S., Hodgson, R., Keller, P. Large-scale knowledge sharing for NASA exploration systems. International Workshop on Knowledge Reuse, Beijing, China, May 25, 2008.

Bailin, S. and Truszkowski, W. Ontology negotiation as a basis for opportunistic cooperation between intelligent information agents. Proceedings of the Fifth International Workshop on Cooperative Information Agents (CIA 2001), ed. M. Klusch and F. Zambonelli. Lecture Notes in Artificial Intelligence 2182, Springer, September 2001.

Bailin, S. and Truszkowski, W. Ontology negotiation between agents supporting intelligent information management. Workshop on Ontologies in Agent-based Systems (OAS 2001), Fifth International Conference on Autonomous Agents (Agents 2001), Montreal, June 2001. ACM Press, pages 13-20.

Bailin, S. A software reuse environment. In Proceedings of the 12th Annual Software Engineering Workshop. Software Engineering Laboratory, NASA Goddard Space Flight Center, December 1987.