[2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1992] [1991] [1990]

2007

• Salayandia, L., and A. Gates. Towards a Workflow Management System for Service Oriented Modules, to appear in the International Journal of Simulation and Process Modeling, 3(1-2), 2007.
  

2006

• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems 31(4-5): 381-395, 2006. (Abstract) (PDF)
• Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro da Silva, Li Ding, Dhyanesh Narayanan and Mayukh Bhaowal. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study. Proceeding of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006. (Abstract) (PDF)
• Patricia Victor, Chris Cornelis, Martine De Cock, Paulo Pinheiro da Silva. Towards a Provenance-Preserving Trust Model in Agent Networks. Proceeding of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006.
• Salayandia, L., Huang, Y., Gates, A.Q., and S. Roach, GeoNet: Use of Grid Technologies in Geoinformatics for the Transition Zone between the Colorado Plateau and the Basin & Range Province, in Geoinformatics: Data to Knowledge, (A.K. Sinha, ed.), Geological Society of America, 2006.
• Gates, A., Kreinovich, V., Longpre, L., Pinheiro da Silva, P., and G. Randy Keller, Towards Secure Cyberinfrastructure for Sharing Border Information, Proceedings of the Lineae Terrarum: International Border Conference, El Paso, Las Cruces, and Cd. Juarez, March 27-30, 2006.

2005

• Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes. Explaining Results from Information Retrieval and Integration. In International Symposium on Explanation-aware Computing, AAAI Fall Symposium, Washington, D.C., November 3-6, 2005. (Abstract) (PDF)
• Christopher Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David Ferrucci, Richard Fikes. Tracking Information Extraction from Intelligence Documents. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005. (Abstract) (PDF)
• Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 29 to June 1, 2005 Springer, pages 303-317, 2005. (Abstract) (PDF)
• Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. In Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, pages 384-392, 2005. (Abstract) (PDF)
• J. William Murdock, Paulo Pinheiro da Silva, David Ferrucci, Christopher Welty and Deborah L. McGuinness. Encoding Extraction as Inferences. In Proceedings of AAAI Spring Symposium on Metacognition on Computation, AAAI Press, Stanford University, USA, pages 92-97, 2005. (Abstract) (PDF)
• Martine De Cock, Paulo Pinheiro da Silva. A Many Valued Representation and Propagation of Trust and Distrust. In Proceedings of International Workshop on Fuzzy Logic and Applications 2005 (WILF2005), Springer, Crema, Italy, 2005. (Abstract) (PDF)
• Li Ding, Tim Finin, Y. Peng, Paulo Pinheiro da Silva, Deborah L. McGuinness. Tracking RDF Graph Provenance using RDF Molecules. Technical Report KSL-05-06, Knowledge Systems, AI Laboratory, Stanford University. 2005. (Abstract) (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock and David Ferrucci. Exposing Extracted Knowlegde Supporting Answers. Technical Report KSL-05-03, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. Explaining Problem Solver Answers. Technical Report KSL-05-02, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness, Richard Fikes and Priyendra Deshwal. Towards Checking Hybrid Proofs. Technical Report KSL-05-01, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Vladia Pinheiro, Andreia Liborio, Tiago Cordeiro, Ismael Rocha, Paulo Pinheiro da Silva, Elizabeth Furtado and Vasco Furtado. Auxiliando o Desenvolvimento de Explicacoes para Sistemas Baseados em Conhecimento (in Portuguese). In Encontro Nacional de Inteligencia Artificial (ENIA2005), Sao Leopoldo, RS, Brazil, SBC, July 2005. (DOC)
• Salamah, S., Gates, A., Roach, S., and O. Mondragon, Verifying Pattern-Generated LTL Formulas: A Case Study, Model Checking Software, Proceedings 12th International SPIN Workshop in Lecture Notes in Computer Science, Springer, 2005, pp. 200-220.
• Mondragon, O., Gates, A., Mendoza, H., Sokolsky, O., Generating Properties for Runtime Monitoring from Software Specification Patterns, Proceedings 17th International Conference on Software Engineering and Knowledge Engineering, July 2005.
• Gates, A., S. Roach, I. Gallegos, O. Ochoa, and O. Sokolsky, JavaMaC and Runtime Monitoring for Geoinformatics Grid Services, Proceedings 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS 2005, February 2005, pp. 105-112.
  

2004

• Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics, Vol. 1 No. 4. October 2004, pages 397-413. (Abstract) (PDF)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Trusting Answers from Web Applications. In Mark T. Maybury, editor, New Directions in Question Answering. Chapter 21, AAAI/MIT Press, October 2004. (PDF) (PS)
• Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro da Silva. Towards Explaining Semantic Matching. In 2004 International Workshop on Description Logics - DL2004, Whistler, British Columbia, Canada. CEUR Workshop Proceedings Vol. 104, 2004. (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Cynthia Chang. IWBase: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness and Richard Fikes. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Poster track of the 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, 7-11 Nov. 2004. (PDF)
• Delgado, N., Gates, A. Q. Gates, and S. Roach, A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools, IEEE Transactions on Software Engineering, 30(12), December 2004, 859-872.
• Mondragon, O. and A. Q. Gates, Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions, International Journal on
  Software Engineering and Knowledge Engineering, 14(1):21-41, February 2004.
• Keller, G., et al., A Community Effort to Construct a Gravity Database for the United States and an Associated Web Portal, Geological Society of America Special Paper on Geoinformatics, 2004.
• Aldouri, R., et al., GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies, in Proceedings of the ESRI User Conference, Aug. 2004.
  
  

2003

• Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin. Vol. 26 No. 4, pages 26-32, December 2003. (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Infrastructure for Web Explanations. In Proceedings of 2nd International Semantic Web Conference (ISWC2003), D. Fensel, K. Sycara and J. Mylopoulos (Eds.), LNCS 2870, Sanibel, FL, USA. Springer, pages 113-129, October 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), S. Kambhampati and C. Knoblock (Eds.), Acapulco, Mexico. August, 2003, pages 117-122. (Abstract) (PDF) (PS)
  
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering. Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. M. Maybury (Ed.), Stanford University, Stanford, CA, USA, pages 67-71, AAAI Press, March 2003. (PDF) (PS)
• Paulo Pinheiro da Silva and Norman W. Paton. Improving UML Support for User Interface Design: A Metric Assessment of UMLi. Proceedings of ICSE-2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, R. Kazman, L. Bass and J. Bosch (Eds.), Portland, OR, USA, 2003. IFIP, pages 76-83. (Abstract) (PDF) (PS)
  
• Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modeling in UMLi. IEEE Software, Vol.20 No. 4, July/August 2003, pages 62-69. (Abstract) (PDF)
• Paulo Pinheiro da Silva and Deborah L. McGuinness. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable Explanations for the Web. Technical Report KSL-03-02, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)
• Gates, A. Q., Mondragon, O., and F. Kassem, Automated Support for Property Specification Based on Patterns, Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, July 2003, pp. 174-181.
• Mondragon, O., Gates, A. Q., and S. Roach, Prospec: Support for Elicitation and Formal Specification of Software Properties, Electronic Notes in Theoretical Computer Science, O. Sokolsky and V. Mahesh (eds.), 2003.
• Gates, A. Q., Mondragon, O., Payne, M., and S. Roach, Instrumentation of Intermediate Code for Runtime Verification, Proceedings 28th Annual NASA Goddard/IEEE Software Engineering Workshop, December 2003.
  

2002

• Emmanuel Dubois, Paulo Pinheiro da Silva and Philip D. Gray. Notational Support for the Design of Augmented Reality Systems. In Proceedings of the 9th International Workshop on Design, Specification and Verification of Interactive Systems, P. Forbrig, Q. Limbourg, B. Urban and J. Vanderdonckt (Eds.), Rostock, Germany. LNCS Vol 2545, pages 74-88, Springer, 2002. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva. Object Modelling of Interactive Systems: The UMLi Approach. PhD's thesis, Department of Computer Science, University of Manchester, United Kingdom, 2002. (PDF) (PS)
• Gates, A.Q., Mondragon, O., FasTLInC: A Constraint-based Tracing Approach, The Journal of Systems and Software, 63(2002): 241-258.
• Mondragon, O., Gates, A. Q., and S. Roach, Composite Propositions: Toward Support for Formal Specification of System Properties, Proceedings 27th Annual NASA Goddard/IEEE Software Engineering Workshop, December 2002, pp. 67-74.
  

2001

• Paulo Pinheiro da Silva and Norman W. Paton. A UML-Based Design Environment for Interactive Applications. In Proceedings of the 2nd International Workshop on User Interfaces to Data Intensive Systems (UIDIS'01), E. Kapetanios and H. Hinterberger (Eds.), Zurich, Switzerland, pages 60-71, IEEE Computer Society, 2001. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Alberto H. F. Laender and Paulo B. Golgher. A Simulation Model for Performance Evaluation when Migrating a Legacy System. In Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR2001), P. Sousa and J. Ebert (Eds.), Lisbon, Portugal, pages 210-216, IEEE Computer Society, 2001. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva. A Proposal for a LOTOS-Based Semantics for UML. Technical Report UMCS-01-06-1, Department of Computer Science, University of Manchester, UK, June 2001. (Abstract) (PDF) (PS)
• Tony Griffiths, Peter J. Barclay, Norman W. Paton, Jo McKirdy, Jessie Kennedy, Philip D. Gray, Richard Cooper, Carole A. Goble and Paulo Pinheiro da Silva. Teallach: A Model-Based User Interface Development Environment for Object Databases. In Interacting with Computers, Vol. 14, Issue 1, pages 31-68, December 2001. (Abstract) (PDF)
• Gates, A. Q., Roach, S., Mondragon, O., N. Delgado, DynaMICs: Comprehensive Support for Run-Time Monitoring, in Electronic Notes in Theoretical Computer Science, K. Havelund and G. Rosu (eds.), 55(2), 2001, www.elsevier.nl/locate/entc.
• Wen, Q., Gates, A. Q., Beck, J., Kreinovich V., and G. R. Keller, Towards Automatic Detection of Erroneous Measurement Results in a Gravity Database, Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, AZ, (Oct. 2001): 2170-2175.
• Roach, S., and Gates, A., Towards Synthesis of Runtime Constraint Monitoring Code, Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification in conjunction with the International Conference on Software Engineering (ICSE 2001), Toronto, Canada, May 13, 2001.
  
• Gates, A. and Roach, S., A Framework for Knowledge Management and Automated Constraint Monitoring, Proceedings of the Monterey 2001 Workshop on Engineering Automation for Software Intensive System Integration, Monterey, California, June 18 - 22, 2001: 77-99.
  

2000

• Paulo Pinheiro da Silva and Norman W. Paton. UMLi: The Unified Modeling Language for Interactive Applications. In <<UML>>2000 - The Unified Modeling Language: Advancing the Standard (3rd International Conference on the Unified Modeling Language, York, United Kingdom, October, 2-6, 2000), A. Evans, S. Kent and B. Selic (Eds.). LNCS Vol 1939, pages 117-132, Springer, 2000. (Abstract) (PDF)
• Paulo Pinheiro da Silva. UMLi: Integrating User Interface and Application Design. In Electronic proceedings of the UML2000 Workshop on Towards a UML Profile for Interactive Systems Development (TUPIS2000), York, United Kingdom, October 2000. (HTML)
• Paulo Pinheiro da Silva. User Interface Declarative Models and Development Environments: A Survey. In Interactive Systems: Design, Specification, and Verification (7th International Workshop DSV-IS, Limerick, Ireland, June, 2000), Ph. Palanque and F. Paternò (Eds.). LNCS Vol. 1946, pages 207-226, Springer, 2000. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modelling with UML. In Information Modelling and Knowledge Bases XII (10th European-Japanese Conference on Information Modelling and Knowledge Representation, Saariselka, Finland, May, 8-11, 2000), H. Kangassalo, H. Jaakkola, E. Kawaguchi (Eds), pages 203-217, IOS Press, Amsterdam, 2001. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva, Tony Griffiths and Norman W. Paton, Generating User Interface Code in a Model Based User Interface Development Environment. In Proceedings of the International Working Conference on Advance Visual Interfaces2000 (AVI2000), V. Gesu, S. Levialdi and L. Tarantino (Eds.). Palermo, Italy, pages 155-160, ACM Press, May 2000. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva, Alberto H. F. Laender, Rodolfo Resende and Paulo B. Golgher. Characterizing a Synthetic Workload for Performance Evaluation during the Migration of a Legacy System. In Proceedings of the 4th European Conference on Software Maintenance and Reengineering (CSMR2000), J. Ebert and C. Verhoef (Eds.). Zurich, Switzerland, pages 173-181, IEEE Computer Society, 2000. (Abstract) (PDF) (PS)
• Gates, A.Q. and Teller, P. J., An Integrated Design of a Dynamic Software-Fault Monitoring System, Transactions of the SDPS: Journal of Integrated Design & Process Science, 14(3): 63-78, September 2000.
• Gates, A.Q., How Can Symposia Be Structured to Benefit Both Industry and Academia?, Proceedings of the Fifth IEEE International High Assurance Systems Engineering Symposium, Albuquerque, N.M., November 2000: 45-46.
• Gates, A.Q., Mondragon, O., Saenz, F., and Cereceres, R., The Use of Integrity Constraints to Support Tracing, Proceedings of Software Engineering and Knowledge Engineering, June 2000, 195-204.
• Teller, P.J. and Gates, A. Q., Progress Towards a Comprehensive Knowledge-based Monitoring System for the Development and Evolution of Software, Proceedings of Computational Aeroscience Workshop 2000, NASA Ames, February 2000.
  

1999

• Paulo Pinheiro da Silva, Alberto H. F. Laender, Rodolfo Resende and Paulo B. Golgher. CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems. In Advances in Conceptual Modeling (ER'99 Workshop on Reverse Engineering in Information Systems, Paris, France, November 15-18,1999), P.P. Chen, D.W. Embley, J. Kouloumdjian, S.W. Liddle and J.F. Roddick (Eds.). LNCS Vol. 1727, Springer, pages 198-212, 1999. (Abstract) (PDF) (PS)
• Subbaramu, S., Gates, A. Q., and Kreinovich, V., Application of Kolmogorov Complexity to Image Compression: It Is Possible to Have a Better Compression, But It Is Not Possible to Have the Best One, Bulletin of the European Association of Theoretical Computer Science, 69: 145-150, October 1999.
• Gates, A. Q. and Teller, P. J., DynaMICs:  An Automated and Independent Software-Fault Detection Approach, Proceedings of the Fourth IEEE International High Assurance Systems Engineering Symposium, Washington, D.C., November 1999, 11-19.
• Teller, P. J., Maxwell, M. E., and A. Q. Gates, Towards the Design of a Snoopy Coprocessor for Dynamic Software-Fault Detection, Proceedings of the 1999 IEEE International Performance, Computing, and Communications Conference (IPCCC '99), February 1999, 310-317.
  

1998

• Paulo Pinheiro da Silva. A Study on the Migration of Centralised Legacy Systems to Distributed Environments. Master's thesis, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Brazil, June 1998. (In Portuguese). (PDF) (PS)
• Gates, A. Q., Kreinovich, V., and Longpre, L., Kolmogorov Complexity Justifies Software Engineering Heuristics, Bulletin of the European Association for Theoretical Computer Science, 66: 150-154, October 1998.
• Gates, A. Q. and Li, S., Software Faults and Their Detection Through DynaMICs, Proceedings of the International Association of Science and Technology for Development (IASTED) Software Engineering, (R. Lee, ed.). Anaheim, CA:  ACTA Press, 1998, 323-327.
• Gates, A., Kreinovich, V., Sifuentes, L, and S. Starks, OO or Not OO:  When Object-Oriented is Better Qualitative Analysis and Application to Satellite Image Processing, Proceedings of Interval Computations and its Applications to Reasoning under Uncertainty, Knowledge Representation and Control Theory, in conjunction with the 4th World Congress on Expert Systems, Mexico City, March 1998.
  

1997

• Auguston, M., A. Gates, and M. Lujan, Defining a Program Behavior Model for Dynamic Analyzers, Proceedings International Conference on Software Engineering Knowledge Engineering, Madrid, Spain, June 1997, 257-262.
• Gates, A. and C. Kubo Della-Piana, The Identification of Integrity Constraints in Requirements for Context Monitoring, Proceedings of the 1997 IEEE International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, IEEE Computer Society Press, March 1997, 498-505.
  

1996

• Cooke, D.E.,  Gates, A., Demirors, O., Demirors, E., Tanik, M. and Kramer, B., Languages for the Functional Specification of Software, The Journal of Systems and Software, 32:269-308, March 1996.
• Gates, A., Fernandez, F.G., and L. Romo, Building Systems with Integrity Constraints, The  Proceedings from the Second World Conference on Integrated Design and Process Technology Vol. 1, Austin, TX, Society for Design and Process Science, December 1996, 437-444.
• Gates, A., On Defining a Class of Integrity Constraints, Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, NV, June 1996, 338-344.
  

1995

• Gates, A. and D.E. Cooke, The Use of Integrity Constraints in Software Engineering, Proceedings 7th International Conference on Software Engineering and Knowledge Engineering, Rockville, Md, June 1995, 383-390.
  

1994

• Cooke, D.E., R. Duran, A. Gates, and V. Kreinovich, Geombinatoric Problems of Environmentally Safe Manufacturing and Linear Logic, Geombinatorics, 4(2):36-47, October 1994.
• Cooke, D.E., R. Duran, A. Gates, and V. Kreinovich, Bag Languages, Concurrency, Horn Logic Programs, and Linear Logic, Proceedings Fifth International Conference on Software Engineering and Knowledge Engineering, Latvia, June 1994.
  

1992

• Gates, A., and D.E. Cooke, On a Fundamental Relationship Between Software Reuse and Software Synthesis, Proceedings of Hawaii International Conference on System Sciences Vol. II, Kauia, Hawaii, January 1992, 539-548.
  

1991

• Cooke, D.E. and A. Gates, On the Development of a Method to Synthesize Programs from Requirements Specifications, International Journal of Software Engineering and Knowledge
  Engineering, 1(1): 21-38, 1991.
  

1990

• Gates, A., and D.E. Cooke, An Introduction to the Recognition of Iterative Structures by a CASE Tool, Proceedings Second International Conference on Software Engineering and Knowledge Engineering, June 1990, 202-208.
• Cooke, D.E., and A. Gates, On the Application of Stratification to Requirement Specifications, Proceedings of the Second International IEEE Conference on Tools for Artificial Intelligence, November 1990, 760-766.