Publications – Paulo Pinheiro

Journal Articles

  • Sabbir M Rashid, James P McCusker, Paulo Pinheiro, Marcello P Bax, Henrique Santos, Jeanette A Stingone, Amar K Das, Deborah L McGuinness. The Semantic Data Dictionary – An Approach for Describing and Annotating Data. In Data Intelligence, MIT Press pp. 443-486. April 2021 (DOI,PDF).
  • Jeanette Stingone, Paulo Pinheiro, John Meola, Jamie McCusker, Sophia Bengoa, Patricia Kovatch, Deborah McGuinness, Susan Teitelbaum. The CHEAR Data Repository: Facilitating children’s environmental health and exposome research through data harmonization, pooling and accessibility. In Environmental Epidemiology 3, 382, 2019. (URL)
  • Jamie P McCusker, Timothy Lebo, Cynthia Chang, Deborah L. McGuinness, and Paulo Pinheiro. Parallel Identities for Managing Open Government Data. In IEEE Intelligent Systems, 27(3): 55-62. May-June 2012. (PDF)
  • Paulo Pinheiro, 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)
  • Paulo Pinheiro, 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 . Gradual Trust and Distrust in Recommender Systems. In Fuzzy Sets and Systems, 160(10): 1367-1382, 2009. (PDF)
  • Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro, 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)
  • Paulo Pinheiro, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems, Vol. 31 No. 4-5, pages 381–395, 2006. (PDF)
  • Deborah L. McGuinness and Paulo Pinheiro. Explaining Answers from the Semantic Web. Journal of Web Semantics, Vol. 1 No. 4, pages 397–413, October 2004. (PDF)
  • Paulo Pinheiro, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin. Vol. 26 No. 4, pages 26–32, December 2003. (PDF)
  • Paulo Pinheiro and Norman W. Paton. User Interface Modeling in UMLi. IEEE Software, Vol.20 No. 4, pages 62–69, July/August 2003. (PDF)
  • Tony Griffiths, Peter J. Barclay, Norman W. Paton, Jo McKirdy, Jessie Kennedy, Philip D. Gray, Richard Cooper, Carole A. Goble and Paulo Pinheiro. Teallach: A Model-Based User Interface Development Environment for Object Databases. Interacting with Computers 14(1), pages 31–68, 2001. (PDF)

Book Chapters

  • Eric G Stephan, Paulo Pinheiro, Kerstin Kleese van Dam. Bridging the Gap between Scientific Data Producers and Consumers: A Provenance Approach. Chapter 12 in Data Intensive Science. Chapman & Hall/CRC Computational Science, pages 279-300, 2013.
  • Ann Q. Gates, Paulo Pinheiro, 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.
  • Deborah L. McGuinness, Vasco Furtado, Paulo Pinheiro, 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)
  • Deborah L. McGuinness and Paulo Pinheiro. Trusting Answers on the Web. In Mark T. Maybury, editor, New Directions in Question Answering. Chapter 21, AAAI/MIT Press, October 2004.

Conference and Workshop Papers

  • Matthew Johnson, Meenu Ravi, Paulo Pinheiro, Jeanette A. Stingone, Deborah L. McGuinness. A Semi-Automated Approach to Data Harmonization Across Environmental Health Studies. in 32nd Annual Conference of the International Society for Environmental Epidemiology (ISEE). August, 2020.
  • Jeanette A. Stingone, Paulo Pinheiro, John Meola, Jamie McCusker, Sophia Bengoa, Patricia Kovatch, Deborha L. McGuinness, Susan L. Teitelbaum. The CHEAR Data Repository: Facilitating children’s environmental health and exposome research through data harmonization, pooling and accessibility. In Annual Meeting for the International Society of Environmental Epidemiology, Utrecht, NL, 2019.
  • Paulo Pinheiro, Henrique Santos, Zhicheng Liang, Yue Liu, Sabbir Rashid, Deborah McGuinness and Marcello Bax. HADatAc: A Framework for Scientific Data Integration using Ontologies. In Proceedings of the International Semantic Web Conference, Monterey, CA, 2018. (PDF)
  • Paulo Pinheiro, Marcello Bax, Henrique Santos, Sabbir Rashid, Zhicheng Liang, Yue Liu, Jim McCusker, Deborah McGuinness: Annotating Diverse Scientific Data with HAScO. In Proceedings of the Seminar on Ontology Research in Brazil 2018 (ONTOBRAS 2018), São Paulo, SP, Brazil, 2018. (PDF)
  • Henrique Santos, Victor Dantas, Vasco Furtado, Paulo Pinheiro, Deborah L. McGuinness. From Data to City Indicators: A Knowledge Graph for Supporting Automatic Generation of Dashboards. In Proceedings of European Semantic Web Conference (ESWC), Portoroz, Slovenia, 94-108, 2017. (PDF)
  • Jamie P. McCusker, Sabbir M. Rashid, Zhicheng Liang, Yue Liu, Katherine Chastain, Paulo Pinheiro, Jeanette A. Stingone, Deborah L. McGuinness. Broad, Interdisciplinary Science In Tela: An Exposure and Child Health Ontology. In Proceedings of ACM Web Science 2017, Troy NY, USA, , 349-357, 2017. (PDF)
  • Naomi Keena, Mohamed Aly Etman, Josh Draper, Paulo Pinheiro, Anna Dyson: Interactive Visualization for Interdisciplinary Research. In Proceedings of Visualization and Data Analysis (VDA) 2016, San Francisco, CA, USA, 1-7, February 2016.
  • Paulo Pinheiro, Deborah L. McGuinness, and Henrique Santos. Human-Aware Sensor Network Ontology: Semantic Support for Empirical Data Collection. In Proceedings of 5th Workshop on Linked Science 2015 — Best Practices and the Road Ahead (LISC2015), Bethlehem, PA, USA, October 12, 2015.
  • Laura Kinkead, Paulo Pinheiro, and Deborah L. McGuinness. Automating the Collection of Semantic Sensor Network Metadata in the Field with Mobile Applications. In Proceedings of the 1st International Workshop on Mobile Deployment of Semantic Technologies (MoDeST 2015), Bethlehem, Pennsylvania, USA, October 11th, 2015. CEUR Workshop Proceedings 1506,CEUR-WS.org, 32-43, 2015.
  • Henrique Santos, Vasco Furtado, Paulo Pinheiro,, and Deborah L. McGuinness. Contextual Data Collection for Smart Cities, In Proceedings of The 6th Workshop on Semantics for Smarter Cities (S4SC 2015), Bethlehem, PA, USA, October 11-12, 2015.
  • Kerstin Kleese van Dam , JP Carson, AL Corrigan, DR Einstein, ZC Guillen, BS Heath, AP Kuprat, IT Lanekoff, CS Lansing, J Laskin, D Li, Y Liu, MJ Marshall, EA Miller, G Orr, P Pinheiro, S Ryu, CJ Szymanski, and M Thomas. Velo and REXAN – Integrated Data Management and High Speed Analysis for Experimental Facilities 2012. In Proceedings of 8th IEEE International Conference on e-Science 2012, Chicago, IL, 2013.
  • Leonardo Salayandia, Ann Q Gates, Paulo Pinheiro. An Approach to Evaluate Scientist Support in Abstract Workflows and Provenance Traces. In Discovery Informatics Symposium: The Role of AI Research in Innovating Scientific Processes. AAAI Fall Symposium Series., vol. FS-12-03, ed. Bridewell, Gil, Hirsh, Kleese, Steinhaeuser, pp. 45-50. AAAI Press, Arlington, VA. October, 2012.
  • Nicholas Del Rio, Paulo Pinheiro. Capturing and Using Knowledge about the Use of Visualization Toolkits. In Discovery Informatics: The Role of AI Research and Innovating Scientific Processes, vol. FS-12-03, ed. Bridewell, Gil, Hirsh, Kleese, Steinhaeuser, pp. 14-20. AAAI Press, Arlington, VA. October, 2012.
  • Paulo Pinheiro, Carina Lansing, Zoe Guillen, Kerstin Kleese van Dam. Capturing Knowledge Graphs of Large-Scale Scientific Social Networks In Proceedings of 2nd International Workshop on Analyzing and Improving Collaborative eScience with Social Networks (eSoN 12), IEEE e-Science 2012 workshop, Chicago, IL, October, 2012.
  • Jamie P McCusker, Timothy Lebo, Alvaro Graves, Dominic Difranzo, Paulo Pinheiro, Deborah L McGuinness. Functional Requirements for Information Resource Provenance on the Web. In Proceedings of 4th International Provenance and Annotation Workshop (IPAW 2012). pp. 52-66. Springer, Santa Barbara, CA. 2012.
  • Jamie P. McCusker, Timothy Lebo, Li Ding, Cynthia Chang, Paulo Pinheiro, 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.
  • Geoff Sutcliffe, Cynthia Chang, Deborah McGuinness, Timothy Lebo, Li Ding, Paulo Pinheiro. 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.
  • Aida Gandara, George Chin, Paulo Pinheiro, 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, Presentation)
  • Aida Gandara and Paulo Pinheiro. Provenance Support for Content Management Systems: A Drupal Example. In Proceedings of the 3rd International Provenance and Annotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, pages 280–282, June 15-16, 2010. (PDF, Presentation)
  • Eric Stephan, Todd Halter, Terence Critchlow, Paulo Pinheiro and Leonardo Salayandia. Using Domain Requirements to Achieve Science-Oriented Provenance. In Proceedings of the 3rd International Provenance and Annotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, pages 301-303, June 15-16, 2010.
  • Nicholas Del Rio, Paulo Pinheiro and Hugo Porras. Browsing Proof Markup Language Provenance: Enhancing the Experience. In Proceedings of the 3rd International Provenance and Annotation Workshop (IPAW 2010), LNCS, Springer, Troy, NY, pages 274–276, June 15-16, 2010.
  • Leonardo Salayandia and Paulo Pinheiro. On the Use of Semantic Abstract Workflows rooted on Provenance Concepts. In Proceedings of the 3rd International Provenance and Annotation Workshop (IPAW’10), Troy, NY, pages 216-220, 2010.
  • Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness, Paulo Pinheiro. 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.
  • Paulo Pinheiro, 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.
  • Aida Gandara, Paulo Pinheiro. CI-Server: Towards a Collective Scientific Knowledge Environment. In The Changing Dynamics of Scientific Collaboration Workshop at CSCW 2010, Savannah, GA, February 2010. (PDF)
  • Stephan Zednik, Peter Fox, Deborah L. McGuinness, Paulo Pinheiro, 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.
  • James Michaelis, Li Ding, Zhenning Shangguan, Stephan Zednik, Rui Huang, Paulo Pinheiro, Nicholas Del Rio, 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.
  • Nicholas Del Rio, Paulo Pinheiro, 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, 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), LNCS 5318, Springer, pages 847–860, Karlsruhe, Germany, October 26-30, 2008. (PDF)
  • Paulo Pinheiro, 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), Karlsruhe, Germany, 2008.
  • Paulo Pinheiro, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda. TrustMap: Towards Trust Recommendations for Maps In Proceedings of the Terra Cognita 2008 Workshop, Karlsruhe, Germany, October 26, 2008.
  • Paulo Pinheiro, 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), Montreal, Quebec, Canada, August 2008. (PDF)
  • Paulo Pinheiro, 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), Sydney, Australia, August 2008. (PDF)
  • Peter Fox, Deborah L. McGuinness, Paulo Pinheiro, 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, Potsdam, Germany, 11-13 June 2008. (Presentation)
  • J. T. Yao, Y. Y. Yao, Vladik Kreinovich, Paulo Pinheiro, Scott A. Starks, G. Xiang, and H. T. Nguyen. Towards More Adequate Representation of Uncertainty: From Intervals to Set Intervals, with the Possible Addition of Probabilities and Certainty Degrees, In Proceedings of the IEEE World Congress on Computational Intelligence (WCCI’08), Hong Kong, China, June 1-6, 2008, pp. 983-990.
  • Paulo Pinheiro, 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 3rd International Workshop on Reliable Engineering Computing (REC’08), Savannah, GA, USA, February 20-22, 2008.
  • Nicholas Del Rio, Paulo Pinheiro, 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, pages 20–35, November 29-30, 2007. (PDF)
  • Ann Q. Gates, G. Randy Keller, Flor Salcedo, Paulo Pinheiro, 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, pages 278–287, November 29-30, 2007. (PDF)
  • Nicholas Del Rio and Paulo Pinheiro. 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. (PDF)
  • Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro. A Categorization of Explanation Questions for Task Processing Systems. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, pages 42–48, July 22-23, 2007.
  • Deborah L. McGuinness, Li Ding, Paulo Pinheiro, Cynthia Chang. PML 2: A Modular Explanation Interlingua. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, pages 49–55, July 22-23, 2007.
  • Deborah McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of the Twentieth International FLAIRS Conference, Key, West, Florida, pages 284–289, May 7-9, 2007. (PDF) (Enhanced version of Stanford KSL Tech Report KSL-06-06)
  • Vasco Furtado, Paulo Pinheiro, 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, pages 80–85, May 7-9, 2007. (PDF)
  • Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of AAAI 2007 Spring Symposium Interaction Challenges for Intelligent Assistants, Stanford University, CA, USA, pages 80–87, March 26-28, 2007. (PDF)
  • Leonardo Salayandia, Paulo Pinheiro, Ann Q. Gates, and Flor Salcedo. Workflow-Driven Ontologies: An Earth Sciences Case Study. In Proceedings of the 2nd IEEE International Conference on e-Science and Grid Computing, p. 17, Amsterdam, Netherlands, December, 2006. (PDF)
  • J. William Murdock, Deborah McGuinness, Paulo Pinheiro, Chris Welty, and David Ferrucci. Explaining Conclusions from Diverse Knowledge Sources. Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, GA, USA, pages 861–872, November 2006. (PDF)
  • Leonardo Salayandia, Paulo Pinheiro, 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.
  • Gilbert Ornelas, Paulo Pinheiro. Towards Believing Answers from Cyber-Infrastructure-based Applications. Proceedings of the 4th Annual Conference on Privacy, Security and Trust (PST2006), Ontario, Canada, October 2006. (PDF)
  • Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro, and Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE’06), San Francisco, CA, July 5-7, 2006. (PDF)
  • Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro, 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. (PDF)
  • Patricia Victor, Chris Cornelis, Martine De Cock, Paulo Pinheiro . 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. (PDF)
  • Ann Gates, Vladik Kreinovich, Luc Longpre, Paulo Pinheiro and G. Randy Keller. Towards Secure Cyberinfrastructure for Sharing Border Information. Proceedings of the Lineae Terrarum: International Border Conference, El Paso, Las Cruces, and Ciudad Juárez, March 27-30, 2006.
  • Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro, Richard Fikes. Explaining Results from Information Retrieval and Integration. In Proceedings of International Symposium on Explanation-aware Computing, AAAI Fall Symposium, Washington, D.C., November 3-6, 2005. (PDF)
  • Martine De Cock, Paulo Pinheiro. A Many Valued Representation and Propagation of Trust and Distrust. In Proceedings of WILF2005, Springer, Crema, Italy, 2005. (PDF)
  • Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the Second European Semantic Web Conference, Heraklion, Greece. LNCS 3532, pages 303–317, Springer, 2005.
  • Vladia Pinheiro, Andreia Liborio, Tiago Cordeiro, Ismael Rocha, Paulo Pinheiro, 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. (PDF)
  • Ilya Zaihrayeu, Paulo Pinheiro and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. In Proceedings of the Third International Conference on Trust Management, Rocquencourt, France. LNCS 3477, pages 384–392, Springer, 2005. (PDF)
  • Christopher Welty, J. William Murdock, Deborah L. McGuinness, Paulo Pinheiro, Richard Fikes, David Ferrucci. Tracking Information Extraction from Intelligence Documents. In Proceedings of the First International Conference on Intelligence Analysis, McLean, VA, USA, 2005. (PDF)
  • J. William Murdock, Paulo Pinheiro, David Ferrucci, Christopher Welty and Deborah L. McGuinness. Encoding Extraction as Inferences. In Proceedings of AAAI Spring Symposium on Metacognition on Computation, Stanford University, Stanford, CA, USA, pages 92–97, AAAI Press, March 2005. (PDF)
  • Deborah L. McGuinness and Paulo Pinheiro. 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, pages 113–129, Springer, October 2003. (PDF)
  • Deborah L. McGuinness and Paulo Pinheiro. 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, pages 117–122, August 2003.(PDF)
  • Deborah L. McGuinness and Paulo Pinheiro. Inference Web: Portable and Shareable Explanations for Question Answering. In 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)
  • Paulo Pinheiro and Norman W. Paton. Improving UML Support for User Interface Design: A Metric Assessment of UMLi. In 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. IFIP, pages 76–83, 2003.
  • Emmanuel Dubois, Paulo Pinheiro 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. (PDF)
  • Paulo Pinheiro 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), Zurich, Switzerland, pages 60–71, IEEE Computer Society, 2001.
  • Paulo Pinheiro, 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), Lisbon, Portugal, pages 210–216, IEEE Computer Society, 2001.(PDF)
  • Paulo Pinheiro and Norman W. Paton. UMLi: The Unified Modeling Language for Interactive Applications. In << UML >> – The Unified Modeling Language: Advancing the Standard (3rd International Conference on the Unified Modeling Language, York, United Kingdom, October, 2-6, 2000). LNCS Vol 1939, pages 117–132, Springer, 2000.(PDF)
  • Paulo Pinheiro. 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). LNCS Vol. 1946, pages 207–226, Springer, 2000.(PDF)
  • Paulo Pinheiro 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), pages 203–217, IOS Press, Amsterdam, 2001.(PDF)
  • Paulo Pinheiro. 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.(PDF)
  • Paulo Pinheiro, 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). Palermo, Italy, pages 155–160, ACM Press, May 2000.(PDF)
  • Paulo Pinheiro, 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). Zurich, Switzerland, pages 173–181, IEEE Computer Society, 2000.(PDF)
  • Paulo Pinheiro, 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). LNCS Vol. 1727, Springer, pages 198–212, 1999. (PDF)

Technical Reports

  • Henrique Santos, Vasco Furtado, Paulo Pinheiro, Deborah L. McGuinness. Contextual Data Collection for Smart Cities. Computing Research Repository (CoRR), abs/1704.01802, 2017.
  • Yolanda Gil, James Cheney, Paul Groth, Olaf Hartig, Simon Miles, Luc Moreau, Paulo Pinheiro. Provenance XG Final Report. World Wide Web Consortium (W3C) Incubator Group Report, 08 December 2010.
  • Paulo Pinheiro, Steve Roach. A Use Case-Guided Comparison of OPM and PML. Technical Report UTEP-CS-10-38, Department of Computer Science, University of Texas at El Paso, 2010.
  • Alejandro Castaneda and Paulo Pinheiro. Extracting Trust Network Information from Scientific Web Portals. Technical Report UTEP-CS-08-32, Department of Computer Science, University of Texas at El Paso, El Paso, TX, 2008.
  • Paulo Pinheiro, Leonardo Salayandia and Ann Gates. WDO-It! A Tool for Building Scientific Workflows from Ontologies. Technical Report UTEP-CS-07-50, Department of Computer Science, University of Texas at El Paso, El Paso TX, USA, 2007.
  • Nicholas Del Rio and Paulo Pinheiro. Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43, Department of Computer Science, University of Texas at El Paso, El Paso TX, USA, 2007.
  • Deborah L. McGuinness, Paulo Pinheiro, and Michael Wolverton. Plan for Explaining Task Execution in CALO. Technical Report KSL-05-11, , Knowledge Systems Laboratory, Stanford University, Stanford CA, USA, 2005.
  • Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro, and Deborah L. McGuinness. Explaining Problem Solver Answers. Technical Report KSL-05-02, Knowledge Systems Laboratory, Stanford University, Stanford CA, USA, 2005.(PDF)
  • Paulo Pinheiro, 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.(PDF)
  • Deborah L. McGuinness, Paulo Pinheiro, Cynthia Chang. IWBase: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, Stanford CA, USA, 2004.
  • Paulo Pinheiro, 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, Stanford CA, USA, 2004.(PDF)
  • Paulo Pinheiro and Deborah L. McGuinness. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, Stanford CA, USA, 2003.(PDF)
  • Deborah L. McGuinness and Paulo Pinheiro. Inference Web: Portable Explanations for the Web. Technical Report KSL-03-02, Knowledge Systems Laboratory, Stanford University, Stanford CA, USA, 2003.
  • Paulo Pinheiro. 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. (PDF)

Posters and Demonstrations

  • Paulo Pinheiro, Henrique Santos, Zhicheng Liang, Yue Liu, Sabbir Rashid, Deborah McGuinness, Marcello Bax: HADatAc: A Framework for Scientific Data Integration using Ontologies. In Proceedings of the ISWC Posters \& Demonstrations Track, Monterey, CA, USA, 2018.
  • Deborah L. McGuinness, Paulo Pinheiro, Henrique Santos, Matthew Klawonn, and Katie Chastain. IN33F-02: Semantic Support for Complex Ecosystem Research Environments. In Proceedings of AGU Fall Meeting, San Francisco, 16 December, 2015.
  • Paulo Pinheiro and Deborah L. McGuinness. Provenance-Enabled Integration of Sensor Network Data. In Proceedings of AGU Fall Meeting 2014, Moscone Center, San Francisco, CA, December 15-19 2014.
  • Deborah L. McGuinness, Paulo Pinheiro, Evan W. Patton and Katie Chastain. IN21B-3712 Semantic eScience for Ecosystem Understanding and Monitoring: The Jefferson Project Case Study. In Proceedings of AGU Fall Meeting 2014 Moscone Center, San Francisco, CA, December 15-19 2014.
  • Evan W. Patton, Paulo Pinheiro and Deborah L. McGuinness. IN22A-05Semantically aided interpretation and querying of Jefferson Project data using the SemantEco framework. In Proceedings of AGU Fall Meeting 2014 Moscone Center, San Francisco, CA, December 15-19 2014.
  • Paulo Pinheiro, Nicholas Del Rio. Semantic Composition and Reuse of Services in Support of Collaborative DataLabs. In American Geophysical Union Fall Meeting (AGU2012), San Francisco, CA, December 2012.
  • Nicholas Del Rio, Paulo Pinheiro, Deana Pennington, Karl Benedict. Streamlining Data Access Services and Data Analysis Services Integration. In American Geophysical Union, Fall Meeting (AGU2012), San Francisco, CA, December 2012.
  • Nicholas Del Rio, Paulo Pinheiro. Declarative Visualization Queries. In American Geophysical Union, Fall Meeting (AGU 2011), abstract IN43A-1428, San Francisco, CA, December 2011.
  • Nicholas Del Rio, Gregory Leptoukh, Christopher Lynnes and Paulo Pinheiro. Towards Infusing Giovanni with a Semantic and Provenance Aware Visualization System. In American Geophysical Union, Fall Meeting (AGU 2011), abstract IN31B-1445, San Francisco, CA, December 2011.
  • Deborah L. McGuinness, Peter Fox, Paulo Pinheiro, Stephan Zednik, Nicholas Del Rio, Li Ding, Patrick West, Cynthia Chang. Annotating and embedding provenance in science data repositories to enable next generation science applications. In American Geophysical Union, Fall Meeting (AGU 2008), abstract IN11C-1052, San Francisco, CA, December 2008.
  • Peter Fox, Deborah L. McGuinness, Paulo Pinheiro. Knowledge Provenance in Virtual Observatories: Application to Image Data Pipelines. In International Semantic Web Conference 2008 (ISWC 2008), Karlsruhe, Germany, October, 2008.
  • Paulo Pinheiro, Leonardo Salayandia, Ann Q. Gates, Using WDO-It to Build a Geoscience Ontology, In Geoinformatics 2007, San Diego, CA, 17-18 May 2007.
  • Nicholas Del Rio and Paulo Pinheiro. Towards Debugging Maps Generated By GEON Applications Through Provenance (demonstration session). In Geoinformatics 2007, San Diego, CA, 17-18 May 2007.
  • Li Ding, Tim Finin, Y. Peng, Paulo Pinheiro, Deborah L. McGuinness. Tracking RDF Graph Provenance using RDF Molecules. In International Semantic Web Conference 2005 (ISWC 2005), Galway, Ireland, November, 2005.
  • Deborah L. McGuinness, Dan Mandell, Sheila Mcllraith, Paulo Pinheiro. Explainable Semantic Discovery Services. Stanford Networking Research Center Project Review, Stanford, CA, February 17, 2005.
  • Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro. Towards Explaining Semantic Matching. In 2004 International Workshop on Description Logics – DL2004, Whistler, British Columbia, Canada, 2004.
  • Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro, and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In International Semantic Web Conference 2004 (ISWC 2004), Hiroshima, Japan, November 2004.