An object-oriented specification method for Ada. - Sidney C. Bailin (WADAS, 1988)

A lambda-Unifiability Test for Set Theory. - Sidney C. Bailin (J. Autom. Reason., 1988)

An Object-Oriented Requirements Specifications Method. - Sidney C. Bailin (Commun. ACM, 1989)

Combining object-oriented and functional paradigms in a design methodology for Ada. - Sidney C. Bailin; Manju Bewtra; J. Mike Moore (TRI-Ada, 1990)

An Ada design and implementation toolset based on object-oriented and functional programming paradigms. - Manju Bewtra; Sidney C. Bailin; J. Mike Moore (WADAS, 1990)

A Learning-Based Software Engineering Environment. - Sidney C. Bailin; Robert H. Gattis; Walt Truszkowski (KBSE, 1991)

A Learning-Based Software Engineering Environment for Reusing Design Knowledge. - Sidney C. Bailin; Robert H. Gattis; Walt Truszkowski (Int. J. Softw. Eng. Knowl. Eng., 1991)

&: Automated Natural Deduction. - Dave Barker-Plummer; Sidney C. Bailin; Andrew S. Merrill (CADE, 1992)

Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. - Dave Barker-Plummer; Sidney C. Bailin (ECAI, 1992)

Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. - Sidney C. Bailin; Dave Barker-Plummer (J. Autom. Reason., 1993)

A dynamic memory of software designs. - Scott Henderson; Sidney C. Bailin (Artif. Intell. Eng. Des. Anal. Manuf., 1994)

Domain Processes and Engineering. - Sidney C. Bailin (ACM SIGSOFT Softw. Eng. Notes, 1996)

Ontology Negotiation in a Community of Agents. - Sidney C. Bailin (FAABS, 2000)

Formal alternative management integrating logical inference and rationals (FAMILIAR). - Sidney C. Bailin; Dean Allemang (ACM SIGSOFT Softw. Eng. Notes, 2000)

Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. - Sidney C. Bailin; Walt Truszkowski (CIA, 2001)

Ontology Negotiation Using JESS. - Sidney C. Bailin; Walt Truszkowski (ICEIS (1), 2001)

Ontology Negotiation between Scientific Archives. - Sidney C. Bailin; Walt Truszkowski (SSDBM, 2001)

On the Practical Semantics of Mathematical Diagrams. - Dave Barker-Plummer; Sidney C. Bailin (Diagrammatic Representation and Reasoning, 2002)

Panel Discussion on Ontologies. - Sidney C. Bailin; Gary Berg-Cross; Timothy W. Finin (WRAC, 2002)

Ontology Negotiation: How Agents Can Really Get to Know Each Other. - Sidney C. Bailin; Walt Truszkowski (WRAC, 2002)

Ontology negotiation between intelligent information agents. - Sidney C. Bailin; Walt Truszkowski (Knowl. Eng. Rev., 2002)

Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems. - Sidney C. Bailin; Walt Truszkowski (AMKM, 2003)

Facilitating Physician-Patient Dialogue through Ontology Negotiation. - Sidney C. Bailin; Heike B. Lehmann (CBMS, 2003)

Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing. - Walt Truszkowski; Sidney C. Bailin (FLAIRS, 2003)

Knowledge-Enhanced Latent Semantic Indexing. - David Guo; Michael W. Berry; Bryan B. Thompson; Sidney C. Bailin (Inf. Retr., 2003)

Software Reuse as Ontology Negotiation. - Sidney C. Bailin (ICSR, 2004)

Progressive Autonomy - An Incremental Agent-based Approach. - Walt Truszkowski; Christopher A. Rouff; Sidney C. Bailin; Mike Rilee (Software Engineering Research and Practice, 2005)

Progressive autonomy: a method for gradually introducing autonomy into space missions. - Walt Truszkowski; Christopher A. Rouff; Sidney C. Bailin; Mike Rilee (Innov. Syst. Softw. Eng., 2005)

Features Need Stories. - Sidney C. Bailin (ICSR, 2009)

Retraction of: "A normalization theorem for set theory". - Sidney C. Bailin (J. Symb. Log., 2011)

Frontier modeling support environment: flexibility to adapt to diverse stakeholders. - Bernard P. Zeigler; James J. Nutaro; Chungman Seo; Steven B. Hall; Pamela Clark; Michael Rilee; Sidney C. Bailin; Thomas Speller; Walter Powell (SpringSim (TMS-DEVS), 2012)

A Flexible, Evolvable Data Broker. - Sidney C. Bailin; Theodora Bakker (SKY, 2015)