Paulo Pinheiro da Silva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
1999–2011
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SSDBM | Knowledge Annotations in Scientific Workflows: An Implementation in Kepler. | Ada Gndara, George Chin Jr., Paulo Pinheiro da Silva, Signe White, Chandrika Sivaramakrishnan, Terence Critchlow |
| 2010 | CADE | Different Proofs are Good Proofs. | Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva |
| 2008 | CADE | Presenting TSTP Proofs with Inference Web Tools. | Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness |
| 2007 | FlAIRS | Abstracting Web Agent Proofs into Human-Level Justifications. | Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vldia Pinheiro, Cynthia Chang |
| 2007 | FlAIRS | Explaining Task Processing in Cognitive Assistants that Learn. | Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva |
| 2007 | ISVC | Probe-It! Visualization Support for Provenance. | Nicholas Del Rio, Paulo Pinheiro da Silva |
| 2006 | PST | Towards believing answers from cyber-infrastructure-based applications. | Gilbert Ornelas, Paulo Pinheiro da Silva |
| 2006 | SEKE | WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems. | Vldia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness |
| 2003 | IJCAI | Registry-Based Support for Information Integration. | Deborah L. McGuinness, Paulo Pinheiro da Silva |
| 2003 | ICSE | Improving UML Support for User Interface Design: A Metric Assessment of UMLi. | Paulo Pinheiro da Silva, Norman W. Paton |
| 2000 | AVI | Generating User Interface Code in a Model Based User Interface Development Environment. | Paulo Pinheiro da Silva, Tony Griffiths, Norman W. Paton |
| 2000 | EJC | User Interface Modelling with UML. | Paulo Pinheiro da Silva, Norman W. Paton |
| 1999 | ER | CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems. | Paulo Pinheiro da Silva, Alberto H. F. Laender, Rodolfo F. Resende, Paulo Braz Golgher |