Several studies have been conducted with the purpose to investigate the connections between real estate financial performance and ESG performance, mostly on asset level. The literature on ESG disclosure and real estate financial performance is not as explored. On portfolio level there have been different studies investigating if the number of green buildings affects the financial performance of real estate companies, yielding different results which shows that more attention is required in the research area. This paper has investigated disclosure of certified properties in Swedish real estate companies as well as EPRA sBPR participation and effects on the total return index of individual stocks. Panel data models are constructed using daily trading data from fifteen Swedish real estate companies. The results of the analysis indicate that there are positive signs associated with disclosure of green properties and in being part of organizations with clear sustainable ambitions, however the fact that there is not an overwhelming consistency in the results of all models can be seen as a signal that there is still uncertainty in the market around the usefulness of implementing information on certified buildings. For participation in EPRA sBPR a positive effect is found, being significant with cluster robust standard errors. For receiving a sBPR award the effect is slight but positive which is in line with previous findings. It still seems that there is disagreement in the business world on the paths to choose to efficiently incorporate ESG into business decisions. The results of this paper indicating that returns of real estate stocks are only in some cases significantly conditioned by green factors can also reflect this general level of uncertainty in the market. / Ett flertal studier har genförts i syfte att undersöka förhållandet mellan fastigheters finansiella prestanda och ESG prestanda, mestadels på tillgångsnivå. Litteraturen om ESG information och finansiell information för fastigheter är inte lika utforskad. På portfolionivå har olika studier undersökt om antalet gröna byggnader påverkar den finansiella prestanda hos fastighetsbolag, vilket gett olika resultat vilket visar att mer uppmärksamhet för forskningsområdet är nödvändigt. Det här examensarbetet undersöker information om certifierade fastigheter för svenska fastighetsbolag såväl som EPRA sBPR deltagande och effekter på totalavkastningsindexet för individuella aktier. Panel datamodeller konstrueras med hjälp av dagliga handelsdata från femton svenska fastighetsbolag. Resultaten av analysen visar på att det finns positiva tecken associerad med information om gröna fastigheter och att delta i organisationer med tydliga hållbara ambitioner. Samtidigt så visar inkontinensen i resultaten av alla modeller indikationer på att det fortfarande är osäkerhet på marknaden med användbarheten av att offentliggöra information om certifierade byggnader. För deltagande i EPRA sBPR så observeras en positiv effekt som är signifikant med kluster robusta standardfel. För att erhålla en sBPR utmärkelse är effekten liten men positiv vilket är i linje med tidigare observationer. Det verkar som att det fortfarande råder oenighet i affärsvärlden om vilken väg som ska väljas för att effektivt inkorporera ESG i affärsbeslut. Resultaten i det här examensarbetet som indikerar att avkastningen för börsnoterade fastighetsbolag bara i vissa fall signifikant påverkas av gröna faktorer kan också spegla nivån av osäkerhet på marknaden.

Food safety problems have gained national attention, and food recall is one of the most important indications of this concern. Third-party certifications have become a popular way to improve the safety and quality of products for consumers. Publications related to third-party certification usually focus on the motives and benefits of a particular certification. However, to date, no existing research investigates the effects of food recalls on certification adoption. This study uses Probit models with a binary endogenous explanatory variable to examine the relationship between food recalls and third-party certification, based on recalls occurring between January 1, 2015 and February 18, 2016. Marginal effects are used to interpret the impact of recalls and companies’ annual net sales on third-party certification adoption. Results reveal that past recalls significantly affect a firm’s likelihood of certification adoption.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-04-03T16:44:15Z No. of bitstreams: 1 Camila Copello Canazaro_.pdf: 1264806 bytes, checksum: f87f45421f57d933c65e9c84547ad633 (MD5) / Made available in DSpace on 2018-04-03T16:44:15Z (GMT). No. of bitstreams: 1 Camila Copello Canazaro_.pdf: 1264806 bytes, checksum: f87f45421f57d933c65e9c84547ad633 (MD5) Previous issue date: 2018-01-18 / Nenhuma / O uso racional de materiais na construção civil e a responsabilidade deste setor com o meio ambiente têm sido objetos de pesquisa no meio acadêmico. As certificações ambientais surgiram neste cenário para orientar os envolvidos no processo afim de reduzir os impactos ambientais causados pelo setor. Neste contexto, a eco-eficiência e a eco-eficácia apresentam diferentes abordagens a este tema e fundamentam as análises da certificação LEED realizada neste trabalho. O trabalho tem como objetivo geral analisar a atualização dos critérios ao longo das versões de um programa de certificação ambiental de prédios (LEED) a partir dos conceitos de eco-eficiência e eco-eficácia. Como objetivos específicos, esta pesquisa analisa: (i) a atualização dos critérios do programa de certificação para as fases de projeto e de uso ao longo do tempo; (ii) a pontuação de um prédio certificado, considerando os critérios na versão atual da certificação; (iii) o prédio certificado a partir dos conceitos de eco-eficiência e eco-eficácia. Para avaliar a atualização dos critérios da certificação ao longo do tempo foram realizadas análises de cada requisito das certificações de projeto e operação das versões v3 (2009) e v4 (2016). Esta etapa resultou em macro alterações na certificação, como o surgimento de novas tipologias, do Processo de Projeto Integrado e a criação de uma categoria exclusiva para Localização e Transportes. A avaliação do prédio na versão mais atual da certificação v4 (2016), foi realizada através de visitas à edificação e entrevistas com os operadores da mesma. Esta etapa resultou no decréscimo da pontuação da edificação para a certificação de projeto na v4 (2016). Porém, a certificação de operação atingiu classificação máxima (Platina), com 82 pontos, pelo fato de os operadores já praticarem diversas ações que a certificação exige, independente da certificação de projeto. Por fim, foram avaliados como a certificação e o prédio certificado atendem aos conceitos de eco-eficiência e eco-eficácia, afim de verificar se produzem impactos positivos no meio ambiente ou apenas os reduzem. O estudo revelou que a certificação está em busca da produção de impactos positivos no meio ambiente e de inovações tecnológicas, apesar de ainda estarem presentes em um pequeno número de créditos. / The rational use of materials in the construction industry and the responsibility this sector has towards the environment has been object of research in the academia over the past few decades. In this context, the environmental certifications have arisen to guide the involved in the processes, seeking to reduce the environmental impacts caused by this sector. The analysis conducted in this study is based on the different approaches the concepts of eco-efficiency and eco-effectiveness brought on the subject. The main goal of this essay is to analyze, at the light of eco-efficiency and eco-effectiveness, the criteria evolution of an environmental certification program designed for buildings (LEED) over the course of time. As specific objectives, this study evaluates: (i) the updates of the certification program criteria for the design stage and operations and maintenance stage from version v3 (2009) to version v4 (2016); (ii) the comparison between the score achieved by a certificated building, taking in consideration the criteria of the certification program’s current version and its previous version; (iii) the aspects of eco-efficiency and eco-effectiveness of the certificated building. Each of the conditions of versions v3 (2009) and v4 (2016) of both the design certification and operations and maintenance certification has been analyzed in order to evaluate the updates over the course of time. This analysis showed significant changes in the certification, with the inclusion of new typologies and important concerns, such as the Integrative Process and the establishment of a new category exclusively for Location and Transportation. The evaluation of the building under the conditions of the latest version of the program was performed through visits and interviews with its operators. A comparison between the building scores obtained in versions v3 (2009) and v4 (2016) showed a decrease in the latter. The building achieved a total of 82 points on the operations and maintenance certification, reaching the Platinum category, despite the lower score on the design certification, due to the practices required by the program already being performed by its operators. Finally, the certification and certified building were evaluated against the aspects of eco-efficiency and eco-effectiveness in order to verify if the generation of good impacts on the environment are taken into consideration or if they rely solely on the reduction of bad impacts. The study revealed that the certification analyzed is seeking the generation of good impacts and technology innovation, although these concepts are still verified in a just few credits.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-08-07T12:54:40Z No. of bitstreams: 1 Caroline Zenato_.pdf: 8786050 bytes, checksum: f875d3995e1e76f91adbfb21fc45158a (MD5) / Made available in DSpace on 2018-08-07T12:54:40Z (GMT). No. of bitstreams: 1 Caroline Zenato_.pdf: 8786050 bytes, checksum: f875d3995e1e76f91adbfb21fc45158a (MD5) Previous issue date: 2018-04-13 / Nenhuma / A presente pesquisa tem a finalidade de estudar diretrizes para áreas de interesse cultural, especificamente para o patrimônio cultural arquitetônico e urbanístico, em certificações ambientais voltadas à avaliação de áreas urbanas, valorizando a importância da manutenção desses aspectos para a qualidade do ambiente urbano. O método utilizado dividiu a pesquisa em dois momentos. A primeira etapa foi constituída pela seleção das certificações ambientais a serem estudadas e pela identificação e análise das suas diretrizes voltadas às áreas de interesse cultural. A segunda etapa abrangeu um estudo de caso no 4º Distrito de Porto Alegre, onde foi verificada a presença das diretrizes encontradas na etapa anterior, por meio de pesquisa bibliográfica e de entrevistas qualitativas semiestruturadas com arquitetos e urbanistas que possuem envolvimento com a região. O estudo das diretrizes das certificações ambientais voltadas aos espaços urbanos resultou em um quadro com nove diretrizes para áreas de interesse cultural, hierarquizadas e distribuídas em categorias que dizem respeito à preservação de edificações e das infraestruturas existentes, aos aspectos urbanísticos e paisagísticos e à participação social no planejamento urbano. Em relação ao 4º Distrito, constatou-se que apenas cinco diretrizes identificadas para áreas de interesse cultural conseguem ser completamente atendidas. Observou-se que, embora as diretrizes das certificações ambientais estudadas não demonstrem, de maneira geral, consenso entre si em termos de incidência, pontuação e grau de importância, valorizam, em algum nível, as questões pertinentes à manutenção de aspectos da identidade local e da memória coletiva no ambiente urbano, sendo predominante o interesse pelos fatores urbanísticos e paisagísticos, em detrimento das edificações e das infraestruturas isoladas e, especificamente, do patrimônio arquitetônico e urbanístico. Diante disso, sugere-se que os selos ambientais para áreas urbanas atentem para a revisão e a qualificação de seus escopos de diretrizes, possibilitando torná-los mais amplos e equilibrados, contribuindo, deste modo, para a manutenção da diversidade cultural das cidades. / The presente research proposes to study guidelines for áreas of cultural interest, specifically for the architectural and urbanistic cultural heritage, in environmental certifications destined to the evaluation of urban areas, valuing the importance of maintaining these aspects for the quality of the urban environment. The method used divided the research into two moments. The first part was constituted by the selection of the environmental certifications to be studied and the identification and analysis of its guidelines focused on areas of cultural interest. The second part covered a case study in the 4th District of Porto Alegre, where it was verified the presence of the guidelines found in the previous stage, through bibliographical research and semi-structured qualitative interviews with architects and urban planners who are involved with the region. The study of the environmental certification guidelines for the urban spaces resulted in a list with nine guidelines for areas of cultural interest, which are hierarchical and distributed in categories that involve the preservation of existing buildings and infrastructures, urban and landscape aspects, and social participation in urban planning. In relation to the 4th District, it was found that only five guidelines identified for areas of cultural interest can be completely attended. It was observed that, although the guidelines of the environmental certifications studied do not show, in general, consensus among themselves in terms of incidence, punctuation and degree of importance, they value, at some level, the issues related to the maintenance of aspects of local identity and collective memory in the urban environment, being predominant the interest for the urban and landscape factors, to the detriment of buildings and isolated infrastructures and, specifically, of architectural and urbanistic heritage. Therefore, it is suggested that environmental seals for urban áreas attempt to the review and qualification of its guidelines scopes, allowing to make them broader and more balanced, contributing, in this way, to maintain the cultural diversity of cities.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-11-06T15:57:50Z No. of bitstreams: 1 Roseméri Carine Greef_.pdf: 75721889 bytes, checksum: f18ac3933f09d42ce5115741913fc467 (MD5) / Made available in DSpace on 2018-11-06T15:57:50Z (GMT). No. of bitstreams: 1 Roseméri Carine Greef_.pdf: 75721889 bytes, checksum: f18ac3933f09d42ce5115741913fc467 (MD5) Previous issue date: 2018-08-24 / Nenhuma / Gerenciar as águas urbanas de modo sustentável tem sido um desafio para urbanistas do mundo todo. A busca por alternativas que permitam a boa interação entre as cidades, população e cursos hídricos é emergente. Na tentativa de avaliar esta sistemática, algumas das Certificações Ambientais mais difundidas mundialmente vem desenvolvendo certificados de sustentabilidade próprios para o contexto urbano. Apesar disso, estas certificações não abordam as questões hídricas de modo específico, uma vez que avaliam a sustentabilidade urbana em seus mais variados aspectos. Com o objetivo de elaborar o Índice de Avaliação do Desempenho Hídrico - IADH, baseado nos critérios de avaliação presentes nas Certificações Ambientais, visando o desenvolvimento de Cidades Sustentáveis, esta pesquisa justifica-se pela carência das Certificações Ambientais existentes quanto à avaliação do desempenho hídrico urbano. Além disso, a gestão sustentável dos recursos hídricos é uma necessidade emergente nas cidades brasileiras. Para tanto, realizou-se um estudo de caso em alguns setores da zona urbana do município de Sapiranga/RS, cujos resultados atenderam às premissas da análise. Entretanto, alguns dos critérios de avaliação não foram apurados, pois os mesmos não faziam parte do contexto urbano analisado, apontando para uma realidade inconsistente com os preceitos do Desenvolvimento Sustentável. / Managing urban waters in a sustainable way has been a challenge for urban planners all over the world. The search of alternatives that allow good interaction between cities, population and water courses is emergent. In an attempt to evaluate this systematics, some of the most widespread Environmental Certifications worldwide have been developing sustainability certificates that are appropriate to the urban context. However, these certifications do not address water issues in a specific way, as they assess urban sustainability in it´s most varied aspects. With the objective of elaborating the Water Performance Index - IADH, based on the evaluation criteria present in the Environmental Certifications, aiming the development of Sustainable Cities, this research is justified by the lack of existing Environmental Certifications regarding the evaluation of the urban water performance. In addition, the sustainable management of water resources is an emergent need in Brazilian cities. For this, a study case was carried out in some sectors of the urban area in the city of Sapiranga / RS, whose results met the assumptions of the analysis. However, some of the evaluation criteria were not verified, as they were not part of the analyzed urban context, pointing to a reality that is inconsistent with the context of Sustainable Development.

A crescente preocupação mundial com o manejo dos recursos florestais tem exercido grande pressão nos ambientes extrativistas e industriais ligados à base produtiva silvícola. Em vista da dificuldade de se estabelecer quais empresas e produtores adotam padrões produtivos ambientalmente sustentáveis, o uso das certificações tem ganhado notoriedade, funcionando como mecanismo de sinalização de comportamento mercadologicamente valorizado. Este cenário representa empiricamente teorizações da Economia da Informação em um ambiente agroindustrial específico, apresentando ferramentas de emissão de sinais como potenciais redutores da assimetria de informação presente na estrutura econômica de comércio. Contudo, permanecem questionamentos sobre como este uso de certificações e conseqüente melhoria da disponibilidade informacional podem impactar sobre as firmas adotantes desta estratégia. Relacionando esta situação com elementos da Economia Industrial (abordagem Estrutura-Conduta-Desempenho) e caracterizando a sinalização como um elemento de Conduta, esta pesquisa se propõe a verificar empiricamente potenciais impactos desta estratégia de atuação no Desempenho resultante. Como objeto específico de estudo, elegeu-se, dentro da indústria silvícola brasileira, o setor de papel e celulose, dada a sua relevância econômica para o agronegócio brasileiro. O método de análise de desenvolve através de modelos econométricos que buscam estabelecer e mensurar relações de influência entre a evolução de adoção de certificações de manejo florestal sustentável no desempenho exportador agregado do setor para o período 1995- 2008 (dados mensais), visto que a prática de comércio internacional potencializa a disponibilidade assimétrica de informações. Os resultados encontrados são parcialmente conclusivos em direção à sustentação da hipótese de que o uso de certificações tem influências positivas sobre o desempenho de comércio exterior da indústria brasileira de papel e celulose. / World’s increasing concern regarding forest resources management has pressured the producers and industries connected to forestry activities. In face of the difficulty to differentiate agents’ productive patterns of behavior towards forests, the use of sustainable forest management certifications is becoming increasingly relevant, working as a supposedly market valued signaling device. This scenario represents empirically in a specific agroindustrial environment the theories developed in Information Economics, presenting signal emission tools as potential reducers of commercial information asymmetry. However, questions regarding how the use of these certifications and the consequent improvement of information availability impact on firms which adopt this strategy remain. Relating this situation with the elements of Industrial Economics (more specifically the Structure-Conduct-Performance approach) and defining the signaling behavior as a Conduct pattern, this research proposes an analysis of the possible impacts of this strategy in the resulting Performance. As object of study, the Brazilian Pulp & Paper (P&P) industry is chosen, given its economic importance for the country’s forest and agribusiness sectors. The methodology to develop this verification is based on econometric regression models, aiming to establish and measures influences between the sustainable forest management certifications implementation evolution in the aggregated exporting performance of the Brazilian P&P industry for the period 1995-2008 (monthly data), since the international trade is expected to rise the levels of information asymmetry and hence the value of signals. Results allow partial acceptance of the hypothesis that the use of certifications has positive influences on Brazilian P&P industry’s international trade performance.

This paper presents a comparative analysis of hierarchical variables indicators of socioenvironmental certification from the scene. The indicators take values handled in the business to the environment. For such understanding, we begin with assumptions that each society conceives the nature of the built environment and social relations. From this perspective, it is understood that the relationship that societies construct themselves and together with the building with the building with nature, materialize in space. Hence, when we speak of production space we are considering that this is the product of the inseparability of social and natural, like a hybrid of historical processes that have developed as forms of social organization and uses of nature. Since the construction of the environmental scene take the concept of public sphere as a locus of realization spaces of argument, which echoes and integrates the policy as a whole interrelated. In both speeches that no originals of the formal resolutions (that support micro) as institutionalized make incursions into the public sphere, moving public opinion and pressure various sectors such as government and civil organizations, intent on (re) introduce the man as the subject of actions in the political scene, and environmental discourse. The methodology was qualitative, based on analysis of questionnaires between the groups: researchers associated with the National Association of Graduate Studies and Research in Environment and Society-ANPPAS, professionals working in environmental, nongovernmental organizations related to environmental issues , state environmental agencies, state sanitation companies (respondents to the questionnaire 1) and state sanitation company certified by ISO 14001 (questionnaire respondent 2). What was found was that the indicators incorporate social and environmental variables in a psychosphere originating in non-institutionalized social spheres. These variables are operationalized in the strategies and actions to generate competitive advantage, market access, and to generate confidence among the various stakeholders. Where the certificates are presented as network variables tailoring sectors, constitute and embody the company's relations with its parts. / Este trabalho apresenta a análise comparativa hierarquizada de variáveis dos indicadores das certificações da cena socioambiental. Os indicadores são tomados como valores agenciados na relação empresa- meio ambiente. Para tal entendimento, partimos de pressupostos que cada sociedade concebe natureza o ambiente construído pelas e para as relações sociais. Nessa perspectiva, compreende-se que a relação que as sociedades constroem em si e, juntamente, com a que constroem com a natureza, materializam-se no espaço. Daí que, ao falarmos de produção de espaço estamos considerando que esse é produto da indissociabilidade do social e do natural, como um híbrido de processos históricos que se desenvolveram como formas de organização social e dos usos da natureza. Sendo que na construção da cena ambiental tomamos o conceito de esfera pública como lócus de realização dos espaços de argumentação, que repercute e integra a política como um todo interrelacionada. Em que tanto os discursos não originais dos espaços formais de deliberação (que dão suporte à micropolítica) como os institucionalizados fazem incursões pela esfera pública, movimentando a opinião pública e pressionando diversos setores tais como governo, organizações e civis, na intenção de (re)introduzir o homem como sujeito das ações na cena política-discursivaambiental. A metodologia aplicada foi qualitativa, baseada em análise de questionários aplicados entre os grupos: pesquisadores associados à Associação Nacional de Pós-Graduação e Pesquisa em Ambiente e Sociedade- ANPPAS, profissionais liberais que trabalham na área ambiental, organizações não-governamentais ligadas à temática ambiental, órgãos ambientais estatais, empresas estaduais de saneamento (respondentes do questionário 1) e empresa estadual de saneamento certificada pela ISO 14001 ( respondente do questionário 2). O que se constatou foi que os indicadores incorporam as variáveis socioambientais de uma psicosfera originária de esferas sociais não institucionalizadas. Estas variáveis são operacionalizadas nas estratégias e ações para geração de vantagem competitiva, acesso a mercados, e para a geração de confiança entre os diversos públicos de interesse. Em que as certificações se apresentam como uma rede de variáveis que costuram setores, constituem e materializam as relações da empresa com suas partes.

A crescente preocupação mundial com o manejo dos recursos florestais tem exercido grande pressão nos ambientes extrativistas e industriais ligados à base produtiva silvícola. Em vista da dificuldade de se estabelecer quais empresas e produtores adotam padrões produtivos ambientalmente sustentáveis, o uso das certificações tem ganhado notoriedade, funcionando como mecanismo de sinalização de comportamento mercadologicamente valorizado. Este cenário representa empiricamente teorizações da Economia da Informação em um ambiente agroindustrial específico, apresentando ferramentas de emissão de sinais como potenciais redutores da assimetria de informação presente na estrutura econômica de comércio. Contudo, permanecem questionamentos sobre como este uso de certificações e conseqüente melhoria da disponibilidade informacional podem impactar sobre as firmas adotantes desta estratégia. Relacionando esta situação com elementos da Economia Industrial (abordagem Estrutura-Conduta-Desempenho) e caracterizando a sinalização como um elemento de Conduta, esta pesquisa se propõe a verificar empiricamente potenciais impactos desta estratégia de atuação no Desempenho resultante. Como objeto específico de estudo, elegeu-se, dentro da indústria silvícola brasileira, o setor de papel e celulose, dada a sua relevância econômica para o agronegócio brasileiro. O método de análise de desenvolve através de modelos econométricos que buscam estabelecer e mensurar relações de influência entre a evolução de adoção de certificações de manejo florestal sustentável no desempenho exportador agregado do setor para o período 1995- 2008 (dados mensais), visto que a prática de comércio internacional potencializa a disponibilidade assimétrica de informações. Os resultados encontrados são parcialmente conclusivos em direção à sustentação da hipótese de que o uso de certificações tem influências positivas sobre o desempenho de comércio exterior da indústria brasileira de papel e celulose. / World’s increasing concern regarding forest resources management has pressured the producers and industries connected to forestry activities. In face of the difficulty to differentiate agents’ productive patterns of behavior towards forests, the use of sustainable forest management certifications is becoming increasingly relevant, working as a supposedly market valued signaling device. This scenario represents empirically in a specific agroindustrial environment the theories developed in Information Economics, presenting signal emission tools as potential reducers of commercial information asymmetry. However, questions regarding how the use of these certifications and the consequent improvement of information availability impact on firms which adopt this strategy remain. Relating this situation with the elements of Industrial Economics (more specifically the Structure-Conduct-Performance approach) and defining the signaling behavior as a Conduct pattern, this research proposes an analysis of the possible impacts of this strategy in the resulting Performance. As object of study, the Brazilian Pulp & Paper (P&P) industry is chosen, given its economic importance for the country’s forest and agribusiness sectors. The methodology to develop this verification is based on econometric regression models, aiming to establish and measures influences between the sustainable forest management certifications implementation evolution in the aggregated exporting performance of the Brazilian P&P industry for the period 1995-2008 (monthly data), since the international trade is expected to rise the levels of information asymmetry and hence the value of signals. Results allow partial acceptance of the hypothesis that the use of certifications has positive influences on Brazilian P&P industry’s international trade performance.

A crescente preocupação mundial com o manejo dos recursos florestais tem exercido grande pressão nos ambientes extrativistas e industriais ligados à base produtiva silvícola. Em vista da dificuldade de se estabelecer quais empresas e produtores adotam padrões produtivos ambientalmente sustentáveis, o uso das certificações tem ganhado notoriedade, funcionando como mecanismo de sinalização de comportamento mercadologicamente valorizado. Este cenário representa empiricamente teorizações da Economia da Informação em um ambiente agroindustrial específico, apresentando ferramentas de emissão de sinais como potenciais redutores da assimetria de informação presente na estrutura econômica de comércio. Contudo, permanecem questionamentos sobre como este uso de certificações e conseqüente melhoria da disponibilidade informacional podem impactar sobre as firmas adotantes desta estratégia. Relacionando esta situação com elementos da Economia Industrial (abordagem Estrutura-Conduta-Desempenho) e caracterizando a sinalização como um elemento de Conduta, esta pesquisa se propõe a verificar empiricamente potenciais impactos desta estratégia de atuação no Desempenho resultante. Como objeto específico de estudo, elegeu-se, dentro da indústria silvícola brasileira, o setor de papel e celulose, dada a sua relevância econômica para o agronegócio brasileiro. O método de análise de desenvolve através de modelos econométricos que buscam estabelecer e mensurar relações de influência entre a evolução de adoção de certificações de manejo florestal sustentável no desempenho exportador agregado do setor para o período 1995- 2008 (dados mensais), visto que a prática de comércio internacional potencializa a disponibilidade assimétrica de informações. Os resultados encontrados são parcialmente conclusivos em direção à sustentação da hipótese de que o uso de certificações tem influências positivas sobre o desempenho de comércio exterior da indústria brasileira de papel e celulose. / World’s increasing concern regarding forest resources management has pressured the producers and industries connected to forestry activities. In face of the difficulty to differentiate agents’ productive patterns of behavior towards forests, the use of sustainable forest management certifications is becoming increasingly relevant, working as a supposedly market valued signaling device. This scenario represents empirically in a specific agroindustrial environment the theories developed in Information Economics, presenting signal emission tools as potential reducers of commercial information asymmetry. However, questions regarding how the use of these certifications and the consequent improvement of information availability impact on firms which adopt this strategy remain. Relating this situation with the elements of Industrial Economics (more specifically the Structure-Conduct-Performance approach) and defining the signaling behavior as a Conduct pattern, this research proposes an analysis of the possible impacts of this strategy in the resulting Performance. As object of study, the Brazilian Pulp & Paper (P&P) industry is chosen, given its economic importance for the country’s forest and agribusiness sectors. The methodology to develop this verification is based on econometric regression models, aiming to establish and measures influences between the sustainable forest management certifications implementation evolution in the aggregated exporting performance of the Brazilian P&P industry for the period 1995-2008 (monthly data), since the international trade is expected to rise the levels of information asymmetry and hence the value of signals. Results allow partial acceptance of the hypothesis that the use of certifications has positive influences on Brazilian P&P industry’s international trade performance.

Dans cette thèse, nous visons à formaliser les effets calculatoires. En effet, les langages de programmation les plus utilisés impliquent différentes sortes d'effets de bord: changement d'état, exceptions, entrées / sorties, non-déterminisme, etc. Ils peuvent apporter facilité et flexibilité dans le processus de codage. Cependant, le problème est de prendre en compte les effets lorsque l'on veut prouver des propriétés de programmes. La principale difficulté dans ce genre de preuve de programmes est le décalage entre la syntaxe des opérations avec effets de bord et leur interprétation. Typiquement, un fragment de programme avec des arguments de type X qui retourne une valeur de type Y n'est pas interprété comme une fonction de X vers Y , à cause des effets.L'approche algébrique la plus connue pour ce problème permet une interprétation des programmes, y compris ceux comportant des effets, en utilisant des monades : l'interprétation est une fonction de X vers T (Y ) où T est une monade. Cette approche a été étendue aux théories de Lawvere et aux "gestionnaires algébriques" (algebraic handlers). Une autre approche, appelée logique décorée, fournit une sémantique équationnelle pour ces programmes. Nous spécialisons l'approche de la logique décorée pour les effets liés à l'état de la mémoire et à la gestion des exceptions en définissant la logique décorée pour les états (L_st) et la logique décorée pour les exceptions (L_exc), respectivement. Elles nous permettent de prouver des propriétés de programmes impliquant de tels effets. Ensuite, nous formalisons ces logiques en Coq et certifions les preuves associées. Ces logiques sont construites de manière à être correctes. En outre, nous introduisons une notion de complétude syntaxique relative d'une théorie dans une logique donnée par rapport à une sous-logique. Nous montrons que la théorie décorée pour les états globaux ainsi que deux théories décorées pour les exceptions sont relativement complets relativement à leur sous-logique pure. Non seulement nous pouvons utiliser le système développé pour prouver des programmes comportant des effets, mais également nous utilisons cette formalisation pour certifier les résultats de complétude obtenus. / In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts of effects: state change, exceptions, input/output, non-determinism, etc. They may bring ease and flexibility to the coding process. However, the problem is to take into account the effects when proving the properties of programs. The major difficulty in such kind of reasoning is the mismatch between the syntax of operations with effects and their interpretation. Typically, a piece of program with arguments in X that returns a value in Y is not interpreted as a function from X to Y , due to the effects. The best-known algebraic approach to the problem interprets programs including effects with the use of monads: the interpretation is a function from X to T(Y) where T is a monad. This approach has been extendedto Lawvere theories and algebraic handlers. Another approach called, the decorated logic, provides a sort of equational semantics for reasoning about programs with effects. We specialize the approach of decorated logic to the state and the exceptions effects by defining the decorated logic for states (L_st) and the decorated logic for exceptions (L_exc), respectively. This enables us to prove properties of programs involving such effects. Then, we formalize these logics in Coq and certify the related proofs. These logics are built so as to be sound. In addition, we introduce a relative notion of syntactic completeness of a theory in a given logic with respect to a sublogic. We prove that the decorated theory for the global states as well as two decorated theories for exceptions are syntactically complete relatively to their pure sublogics. These proofs are certified in Coq as applications of ourgeneric frameworks.