dblp.uni-trier.dewww.uni-trier.de

Sidney C. Bailin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
22EESidney C. Bailin: Features Need Stories. ICSR 2009: 51-64
2005
21 Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee: Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice 2005: 9-15
20EEWalt 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)
2004
19EESidney C. Bailin: Software Reuse as Ontology Negotiation. ICSR 2004: 242-253
2003
18EESidney C. Bailin, Walt Truszkowski: Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems. AMKM 2003: 368-387
17EESidney C. Bailin, Heike B. Lehmann: Facilitating Physician-Patient Dialogue through Ontology Negotiation. CBMS 2003: 248-
16 Walt Truszkowski, Sidney C. Bailin: Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing. FLAIRS Conference 2003: 62-66
15 David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin: Knowledge-Enhanced Latent Semantic Indexing. Inf. Retr. 6(2): 225-250 (2003)
2002
14EESidney C. Bailin, Walt Truszkowski: Ontology Negotiation: How Agents Can Really Get to Know Each Other. WRAC 2002: 320-334
13EESidney C. Bailin, Gary Berg-Cross, Timothy W. Finin: Panel Discussion on Ontologies. WRAC 2002: 471-474
2001
12EESidney C. Bailin, Walt Truszkowski: Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. CIA 2001: 223-228
11 Sidney C. Bailin, Walt Truszkowski: Ontology Negotiation Using JESS. ICEIS (1) 2001: 559-570
10 Sidney C. Bailin, Walt Truszkowski: Ontology Negotiation between Scientific Archives. SSDBM 2001: 245-250
2000
9EESidney C. Bailin: Ontology Negotiation in a Community of Agents. FAABS 2000: 294-297
1993
8 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
7EEDave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill: &: Automated Natural Deduction. CADE 1992: 716-720
6 Dave Barker-Plummer, Sidney C. Bailin: Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI 1992: 55-59
1991
5 Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski: A Learning-Based Software Engineering Environment. KBSE 1991: 198-206
4EESidney 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)
1989
3 Sidney C. Bailin: An Object-Oriented Requirements Specifications Method. Commun. ACM 32(5): 608-623 (1989)
1988
2 Sidney C. Bailin: A lambda-Unifiability Test for Set Theory. J. Autom. Reasoning 4(3): 269-286 (1988)
1 Sidney C. Bailin: A Normalization Theorem for Set Theory. J. Symb. Log. 53(3): 673-695 (1988)

Coauthor Index

1Dave Barker-Plummer [6] [7] [8]
2Gary Berg-Cross [13]
3Michael W. Berry [15]
4Timothy W. Finin (Tim Finin) [13]
5Robert H. Gattis [4] [5]
6David Guo [15]
7Heike B. Lehmann [17]
8Andrew S. Merrill [7]
9Mike Rilee [20] [21]
10Christopher A. Rouff (Christopher Rouff) [20] [21]
11Bryan B. Thompson [15]
12Walter Truszkowski (Walt Truszkowski) [4] [5] [10] [11] [12] [14] [16] [18] [20] [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)