[To Appear] [2011] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998]

To Appear

• James P McCusker, Timothy Lebo, Alvaro Graves, Dominic Difranzo, Paulo Pinheiro da Silva, and Deborah L McGuinness. Functional Requirements for Information Resource Provenance on the Web. In 4th International Provenance and Annotation Workshop (IPAW 2012). Springer, Santa Barbara, CA. To Appear.
• Leonardo Salayandia, Ann Q Gates, and Paulo Pinheiro da Silva. Analyzing the Interaction between Abstract Workflows and Provenance Traces. In Discovery Informatics Symposium: The Role of AI Research in Innovating Scientific Processes. AAAI Fall Symposium Series. AAAI Press, Arlington, VA. To Appear.
• Nicholas Del Rio, and Paulo Pinheiro da Silva. Capturing Knowledge about the Use of Visualization Toolkits. In Discovery Informatics Symposium: The Role of AI Research in Innovating Scientific Processes. In AAAI Fall Symposium. AAAI Press, Arlington, VA. To Appear.
• Eric G Stephan, Paulo Pinheiro da Silva, and Kerstin Kleese van Dam. Bridging the Gap between Scientific Data Producers and Consumers: A Provenance Approach. In Data Intensive Science. To Appear.

2012

• James P McCusker, Timothy Lebo, Cynthia Chang, Deborah L. McGuinness, and Paulo Pinheiro da Silva. Parallel Identities for Managing Open Government Data In IEEE Intelligent Systems, 27(3): 55-62. May-June 2012.

2011

• James P. McCusker, Timothy Lebo, Li Ding, Cynthia Chang, Paulo Pinheiro da Silva, Deborah L. McGuinness. Where did you hear that? Information and the Sources They Come From. In Proceedings of the First International Workshop on Linked Science 2011 (LISC2011) In conjunction with the International Semantic Web Conference (ISWC2011) Bonn, Germany, October 24, 2011. (PDF)
• Geoff Sutcliffe, Cynthia Chang, Deborah Mcguinness, Timothy Lebo, Li Ding, Paulo Pinheiro da Silva. Combining Proofs to form Different Proofs. In On-line proceedings of the First Workshop on Proof eXchange for Theorem Proving (PxTP-2011), Wroclaw, Poland, August 1st, 2011. (PDF)
• Aida Gandara, George Chin, Paulo Pinheiro da Silva, Chandrika Sivaramakrishnan, Signe White, Terence Critchlow. Knowledge Annotations in Scientific Workflows: An Implementation in Kepler. In Proceedings of the 23rd International Conference on Scientific and Statistical Database Management (SSDBM 2011), LNCS 6809, Springer, Portland, OR, USA, pages 189-206, July 2011. (PDF) (slides)
• Ann Q. Gates, Paulo Pinheiro da Silva, Leonardo, Salayandia, Omar Ochoa, Aida Gandara, Nicholas Del Rio. Use of Abstraction to Support Geoscientists' Understanding and Production of Scientific Artifacts. In Geoinformatics: Cyberinfrastructure for the Solid Earth Sciences, Chapter 17, Eds. G.R. Keller and C. Baru, Cambridge University Press, pages 266-283, 2011. (Abstract)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Declarative Visualization Queries. In American Geophysical Fall Meeting (AGU 2011), abstract #IN43A-1428, San Francisco, Calif., Dec. 5-9. (HTML)
• Nicholas Del Rio, Gregory Leptoukh, Christopher Lynnes and Paulo Pinheiro da Silva. Towards Infusing Giovanni with a Semantic and Provenance Aware Visualization System. In American Geophysical Fall Meeting (AGU 2011), abstract #IN31B-1445, San Francisco. Calif., Dec. 5-9. (HTML)

2010

• Yolanda Gil, James Cheney, Paul Groth, Olaf Hartig, Simon Miles, Luc Moreau, Paulo Pinheiro da Silva. Provenance XG Final Report. World Wide Web Consortium (W3C) Incubator Group Report, 08 December 2010.
  http://www.w3.org/2005/Incubator/prov/XGR-prov-20101214/
• Leonardo Salayandia and Paulo Pinheiro da Silva. On the Use of Semantic Abstract Workflows rooted on Provenance Concepts. In Proceedings of the 3rd International Provenance and Annnotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, June 15-16, pages 216-220, 2010.
• Aida Gandara and Paulo Pinheiro da Silva. Provenance Support for Content Management Systems: A Drupal Example. In Proceedings of the 3rd International Provenance and Annnotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, June 15-16, pages 280-282, 2010. (PDF) (poster)
• Eric Stephan, Todd Halter, Terence Critchlow, Paulo Pinheiro da Silva and Leonardo Salayandia. Using Domain Requirements to Achieve Science-Oriented Provenance. In Proceedings of the 3rd International Provenance and Annnotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, June 15-16, pages 301-303, 2010.
• Nicholas Del Rio, Paulo Pinheiro da Silva and Hugo Porras. Browsing Proof Markup Language Provenance: Enhancing the Experience. In Proceedings of the 3rd International Provenance and Annnotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, June 15-16, pages 274-276, 2010.
• Paulo Pinheiro da Silva, Steve Roach. A Use Case-Guided Comparison of OPM and PML. Technical Report UTEP-CS-10-38, University of Texas at El Paso, 2010. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Aaron Velasco, Olga Kosheleva, and Vladik Kreinovich. How AI-Type Uncertainty Ideas Can Improve Inter-Disciplinary Collaboration and Education: Lessons from a Case Study. In Journal of Advanced Computational Intelligence and Intelligent Informatics 14(6): 700-707, 2010. (PDF)
• Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness, Paulo Pinheiro da Silva. Different Proofs are Good Proofs. In Proceedings of the IJCAR 2010 Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, Edinburgh, United Kingdom, July 2010. (PDF)
• Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, and Ann Q. Gates. On the Use of Abstract Workflows to Capture Scientific Process Provenance, In The 2nd Workshop on the Theory and Pratice of Provenance (TaPP'10) at USENIX, San Jose, CA, February 2010. (PDF) (Slides)
• Aida Gandara, Paulo Pinheiro da Silva. CI-Server: Towards a Collective Scientific Knowledge Environment. In The Changing Dynamics of Scientific Collaboration Workshop at CSCW 2010, Savannah, GA, February 2010. (PDF)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Leveraging an ESIP Data-Type Ontology to Support Visualization. In American Geophysical Fall Meeting (AGU 2011), abstract #ED41C-0660, San Francisco, Calif., Dec.13-17 (HTML)

2009

• Paulo Pinheiro da Silva, Leonardo Salayandia, Aida Gandara, Ann Q. Gates. CI-Miner: Semantically Enhancing Scientific Processes. In Earth Science Informatics, 2(4): 249-269, 2009. (PDF)
• Patricia Victor, Chris Cornelis, Martine De Cock, Paulo Pinheiro da Silva. Gradual Trust and Distrust in Recommender Systems. In Fuzzy Sets and Systems 160(10): 1367-1382, 2009. (PDF)
• Stephan Zednik, Peter Fox, Deborah L. McGuinness, Paulo Pinheiro da Silva and Cynthia Chang. Semantic Provenance for Science Data Products: Application to Image Data Processing. In Proceedings of the First International Workshop on the Role of Semantic Web in Provenance Management (SWPM 2009), Washington DC, USA, CEUR-WS, Vol. 526, October 25, 2009. (PDF)
• James Michaelis, Li Ding, Zhenning Shangguan, Stephan Zednik, Rui Huang, Paulo Pinheiro da Silva, Nicholas Del Rio and Deborah L. McGuinness.Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies using PML. In Proceedings of the First International Workshop on the Role of Semantic Web in Provenance Management (SWPM 2009), Washington DC, USA, CEUR-WS, Vol. 526, October 25, 2009. (PDF)
• Nicholas Del Rio, Paulo Pinheiro da Silva, Raed Aldouri. Identifying and Explaining Map Quality Through Provenance: A User Study. In Proceedings of IJCAI 2009 Workshop on Explanation-Aware Computing (ExACT 2009), Pasadena, CA, USA, July 11-13, 2009. (PDF)
• Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, Ann Q. Gates. On the Use of Abstract Workflows to Capture Scientific Process Provenance. Technical Report UTEP-CS-09-24, University of Texas at El Paso, 2008. (Abstract) (PDF)

2008

• Paulo Pinheiro da Silva, Deborah McGuinness, Li Ding, Nicholas Del Rio. Inference Web in Action: Lightweight Use of Proof Markup Language. In Proceedings of the 7th International Semantic Web Conference (ISWC'08), October 26-30, 2008, Karlsruhe, Germany. (PDF)
• Paulo Pinheiro da Silva, Vladik Kreinovich, and Christian Servin. Maximum Entropy in Support of Semantically Annotated Datasets. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'08), 2008, Karlsruhe, Germany. (PDF) (Slides)
• Paulo Pinheiro da Silva, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda. TrustMap: Towards Trust Recommendations for Maps In Proceedings of the Terra Cognita 2008 Workshop, October 26, 2008, Karlsruhe, Germany. (PDF)
• Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah McGuinness, Li Ding, Cynthia Chang and Geoff Sutcliffe. User Interfaces for Portable Proofs. In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), Friday, 22nd August 2008, Montreal, Quebec, Canada. (PDF)
• Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio and Deborah McGuinness. Presenting TSTP Proofs with Inference Web Tools. In Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), August 2008, Sydney, Australia. (PDF)
• Deborah L. McGuinness, Vasco Furtado, Paulo Pinheiro da Silva, Li Ding, Alyssa Glass, Cynthia Chang. Explaining Semantic Web Applications. Chapter 1, In Semantic Web Engineering in the Knowledge Society, Eds. Jorge Cardoso and Miltiadis D. Lytras., pg 1-24, 2008. ISBN 978-1-60566-112-4. (PDF)
• Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, and Michael Wolverton. Trustable Task Processing Systems. In Roth-Berghofer, T., and Richter, M.M., editors, Kunstliche Intelligenz, Special Issue on Explanation, Heft 1/08, Pages 12-18, 2008. (PDF)
• Peter Fox, Deborah L. McGuinness, Paulo Pinheiro da Silva, Stephan Zednik, Jose Garcia, Li Ding, Nicholas Del Rio, Cynthia Chang. Semantic Provenance for Image Data Processing. In Proceedings of Geoinformatics 2008 Data to Knowledge, 11-13 June 2008, Potsdam, Germany. (Slides)
• Paulo Pinheiro da Silva, Aaron Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Del Rio, Luc Longpre, and Vladik Kreinovich. Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion In Proceedings of the International Workshop on Reliable Engineering Computing (REC'08), Savannah, Georgia, February 20-22, 2008. (also Technical Report UTEP-CS-07-56, University of Texas at El Paso) (Abstract) (PDF)
• Alejandro Castaneda and Paulo Pinheiro da Silva. Extracting Trust Network Information from Scientific Web Portals. Technical Report UTEP-CS-08-32, University of Texas at El Paso, 2008. (Abstract) (PDF)

2007

• Nicholas Del Rio and Paulo Pinheiro da Silva. Probe-It! Visualization Support for Provenance. In Proceedings of the Third International Symposium on Visual Computing (ISVC 2007), Lake Tahoe, NV/CA, November 26-28, 2007. (Abstract) (PDF)
• Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia. Semantic Annotation of Maps Through Knowledge Provenance. In Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007. (Abstract) (PDF)
• Ann Q. Gates, G. Randy Keller, Flor Salcedo, Paulo Pinheiro da Silva, Leonardo Salayandia. The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies. In Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007. (Abstract) (PDF)
• Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 22-23, 2007. (Abstract) (PDF)
• Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang. PML2: A Modular Explanation Interlingua. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 22-23, 2007. (PDF)
• Deborah McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of the Twentieth International FLAIRS Conference. Key, West, Florida, May 7-9, 2007. (Enhanced version of Stanford KSL Tech Report KSL-06-06) (Abstract) (PDF)
• Vasco Furtado, Paulo Pinheiro da Silva, Deborah McGuinness, Pryendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro and Cynthia Chang. Abstracting Web Agent Proofs into Human-Level Justifications In Proceedings of the Twentieth International FLAIRS Conference. Key, West, Florida, May 7-9, 2007 (Abstract) (PDF)
• Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of AAAI 2007 Spring Symposium Interaction Challenges for Intelligent Assistants, 26-28 March 2007, Stanford University, CA, USA. (Abstract) (PDF)
• Paulo Pinheiro da Silva, leonardo Salayandia, Ann Q. Gates, Using WDO-It to Build a Geoscience Ontology, In Geoinformatics 2007, San Diego, CA, 17-18 May 2007. (HTML)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Towards Debugging Maps Generated By GEON Applications Through Provenance (demonstration session). In Geoinformatics 2007, San Diego, CA, 17-18 May 2007. (HTML)
• Paulo Pinheiro da Silva, Leonardo Salayandia and Ann Gates. WDO-It! A Tool for Building Scientific Workflows from Ontologies. Technical Report UTEP-CS-07-XX, University of Texas at El Paso, 2007. (PDF)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43, The University of Texas at El Paso, 2007. (Abstract) (PDF)

2006

• Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Flor Salcedo. Workflow-Driven Ontologies: An Earth Sciences Case Study. Proceedings of the 2nd IEEE International Conference on e-Science and Grid Computing, p. 17, Amsterdam, Netherlands, December 2006. (PDF)
• Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Alvaro Rebellon. A Model-Based Workflow Approach for Scientific Applications. In Proceedings of the 6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, USA, p. 20, October, 2006. (PDF)
• J. William Murdock, Deborah McGuinness, Paulo Pinheiro da Silva, Chris Welty, and David Ferrucci. Explaining Conclusions from Diverse Knowledge Sources. In Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, GA, USA, p. 861-872, November 2006. (PDF)
• Gilbert Ornelas, Paulo Pinheiro da Silva. Towards Believing Answers from Cyber-Infrastructure-based Applications. In Proceedings of the 4th Annual Conference on Privacy, Security and Trust (PST2006), Ontario, Canada, October 2006. (PDF)
• 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. In Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), CEUR-WS, Vol. 190, p. 5, 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. In Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), CEUR-WS, Vol. 190, p. 7, Edinburgh, Scotland, May 22, 2006. (PDF)
• Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems. Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE'06), San Francisco Bay, USA, July 5-7, 2006. (PDF)
• Ann Gates, Vladik Kreinovich, Luc Longpre, Paulo Pinheiro da Silva, 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. (PDF)
• Leonardo Salayandma, Paulo Pinheiro da Silva, and Ann Gates. Evaluating BDI Agents to Integrate Resources Over Cyberinfrastructure, In Geoinformatics 2006-Abstracts, pg. 13, USGS, Reston, VA, May 10-12, 2006. (PDF)
• Gilbert Ornelas and Paulo Pinheiro da Silva. Believing Answers From GEON Applications, In Geoinformatics 2006-Abstracts, pg. 50, USGS, Reston, VA, May 10-12, 2006. (PDF)

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)

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)

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)

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)

• 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)

• 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)

• 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)

• 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)