@electronic{pinheiro_da_silva_hp,
  added-at = {2012-02-03T11:48:48.000+0100},
  author = {da Silva, Paulo Pinheiro},
  biburl = {http://www.bibsonomy.org/bibtex/2b6424e65fc51ad0cdc26228972c955b6/maxirichter},
  interhash = {d31995c9b2a97d9388628f052bfb58ea},
  intrahash = {b6424e65fc51ad0cdc26228972c955b6},
  keywords = {provenance richterm_ma ui_modelling},
  title = {Paulo Pinheiro da Silva : Homepage},
  url = {http://www.cs.utep.edu/paulo/},
  year = 2012
}

@article{salayandía2006,
  added-at = {2012-02-03T11:47:17.000+0100},
  author = {Salayandía, Leonardo and da Silva, Paulo Pinheiro and Ann Q. Gates, Alvaro Rebellon},
  biburl = {http://www.bibsonomy.org/bibtex/22f80e3edfbdc1c75cc8d01459acc3b78/maxirichter},
  interhash = {34e39d9f3b827ac868cc857bc60a41d3},
  intrahash = {2f80e3edfbdc1c75cc8d01459acc3b78},
  keywords = {applications metamodeling},
  title = {A Model-Based Workflow Approach for Scientific Applications
},
  url = {http://www.cs.utep.edu/vladik/2006/tr06-39.pdf},
  year = 2006
}

@article{mcguinness2009,
  added-at = {2012-02-03T11:46:17.000+0100},
  author = {McGuinness, Deborah L. and Furtado, Vasco and da Silva, Paulo Pinheiro and Ding, Li and Glass, Alyssa and Chang, Cynthia},
  biburl = {http://www.bibsonomy.org/bibtex/24fbd5e609557dd69c6953dcc6d865af6/maxirichter},
  interhash = {cc0543df19821fd596345751b618559b},
  intrahash = {4fbd5e609557dd69c6953dcc6d865af6},
  keywords = {applications semantic_web},
  title = {Explaining Semantic Web applications},
  url = {http://www.cs.utep.edu/paulo/papers/McGuinness_KSoc_2008.pdf},
  year = 2009
}

@article{mcguinness04b,
  added-at = {2012-02-03T11:44:26.000+0100},
  author = {McGuinness, Deborah L. and da Silva, P. Pinheiro},
  biburl = {http://www.bibsonomy.org/bibtex/2b722e02ce530dd84ba3563c26b331baa/maxirichter},
  description = {Daniel Sonntag all references},
  interhash = {7aa50782729449958b38d968b50e5224},
  intrahash = {b722e02ce530dd84ba3563c26b331baa},
  journal = {Journal of Web Semantics},
  keywords = {provenance reasoners semantic_web},
  number = 4,
  owner = {sonntag},
  pages = {397--413},
  priority = {2},
  title = {{Explaining answers from the Semantic Web: the Inference Web approach}},
  url = {http://www.cs.utep.edu/paulo/papers/McGuinness_KSL_04_03.pdf},
  volume = 1,
  year = 2004
}

@article{proofml,
  abstract = {The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept and trust a result produced by perhaps an unfamiliar Web service, the result needs to be accompanied by a justification that is understandable and usable by the client. In this paper, we describe the proof markup language (PML), an interlingua representation for justifications of results produced by Semantic Web services. We also introduce our Inference Web infrastructure that uses PML as the foundation for providing explanations of Web services to end users. We additionally show how PML is critical for and provides the foundation for hybrid reasoning where results are produced cooperatively by multiple reasoners. Our contributions in this paper focus on technological foundations for capturing formal representations of term meaning and justification descriptions thereby facilitating trust and reuse of answers from web agents.},
  added-at = {2012-02-03T11:43:27.000+0100},
  address = {Oxford, UK, UK},
  author = {da Silva, Paulo Pinheiro and McGuinness, Deborah L. and Fikes, Richard},
  biburl = {http://www.bibsonomy.org/bibtex/275fbebb713b68f904f44b3e17e5b6c47/maxirichter},
  doi = {http://dx.doi.org/10.1016/j.is.2005.02.003},
  interhash = {452d0e537a0fd57b4ab495ce380abf55},
  intrahash = {75fbebb713b68f904f44b3e17e5b6c47},
  issn = {0306-4379},
  journal = {Inf. Syst.},
  keywords = {proof provenance rdf reasoners semantic_web},
  number = 4,
  pages = {381--395},
  publisher = {Elsevier Science Ltd.},
  title = {A proof markup language for semantic web services},
  url = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-04-01.pdf},
  volume = 31,
  year = 2006
}

@phdthesis{pinheiro_da_silva2002,
  added-at = {2012-02-03T11:41:30.000+0100},
  author = {da Silva, Paulo Pinheiro},
  biburl = {http://www.bibsonomy.org/bibtex/26ddda40bf9d6bcedaba954b697845d91/maxirichter},
  interhash = {e681aff42cd8891c37c9fb8ce70e77c1},
  intrahash = {6ddda40bf9d6bcedaba954b697845d91},
  keywords = {richterm_ma ui_modelling umli},
  title = {Object modelling of interactive systems : the UMLi approach},
  url = {http://www.cs.utep.edu/paulo/papers/PinheirodaSilva_PhD_2002.pdf},
  year = 2002
}

@article{journals/software/SilvaP03,
  added-at = {2012-02-03T11:39:29.000+0100},
  author = {da Silva, Paulo Pinheiro and Paton, Norman W.},
  biburl = {http://www.bibsonomy.org/bibtex/2943eb23e1a4cfdc42e42743ab2295a89/maxirichter},
  description = {dblp},
  ee = {http://csdl.computer.org/comp/mags/so/2003/04/s4062abs.htm},
  interhash = {b238813337b4dfe8d55c0447acb2d41c},
  intrahash = {943eb23e1a4cfdc42e42743ab2295a89},
  journal = {IEEE Software},
  keywords = {richterm_ma ui ui_modelling umli},
  number = 4,
  pages = {62-69},
  title = {User Interface Modeling in UMLi.},
  url = {http://www.cs.utep.edu/paulo/papers/PinheirodaSilva_SOFTWARE_2003.pdf},
  volume = 20,
  year = 2003
}

@inproceedings{conf/sibgrapi/VasconcelosLPC11,
  added-at = {2012-01-26T00:00:00.000+0100},
  author = {Vasconcelos, Luiz Eduardo and Leite, Nelson and Pinheiro, Carlos A. M. and Carpinteiro, Otávio Augusto S.},
  biburl = {http://www.bibsonomy.org/bibtex/2e53e50b037b1b5cdeffdd04d818370fd/dblp},
  booktitle = {SIBGRAPI},
  crossref = {conf/sibgrapi/2011},
  editor = {Lewiner, Thomas and da Silva Torres, Ricardo},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SIBGRAPI.2011.38},
  interhash = {cfbd3ff1347a4a300a6aa3e76a18a3c0},
  intrahash = {e53e50b037b1b5cdeffdd04d818370fd},
  isbn = {978-1-4577-1674-4},
  keywords = {dblp},
  pages = {228-235},
  publisher = {IEEE},
  title = {The Development of a Tool for the Air Data System Calibration Flight Tests Campaign Using Image Processing.},
  url = {http://dblp.uni-trier.de/db/conf/sibgrapi/sibgrapi2011.html#VasconcelosLPC11},
  year = 2011
}

@inproceedings{conf/IEEEpact/HeathPHKB02,
  added-at = {2012-01-03T00:00:00.000+0100},
  author = {Heath, Taliver and Pinheiro, Eduardo and Hom, Jerry and Kremer, Ulrich and Bianchini, Ricardo},
  biburl = {http://www.bibsonomy.org/bibtex/244d93bd7faca15b3264f98140a30bc9a/dblp},
  booktitle = {IEEE PACT},
  crossref = {conf/IEEEpact/2002},
  ee = {http://doi.ieeecomputersociety.org/10.1109/PACT.2002.1106011},
  interhash = {d0b68a992284267ade315545c17682e4},
  intrahash = {44d93bd7faca15b3264f98140a30bc9a},
  isbn = {0-7695-1620-3},
  keywords = {dblp},
  pages = {121-130},
  publisher = {IEEE Computer Society},
  title = {Application Transformations for Energy and Performance-Aware Device Management.},
  url = {http://dblp.uni-trier.de/db/conf/IEEEpact/IEEEpact2002.html#HeathPHKB02},
  year = 2002
}

@inproceedings{conf/amcis/OliveiraS10,
  added-at = {2012-01-02T00:00:00.000+0100},
  author = {de Oliveira, André Luiz Pestana and da Silveira, Marco Antônio Pinheiro},
  biburl = {http://www.bibsonomy.org/bibtex/27add13af1911430e42937e2fc5c05fd0/dblp},
  booktitle = {AMCIS},
  crossref = {conf/amcis/2010},
  editor = {Santana, Martin and Luftman, Jerry N. and Vinze, Ajay S.},
  ee = {http://aisel.aisnet.org/amcis2010/435},
  interhash = {9323e57f9c953c7ca3b9dcb839481696},
  intrahash = {7add13af1911430e42937e2fc5c05fd0},
  keywords = {dblp},
  pages = 435,
  publisher = {Association for Information Systems},
  title = {Atendimento das Necessidades do Setor da Produção pelo ERP.},
  url = {http://dblp.uni-trier.de/db/conf/amcis/amcis2010.html#OliveiraS10},
  year = 2010
}

@inproceedings{conf/amcis/MorenoP10,
  added-at = {2012-01-02T00:00:00.000+0100},
  author = {de Assis Moreno Jr., Valter and Pinheiro, José Ricardo Monteiro},
  biburl = {http://www.bibsonomy.org/bibtex/2115481a2d9ffbe14eaf877e999889be9/dblp},
  booktitle = {AMCIS},
  crossref = {conf/amcis/2010},
  editor = {Santana, Martin and Luftman, Jerry N. and Vinze, Ajay S.},
  ee = {http://aisel.aisnet.org/amcis2010/345},
  interhash = {d323fe1aeaf608ae3968da239561ad56},
  intrahash = {115481a2d9ffbe14eaf877e999889be9},
  keywords = {dblp},
  pages = 345,
  publisher = {Association for Information Systems},
  title = {Influência das Capacidades Técnicas e Gerenciais no Desempenho das Empresas Desenvolvedoras de Software: Proposta de um Modelo Teórico.},
  url = {http://dblp.uni-trier.de/db/conf/amcis/amcis2010.html#MorenoP10},
  year = 2010
}

@inproceedings{conf/amcis/GruttnerPI10,
  added-at = {2012-01-02T00:00:00.000+0100},
  author = {Grüttner, Vilmar and Pinheiro, Fernando and Itaborahy, Anderson},
  biburl = {http://www.bibsonomy.org/bibtex/2ab5b348edcd9669b2f310a6cdf5b9b3c/dblp},
  booktitle = {AMCIS},
  crossref = {conf/amcis/2010},
  editor = {Santana, Martin and Luftman, Jerry N. and Vinze, Ajay S.},
  ee = {http://aisel.aisnet.org/amcis2010/319},
  interhash = {56f0d61e5e072ad6a94a3d9ceb03be0d},
  intrahash = {ab5b348edcd9669b2f310a6cdf5b9b3c},
  keywords = {dblp},
  pages = 319,
  publisher = {Association for Information Systems},
  title = {IT Governance Implementation - Case of a Brazilian Bank.},
  url = {http://dblp.uni-trier.de/db/conf/amcis/amcis2010.html#GruttnerPI10},
  year = 2010
}

@inproceedings{conf/cisse/TamaniniMMCFP07,
  added-at = {2011-12-09T00:00:00.000+0100},
  author = {Tamanini, Isabelle and Machado, Thais Cristina Sampaio and Mendes, Marília Soares and Carvalho, Ana Lisse and Furtado, Elizabeth and Pinheiro, Plácido Rogério},
  biburl = {http://www.bibsonomy.org/bibtex/248c8ead2457f058a1aaf07105a8e947b/dblp},
  booktitle = {SCSS (1)},
  crossref = {conf/cisse/2007scss1},
  editor = {Sobh, Tarek M.},
  ee = {http://dx.doi.org/10.1007/978-1-4020-8741-7_72},
  interhash = {dfca802f8bada5510ecc8b4fcec99c15},
  intrahash = {48c8ead2457f058a1aaf07105a8e947b},
  isbn = {978-1-4020-8740-0},
  keywords = {dblp},
  pages = {399-404},
  publisher = {Springer},
  title = {A Model for Mobile Television Applications Based on Verbal Decision Analysis.},
  url = {http://dblp.uni-trier.de/db/conf/cisse/scss2007-1.html#TamaniniMMCFP07},
  year = 2007
}

@article{journals/ijon/MadureiraMP12,
  added-at = {2011-12-08T00:00:00.000+0100},
  author = {Madureira, Alexandre L. and Madureira, Daniele Q. M. and Pinheiro, Pedro O.},
  biburl = {http://www.bibsonomy.org/bibtex/2edee6c4e6479118c61e8e28da3002345/dblp},
  ee = {http://dx.doi.org/10.1016/j.neucom.2011.08.007},
  interhash = {fb74bf451a8dac417da9c2ea5e6b356e},
  intrahash = {edee6c4e6479118c61e8e28da3002345},
  journal = {Neurocomputing},
  keywords = {dblp},
  number = 1,
  pages = {48-57},
  title = {A multiscale numerical method for the heterogeneous cable equation.},
  url = {http://dblp.uni-trier.de/db/journals/ijon/ijon77.html#MadureiraMP12},
  volume = 77,
  year = 2012
}

@inproceedings{conf/icica/MachadoPML11,
  added-at = {2011-12-08T00:00:00.000+0100},
  author = {Machado, Thais Cristina Sampaio and Pinheiro, Plácido Rogério and de Lima Marcelo, Marcony Leal and Landim, Henrique Farias},
  biburl = {http://www.bibsonomy.org/bibtex/20240be0c01baaf977b532d3ce91c13e4/dblp},
  booktitle = {ICICA (LNCS)},
  crossref = {conf/icica/2011},
  editor = {Liu, Baoxiang and Chai, Chunlai},
  ee = {http://dx.doi.org/10.1007/978-3-642-25255-6_74},
  interhash = {a2e7855acb47d64371939ce61eb34d86},
  intrahash = {0240be0c01baaf977b532d3ce91c13e4},
  isbn = {978-3-642-25254-9},
  keywords = {dblp},
  pages = {585-594},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Towards a Verbal Decision Analysis on the Selecting Practices of Framework SCRUM.},
  url = {http://dblp.uni-trier.de/db/conf/icica/icica2011.html#MachadoPML11},
  volume = 7030,
  year = 2011
}

@inproceedings{conf/icica/AraujoP11,
  added-at = {2011-12-08T00:00:00.000+0100},
  author = {de Araújo, Luiz Jonatã Pires and Pinheiro, Plácido Rogério},
  biburl = {http://www.bibsonomy.org/bibtex/2456d2f49592f91037912c89118544adb/dblp},
  booktitle = {ICICA (LNCS)},
  crossref = {conf/icica/2011},
  editor = {Liu, Baoxiang and Chai, Chunlai},
  ee = {http://dx.doi.org/10.1007/978-3-642-25255-6_15},
  interhash = {8bca9ba8d998cc91e30704a820e96d49},
  intrahash = {456d2f49592f91037912c89118544adb},
  isbn = {978-3-642-25254-9},
  keywords = {dblp},
  pages = {113-120},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Applying Backtracking Heuristics for Constrained Two-Dimensional Guillotine Cutting Problems.},
  url = {http://dblp.uni-trier.de/db/conf/icica/icica2011.html#AraujoP11},
  volume = 7030,
  year = 2011
}

@article{journals/corr/abs-0908-0126,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {de Aguiar, Alexei Barbosa and de Menezes S. Neto, Alvaro and Pinheiro, Plácido Rogério and Coelho, André L. V.},
  biburl = {http://www.bibsonomy.org/bibtex/29178d2c047eb24ae1cc86b348eb8f449/dblp},
  ee = {http://arxiv.org/abs/0908.0126},
  interhash = {e29ddbf5e2f52a15ea35eaab4fa28492},
  intrahash = {9178d2c047eb24ae1cc86b348eb8f449},
  journal = {CoRR},
  keywords = {dblp},
  title = {Applicability of a Novel Integer Programming Model for Wireless Sensor Networks},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-0126},
  volume = {abs/0908.0126},
  year = 2009
}

@article{journals/corr/abs-0909-1045,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {de Aguiar, Alexei Barbosa and Pinheiro, Plácido Rogério and de Menezes S. Neto, Alvaro and Cunha, Ruddy P. P. and Pinheiro, Rebecca F.},
  biburl = {http://www.bibsonomy.org/bibtex/2e205a209f3c5897b4216603187fa3a48/dblp},
  ee = {http://arxiv.org/abs/0909.1045},
  interhash = {17102b180439b64f8bab5b864ec122a7},
  intrahash = {e205a209f3c5897b4216603187fa3a48},
  journal = {CoRR},
  keywords = {dblp},
  title = {A Novel Model for Optimized GSM Network Design},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0909.html#abs-0909-1045},
  volume = {abs/0909.1045},
  year = 2009
}

@incollection{books/idea/encyclopediaDB2005/Pinheiro05,
  added-at = {2011-11-25T00:00:00.000+0100},
  author = {Pinheiro, Francisco A. C.},
  biburl = {http://www.bibsonomy.org/bibtex/2c00788ac2fb0f9c6ee99a4c62b47fc17/dblp},
  booktitle = {Encyclopedia of Database Technologies and Applications},
  crossref = {books/idea/EncyDB05},
  editor = {Rivero, Laura C. and Doorn, Jorge Horacio and Ferraggine, Viviana E.},
  interhash = {072f3542d4782ec45fa2edd64731909f},
  intrahash = {c00788ac2fb0f9c6ee99a4c62b47fc17},
  isbn = {1-59140-560-2},
  keywords = {dblp},
  pages = {158-161},
  publisher = {Idea Group},
  title = {Database Support for Workflow Management Systems.},
  url = {http://dblp.uni-trier.de/db/books/collections/encyclopediaDB2005.html#Pinheiro05},
  year = 2005
}

@article{journals/tgrs/YuPP05,
  added-at = {2011-11-16T00:00:00.000+0100},
  author = {Yu, Yunyue and Privette, Jeffrey L. and Pinheiro, Ana C. T.},
  biburl = {http://www.bibsonomy.org/bibtex/2fe5e4530567ec5d66f80ffecb96df57c/dblp},
  ee = {http://dx.doi.org/10.1109/TGRS.2005.856114},
  interhash = {39adda694215f1a3909f6a05a54bdaea},
  intrahash = {fe5e4530567ec5d66f80ffecb96df57c},
  journal = {IEEE T. Geoscience and Remote Sensing},
  keywords = {dblp},
  number = 10,
  pages = {2340-2350},
  title = {Analysis of the NPOESS VIIRS land surface temperature algorithm using MODIS data.},
  url = {http://dblp.uni-trier.de/db/journals/tgrs/tgrs43.html#YuPP05},
  volume = 43,
  year = 2005
}