Mario Roberto Folhadela Benevides

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/7279612728721005
  • Última atualização do currículo em 19/11/2018


Possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (1982), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1985) e doutorado em Ciência da Computação - Imperial College of Science Technology And Medicine (1991). Atualmente é prof. titular da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: lógica modal, lógica aplicada à computação e lógica epistêmica. (Texto informado pelo autor)


Identificação


Nome
Mario Roberto Folhadela Benevides
Nome em citações bibliográficas
BENEVIDES, M. R. F.;Benevides, M. R. F.;Benevides, M.;Benevides, Mario;Benevides, Mario R.F.;BENEVIDES, M;Mario R. F. Benevides;BENEVIDES, M.R.F.;MARIO BENEVIDES;Benevides, Mario R. F.

Endereço


Endereço Profissional
Universidade Federal do Rio de Janeiro, Program de Engenharia de Sistemas e Computação - COPPE.
AC Ilha do Fundão
Cidade Universitária
21941972 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 68511
Telefone: (21) 25628711
Fax: (21) 25628676


Formação acadêmica/titulação


1987 - 1991
Doutorado em Computer Science.
Imperial College Of Science Technology And Medicine, IC, Grã-Bretanha.
Título: A Proof Theoretical Methodology for Multiple-Word Reasoning, Ano de obtenção: 1991.
Orientador: Thomas S E. Maibaum.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
1983 - 1985
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Implementação de um Protocolo N2 X 25 Multi-Enlace num Cobra-540,Ano de Obtenção: 1985.
Orientador: Daniel Menasce.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Methodology; Multiple-World; Protocolo; X-25; Rede; Reasoning.
Grande área: Ciências Exatas e da Terra
1978 - 1982
Graduação em Engenharia Elétrica.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.


Pós-doutorado


1997 - 1998
Pós-Doutorado.
Universiteit van Amsterdam, UvA, Holanda.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

1993 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Prof. Titular, Regime: Dedicação exclusiva.

Atividades

11/1993 - Atual
Pesquisa e desenvolvimento , Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Programa de Engenharia de Sistemas.

11/1993 - Atual
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
Especificação de Sistemas Concorrentes
Lógica
Lógica Modal
Teoria da Computação
Teoria dos Jogos
10/1993 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Modal
Inteligência Artificial
Lógica
Teoria dos Jogos
10/1993 - Atual
Outras atividades técnico-científicas , Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia.

Atividade realizada
Orientação de Alunos de Projeto Final, Mestrado e Doutorado.


Linhas de pesquisa


1.
Inteligência Artificial
2.
Lógicas Aplicadas à Computação
3.
Lógicas Modais
4.
Lógicas Dinâmicas
5.
Lógicas Epistêmicas


Projetos de pesquisa


2014 - Atual
Lógicas Modais Aplicadas à Verificação de Sistemas Computacionais
Descrição: Universal 2014.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - Atual
Lógicas Modais Aplicadas à Computação
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2013 - 2015
Provas: estrutura, transformações e semântica
Descrição: Pesquisador Visitante Estrangeiro.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Edward Hermann Haeusler - Integrante / Bruno Lopes - Integrante / Luis Carlos Pereira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - Atual
Logical Foundations of Modern Defeasibility-Tolerant Knowledge Based Systems
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Ivan José Varzinczak - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2013
Lógicas Modais Aplicadas à Computação
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Carla Amor Divino Moreira Delgado - Integrante / Edward Hermann Haeusler - Integrante / Luis Menasché Schechter - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - Atual
Projeto Instituto Brasileiro de Pesquisa em Ciência da Web
Descrição: Projeto Instituto Brasileiro de Pesquisa em Ciência da Web.
Situação: Em andamento; Natureza: Pesquisa.
2009 - 2011
Lógicas Modais e Verificação de Sistemas Concorrentes
Descrição: Projeto Universal CNPq.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Edward Hermann Haeusler - Integrante / Luis Menasché Schechter - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Projeto BOOST ? Consolidação da Pós-Graduação em Ciência da Computaçãoo da UFC através de Parcerias
Descrição: Projeto CASADINHO Edital/MCT/CNPq/PADCT Regi\~ao\\ Nordeste, consolidação do Programa de Pós-Graduação Universidades participantes: UFC, UFRJ e PUC-RJ..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Projeto Fortalecimento do PPgSC/UFRN atrav\'es de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados
Descrição: Projeto CASADINHO Edital/MCT/CNPq/PADCT Regi\~ao\\ Nordeste, consolida\c c\~ao do Programa de P\'os-Gradua\c c\~ao. Universidades participantes: UFRN, UFRJ, PUC-RJ, UFPE, e UFRGS..
Situação: Em andamento; Natureza: Pesquisa.
2007 - 2010
Algoritmos: Engenharia e Fundamentos
Descrição: PRONEX.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Mario Roberto Folhadela Benevides - Integrante / Sheila M. Veloso - Integrante / Renata Freitas - Integrante / Petrúcio Viana - Integrante / Veloso, Paulo A. S. - Coordenador / Outros Membros - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2009
Revisão de Especificações Formais
Descrição: Projeto Universal CNPq Coordenador Renata Wasserman (USP).
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
Lógicas Modais, Algebras de Processos e Jogos
Descrição: Projeto Universal CNPq.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Renata Freitas - Integrante / Petrúcio Viana - Integrante / Edward Hermann Haeusler - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2007
Lógicas Modais, Álgebras, Sistemas Distribuidos e Jogos
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Mario Roberto Folhadela Benevides - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Revisor de periódico


2009 - 2009
Periódico: Bulletin of the IGPL
2010 - 2010
Periódico: TEMA. Tendências em Matemática Aplicada e Computacional
2007 - 2007
Periódico: Logica Universalis (Print)
2013 - 2014
Periódico: Theoretical Computer Science
2014 - Atual
Periódico: Theoretical Computer Science
2014 - Atual
Periódico: Journal of Applied Non-Classical Logics
2013 - 2013
Periódico: Journal of Applied Logic
2010 - 2010
Periódico: The Journal of Systems and Software
2010 - 2010
Periódico: Journal of Computational Interdisciplinary Sciences


Revisor de projeto de fomento


1995 - Atual
Agência de fomento: Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ
1993 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
1993 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Italiano
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Benevides, Mario2018Benevides, Mario; Lopes, Bruno ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE, v. 744, p. 22-36, 2018.

2.
VELOSO, PAULO A.S.2017VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; Benevides, Mario R.F. . On a graph calculus for modalities. THEORETICAL COMPUTER SCIENCE, v. 685, p. 83-103, 2017.

3.
Benevides, Mario2017Benevides, Mario. Bisimilar and logically equivalent programs in PDL with parallel operator. THEORETICAL COMPUTER SCIENCE, v. 685, p. 23-45, 2017.

4.
Benevides, Mario2017Benevides, Mario; LIMA, I. . Action Models with Postconditions. COMPUTACION Y SISTEMAS, v. 21, p. 401-406, 2017.

5.
FERREIRA, F.M.2014FERREIRA, F.M. ; FREIRE, C.M. ; BENEVIDES, M.R.F. ; MENASCHÉ SCHECHTER, L. ; MARTINS, A.T. . Polynomial hierarchy graph properties in hybrid logic. Journal of Computer and System Sciences (Print), v. 80, p. 1087-1101, 2014.

6.
Benevides, M. R. F.2014 Benevides, M. R. F.; Schechter, L. M. . Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. Journal of Logic and Computation (Print), v. 24, p. 919-951, 2014.

7.
Veloso, P. A. S.2014Veloso, P. A. S. ; Veloso, S. R. M. ; Benevides, M. R. F. . PDL for structured data: a graph-calculus approach. Logic Journal of the IGPL (Print), v. 22, p. 737-757, 2014.

8.
LOPES, B.2014LOPES, B. ; Benevides, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL (Print), v. 22, p. 721-736, 2014.

9.
Benevides, Mario R.F.2011 Benevides, Mario R.F.; Schechter, L. Menasché . A study on multi-dimensional products of graphs and hybrid logics. Theoretical Computer Science, v. 412, p. 4946-4966, 2011.

10.
Veloso, P. A. S.2010Veloso, P. A. S. ; Veloso, S. R. M. ; VIANA, P. ; Freitas, R. D. ; Benevides, M. ; Delgado, C. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL, v. 18, p. 381-402, 2010.

11.
Benevides, M. R. F.2009Benevides, M. R. F.; Schechter, L. M. . Using modal logics to express and check global graph properties. Logic Journal of the IGPL, v. 17, p. 559-587, 2009.

12.
Veloso, Paulo A. S.2007Veloso, Paulo A. S. ; Freitas, Renata P. ; Viana, Petrucio ; Benevides, Mario ; Veloso, Sheila R. M. . On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic, v. 36, p. 489-509, 2007.

13.
COSTA, Vania2005COSTA, Vania ; BENEVIDES, M. R. F. . Reasoning about Knowledge in Asychronous Distributed Systems. Bulletin of the IGPL, Inglaterra, v. 13, n.1, p. 5-28, 2005.

14.
COSTA, Vania2005 COSTA, Vania ; BENEVIDES, M. R. F. . Formalizing Concurrent Common Knowledge as Product of Modal Logic. Bulletin of the IGPL, Oxford University Press, v. 13, n.6, p. 665-684, 2005.

15.
FREITAS, R. P.2003BENEVIDES, M. R. F.; FREITAS, R. P. ; VIANA, P. ; VELOSO, S. M. ; VELOSO, P. A. . Squares in Fork Arrow Logic. Journal of Philosophical Logic (Dordrecht. Online), Holanda, v. 32, n.1, p. 343-355, 2003.

16.
BARBOSA, V. C.2001BARBOSA, V. C. ; BENEVIDES, M. R. F. ; OLIVEIRA FILHO, A. L. . A Priority Dynamics for Generalized Drinking Philosophers. Information Processing Letters, v. 79, p. 189-195, 2001.

17.
BARBOSA, V.2000BENEVIDES, M. R. F.; BARBOSA, V. ; FRANÇA, F. G. . Sharing Resources at Nonuniform Access Rates. Theory of Computing Systems, v. 34, p. 13, 2000.

18.
BENEVIDES, M. R. F.;Benevides, M. R. F.;Benevides, M.;Benevides, Mario;Benevides, Mario R.F.;BENEVIDES, M;Mario R. F. Benevides;BENEVIDES, M.R.F.;MARIO BENEVIDES;Benevides, Mario R. F.1992 BENEVIDES, M. R. F.; MAYBAUM, T. S. E. . A Constructive Presentation for the Modal Connective of Necessity ( ). Journal of Logic and Computation (Online), v. 2, n.1, p. 31-50, 1992.

Capítulos de livros publicados
1.
Veloso, Sheila R. M. ; Veloso, Paulo A. S. ; Benevides, Mario R. F. ; Lima, Isaque M. S. . On Diagrams and General Model Checkers. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10871, p. 680-688.

2.
Lopes, Bruno ; Benevides, Mario ; Haeusler, Edward Hermann . Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2015, v. 372, p. 75-86.

3.
BENEVIDES, M. R. F.. Modal Logics for Finite Graphs. In: Ruy J. G. Queiroz. (Org.). Logic for Concurrency and Synchronization. Amsterdam: Kluwer Academic Publishers series Trends in Logic, 2003, v. 18, p. 239-267.

4.
BENEVIDES, M. R. F.. A Natural Deduction Presentation For Intuitionistic Modal Logic. In: W. Carnielli; L. C.Pereira. (Org.). Logic, Sets and Information. Campinas - SP: Unicamp - Coleção CLE, 1995, v. 14, p. 25-59.

Trabalhos completos publicados em anais de congressos
1.
Benevides, Mario R. F.; MADEIRA, A. ; MARTINS, M. . A family of graded epistemic logics. In: 13th Workshop On Logical and Semantic Frameworks with applications (to aapear), 2018, Brasilia. Eletronic Notes in Theoretical Computer Science' ENTCS, 2018. v. 338. p. 45-59.

2.
MACHADO, V. ; Mario R. F. Benevides . Populational Announcement Logic (PPAL). In: International Workshop on Defeasible and Ampliative Reasoning 2017, 2017, Spoo. Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17), 2017. v. 1. p. 2-15.

3.
Benevides, Mario R.F.; LOPES, B. ; HAEUSLER, E. H. . Propositional Dynamic Logic for Petri Nets with Iteration. In: International Colloquium on Theoretical Aspects of Computing, 2016, Taipei. Lecture Notos in Computer Science. Berlin: Springer, 2016. v. 9965. p. 441-456.

4.
Benevides, Mario R.F.; MACHADO, V. . Populational Dynamic Epistemic Logic (PPDEL). In: Encontro Nacional de Inteligência Artificial e Computacional, 2015, Natal. Anais Encontro Nacional de Inteligência Artificial e Computacional. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. p. 1.

5.
VELOSO, P. A. ; VELOSO, S. M. ; BENEVIDES, M . On Graph Calculi for Multi-modal Logics. In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2015, Brasilia. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier, 2014. v. 312. p. 231-252.

6.
Mario R. F. Benevides. Bisimilar and Logically Equivalent Programs in PDL. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 5-18.

7.
Veloso, Paulo A. S. ; Veloso, Sheila R. M. ; Benevides, Mario R.F. . On a Graph Approach to Modal Logics. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 123-139.

8.
LOPES, B. ; Benevides, M. R. F. ; HAEUSLER, E. H. . Extending Propositional Dynamic Logic for Petri Nets. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 67-83.

9.
Benevides, M. R. F.; LIMA, I. ; NADER, R. ; ROUGEMONT, P. . Using HMM in Strategic Games. In: 9th International Workshop on Developments in Computational Models, affiliated workshop of CONCUR 201, 2014, Buenos Aires. Electronic Proceedings in Theoretical Computer Science EPTCS. Amsterdam: Elsevier, 2014. v. 144. p. 73-84.

10.
LIMA, I. ; BENEVIDES, M. R. F. . Modelos de Ação com Pós-Condição. In: ENIAC 2014 ? Encontro Nacional de Inteligência Artificial e Computacional, 2014, São Carlos. Brazilian Conference on Intelligent Systems, 2014. v. 1. p. 1-9.

11.
LOPES, B. ; Benevides, M. R. F. ; HAEUSLER, E. H. . Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic. In: Encontro Nacional de Inteligência Artificial e Computacional, 2013, Fortaleza. Anais Encontro Nacional de Inteligência Artificial e Computacional. Rio de Janeiro: SBC, 2013. v. 1. p. 1-12.

12.
Benevides, Mario R.F.; de Freitas, Renata ; Viana, Petrucio . Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop (LSFA 2010), 2011, Natal. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier B.V., 2010. v. 269. p. 95-107.

13.
Francicleber Martins Ferreira ; Cibele Matos Freire ; Benevides, Mario R.F. ; Luis Menasché Schechter ; Ana T. Martins . Hybrid Logics and NP Graph Properties. In: XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), 2011, Philadelphia, USA. Lecture Notes in Artificial Intelligence, 2011. v. 6642. p. 123-134.

14.
Benjamin C. Bedrega ; Regivan N. Santiago ; Benevides, Mario R.F. ; Viana, Petrucio . K, T and D-like fuzzy Kripke models. In: 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, , El Paso - Texas. NAFIPS 2011. Danvers, MA: IEEE, 2011. v. 1. p. 103-108.

15.
Benevides, Mario R.F.; Schechter, L. Menasché . A Propositional Dynamic Logic for Concurrent Programs Based on the ?-Calculus. In: Methods for Modalities (M4M), 2010, Copenhaguem. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdã: Elsevier. v. 262. p. 49-64.

16.
Benjamin C. Bedrega ; Regivan N. Santiago ; Benevides, Mario R.F. ; Viana, Petrucio . K-Like Fuzzy Kripke Models. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos: Universidade Federal de São Carlos, 2010. p. 1-7.

17.
BENEVIDES, M. R. F.; Luis Menasché Schechter . Product of Graphs and Hybrid Logic. In: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasilia. Eletronic Notes in Theoretical Computer Science. Amsterdam: Elvesier, 2009. v. 256. p. 103-118.

18.
DELGADO, C. M. ; BENEVIDES, M. R. F. . Verification of epistemic properties in probabilistic Multi-Agent Systems. In: 17th German conference on Multi-Agent System Technologies (MATES), 2009, Hamburg. Lecture Notes in Artificial Intelligence. Amsterdam: Springer, 2009. v. 5774. p. 1-15.

19.
Eduardo R. Waghabi ; BENEVIDES, M. R. F. . Aplicação de Modelos Ocultos de Markov na Teoria dos Jogos. In: ENIA - VII Encontro Nacional de Inteligência Artificial, 2009, Bento Gonçalves. 29ª Congresso da Sociedade Brasileira de Computação ? CSBC 2009., 2009. v. 1. p. 1-10.

20.
BENEVIDES, M; DELGADO, C ; POMBO, C ; LOPES, L ; RIBEIRO, R . A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. In: Simpósium Brasileiro de Métodos Formais, 2008, Natal. Electronic Notes in Theoretical Computer Science (ENTCS). Amsterdam: Elsevier. v. 195. p. 133-149.

21.
BENEVIDES, M; SCHECHTER, L . Modal Expressiveness of Graph Properties. In: Second Workshop on Logical and Semantic Frameworks, with Applications, 2008, Ouro Preto. Electronic Notes in Theoretical Computer Science ENTCS. v. 205. p. 31-47.

22.
BENEVIDES, M. R. F.; Luis Menasché Schechter . A Propositional Dynamic Logic for CCS Programs. In: XV Workshop on Logic, Language, Information and Computation, 2008, Edinburgh. Lecture Notes in Computer Science. Berlin: Springer, 2008. v. 5110. p. 83-97.

23.
BENEVIDES, M. R. F.; Luis Menasché Schechter . Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator. In: XV Encontro Brasileiro de Lógica, 2008, Paraty. XV Encontro Brasileiro de Lógica. Campinas: CLE-ePrints, 2008. v. 8.

24.
BENEVIDES, M. R. F.; DELGADO, C. M. ; CARLINI, M. A. . Proving Epistemic and Temporal Properties from Knowledge Based Programs. In: Brazilian Symposium on Artificial Intelligence, 2008, Salvador. Lecture Notes in Artificial Intelligence. Berlin: Springer, 2008. v. 5249. p. 134-144.

25.
T. Azevedo ; BENEVIDES, M ; PROTTI, F. ; SIHMAN, M. . On detecting deadlock in the Pi-Calculus. In: Fourth Conference on Computability in Europe , CiE 2008, 2008, Atenas. Proceedings of the Fourth Conference on Computability in Europe 2008, CiE 2008, 2008.

26.
HAEUSLER, E. H. ; VASCONCELOS, D. R. ; BENEVIDES, M. R. F. . Defining Agents via Strategies: Towards a Game-Theoretical view of MAS. In: Workshop on Radical Agent Concepts, 2005, Washington. Lecture Notes in Computer Science. Londres: Springer-Verlag, 2005. v. 3825.

27.
BENEVIDES, M. R. F.; DELGADO, C. M. ; FREITAS, R. P. ; VELOSO, P. A. ; VELOSO, S. M. . Modalities for Vague Notions. In: XVII Brazilian Symposioum on Artificial Intelegence, 2004, São Luix. Lecture Notes in Artificial Intelegence, 2004. v. 3171. p. 1-10.

28.
BENEVIDES, M. R. F.; RIBEIRO, R. . Game Prolog. In: SIXTH CONFERENCE ON LOGIC AND THE FOUNDATIONS OF GAME AND DECISION THEORY, 2004, Leipzig, 2004. v. 1. p. 1-1.

29.
COSTA, Vania ; BENEVIDES, M. R. F. . Formalizing concurrent common knowledge as product of modal logics. In: Proceedings of Workshop on Combination of Logics: Theory and Applications, CombLog, 2004, Lisboa. CLE e-Prints (Impresso). Campinas: CLE- e-prints, 2004. v. 4.

30.
PIRES, P. F. ; BENEVIDES, M. R. F. ; MATTOSO, M. L. Q. . Building Reliable Web Services Compositions. In: International Workshop on Web Services: Research, Standardization and Development, 2003, Berlin. Lecture Notes in Computer Science, 2002. v. 2593. p. 59-72.

31.
PIRES, P. F. ; MATTOSO, M. L. Q. ; BENEVIDES, M. R. F. . Mediating Heterogeneous Web Services. In: 2003 Symposium On Applications And The Internet (SAINT 2003), 2003, Orlando, 2003. p. 344-347.

32.
PIRES, P. F. ; BENEVIDES, M. R. F. ; MATTOSO, M. L. Q. . WebTransact: A Framework for Building Reliable Web Service Compositions. In: XXIII Congresso da Sociedade Brasileira de Computação, 2003, Campinas, 2003. v. 3. p. 139-146.

33.
DELGADO, C. M. ; BENEVIDES, M. R. F. . Reasoning about Events Knowledge in Distributed System. In: CMSRA-2002 Computational Models of Scientific Reasoning and Applications, 2002, Las Vegas. Proceedings of the International Conference on Artificial Intelligence, 2002. v. III. p. 1213-1219.

34.
COSTA, Vania ; BENEVIDES, M. R. F. . A Two-dimensional Modal Logic for Knowledge Representation in Asynchnrous Multi-Agent Systems. In: CMSRA-2002 Computational Models of Scientific Reasoning and Applications, 2002, Las Vegas. Proceedings of the International Conference on Artificial Intelligence, 2002. v. III. p. 1271-1277.

35.
FREITAS, R. P. ; VIANA, P. ; VELOSO, P. A. ; VELOSO, S. M. ; BENEVIDES, M. R. F. . On Hybrid Arrow Logic. In: HyLo@LICS: 4th Workshop on Hybrid Logic, 2002, Copenhague. Eletronic Notes in Theoretical Computer Science, 2002.

36.
FREITAS, R. P. ; VELOSO, P. A. ; VIANA, P. ; VELOSO, S. M. ; BENEVIDES, M. R. F. . Expressive Power of Fork Arrow Logic. In: WMF´2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of 5th Workshop on Formal Methods, 2002. v. 1. p. 84-99.

37.
BENEVIDES, M. R. F.; SIHMAN, M. . DeadLock Detection in Algebraic Specifications for Concurrent Systems. In: WMF´2002: V Workshop de Métodos Formais, 2002, Gramado, 2002.

38.
FREITAS, R. P. ; VIANA, P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. ; VELOSO, S. M. . Squares in Fork Modal Logic. In: Workshop on Logic, Language and Computation, 2001, Brasilia. WoLLIC 2001, 2001. v. 1. p. 77-85.

39.
BENEVIDES, M. R. F.; DELGADO, C. M. . Dynamic Logic of Knowledge. In: ENIA 2001 Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. SBC, 2001.

40.
BENEVIDES, M. R. F.; FREITAS, R. P. ; VELOSO, P. A. ; VELOSO, S. M. ; VIANA, P. . Axiomatization and Completeness for Fork Modal logic. In: Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF, 2001. p. 1-12.

41.
BENEVIDES, M. R. F.; MATTOSO, M. L. Q. ; PIRES, P. F. . Mechanisms for Specifying Communication Behavior in Object Oriented Database Systems. In: 14th ACM Symposium on Applied Computing, 2000, Como. SAC'00, 2000. p. 389-397.

42.
BENEVIDES, M. R. F.; COSTA, Vania ; BARBOSA, V. . Rumo a uma Lógica Bidimensional de Conhecimento em Sistemas Distribuídos Assíncronos. In: XII Encontro Brasileiro de Lógica, 1999, Parque Nacional de Itatiaia, 1999. p. 98-106.

43.
BENEVIDES, M. R. F.; SIHMAN, M. . Automatic Generation of CCS Specification for Resource Sharing Problems. In: International Conference on Principles of Distribuited System, 1997. Paris: Editora Hermes, 1997.

44.
BENEVIDES, M. R. F.. A Modal Logic for Finite Graphs. In: Eleventh Amsterdam Colloquium, 1997, Amsterdã. Amsterdã: ILLC-Publications, 1997. p. 79-84.

45.
BENEVIDES, M. R. F.. Multiple Database Logic. In: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995, Fribourg. Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 1995. v. 946. p. 28-35.

46.
BENEVIDES, M. R. F.; SOUZA, M. C. . Promal: Programming In Modal Action Logic. In: 12th Brazilian Symposium on Artificial Intelligence, 1995, Campinas. Lectures Notes in Artificial Intelligence. Berlin: Springer Verlag. v. 991. p. 101-111.

47.
BENEVIDES, M. R. F.; RODRIGUES, O. T. . Belief Revision In Pseudo-Definite Sets. In: XI Brazilian Symposium on Artificial Intelligence, 1994, Fortaleza. p. 157-171.

48.
BENEVIDES, M. R. F.. Differentiating Assumption From Extra-Logical Axioms In Natural Deduction. In: Kurt Gödel Colloquim - Computational Logic and Proof Theory, 1993, Brno. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1993. v. 713. p. 120-131.

49.
BENEVIDES, M. R. F.; SILVA, J. C. P. . Um Estudo sobre Lógicas de Multiplos Bancos de Dados. In: XIX Conferência Latinoamericana de Informática, 1993, Buenos Aires, 1993.

Resumos publicados em anais de congressos
1.
BENEVIDES, M. R. F.; VELOSO, P. A. . Axiomatization and Completeness for Fork Modal Logic. In: Encontro Brsileiro de Lógica, 1999, Parque Nacional de Itatiaia. XII EBL, 1999. p. 90-97.

2.
BENEVIDES, M. R. F.. Natural Deduction For Sub-Lógics Of Predicate Logic. In: XI Encontro Brasileiro de Lógica, 1997, Salvador. Journal of the Interest Group In Pure and Applied Logics IGPL. Londres: Oxford Press, 1996. v. 5. p. 443-443.

3.
BENEVIDES, M. R. F.. A Labelled Deductive System Approach To Multiple Database Logic. In: X International Congress of Logic, Methodology and Philosophy of Science, 1995, Florença. p. 99-99.

4.
BENEVIDES, M. R. F.. Axioms And Assumptions. In: IX INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 1991, Uppsala, 1991.


Demais tipos de produção técnica
1.
Mario R. F. Benevides; THIEMANN, R. . Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015). 2016. (Editoração/Anais).

2.
PAIVA, V. ; Benevides, M. R. F. ; NIGAM, V. ; E, Pimentel . Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013). 2014. (Editoração/Anais).

3.
E, Pimentel ; BENEVIDES, M. R. F. . Electronic Notes in Theoretical Computer Science - Volume 247. 2009. (Editoração/Anais).

Demais trabalhos
1.
BENEVIDES, M. R. F.; PROTTI, F. . Communication Problems in the Pi-Calculus. 2000 (Relatório Técnico NCE 02/2000) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
OLIVEIRA, D. C. M.; CARVALHO, A. M. P.; Benevides, Mario. Participação em banca de Rainer Augusto Ferreira Sales. Aplicação de NPC Afetivo em Jogos de Simulação. 2014. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

2.
FIGUEIREDO, D. R.; Benevides, Mario. Participação em banca de Vicente de Melo Pinheiro.. Modelagem e Caracteriização de um Processo de Amostragem de Vértices em Redes. 2013. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

3.
DELGADO, C. M.; Benevides, M.. Participação em banca de Fabio Silva do Couto. Confiança e Reputação para Jogos. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

4.
Ana T. Martins; Benevides, M.. Participação em banca de CARLOS ROBERTO RODRIGUES FILHO. A EVOLUÇÃO DO PROJETO COMPUTACIONAL PARA UMA INTELIGENCIA ARTIFICIAL E AS NOVAS PERSPECTIVAS OFERECIDAS PELOS AVANCOS DA COGNIÇÃO ENATIVA. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

5.
Ana T. Martins; Benevides, M.. Participação em banca de IURI FERNANDES QUEIROZ. VERSIONAMENTO DE ONTOLOGIAS BASEADO EM LÓGICAS TEMPORAIS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

6.
ALCANTARA, J. F. L.; Ana T. Martins; Benevides, M.. Participação em banca de HENRIQUE VIANA OLIVEIRA. REFINAMENTODECONSULTASEMLO ́GICASDEDESCRIC ̧A ̃O UTILIZANDO A TEORIA DOS ROUGH SETS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

7.
Ana T. Martins; Benevides, Mario R.F.. Participação em banca de Cibele Matos freire. Complexidade Descritiva das Lógicas de Ordem Superior com Menor Ponto Fixo e Análise de Expressividade de algumas Lógicas Modais.. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

8.
Flavio L. C. de Moura; BENEVIDES, M. Participação em banca de Washington Luís Ribeiro de C. Segundo. Verificação de Propriedades do Cálculo $\lambda$ex em Coq. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

9.
Mauricio A. Rincon; BENEVIDES, M. Participação em banca de Andréia Avelar. Formalização da Prova do Teorema de Existência de Unificadores Mais Gerais em Teorias de Primeira Ordem. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

10.
HAEUSLER, E. H.; BENEVIDES, M. Participação em banca de Bruno Shoedrenger. A Graph Based Theorem Prooving Platform with Strategies. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

11.
HAEUSLER, E. H.; BENEVIDES, M. Participação em banca de Cecilia Englander. 2-Category and Proof Theory. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Teses de doutorado
1.
HAEUSLER, E. H.; Mario R. F. Benevides. Participação em banca de Bruno Lopes Ribeiro. Extending Propositional Dynamic Logic for Petri Nets. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
G. Zaverucha; Mario R. F. Benevides. Participação em banca de Ana Luísa de Cerqueira Leite Duboc. Uma Análise dos Operadores de Revisão de Teorias do Sistema de Revisão FORTE-MBC. 2014. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

3.
Mauricio A. Rincon; FERNANDEZ, M.; BENEVIDES, M; QUEIROZ, R. J. G.; Flavio L. C. de Moura. Participação em banca de Daniele Nantes Sobrinho. O Problema da Dedução do Intruso para Teorias AC-convergentes Localmente Estáveis. 2013. Tese (Doutorado em Matemática) - Universidade de Brasília.

4.
Ana T. Martins; HAEUSLER, E. H.; Benevides, M.. Participação em banca de Francicleber Martins Ferreira. Expressiveness and Complexity in Preferential, Hybrid and Bounded-Degree Logics. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

5.
HAEUSLER, E. H.; Benevides, M.. Participação em banca de Ricardo Queiroz de Araujo Fernandes. Proximity-based Understanding of Conditionals. 2012. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

6.
COUTINHO, S. C.; Benevides, M.. Participação em banca de Cecilia Fernanda Saraiva de Oliveira. SOBRE DERIVAC ̧O ̃ES SIMPLES E FOLHEAC ̧O ̃ES HOLOMORFAS SEM SOLUC ̧A ̃O ALGE ́BRICA. 2012. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

7.
ZAVERUCHA, G.; Benevides, M.. Participação em banca de Aline Marins Paes. ON THE EFFECTIVE REVISION OF (BAYESIAN) LOGIC PROGRAMS. 2011. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

8.
Ana T. Martins; BENEVIDES, M. Participação em banca de Alexandre Cavalcante Silva. Sistemas Esquem\'aticos de Deduçãoo Natural - Um Estudo Prova-Teórico. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

9.
HAEUSLER, E. H.; BENEVIDES, M. Participação em banca de Alexandre Rademaker. A proof theory for Description Logics. 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

10.
R. Wassermann; Benevides, Mario R.F.; Walter Carnielli; M. Finger; Fabio Cozman. Participação em banca de Marcio Moretto Ribeiro. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2010. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

11.
G. Zaverucha; BENEVIDES, M. Participação em banca de Kate Cerqueira Revoredo. PFORTE-PI: Revisão de Teorias Prob. de Prim. Ordem através de exemplos com invenção de predicados. 2009. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

12.
A. Cruz; BENEVIDES, M. Participação em banca de Raquel Defelippo Rodrigues. Aliança - Uma Proposta de Arquitetura para Bancos de Dados Nebulosos. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

13.
Luis A. V. Carvalho; BENEVIDES, M. Participação em banca de Alberto Tavares da Silva. Assistente Inteligente para a Extração de Elementos Orientados a Objeto de Discurso. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

14.
HAEUSLER, E. H.; BENEVIDES, M. Participação em banca de Juliana Carpes Imperial. Confiança em Modelos Multi-Agentes. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

15.
Luis A. V. Carvalho; BENEVIDES, M. Participação em banca de Leila Andrade. Uso de T\'ecnicas Inteligentes para Análise de Avaliações do Transtorno do Déficite de Atenção e Hiperatividade em um Jogo Computacional. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

16.
HAEUSLER, E. H.; BENEVIDES, M.R.F.. Participação em banca de Bruno Lopes Ribeiro. Extending Propositional Dynamic Logic for Petri Nets. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.



Participação em bancas de comissões julgadoras
Concurso público
1.
Benevides, Mario. Concurso Público para o cargo de Professor Adjunto. 2013. Instituto Militar de Engenharia.

2.
ANDRADE, A.; BENEVIDES, M. Concurso Professor Adjunto Teoria da Computação. 2010. Universidade Federal da Bahia.

3.
Benevides, M.. Concurso Prof. Adjunto Linguagens de Programação e Compiladores. 2010. Universidade Federal do Rio de Janeiro.

4.
M. Rincon; BENEVIDES, M. Concurso Professor Adjunto Teoria da Computação. 2009. Universidade Federal do Rio de Janeiro.

5.
A. Oliveira; BENEVIDES, M. Concurso Professor Adjunto Computação Gráfica. 2009. Universidade Federal do Rio de Janeiro.

6.
P. Cunha; BENEVIDES, M. Concurso Professor Adjunto Teoria da Computação. 2008. Universidade Federal do Ceará.



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Pedro Dupim. Assertion Logic: a modal logics for authetification. Início: 2017. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Luiz C. F. Fernandez. Verifying Security Protocols as Planning Problem. Início: 2018. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Anna C. C. M. Oliveira. Dolev-Yao Epistemic Logic for Security Verification in Protocols. Início: 2018. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Leandro Gomes. Propositional Dynamic Logic for the Spi-Calculus. Início: 2016. Tese (Doutorado em Matemática) - Universidade de Aveiro. (Coorientador).

4.
Vitor Pereira Machado. Populational Dynamic Epistemic Logic (PPDEL). Início: 2016. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro. (Orientador).

5.
Isaque Maçalam Saab Lima. Using Logical Languages for Queering Graph Databases. Início: 2016. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Anna C. C. Moreira de Oliveira. Model Checking Dolev-Yao Multi-Agent Epistemic Logic. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

2.
Luiz Claudio Frederico Fernandez. A Tableaux for Dolev-Yao Multi-Agent Epistemic Logic. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

3.
Vitor Pereira Machado. POPULATIONAL ANNOUNCEMENT LOGIC (PPAL). 2016. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

4.
Glauco Ofranti Trindade. VIDEO GAME DEVELOPMENT ONTOLOGY. 2015. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

5.
Isaque Lima Maçalam Saab. Evolução do Conhecimento. 2013. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . Orientador: Mario Roberto Folhadela Benevides.

6.
Rafael Nader. Jogos Ocultos de Markov. 2013. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . Orientador: Mario Roberto Folhadela Benevides.

7.
Edno Vicente da Silva. Especificação Formal e Verificação Automática de Workflows Científicos. 2010. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . Coorientador: Mario Roberto Folhadela Benevides.

8.
Edurado Ramos Waghabi. Aplicação de Modelos Ocultos de Markov em Jogos de Estratégia Mista. 2009. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . Orientador: Mario Roberto Folhadela Benevides.

9.
Daniel Levitan. Agorítimos para Achar Equilíbrio em Jogos Baseados em Grafos. 2007. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . Orientador: Mario Roberto Folhadela Benevides.

10.
Luis Roberto Medeiros Lopes. MAPKAT: Um Framework Lógico para Planejamento Multi-Agente. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

11.
Ricardo Ribeiro. Programação em Lógica em Jogos Extensivos. 2005. 122 f. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

12.
Paulo Coelho Ventura Pinto. Método de Tableaux Modal para Lógica Modal Epstêmica com Operador de Conhecimento Comum. 2005. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

13.
Lorena Sophia Campos de Oliveira. Especificação de Software Educacionais utilizando Lógica de Diálogos e Sistemas Multi-agentes baseados em Conhecimento. 2004. 121 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Mario Roberto Folhadela Benevides.

14.
Ricardo Pires Mesquita. ProCalculus: Programação em Lógica e Álgebra de Processos. 2003. 104 f. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

15.
Marcele Câmara de Souza. Utilização de Lógica Modal na Verificação de Sistemas de Trocas de Mensagens. 2002. 106 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Coorientador: Mario Roberto Folhadela Benevides.

16.
Michel de Almeida Carlini. Especificação de Sistemas Multi-Agentes Baseados em Conhecimento. 2002. 105 f. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

17.
Carla Amor Divino Moreira Delgado. Lógica de Conhecimento e Eventos em Sistemas Assíncronos. 2001. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

18.
Marcelo Sihman. Deteção de Deadlock em Especificações Algébricas para Sistemas Concorrentes. 1998. 0 f. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

19.
Odinaldo T. Rodrigues. Prolog Modal de Ação e Revisão de Crenças Em Conjuntos Definidos. 1993. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

Tese de doutorado
1.
Luis Menasché Schechter. Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

2.
Carla Amor Divino Moreira Delgado. Modelagem e Verificação de Propriedades Epistêmicas em Sistemas Multi-Agentes. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

3.
Vera Lúcia Prudência dos Santos. Concorrência e Sincronização em Lógica Dinâmica de Processos. 2005. 202 f. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

4.
Paulo Pires. WEBTRANSACT: Uma Infraestrutura para Especificação e Coordenação de Composições de Serviços Web Robustas. 2002. 42 f. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

5.
Vania Costa. Uma Lógica Modal Bidimensional para representação do Conhecimento em Sistemas Distribuidos Multiagentes. 2002. 100 f. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Mario Roberto Folhadela Benevides.

6.
Renata Freitas. Lógica Modal da Bifurcação. 2002. 0 f. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

Trabalho de conclusão de curso de graduação
1.
Ricardo Ribeiro. Corretor Ortográfico. 2002. 36 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro. Orientador: Mario Roberto Folhadela Benevides.

2.
Hugo Fernando Marques Fernandes. SiSitemas Distribuídos e Compartilhamento de Recursos. 2001. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Roberto Folhadela Benevides.

3.
Roberta de Oliveira Rocha. Teoria dos Jogos. 2000. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro. Orientador: Mario Roberto Folhadela Benevides.

4.
José Alves Jr.. Problema de Concenso. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro. Orientador: Mario Roberto Folhadela Benevides.

5.
Carla Amor Divino Moreira Delgado. Lógica de Conhecimento e Crença. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro. Orientador: Mario Roberto Folhadela Benevides.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 2:18:28