Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sidney C. Bailin
2010 – today
- 2012
[c16]Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell: Frontier modeling support environment: flexibility to adapt to diverse stakeholders. SpringSim (TMS-DEVS) 2012: 23- 2011
- [j11]Sidney C. Bailin: Retraction of: "A normalization theorem for set theory". J. Symb. Log. 76(3): 1096 (2011)
2000 – 2009
- 2009
- [c15]
- 2005
- [j10]Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee: Progressive autonomy: a method for gradually introducing autonomy into space missions. ISSE 1(2): 89-99 (2005)
- [c14]Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee: Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice 2005: 9-15
- 2004
- [c13]
- 2003
- [j9]David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin: Knowledge-Enhanced Latent Semantic Indexing. Inf. Retr. 6(2): 225-250 (2003)
- [c12]Sidney C. Bailin, Walt Truszkowski: Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems. AMKM 2003: 368-387
- [c11]Sidney C. Bailin, Heike B. Lehmann: Facilitating Physician-Patient Dialogue through Ontology Negotiation. CBMS 2003: 248-
- [c10]Walt Truszkowski, Sidney C. Bailin: Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing. FLAIRS Conference 2003: 62-66
- 2002
- [j8]Sidney C. Bailin, Walt Truszkowski: Ontology negotiation between intelligent information agents. Knowledge Eng. Review 17(1): 7-19 (2002)
- [c9]Sidney C. Bailin, Walt Truszkowski: Ontology Negotiation: How Agents Can Really Get to Know Each Other. WRAC 2002: 320-334
- [c8]Sidney C. Bailin, Gary Berg-Cross, Timothy W. Finin: Panel Discussion on Ontologies. WRAC 2002: 471-474
- 2001
- [c7]Sidney C. Bailin, Walt Truszkowski: Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. CIA 2001: 223-228
- [c6]
- [c5]Sidney C. Bailin, Walt Truszkowski: Ontology Negotiation between Scientific Archives. SSDBM 2001: 245-250
- 2000
- [j7]Sidney C. Bailin, Dean Allemang: Formal alternative management integrating logical inference and rationals (FAMILIAR). ACM SIGSOFT Software Engineering Notes 25(1): 102 (2000)
- [c4]
1990 – 1999
- 1994
- [j6]Scott Henderson, Sidney C. Bailin: A dynamic memory of software designs. AI EDAM 8(2): 163-176 (1994)
- 1993
- [j5]Sidney C. Bailin, Dave Barker-Plummer: Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. J. Autom. Reasoning 11(3): 391-428 (1993)
- 1992
- [c3]Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill: &: Automated Natural Deduction. CADE 1992: 716-720
- [c2]Dave Barker-Plummer, Sidney C. Bailin: Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI 1992: 55-59
- 1991
- [j4]Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski: A Learning-Based Software Engineering Environment for Reusing Design Knowledge. International Journal of Software Engineering and Knowledge Engineering 1(4): 351-371 (1991)
- [c1]Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski: A Learning-Based Software Engineering Environment. KBSE 1991: 198-206
1980 – 1989
- 1989
- [j3]Sidney C. Bailin: An Object-Oriented Requirements Specifications Method. Commun. ACM 32(5): 608-623 (1989)
- 1988
- [j2]Sidney C. Bailin: A lambda-Unifiability Test for Set Theory. J. Autom. Reasoning 4(3): 269-286 (1988)
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-23 22:18 CEST by the dblp team