Marcelo Finger

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1B

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


Possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology - Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing - Imperial College of Science and Technology, University of London (1994). Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier - Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo. É editor das revistas: South American Journal of Logic, São Paulo Journal of Mathematical Sciences e editor convidado da Theoretical Computer Science e da Anals of Mathematics in Artificial Intelligence. Tem experiência na área de Ciência da Computação, com ênfase em Lógica, Raciocínio Lógico-Probabilístico, Linguística Computacional, e tem atuado como pesquisador principal nos seguintes temas: logica, inteligência artificial, Humanidades Digitais e linguistica computacional. (Texto informado pelo autor)


Identificação


Nome
Marcelo Finger
Nome em citações bibliográficas
FINGER, M.;Finger, Marcelo;FINGER, M

Endereço


Endereço Profissional
Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
rua do matao, 1010
Butantan
05508-090 - Sao Paulo, SP - Brasil
Telefone: (011) 30916135
URL da Homepage: http://www.ime.usp.br/~mfinger


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


1990 - 1994
Doutorado em PhD in Computing.
Imperial College of Science and Technology, University of London, Inglaterra.
Título: Changing the past: applications of two-dimensional temporal logic to databases, Ano de obtenção: 1994.
Orientador: Dov Gabbay.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Automatic Deduction; Bancos de Dados; Combinatorial Calculus; Combining Logic Systems; Temporal Logic; Linguistica Computacional.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
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.
Setores de atividade: Informática.
1989 - 1990
Mestrado em Foundations of Advanced Information Technology.
Imperial College of Science, Technology and Medicine, IC, Inglaterra.
Título: Handling Database Updates in Two-dimensional Temporal Logics,Ano de Obtenção: 1990.
Orientador: Dov Gabbay.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Database; Inteligência Artificial; Temporal Database; Two-Dimensional Temporal Logic; Logic; Modal Logic.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Logica e Inteligencia Artificial.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
1983 - 1988
Graduação em Engenharia Eletronica.
Universidade de São Paulo, USP, Brasil.


Pós-doutorado e Livre-docência


2001
Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Sistematização da Obra em Lógica, Banco de Dados e Lingüística Computacional, Ano de obtenção: 2001.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Logica e Inteligencia Artificial.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
2012
Pós-Doutorado.
Cornell University, CORNELL, Estados Unidos.
Bolsista do(a): Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Logica e Inteligencia Artificial.


Atuação Profissional



Cornell University, CORNELL, Estados Unidos.
Vínculo institucional

2012 - 2013
Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Academic, Carga horária: 40, Regime: Dedicação exclusiva.


Université Toulouse III Paul Sabatier, UPS, França.
Vínculo institucional

2011 - 2011
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante


Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2009 - 2012
Vínculo: , Enquadramento Funcional:


School of Oriental and African Studies, SOAS, Inglaterra.
Vínculo institucional

1996 - 1999
Vínculo: Colaborador, Enquadramento Funcional: Consultor de projeto

Atividades

01/1996 - 06/1999
Pesquisa e desenvolvimento .

Linhas de pesquisa
Linguistica Computacional

Imperial College of Science, Technology and Medicine, IC, Inglaterra.
Vínculo institucional

1994 - 1995
Vínculo: Pesquisador temporario, Enquadramento Funcional: PESQUISADOR Assistente

Atividades

01/1996 - 01/1999
Pesquisa e desenvolvimento , Imperial College of Science and Technology, University of London, .

04/1994 - 07/1995
Pesquisa e desenvolvimento , Imperial College of Science and Technology, University of London, .



Linhas de pesquisa


1.
LINGUISTICA COMPUTACIONAL, NA FUNCAO DE PESQUISADOR CONSULTOR. O PROJETO E' FINANCIADO PELO GOVERNO INGLES E INCLUI TAMBEM O DEPTO DE LINGUISTICA DA SCHOOL OF ORIENTAL AND AFRICAN STUDIES.
2.
PESQUISADOR NA AREA DE LOGICA E INTELIGENCIA ARTIFICIAL
3.
Linguistica Computacional


Projetos de pesquisa


2011 - 2011
Professor visitante na Universidade de Toulouse (IRIT), França
Descrição: DEZEMBRO DE 2011.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2012
Projeto Temático Fapesp LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais
Descrição: LOGPROB: Probabilistic Logic --- Foundations and Computational Applications Principal Investigator: Marcelo Finger, FAPESP (Brazilian Funding Agency) Thematic Project 2008/03995-5, 2009-2012..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (15) / Mestrado profissional: (0) / Doutorado: (4) .
Integrantes: Marcelo Finger - Coordenador / Renata Wassermann - Integrante / Leliane Nunes de Barros - Integrante / Fabio Gagliardi Cozman - Integrante / Paulo Eduardo Santos - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.


Membro de corpo editorial


2015 - Atual
Periódico: South American Journal of Logic
2015 - 2015
Periódico: Theoretical Computer Science
2014 - Atual
Periódico: São Paulo Journal of Mathematical Sciences
2014 - Atual
Periódico: Theoretical Computer Science
2013 - Atual
Periódico: The Scientific World Journal
2008 - Atual
Periódico: Revista de Informática Teórica e Aplicada: RITA
2001 - 2001
Periódico: Annals of Mathematics and Artificial Intelligence


Membro de comitê de assessoramento


2015 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo
2015 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo


Revisor de periódico


1995 - Atual
Periódico: Journal of Logic and Computation
1995 - Atual
Periódico: Logic Journal of the IGPL
1995 - Atual
Periódico: Annals of Pure and Applied Logic
2007 - Atual
Periódico: Handbook of Philosophical Logic
2007 - Atual
Periódico: Information and Computation
2007 - Atual
Periódico: Journal of the Brazilian Computer Society
2007 - Atual
Periódico: Mathematical Reviews
2008 - Atual
Periódico: Synthese (Dordrecht)
2007 - Atual
Periódico: Journal of Natural Language Engineering
2007 - Atual
Periódico: Studia Logica


Á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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguistica Computacional.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Logica e Inteligencia Artificial.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2016
Menção Honrosa no Prêmio melhor artigo ENIAC 2016, Sociedade Brasileira de Computação.
2012
Melhor Dissertação de Mestrado em Inteligência Artificial -- aluno: Glauber De Bona, CTDIA / CEIA/ SBC.
2010
Prêmio Voo Livre, categoria Desenvolvimento, Encontro Nacional do BrOffice.org ver:http://ccsl.ime.usp.br/pt-br/news/10/04/27/membro-do-ccsl-rece.
2010
Prêmio da Delegação Européia pela participação no Sétimo Programa Quadro, Delegação da União Européia no Brasil.
2007
1o lugar no Prêmio Jaboti 2007, categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA com o livro LÓGICA PARA COMPUTAÇÃO - FLÁVIO S. C. DA SILVA, MARCELO FINGER E ANA C. V. DE MELO, CBL - Câmara Brasileira do Livro.
2007
Finalista como orientador de Eugênio Akihiru Nassu, Prêmio Santander de Empreendedorismo, Ciência e Inovação.
2006
Prêmio de Desempenho Didático, primeiro semestre de 2006, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2005
Prêmio de Desempenho Didático (prêmio duplo), primeiro semestre de 2005, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2004
Prêmio Desempenho Didático -- 1o semestre de 2004, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2002
Prêmio de Desempenho Didático do Curso de Graduação em Administração, Faculdade de Administração, Economia e Contabilidade FEA-USP, pelo curso de MAC-113.
2002
Paraninfo da turma de Formandos de 2001, Departamento de Ciência da Computação, IME/USP.
1995
The Imperial College Armstrong Prize and Medal 1995., Imperial College.
1994
The Imperial College Computing Trust prize for the best PhD thesis in 1993/94., Imperial College.
1990
Convocation Sesquicentenial Prize in Advanced Engineering by the Convocation Trust, University of London, 1990., Universidade de Londres.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:24
Total de citações:54
Fator H:4
Finger, M.  Data: 12/03/2009

SCOPUS
Total de trabalhos:21
Total de citações:115
Finger, M.  Data: 12/03/2009

Outras
Total de trabalhos:61
Total de citações:472
author=Marcelo Finger. Resultado:h-Index=10, g-Index=21, obtido do Google Scholar usando o software Publish or Perish, http://www.harzing.com/pop.htm  Data: 18/03/2009

Artigos completos publicados em periódicos

1.
Finger, Marcelo2017Finger, Marcelo; GODO, LLUIS ; PRADE, HENRI ; QI, GUILIN . Advances in Weighted Logics for Artificial Intelligence. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 88, p. 385-386, 2017.

2.
Finger, Marcelo2015Finger, Marcelo; De Bona, Glauber . Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, v. 1, p. 1-30, 2015.

3.
De Bona, Glauber2015 De Bona, Glauber ; Finger, Marcelo . Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence (General Ed.), v. 227, p. 140-164, 2015.

4.
BONA, GLAUBER DE2015BONA, GLAUBER DE ; COZMAN, FABIO G. ; Finger, Marcelo . Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society (Impresso), v. 21, p. 11, 2015.

5.
Finger, Marcelo2015Finger, Marcelo; KESNER, DELIA . Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Theoretical Computer Science, v. 606, p. 1, 2015.

6.
De Bona, Glauber2014De Bona, Glauber ; COZMAN, FABIO GAGLIARDI ; Finger, Marcelo . Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, p. 349-368, 2014.

7.
ARRUDA, A.2013ARRUDA, A. ; Finger, M . Completeness for cut-based abduction. Logic Journal of the IGPL (Print), v. 21, p. 1, 2013.

8.
Finger, Marcelo2013Finger, Marcelo; REIS, POLIANA . On the Predictability of Classical Propositional Logic. Information, v. 4, p. 60-74, 2013.

9.
D'Agostino, Marcello2013 D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov . Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, v. 480, p. 43-68, 2013.

10.
Finger, Marcelo2012Finger, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print), v. 20, p. 370-387, 2012.

11.
Araújo, Anderson de2012Araújo, Anderson de ; Finger, Marcelo . Classical and quantum satisfiability. Electronic Proceedings in Theoretical Computer Science, v. 81, p. 79-84, 2012.

12.
Finger, M.2010Finger, M.. Analytic Methods for the Logic of Proofs. Journal of Logic and Computation (Print), v. 20, p. 167-188, 2010.

13.
Finger, Marcelo2010Finger, Marcelo; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, v. 22, p. 295-313, 2010.

14.
da Silva e Silva, Francisco José2010da Silva e Silva, Francisco José ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M. . Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print), v. 70, p. 573-583, 2010.

15.
D'Agostino, M.2008D'Agostino, M. ; Finger, M. ; GABBAY, D. . Cut-Based Abduction. Logic Journal of the IGPL, v. 16, p. 537-560, 2008.

16.
Finger, M2008Finger, M; RABELLO, G. . Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic, v. 152, p. 161-173, 2008.

17.
FINGER, M.;Finger, Marcelo;FINGER, M2007FINGER, M.; WASSERMANN, R. . Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation, v. 17, p. 53-82, 2007.

18.
FINGER, M.;Finger, Marcelo;FINGER, M2007FINGER, M.; GABBAY, D. . Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL, v. 15, p. 553-575, 2007.

19.
Finger, M2006 Finger, M; WASSERMANN, R . The universe of propositional approximations. Theoretical Computer Science, v. 355, n.2, p. 153-166, 2006.

20.
Finger, Marcelo2006Finger, Marcelo; Gabbay, Dov . Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006.

21.
Finger, M.2004Finger, M.; WASSERMANN, R. . Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print), Londres, v. 14, n.2, p. 179-204, 2004.

22.
BRODA, S2004BRODA, S ; DAMAS, L. ; Finger, M. ; SILVA, P. J. S. E. . The decidability of a fragment of -logic. Theoretical Computer Science, v. 318, n.3, p. 373-408, 2004.

23.
Goldchleger, Andrei2004Goldchleger, Andrei ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; Bezerra, Germano Capistrano . InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurrency and Computation. Practice & Experience, v. 16, p. 449-459, 2004.

24.
FINGER, M.;Finger, Marcelo;FINGER, M2002FINGER, M.; SILVA, F. C. ; VASCONCELOS, W. ; ROBERTSON, D. ; BRILHANTE, V. ; MELO, A. C. V. . On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems, v. 15, n.3, p. 147-167, 2002.

25.
Finger, M.2002Finger, M.; WEISS, M. A. . The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL (Print), v. 10, n.1, p. 165-189, 2002.

26.
Finger, M2000Finger, M. A logical reconstruction of temporal databases. Journal of Logic and Computation (Print), v. 10, n.6, p. 847-876, 2000.

27.
Broda, K1999Broda, K ; Finger, M ; RUSSO, A. . Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n.3, p. 283-318, 1999.

28.
Finger, M1998Finger, M. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n.3, p. 425-449, 1998.

29.
FINGER, M.;Finger, Marcelo;FINGER, M1997FINGER, M.; GABBAY, D. ; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using LDS: A Prototype. LOGIC JOURNAL OF THE IGPL -- The INTEREST GROUP IN PURE AND APPLIED LOGICS, v. 5, n.5, p. 647-671, 1997.

30.
FINGER, M.;Finger, Marcelo;FINGER, M1996FINGER, M.; GABBAY, D. . Combining Temporal Logic Systems. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 37, n.2, p. 204-232, 1996.

31.
FINGER, M.;Finger, Marcelo;FINGER, M1992FINGER, M.; Gabbay, Dov M. . Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, v. 1, p. 203-233, 1992.

32.
FINGER, M.;Finger, Marcelo;FINGER, M1992FINGER, M.. Handling Database Updates In Two-Dimensional Temporal Logic. JOURNAL OF APPLIED NON-CLASSICAL LOGIC, v. 2, n.2, p. 201-224, 1992.

Livros publicados/organizados ou edições
1.
Finger, Marcelo; DIXON, C. (Org.) . Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 1. ed. Springer, 2017. v. 1.

2.
SILVA, F. C. ; FINGER, M. ; MELO, A. C. V. . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 232p .

3.
FINGER, M.; REYNOLDS, M. (Org.) ; DIXON, C. (Org.) ; FISHER, M. (Org.) . AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer, 2001. v. 1.

4.
GABBAY, D. ; FINGER, M. ; REYNOLDS, M. . Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press, 2000.

5.
FERREIRA, J. E. ; FINGER, M. . Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. 1. ed. Sao Paulo: Escola de Computaçao 2000, 2000. 180p .

Capítulos de livros publicados
1.
Finger, M.; De Bona, Glauber ; THIMM, M. ; POTYKA, N. . Inconsistency Measurement in Probabilistic Logic. In: John Grant; Maria Vanina Martinez. (Org.). Measuring Inconsistency in Information. Studies in Logic Volume 73. 1ed.: College Publicatioins, 2018, v. , p. 235-269.

2.
Finger, Marcelo; Preto, Sandro . Probably Half True: Probabilistic Satisfiability over ukasiewicz Infinitely-Valued Logic. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 194-210.

3.
Araujo, A ; Finger, Marcelo . On the logical relativity of quantum computability. In: Jean-Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday.. London: College Publications, 2011, v. , p. 65-72.

4.
FINGER, M.. DAG Sequent Proofs with a Substitution Rule. In: S. Artemov; H. Barringer; A. S. d'Avila Garcez; L.C. Lamb; and J. Woods. (Org.). We will show Them -- Essays in honour of Dov Gabbay's 60th birthday. London: Kings College Publications, 2005, v. 1, p. 671-686.

5.
FINGER, M.. When is a substructural logic paraconsistent?. Paraconsistency, the Logical way to Inconsistency -- Essays in hobour of Newton da Costa's 70th birthday. : Marcel Dekker, 2002, v. , p. 353-368.

6.
FINGER, M.; REYNOLDS, M. ; GABBAY, D. . Advanced Tense Logic. In: Dov Gabbay. (Org.). Handbook of Philosophical Logic. : , 2001, v. , p. -.

7.
FINGER, M.; REYNOLDS, M. . Imperative History: Two-Dimensional Executable Temporal Logic. LOGIC, LANGUAGE AND REASONING ESSAYS IN HONOUR OF DOV GABBAY. LONDON: OXFORD UNIVERSITY PRESS, 1998, v. , p. 79-106.

Textos em jornais de notícias/revistas
1.
Finger, Marcelo. Ciência da Computação e Sociedade:Imensidão, Precisão e Humanização. Revista de Sistemas de Informação da FSMA, 19 dez. 2911.

2.
Finger, Marcelo. Não Vai Set Tão Fácil. Exame CEO (Inteligência Artificial), São Paulo, p. 16 - 19, 01 maio 2018.

3.
FERRAZ JUNIOR, T. S. ; MARANHAO, J. ; Finger, Marcelo . O desafio do WhatsApp ao Leviatã. Folha de São Paulo, Folha de São Paulo -- Opinião, 16 ago. 2016.

Trabalhos completos publicados em anais de congressos
1.
Finger, Marcelo; PRETO, S. . Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. In: International Joint Conference on Automated Reasoning IJCAR 2018, 2018, Oxford. International Joint Conference on Automated Reasoning IJCAR 2018 -- Lecture Notes in Computer Science, 2018. v. 10900. p. 194-210.

2.
Finger, Marcelo; De Bona, Glauber . Algorithms for Deciding Counting Quantifiers over Unary Predicates. In: Thirty-First AAAI Conference on Artificial Intelligence, 2017, São Francisco. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017. p. 3878-3884.

3.
Finger, Marcelo; LUZ, F. F. . Semantic Parsing Natural Language into SPARQL: an LSTM Enconder-Decoder Neural Net Approach. In: ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional, 2017, Uberlâbdia. ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional, 2017. p. 1-12.

4.
De Bona, Glauber ; Finger, Marcelo ; RIBEIRO, M. M. ; SANTOS, Y. D. ; WASSERMANN, R. . Consolidating Probabilistic Knowledge Bases via Belief Contraction. In: KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016, Cidade do Cabo. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR2016), 2016.

5.
SERRAS, F. ; Finger, Marcelo . Previsão da Temática de Notícias Futuras: Implementação do Algoritmo PROPHET aos dados de um Jornal de Grande Circulação. In: ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional, 2016, Recife. ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional, 2016.

6.
MORAIS, E. M. ; De Bona, Glauber ; Finger, Marcelo . Non-Markovian Logic-Probabilistic Modeling and Inference. In: IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015, 2015, Buenos Aires. IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015, 2015. p. 48-55.

7.
OLEYNIK, M. ; Finger, Marcelo ; PATRAO, D. F. C. . Automated Classification of Pathology Reports. In: MEDINFO 2015, 2015. Studies in Health Technology and Informatics, 2015. v. 216. p. 1040-1040.

8.
ARRUDA, A. ; Finger, Marcelo . Abdução para a Lógica Probabilística (PSAT). In: Encontro Brasileiro de Lógica, 2014, Petrópolis. Encontro Brasileiro de Lógica 2014, 2014.

9.
Finger, Marcelo; GOMES, C. ; LE BRAS, R. ; SELMAN, B. . Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.. In: SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, 2013, Helsinki. SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, 2013. p. 1-16.

10.
PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R. . Ontocloud?a Clinical Information Ontology Based Data Integration System. In: Ontobras, 2013, Belo Horizonte, Brazil. ONTOBRAS 2013 Ontology Research in Brazil. Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2013. p. 118-129.

11.
MORAIS, E. M. ; Finger, Marcelo . Probabilistic Answer Set Programming. In: BRACIS -- Brazilian Conference on Intelligent Systems, 2013, Fortaleza. BRACIS 2013 -- Brazilian Conference on Intelligent Systems, 2013.

12.
De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G. . Generalized Probabilistic Satisfiability. In: BRACIS -- Brazilian Conference on Intelligent Systems, 2013, Fortaleza. BRACIS 2013 -- Brazilian Conference on Intelligent Systems, 2013.

13.
Colen, William ; Finger, Marcelo . Improving CoGrOO: the Brazilian Portuguese Grammar Checker. In: STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013, Fortaleza. STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013.

14.
OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C. . Information Retrieval from Clinical Reports. In: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013, Lake Tahoe, Nevada. Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.

15.
Finger, M; De Bona, Glauber . Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.. In: IJCAI 2011, 2011, Barcelona. Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011. p. 528-533.

16.
Finger, M; Cozman, F ; WASSERMANN, R. . Satisfiability in EL with Sets of Probabilistic ABoxes. In: 24th International Workshop on Description Logics (DL 2011), 2011, Barcelona Espanha. CEUR Workshop Proceedings, 2011. p. 1.

17.
Finger, M; Araujo, A . Classical and quantum satisfiability. In: LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, with Applications, 2011, Belo Horizonte. LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, with Applications, 2011. p. 1.

18.
Finger, M; PATRAO, D. F. C. ; Filocomo, Fabio . Resolução da Heterogeneidade na Identificação de Pacientes. In: STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, 2011, Cuiabá. STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, 2011. p. 1.

19.
Finger, Marcelo; Araujo, A . A formal system for quantum communication environments. In: ENIA 2011, 2011. ENIA 2011 - VIII Encontro Nacional de Inteligência Artificial, 2011. p. 1-11.

20.
Finger, Marcelo; Firmo, Fabio . Previsão de Utilização de Recursos por Aplicações no InterGrade. In: VIII Workshop em Clouds, Grids e Aplicações, 2010, Porto Alegre. VIII Workshop em Clouds, Grids e Aplicações. Porto Alegre, 2010.

21.
Finger, Marcelo; Mauricio S. C. Hernandes . Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. In: WoLLIC 2010 -- Workshop Logic, Language, Information and Computation, 2010, Brasilia. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer, 2010. v. 6188. p. 1-18.

22.
De Bona, Glauber ; Finger, Marcelo . A Refuted Conjecture on Probabilistic Satisfiability. In: SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010, São Bernardo do Campo. SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010.

23.
Finger, Marcelo; KEPLER, F. N. . Variable-Length Markov Models and Ambiguous Words in Portuguese. In: NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010, Los Angeles. Proceedings of t he NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010. p. 15-23.

24.
J. M. Nicoladelli ; JOÃO LUIZ LUGUESI ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo . ASA-CALCPRO: MÉTODOS DE INFERÊNCIA ATRAVÉS DE AMBIENTES DE SUPORTE AO ALUNO. In: V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA, 2010, Canoas -- RS. V CIEM -- CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA. Canoas, 2010.

25.
Finger, Marcelo; De Bona, Glauber . A Logic Based Algorithm for Solving Probabilistic Satisfiability. In: IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence, 2010, Bahia Blanca. Lecture Notes in Computer Science, 2010. v. 6433. p. 453-462.

26.
Finger, Marcelo. Using Abduction to Compute Efficient Proofs. In: Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008), 2009, Salvador. Electronic Notes in Theoretical Computer Science, 2008. v. 247. p. 39-49.

27.
SECA NETO, A. G. S. ; Celso A. A. Kaestner ; Finger, Marcelo . Towards an efficient prover for the C_1-paraconsistent logic. In: LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasília. LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009.

28.
J. M. Nicoladelli ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo . Asa-Calcpro: Métodos de inferência. In: 1rst International Congress of Mathematics, Engineering and Society - ICMES 2009, 2009, Curitiba. 1rst International Congress of Mathematics, Engineering and Society - ICMES 2009, 2009.

29.
FINGER, M.; WASSERMANN, R. . Revising Specifications with CTL Properties using Bounded Model Checking. In: SBIA - Simpósio Brasileiro de Inteligência Artificial, 2008, Salvador. Brazilian Symposium on Artificial Intelligence (SBIA 2008), 2008.

30.
FINGER, M.; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource Use Pattern Analysis for Opportunistic Grids. In: 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008, Leuven. 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008.

31.
RABELLO, G. ; Finger, Marcelo . Approximations of Modal Logic K. In: 12th Workshop on Logic, Language, Information and Computation, 2006, Florianópolis. Electronic Notes in Theoretical Computer Science. v. 143. p. 23-32.

32.
SECA NETO, A. G. S. ; FINGER, M. . Effective Prover for Minimal Inconsistency Logic. In: IFIP AI 2006, 2006, Santiago, Chile. IFIP 19th World Computer Congress, TC-12 IFIP AI 2006. Santiago: IFIP International Federation for Information Processing. v. 217. p. 465-477.

33.
KEPLER, F. N. ; FINGER, M. . Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. In: PROPOR 2006, International Workshop on the Computational Processing of Portuguese, 2006, Itatiaia. LNAI: Lecture Notes in Artificial Intelligence. Berlin: Springer, 2006. v. 3960. p. 248-251.

34.
KEPLER, F. N. ; FINGER, M. . Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. In: IBERAMIA-SBIA 2006, 2nd International Joint Conference. 10th Ibero-American Conference on AI. 18th Brazilian AI Symposium, 2006, Ribeirão Preto. LNAI: Lecture Notes in Artificial Intelligence. Berlin: Springer, 2006. v. 4140. p. 482-491.

35.
Braga, Jr, J.R. ; FINGER, M. ; KON, F. ; VIDAL, A. T. C. . Trust in Large-Scale Computational Grids: An SPKI/SDSI extension for representing opinion. In: 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006, Melbourne. 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006.

36.
FINGER, M.; Fajardo . How Not to Combine Modal Logics. In: 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005.

37.
FINGER, M.; SECA NETO, A. G. S. . Using Aspect-oriented Programming in the Development of a Multi-strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005, Marília. II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005.

38.
FINGER, M.; SECA NETO, A. G. S. . Implementing a Multi-Strategy Theorem Prover. In: SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial, 2005, São Leopoldo, RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005.

39.
FINGER, M.; MELO, A. C. V. ; SILVA, F. C. ; WASSERMANN, R. ; BARROS, L. N. . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: 2nd International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005.

40.
FINGER, M.. Polynomial Approximations of Full Classical Logic via Limited Bivalence. In: Eupean Conference of Logics in Artificial Intelligence (JELIA 2004), 2004, Lisboa. Logics in Artificial Intelligence -- Lecture Notes in Artificial Intelligence, 2004. v. 3229. p. 526-538.

41.
FINGER, M.. Towards Polynomial Approximations of Full Propositional Logic. In: XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), 2004, São Luís. Lecture Notes in Artificial Intellingence (LNAI). Berlin: Springer, 2004. v. 3171. p. 11-20.

42.
FINGER, M.; ALUIZIO, S. M. ; PINHEIRO, G. M. ; TAGNIN, S. E. O. ; NUNES, M. G. V. . The Lacio-Web Project: overview and issues in Brazilian Portuguese corpora creation.. In: Corpus Linguistics, 2003, Lancaster. Proceedings of the Corpus Linguistics 2003/ UCREL Technical Papers. Lancaster: Lancaster University, 2003. v. 16. p. 14-21.

43.
GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. In: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003, Rio de Janeiro. Proceedings of the ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003. p. 1-10.

44.
Finger, M; WASSERMANN, R . The Universe of Approximations. In: workshop of Logic, Language, Information and Computation, 2003, Ouro Preto. Electronic Notes in Theoretical Computer Science. v. 84. p. 1-14.

45.
FINGER, M.; NASSU, E. A. . Consultas Envolvendo "Aqui" em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. In: Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003, Petrópolis. Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003. p. 1-10.

46.
FINGER, M.; Fajardo . Non-Normal Modalisation. In: Advances in Modal Logic, 2002, Toulouse. Advances in Modal Logic, 2002. p. 316-325.

47.
FINGER, M.; WASSERMANN, R. . Logic for Approximate Reasoning:Approximating Classical Logic from. In: 16o Simpósio Brasileiro de Inteligência Artificial, 2002, Recife/Porto de Galinhas. Lecture Notes in Artificial Intelligence, 2002. v. 2507. p. 21-30.

48.
FINGER, M.; WASSERMANN, R. . Approximate Reasoning. In: 56o Seminário Brasileiro de Análise, 2002, Niterói. Anais do 56o Seminário Brasileiro de Análise, 2002. p. 260-301.

49.
FINGER, M.; DIAS, W. . Implementações de Tableaux para Raciocínio Aproximado. In: 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002, Porto de Galinhas/Recife. 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002. p. 21-30.

50.
FINGER, M.; WASSERMANN, R. . Expressivity and Control in Limited Reasoning. In: 15th European Conference on Artificial Intelligence (ECAI02), 2002, Lyon. 15th European Conference on Artificial Intelligence (ECAI02), 2002. p. 72-76.

51.
FINGER, M.; WASSERMANN, R. . Tableaux for Approximate Reasoning. In: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001, Seattle. IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001. p. 71-79.

52.
FINGER, M.; WASSERMANN, R. . Approximate Reasoning and Paraconsistency. In: 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001, Brasilia. 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001. p. 76-86.

53.
FINGER, M.. Algorithmic Correspondence Theory for Substructural Categorial Logic. In: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000, Leipzig, Germany. roceedings of the 4th Workshop on Advances in Modal Logic (AiML2000), 2000.

54.
FINGER, M.; WEISS, M. A. . The Unrestricted Addition of a Temporal Dimension to a Logic System. In: 3rd International Conference on Temporal Logic (ICTL), 2000, Leipzig, Germany. 3rdProceedings of the 3rd International Conference on Temporal Logic (ICTL), 2000.

55.
FINGER, M.. Técnicas de Otimização da Precisão Empregadas no Etiquetador Tycho Brahe. In: V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000, Atibaia, SP. Anais do V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000.

56.
FINGER, M.. Infinite SLaKE-Tableaux. In: 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000, Natal, RN. 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000.

57.
FINGER, M.; VASCONCELOS, W. . Sharing Resource-Sensitive Knowledge using Combinator Logics. In: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000, Atibaia, SP. Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000.

58.
ALVES, C. D. C. ; FINGER, M. . Etiquetagem do Português Clássico Baseada em Córpora. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999, Evora. IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999.

59.
FINGER, M.; SILVA, F. C. . Temporal Data Obsolescence: Modelling problems. In: 5th International Workshop of Temporal Representation and Reasoning (TIME98), 1998, Florida. Proceeding of the 5th International Workshop on Temporal Representation and Reasoning (TIME'98), 1998.

60.
FINGER, M.. Tagging a Morphologically Rich Language: The construction of the Tycho Brahe Corpus of Historical Portuguese. In: International Workshop on Text, Speech and Dialog (TSD98), 1998, Brno. International Workshop on Text, Speech and Dialog (TSD98), 1998. p. 39-45.

61.
E. S. Mesquita ; FINGER, M. . Projeto de Dados em Bancos de Dados Distribuídos. In: XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998. XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998.

62.
FINGER, M.; REYNOLDS, M. . Two-Dimensional Executable Logic For Bitemporal Databases. In: 2nd International Conference on Temporal Logic (ICTL'97), 1997, Manchester, UK. 2nd International Conference on Temporal Logic (ICTL'97), 1997. p. 1-10.

63.
FINGER, M.. Structural Equations And Complex Combinators. In: {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997, Fortaleza, Brazil. {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997. p. 1-10.

64.
FINGER, M.; MCBRIEN, P. . Concurrency Control For Perceivedly Instantaneous Transactions In Valid-Time Databases. In: Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997, Daytona Beach. Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997. p. 112-119.

65.
FINGER, M.; MCBRIEN, P. . On The Semantics Of 'Current-Time' In Temporal Databases. In: XI Brazilian Database Symposium (SBBD96), 1996, São Carlos. XI Brazilian Database Symposium (SBBD96), 1996. p. 324-337.

66.
FINGER, M.; BRODA, K. . Ke-Tableaux And A Fragmento Of Linear Logic. In: Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995, Koblenz. Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995. p. 1-10.

67.
FINGER, M.. Notes On Several Methods For Combining Temporal Logics. In: Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994, Copenhagen. Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994. p. 1-10.

68.
FINGER, M.; FISHER, M. ; OWENS, R. . Metatem At Work: Modelling Reactive Systems Using Temporal Logics. In: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994, Edimburgo. Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994. p. 1-6.

69.
FINGER, M.; GABBAY, D. . Updating Atomic Information In Labelled Database Systems. In: 4th International Conference on Database Theory, 1992, Berlin. 4th International Conference on Database Theory, 1992. p. 188-200.

70.
FINGER, M.; MCBRIEN, P. ; OWENS, R. . Databases And Executable Temporal Logic. In: Annual Esprit Conference, 1991, Londres. Annual Esprit Conference, 1991. p. 288-302.

Resumos expandidos publicados em anais de congressos
1.
De Bona, Glauber ; COZMAN, F. G. ; Finger, M . Towards classifying propositional probabilistic logics.. In: progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013, Munich. progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013.

2.
FINGER, M.. Using Abduction to Compute Efficient Proofs. In: LSFA'08 Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Workshop on Logical and Semantic Frameworks, with Applications, 2008.

3.
SECA NETO, A. G. S. ; FINGER, M. . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX'07, 2007, Marseille. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, 2007. p. 1-10.

4.
FINGER, M.; RUSSO, A. ; BRODA, K. . Lds-Natural Deduction For Substructural Logics. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, Bahia. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 15-18.

5.
FINGER, M.; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using Lds: A Prototype. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, BA. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 25-28.

Resumos publicados em anais de congressos
1.
Arruda, A. M. ; Finger, Marcelo . Completude para a Abdução Baseada em Corte. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 61-62.

2.
Mauricio Hernandes ; Finger, Marcelo . A characterization for quantum logic semantic consequence as algebraic multipliers. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 46-47.

3.
Juliana Bueno ; Finger, Marcelo . Probabilistic modal logic. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 8-9.

4.
Finger, Marcelo; Colen, William ; Menezes, Carlos . Using Apache UIMA annotators for Brazilian Portuguese. In: PROPOR 2010: International Conference on Computational Processing of the Portuguese Language, 2010, Porto Alegre. PROPOR 2010 Demos: International Conference on Computational Processing of the Portuguese Language. Porto Alegre: PUCRS, 2010. p. 1-2.

5.
CARNIELLI, W. ; FINGER, M. . Minimal axiomatizations and algebraic rings: a conjectured relationship. In: Encontro Brasileiro de Lógica, 2008, Parati. CLE30-EBL-SLALM, 2008.

6.
FINGER, M.. End the discrimination: Equal rights for the CUT. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006. p. 1-3.

7.
FINGER, M.; BRITTO, H. ; GALVES, C. . Computational and linguistic aspects of the construction of the tycho brahe parsed corpus of historical portuguese. In: 1st Freiburg Workshop on Romance Corpus Linguistics, 2000, Freiburg, Germany. Proceedings of the 1st Freiburg Workshop on Romance Corpus Linguistics, 2000.

8.
FINGER, M.; BRITTO, H. . Constructing a Parsed Corpus of Historical Portuguese. In: ACH-ALLC'99 InternationalHumanities Computing Conference, 1999. Proceedings of ACH-ALLC'99 International Humanities Computing Conference, 1999.

9.
FINGER, M.. Structurally-Free Theorem Proving and the Learning of Structural Permissions in Categorial Grammar. In: 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998. 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998.

Artigos aceitos para publicação
1.
OLEYNIK, M. ; PATRAO, D. F. C. ; Finger, M. . Automated Classification of Semi-structured Pathology Reports into {ICD-O} using {SVM} in Portuguese. Studies in Health Technology and Informatics, 2017.

Apresentações de Trabalho
1.
Finger, Marcelo; De Bona, Glauber . A Defeated Conjecture on Probabilistic Satisfiability. 2010. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Finger, Marcelo; FERNANDEZ, M. . Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA), 2014. (Prefácio, Pósfacio/Prefácio)>.

2.
FINGER, M.; CEZAR, F. A. M. C. . Banco de dados obsolescentes e uma proposta de implementação 2001 (Relatório Técnico).

3.
FINGER, M.; NASSU, E. A. . O significado de "aqui'' em sistemas transacionais móveis 2001 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
De Bona, Glauber ; Finger, Marcelo . PSAT resolvedor de Satisfatibilidade Probabilística. 2011.

2.
Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines .. 2008.

3.
SECA NETO, A. G. S. ; FINGER, M. . KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
Finger, Marcelo. O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou TV/Entrevista).

2.
Finger, Marcelo. Inteligência artificial não substituirá o professor, diz especialista Marcelo Finger afirmou também que noções sobre sistemas de computação devem ser ensinadas desde a infância, no começo do aprendizado. 2018. (Programa de rádio ou TV/Entrevista).

3.
Finger, Marcelo. Você sabe (de verdade) o que é big data?. 2018. (Programa de rádio ou TV/Entrevista).

4.
Finger, Marcelo. Inteligência artificial precisa ser debatida por toda a sociedade, recomenda professor da USP. 2017. (Programa de rádio ou TV/Entrevista).

5.
Finger, M; COZMAN, F. G. . Inteligência artificial à brasileira. 2017. (Programa de rádio ou TV/Entrevista).

6.
Finger, Marcelo. Inteligência artificial é tema de estudo de Marcelo Finger. 2013. (Programa de rádio ou TV/Entrevista).

7.
Finger, Marcelo. Em busca do computador inteligente. 2012. (Programa de rádio ou TV/Entrevista).


Demais tipos de produção técnica
1.
Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. (Curso de curta duração ministrado/Outra).

2.
FERNANDEZ, M. ; Finger, Marcelo . Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. (Editoração/Anais).

3.
FINGER, M.. Resolvedores SAT. 2006. (Curso de curta duração ministrado/Outra).


Produção artística/cultural
Outras produções artísticas/culturais
1.
Finger, Marcelo. BandPro 2010 - Apresentação sobre Graduação em Ciência da Computação. 2010 (Divulgação de Graduação em Ciência da Computação).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Finger, Marcelo. Participação em banca de Rafael Reggiani Manzo. Um Método de Tractografia Global Utilizando Imagens de Ressonância Magnética Ponderadas por Difusão. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

2.
Finger, Marcelo; WASSERMANN, R.. Participação em banca de Yuri David Sandos. Pseudo-contrações em revisões de crença. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

3.
Finger, Marcelo. Participação em banca de Viviane Santos da Silva. Desambiguação automática de substantivos em corpus do português brasileiro. 2016. Dissertação (Mestrado em Lingüística) - Universidade de São Paulo.

4.
COZMAN, FABIO G.; Finger, Marcelo. Participação em banca de Fabio Henrique Santana Machado. Análise de desempenho em Redes Bayesianas com largura de árvore limitada. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

5.
CARNIELLI, W.; Finger, Marcelo; Juliana Bueno. Participação em banca de Sandro Márcio da Silva Preto. Lógica, Probabilidade e Consequência. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

6.
Finger, Marcelo; WASSERMANN, R; FERME, E.. Participação em banca de Fillipe Manoel Xavier Resina. Revisão de Crenças em Lógicas de Descrição - Um plug-in para o Protégé. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

7.
Finger, Marcelo. Participação em banca de Caio de Naday Hornhardt. Uma Introdução à Geometria Algébrica. 2014. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

8.
Finger, Marcelo. Participação em banca de William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

9.
Finger, Marcelo. Participação em banca de Michel Oleynik. Extração de Informações de Narrativas Clínicas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

10.
Finger, Marcelo. Participação em banca de Wesley Seidel Carvalho. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

11.
Finger, Marcelo; COZMAN, F. G.. Participação em banca de Glauber De Bona. Satisfatibilidade Probabilística. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

12.
Finger, Marcelo. Participação em banca de Bruno César Ribas. Satisfatibilidade Não-clausal restrita às variáveis de entrada. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

13.
CARNIELLI, W.; Finger, Marcelo; SILVA, F. C.. Participação em banca de Maurício Hernandes Simões Camilo. Multiplicadores Algébricos de Validade Lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

14.
Finger, Marcelo. Participação em banca de Mariana Pereira de Melo. Ordenaçã das páginas do Google - "Page Rank". 2009. Dissertação (Mestrado em Estatística) - Universidade de São Paulo.

15.
Finger, Marcelo. Participação em banca de Wendel Scardua. Métodos de Expansão de Busca em Sistemas de Recuperaçãoo de Informação. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

16.
Finger, Marcelo; COZMAN, F. G.. Participação em banca de Denis Deratani Mauá. Modelos de Tópicos na Classificação Automática de Resenhas de Usuário. 2009. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

17.
FINGER, M.. Participação em banca de Danilo Picagli Shibata. Tradução Grafema-fonema para a língua portuguesa baseada em autômatos adaptativos. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

18.
BARROS, L. N.; COZMAN, F. G.; FINGER, M.. Participação em banca de Ricardo Guimarães Herrmann. Planejamento Hierárquico sob Incerteza Knightiana. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

19.
CARNIELLI, W.; FINGER, M.; CONIGLIO, M.. Participação em banca de Samir Bezerra Gorsky. A semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

20.
FINGER, M.. Participação em banca de Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

21.
FINGER, M.. Participação em banca de Luiz Carlos da Cruz Carvalheira. Método Semi-Automático de Construção de Ontologias de Domínio com Base em Texto. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

22.
FINGER, M.; Mário Benevides; WASSERMANN, R.. Participação em banca de Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

23.
FINGER, M.; GOLDMAN, A.. Participação em banca de Rodrigo Moreira Barbosa. MobiGrid: Arcabouço para agentes mmóveis em ambiente de grades computacionais. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

24.
FINGER, M.. Participação em banca de Rafael Fernandes Lopes. MAG: Uma grade computacional baseada em agentes móveis. 2006. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.

25.
FINGER, M.; KON, F.; COZMAN, F. G.. Participação em banca de Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

26.
FINGER, M.. Participação em banca de Daniel Lima Ventura. Cálculos de Substituições Explícitas que Preservam a Propriedade de Redução do Sujeito. 2006. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

27.
FINGER, M.; CARNIELLI, W.; CONIGLIO, M.. Participação em banca de Juan Carlos Agudelo Agudelo. Da Computação Paraconsistente à Computação Quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

28.
FINGER, M.. Participação em banca de Kelly Rosa Braghetto. Padrões de Fluxos de Processos em Banco de Dados Relacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

29.
FINGER, M.. Participação em banca de Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

30.
FINGER, M.. Participação em banca de Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

31.
FINGER, M.; KON, F.. Participação em banca de Vladimir Emiliano Moreira Rocha.. Protocolos par-a-par para interligação de aglomerados em grades computacionais. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

32.
FINGER, M.. Participação em banca de Joselyto Naeber da Costa Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

33.
FINGER, M.. Participação em banca de Luis Alves Ferreira Filho. Uma Proposta de Ontologia para Plano de Projeto. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

34.
FINGER, M.. Participação em banca de Aline Vieira Malanovicz. Definição Inicial de um Sistema de Provas Rotuladas para Lógicas do Conhecimento. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

35.
FINGER, M.; WEISS, M. A.; WASSERMANN, R.. Participação em banca de Rogério dos Santos Fajardo. Combinações de lógicas modais não-normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

36.
FINGER, M.. Participação em banca de Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

37.
FINGER, M.; KON, F.. Participação em banca de Andrei Goldchleger. InteGrade: Middleware para Grades Computacionais Compostas por Maquinas Compartilhadas. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

38.
FINGER, M.; NUNES, M. G. V.; SILVA, F. C.. Participação em banca de Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

39.
FINGER, M.. Participação em banca de Lucia Specia. ConPor: um gerador conceitual para o português. 2003. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

40.
FINGER, M.; NUNES, M. G. V.; WASSERMANN, R.. Participação em banca de Fabiano de Carvalho e Sousa. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

41.
FINGER, M.. Participação em banca de Flavio Shigeo yamamoto. Complexidade de Lógicas Modais. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

42.
FINGER, M.. Participação em banca de Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para a Lingua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

43.
FINGER, M.. Participação em banca de Aldebaran Perseke. Topologia de espaço de estados em planejamento com variáveis numéricas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

44.
FINGER, M.. Participação em banca de Leonardo Carvalheiro Langie. Um estudo sobre a aplicação de Algoritmo KNN à Categorização Hierárquica de Textos. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica.

45.
FINGER, M.. Participação em banca de Ivan José Vazinczak. Causalidade e Dependência em Raciocínio sobre Ações. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

46.
FINGER, M.. Participação em banca de Flávia Cardoso de Almeido Cruz. Aprendizado de Máquina Aplicado a Fragmentação Vertical de Bases de Objetos. 2002. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

47.
FINGER, M.. Participação em banca de Flávio Leonardo Cavalcanti de Moura. Comparando Cálculos de Substituições Explícitas com Eta-conversão. 2002. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

48.
FINGER, M.. Participação em banca de Bianka Maria Moura Teixeira Gonçalves. Algoritmo Assíncrono para Consistência de Atualizações em Data Warehouse. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

49.
FINGER, M.. Participação em banca de Juliana Galvani Greghi. Projeto e desenvolvimento de uma base de dados lexicais do português. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

50.
FINGER, M.. Participação em banca de Sirley Ambrosia Vitorio. Obsolescência da Informação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

51.
FINGER, M.. Participação em banca de Carla Amor Divino Moreira Delgado. Lógica de Conhecimento e Eventos em Sisatemas Assíncronos. 2001. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

52.
FINGER, M.. Participação em banca de Lorena Pereira da Ponte Pierre. Transações Web: Um Estudo Sobre Problemas e Soluções. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

53.
FINGER, M.. Participação em banca de Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Teses de doutorado
1.
Finger, Marcelo. Participação em banca de Maria Ines nCorbalab. From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.
Finger, Marcelo. Participação em banca de CAROLINA BLASIO DA SILVA. Sobre Noções de Consequência Generalizadas e Lógicas Plurivalentes. 2017. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

3.
Finger, Marcelo. Participação em banca de JOEL LUIS CARBONERA. Um arcabouço cognitivamente inspirado para representação de conhecimento e raciocínio. 2016. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

4.
Finger, Marcelo. Participação em banca de Ana Cristina Rocha Oliveira Valverde. Unificação, Confluência e Tipos com Intersecção para Sistemas de Reescrita Nominal. 2016. Tese (Doutorado em Informática) - Universidade de Brasília.

5.
SILVA, R. B. C. E.; Finger, Marcelo. Participação em banca de Felipe de Souza Salvatore. Topics in Modal Quantification Theory. 2015. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

6.
Fabiano Silva; Finger, Marcelo. Participação em banca de BRUNO CÉSAR RIBAS. UM MéTODO DE PRé-PROCESSAMENTO DE FóRMULAS SAT E PSEUDO-BOOLEAN BASEADO EM TéCNICAS DE PROGRAMAçãO LINEAR INTEIRA MISTA. 2015. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

7.
MORTARI, C. A.; Finger, Marcelo. Participação em banca de Marcio Kléos Freire Pereira. EXTENSÕES DE PRIMEIRA ORDEM PARA A LÓGICA DO ANÚNCIO PÚBLICO. 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

8.
CARNIELLI, W.; Finger, M.; CONIGLIO, M.. Participação em banca de Newton Marques Peron. (In)Completude Modal por (N)Matrizes Finitas. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

9.
Finger, Marcelo. Participação em banca de Diogo Ferreira da Costa Patrão. Desenvolvimento e Avaliação de Ferramentas Computacionais para Triagem de Sujeitos de Pesquisa. 2014. Tese (Doutorado em Oncologia) - Fundação Antônio Prudente.

10.
Finger, Marcelo; WASSERMANN, R; COZMAN, F. G.; Mário Benevides; Paulo Eduardo Santos. Participação em banca de Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

11.
Finger, Marcelo. Participação em banca de Sandro Rama Fiorini. Similarity, Structure and Spaces: Representation of Part-Whole Relations in Conceptual Spaces. 2014. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

12.
Finger, Marcelo. Participação em banca de Thaynara Arielly de Lima. Complexidade e Combinatória de Problemas de Distância em Grupos de Permutações. 2014. Tese (Doutorado em Matemática) - Universidade de Brasília.

13.
KON, F.; Finger, Marcelo. Participação em banca de Helves Humberto Domingues. Replicação Assíncrona em Bancos de Dados Evolutivos. 2011. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

14.
CARNIELLI, W.; Finger, Marcelo. Participação em banca de Anderson de Araújo. Uma Abordagem Modelo-teórica de Computabilidade de Turing Clássica. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

15.
Finger, Marcelo. Participação em banca de Fábio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

16.
Finger, M.; WASSERMANN, R.; CARNIELLI, W.; COZMAN, F. G.; Mário Benevides. 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 Ciências da Computação) - Universidade de São Paulo.

17.
COZMAN, F. G.; Finger, Marcelo. Participação em banca de Fabiano Rogério Corrêa. Mapeamento Semântico com Aprendizado Estatísitico Relacional para Representação de Conhecimento en Robótica Móvel. 2009. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

18.
Finger, M; DOTTAVIANO, I.. Participação em banca de Juliana Bueno. Multimodalidades anodicas e catodicas. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

19.
FINGER, M.. Participação em banca de André Luiz Galdino. Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior. 2008. Tese (Doutorado em Matemática) - Universidade de Brasília.

20.
FINGER, M.; FERREIRA, J. E.. Participação em banca de M´arcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. 2008. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

21.
Finger, Marcelo. Participação em banca de David Rajaratnam. Logical Approximation and Compilation for Resource-Bound Reasoning. 2008. Tese (Doutorado em Computer Science) - University of New South Wales.

22.
FINGER, M.; CARNIELLI, W.; WASSERMANN, R.; Mário Benevides; Bittencourt, Guilherme. Participação em banca de Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

23.
FINGER, M.. Participação em banca de 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.

24.
FINGER, M.. Participação em banca de Alexandre César Tabares Vidal. Abordagem Semântica Aplicada à Integração e Gerenciamento de Recursos e Aplicações em Grades Computacionais. 2007. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

25.
FINGER, M.; COZMAN, F. G.; BARROS, L. N.. Participação em banca de Sílvio do Lago Pereira. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

26.
FINGER, M.. Participação em banca de Flávio Leonardo Cavalcanti de Moura. Um Estudo Comparativo sobre Unificação de Ordem Superior em Cálculos de Substituições Explícitas. 2006. Tese (Doutorado em Matemática) - Universidade de Brasília.

27.
FINGER, M.. Participação em banca de Jerusa Marchi. Operadores Sintáticos para Mudança de Crenças Baseados na Representação em Formas Normais Primárias. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

28.
FINGER, M.. Participação em banca de Victor Leandro Fernandez. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

29.
FINGER, M.. Participação em banca de Jorge Petrúcio Viana. Extensões Não-Lógicas do Cálculo Relacional. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

30.
FINGER, M.. Participação em banca de João Marcos. Lógicas de Inconsistência Formal. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

31.
FINGER, M.. Participação em banca de José Carlos Ferreira da Rocha. Algoritmos para Inferência em Redes Credais. 2004. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

32.
FINGER, M.. Participação em banca de Eugenio Akihiro Nassu. Consultas Envolvendo Aqui em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. 2003. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

33.
FINGER, M.. Participação em banca de Andreia Gentil Bonfante. Parsing Probabilistico de Português do Brasil. 2003. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

34.
FINGER, M.. Participação em banca de Vania Costa. Uma Lógica Modal Bidimensional para Representação do Conhecimento em Sistemas Distribuídos Multiagentes. 2002. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

35.
FINGER, M.. Participação em banca de Renata Pereira de Freitas. Lógica Modal do "Fork". 2002. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

36.
FINGER, M.. Participação em banca de Anjolina Grisi de Oliveira. Proofs from a Geometric Perspective. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

37.
FINGER, M.. Participação em banca de Alneu de Andrade Lopes. Regras e Casos: Uma abordagem à Aprendizagem Relacional Multi-estratégia. 2001. Tese (Doutorado em Doutorado em Ciência de Computadores) - Universidade do Porto.



Participação em bancas de comissões julgadoras
Professor titular
1.
Finger, Marcelo. Roberto Souto Maior de Barros: Advances in Data Stream Mining with Concept Drift. 2017. Universidade Federal de Pernambuco.

2.
Finger, Marcelo. Concurso UFMG para professor Titular em Ciência da Computação. 2017. Universidade Federal de Minas Gerais.

3.
Finger, Marcelo; BIGONHA, R.; BORGES, M.; LUDERMIR, T.. Judite Kellman, Ana Carolina Salgado, Ruy de Queiroz, Marcos Salgado. 2015. Universidade Federal de Pernambuco.

4.
Finger, Marcelo. DCC UFRJ: Mario Benevidez, Anamaria Martins e Paulo Roma. 2015. Universidade Federal do Rio de Janeiro.

5.
Cozman, F; Finger, Marcelo; CARVALHO, A. C. P. L. F.; LAMB, L. C.; BARBOSA, V. C.. Gerson Zaverucha. 2014. Universidade Federal do Rio de Janeiro.

Concurso público
1.
Finger, Marcelo. Comissão julgadora UFABC. 2017. Universidade Federal do ABC.

2.
Finger, Marcelo; BARBOSA, V. C.; LAMB, L. C.. Concurso para entrada na carreira no Instituto de Informática da URGS. 2015. Universidade Federal do Rio Grande do Sul.

3.
TERADA, R.; BIGONHA, R. S.; ALBUQUERQUE, C. V. N.; SETUBAL, J. C.; Finger, Marcelo. Concurso para entrada na carreira. 2014. Universidade de São Paulo.

4.
Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2010. Universidade Federal do Rio de Janeiro.

5.
Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto, setor Inteligência Artificial, do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2010. Universidade Federal do Rio de Janeiro.

6.
Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2009. Universidade Federal do Rio de Janeiro.

7.
FINGER, M.. Banca de Efetivação de Renata Wassermann. 2005. Universidade de São Paulo.

8.
FINGER, M.. Comissão Julgadora de concurso para Provimento de cargo de Prof Doutor do Departamento de Linguística, área Linguística Computacional. 2004. Universidade de São Paulo.

9.
FINGER, M.. Banca de efetivação de Leliane Nunes de Barros. 2004. Universidade de São Paulo.

10.
FINGER, M.; MANDEL, A.. Concurso para professor visitante no Intituto de Ensinos Avançados IEA/USP. 2003. Universidade de São Paulo.

Livre docência
1.
Finger, Marcelo. Daniel Macêdo Batista. 2017. Universidade de São Paulo.

2.
Finger, Marcelo. Livre Docência de Eduardo Cândido Xavier. 2016. Universidade Estadual de Campinas.

3.
Finger, Marcelo. Livre Docência de Renato Vicente. 2016. Universidade de São Paulo.

4.
Finger, Marcelo. LIvre docência de José Augusto Baranauskas, Dep Computação e Matemática, FFCLRP. 2016. Universidade de São Paulo.

5.
Finger, Marcelo. Dilvan de Abreu Moreira. 2015. Universidade de São Paulo.

6.
Finger, Marcelo; Rubira, Cecília; Wagner, Flavio; Masiero. Paulo C.; Bigonha, Roberto. Livre Docência de Ana Cristina Vieira de Melo. 2011. Universidade de São Paulo.

7.
Finger, M. Concurso de Livre Docência de Leliane Nunes Barros. 2009. Universidade de São Paulo.

8.
FINGER, M.. Livre Docência de João Eduardo Ferreira. 2008. Universidade de São Paulo.

9.
FINGER, M.. Decisão Automática e Redes Bayesianas. 2003. Universidade de São Paulo.

Outras participações
1.
Finger, Marcelo. Comitê de Avaliação da FAPERJ, editais 13 e 14/2010. 2010. Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ.

2.
FINGER, M.. Comissão de Especialistas do Prêmio Zeferino Vaz, IC-UNICAMP. 2008. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
AAAI. Counting Quantifiers. 2017. (Congresso).

2.
FroCoS 2017.Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Simpósio).

3.
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE. Quantitative Logic Reasoning. 2016. (Congresso).

4.
XLV Escola de Verão MAT-UnB.Raciocínio Probabilístico sobre Inconsistência. 2016. (Seminário).

5.
XLIII Escola de Verão do MAT-UnB.Lógica Probabilística: Fundamentos e Aplicações à Inteligência Artificial.. 2014. (Encontro).

6.
I Seminário Internaciona, em Humanidades Digitais.Interface entre Ciêntistas da Computação e Linguistas. 2013. (Seminário).

7.
SAT 2013. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. 2013. (Congresso).

8.
X Workshop de Verão em Matemática.Quantitative Logic Reasoning. 2012. (Oficina).

9.
EBL - Brazilian Logic Symposium.Completude para a Abdução Baseada em Corte. 2011. (Simpósio).

10.
IJCAI - International Joint Copnference of Artificial Intelligence. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.. 2011. (Congresso).

11.
LSFA 2011.Classical and Quantum Satisfiability. 2011. (Oficina).

12.
M4M - Methods for Modalities. A modal view of probabilistic logic. 2011. (Congresso).

13.
IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. 2010. (Congresso).

14.
SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence.SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence. 2010. (Simpósio).

15.
Wollic 2010. Wollic 2010 -- 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).

16.
CLE/AIPS --- Science, Truth and Consistency. Polynomial Time Cut Elimination for Classical Logic. 2009. (Congresso).

17.
LSFA 2009 --- Fourth Workshop on Logical and Semantic Frameworks, with Applications. Towards an efficient prover for the C_1-paraconsistent logic. 2009. (Congresso).

18.
MBR'09 -- Model-Based Reasoning in Science and Technology (Abduction, Logic, and Computational Discovery). Towards First-Order Cut-Based Abduction. 2009. (Congresso).

19.
LSFA -- Third Workshop on Logical and Semantic Frameworks, with Applications.Using Abduction to Compute Efficient Proofs. 2008. (Oficina).

20.
XV Encontro Brasileiro de Lógica/ XIV Simpósio Latino Americado de Lógica Matemática. Minimality in Axiomatizations: an Algebraic Approach. 2008. (Congresso).

21.
King's College Seminars on Computing..Computing Non-Analytic Cuts Using Algebraic Methods. 2007. (Seminário).

22.
Seminário Brasileiro de Análise SBA.Teoria da Prova -- Provas não Analíticas. 2007. (Simpósio).

23.
Escola de Verão 2006.Palestrante Convidado -- Raciocínio Aproximado. 2006. (Outra).

24.
Propor 2006 - Computational Processing of Portuguese. Applications of Machine Learning to Computational Linguistics. 2006. (Congresso).

25.
XIV Encontro Brasileiro de Lógica.Encontro Brasileiro de Lógica. 2006. (Encontro).

26.
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Comitê de Programa -- LPAR2005. 2005. (Congresso).

27.
20o Simpósio Brasileiro de Bancos de Dados.Comitê de Programa -- SBBD2005. 2005. (Simpósio).

28.
GRACO 2005 2nd Brazilian Symposium on Graphs, Algorithms, and Combinatorics.Avaliador -- GRACO 2005. 2005. (Simpósio).

29.
Workshop on Semantics and Meaning (SeMe 2005).Comitê Organizador e de Programa -- Workshop on Semantics and Meaning. 2005. (Oficina).

30.
Workshop on Text Mining and Applications 2005.Comitê de Programa -- TeMA2005. 2005. (Oficina).

31.
Workshops do SBBD e SBES 2005.Comitê de Programa -- Workshops do SBBD/SBES2005. 2005. (Oficina).

32.
CTD2004: Concurso de Teses e Dissertações de Computação.Chair -- CTD2004: Concurso de Teses e Dissertações de Computação. 2004. (Outra).

33.
10th International Symposium on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC. Comitê de Programa -- TIME/ICTL 2003. 2003. (Congresso).

34.
1º Workshop em Tecnologia da Informação e da Linguagem Humana.Comitê de Programa -- TIL 2003. 2003. (Oficina).

35.
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA). Comitê de Programa -- CAEPIA2003. 2003. (Congresso).

36.
Encontro Brasileiro de Lógica (EBL2003).Encontro Brasileiro de Lógica (EBL2003). 2003. (Simpósio).

37.
IV Workshop de Comunicação sem Fio e Computação Móvel 2003.Comitê de Programa -- WCSF 2003. 2003. (Oficina).

38.
MIddleware 2003. Comitê de Programa -- MIddleware 2003. 2003. (Congresso).

39.
Simpósio Brasileiro de Bancos de Dados SBBD2003.Comitê de Programa -- SBBD2003. 2003. (Simpósio).

40.
VI Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada. Comitê de programa -- PROPOR 2003. 2003. (Congresso).

41.
56o Seminário Brasileiro de Análise.SBA -- Seminário Brasileiro de Análise. 2002. (Simpósio).

42.
Advances in Modal Logic. AiML -- Advances in Modal Logic. 2002. (Congresso).

43.
Visita ao Grupo do Prof Sernadas.Instituto Superior Técnico de Lisboa. 2002. (Encontro).

44.
XVI Simpósio Brasileiro de Inteligencia Artificial.SBIA -- Simpósio Brasileiro de Inteligência Artificial. 2002. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Finger, Marcelo. Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Congresso).

2.
GODO, L. ; Finger, Marcelo ; PRADE, H. ; QI, G. . IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015. 2015. (Congresso).

3.
Finger, Marcelo; SOUSA, M. C. P. . DHandES2014: 1st Workshop on Digital Humanities and e-Science. 2014. (Congresso).

4.
FERNANDEZ, M. ; Finger, Marcelo . LSFA 2013 - 7th Workshop on Logical and Semantic Frameworks, with Applications -- Chair of Programme Committee. 2013. (Congresso).

5.
Finger, Marcelo; BARROS, L. N. . SBIA2012 - 21st Brazilian Symposium on Artificial Intelligence - Chair of the Programme Committee. 2012. (Congresso).

6.
Finger, Marcelo; Marcos Lopes ; KINOSHITA, J. . Workshop de Linguística Computacional. 2009. (Congresso).

7.
FINGER, M.. CLE 30 anos/ XV EBL (Encontro Brasileiro de Lógica)/ XIV SLALM (Simpósio Latino Americano de Lógica Matemática). 2008. (Congresso).

8.
FINGER, M.. Workshop "Semantics and Meaning" SeMe-2005. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Felipe Salvatore. Geração de Texto Usando Redes Neurais Recorrentes. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Sandro Preto. Lógica Probabilística e Teoria dos Jogos. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Fabiano Ferreira Luz. Análise Sintática Automática. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Bruno Vercelino da Hora. Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

2.
William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

3.
Michel Oleynik. Extração de Informações de Narrativas Clínicas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

4.
Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

5.
Eduardo Menezes de Morais. Answer Set Programming probabilístico. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

6.
Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

7.
Rodrigo Zaccara. Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

8.
Glauber de Bona. Satisfatibilidade Probabilística. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

9.
Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

10.
Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

11.
Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

12.
Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

13.
Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

14.
Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

15.
Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.

16.
Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

17.
Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

18.
Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

19.
Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

20.
Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

21.
Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

22.
Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

23.
Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

24.
Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

25.
Carlos Daniel Chacur Alves. Etiquetagem de Textos em PortuguêsBaseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.

26.
Mabelly de Oliveira Furtado. Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

27.
EDUARDO JOSE SOLER MESQUITA. Projeto de Dados Em Bancos de Dados Distribuidos. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.

28.
Loreley Zavattiero. Implementação de um Fragmento TSQL2 para Banco de Dados de Tempo de Validade.. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

Tese de doutorado
1.
Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

2.
Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

3.
Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.

4.
Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

5.
Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. 2007. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

6.
Eugênio Akihiro Nassu. Consultas envolvendo. 2003. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Orientador: Marcelo Finger.

Supervisão de pós-doutorado
1.
Anderson de Araújo. Satisfatibilidade Quantica. 2012. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Marcelo Finger.

2.
Juliana Bueno. 2010. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Marcelo Finger.

3.
Renata Wassermann. 2001. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Marcelo Finger.

Trabalho de conclusão de curso de graduação
1.
Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. 2015. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

2.
Alessandro Calò. Extração de informações jurídicas públicas. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

3.
Steven Tsukamoto. Algoritmo Multin ́ıvel de Deteção de Comunidades em Redes Complexas. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

4.
Rodrigo Silva. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

5.
Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

Iniciação científica
1.
Mikail de Freitas. Resolvedores SAT. 2012. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

2.
Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger.

3.
Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

4.
Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

5.
Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

6.
Rogério Papetti. Provadores de Teoremas. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

7.
Lucas Cavalcante. Algoritmos para SAT Probabilístico. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

8.
Pedro Matiello. Provadores de Teoremas. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

9.
Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

10.
Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. 2007. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger.

11.
Thiago Coraini. Implementação de um escalonador para grades. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.

12.
Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

13.
Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

14.
Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

15.
Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. 2003. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.

16.
Rogério Fajardo. Lógicas Modais. 2002. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Finger.

17.
Fernando Correa de Lima. Interface para programas de linguistica computacional. 2001. Iniciação Científica. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.



Inovação



Programa de computador sem registro
1.
De Bona, Glauber ; Finger, Marcelo . PSAT resolvedor de Satisfatibilidade Probabilística. 2011.


Projetos de pesquisa


Educação e Popularização de C & T



Textos em jornais de notícias/revistas
1.
Finger, Marcelo. Não Vai Set Tão Fácil. Exame CEO (Inteligência Artificial), São Paulo, p. 16 - 19, 01 maio 2018.


Cursos de curta duração ministrados
1.
Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. (Curso de curta duração ministrado/Outra).


Entrevistas, mesas redondas, programas e comentários na mídia
1.
Finger, Marcelo. O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou TV/Entrevista).

2.
Finger, Marcelo. Inteligência artificial não substituirá o professor, diz especialista Marcelo Finger afirmou também que noções sobre sistemas de computação devem ser ensinadas desde a infância, no começo do aprendizado. 2018. (Programa de rádio ou TV/Entrevista).

3.
Finger, Marcelo. Você sabe (de verdade) o que é big data?. 2018. (Programa de rádio ou TV/Entrevista).



Outras informações relevantes


Assessor da Pŕo-reitoria de pós-graduação da USP Setembro de 2010--Agosto2012.. 

Gerente do sistema Janus de Administração da Pós-Graduação USP, contando com ~32.000 usuários (22.000 estudantes, 5.000 professores e 5.000 funcionários) desde Setembro de 2010.

Membro do Dirigente Comitê Especial de Inteligência Artificial da Sociedade Brasileira de Computação (CEIA-SBC), dese 2009.

Vice-diretor do Centro de Competência em Software Livre, do Instituto de Matemática e Estatística da USP, desde dezembro de 2008.


Apoios Recebidos:
 - Bolsa Produtividade em Pesquisa, CNPq PQ, nivel 1C.
 - Coordenador de Projeto de pesquisa CNPq, APQ 468765/00-0, "Provadores de Teoremas Livre de Estrutura". Valor de R$24.727,00. De 12/1/2001 a 12/1/2002

Projetos Nacionais:

 - Membro do projeto tematico Fapesp 
98/3382-0 (Projeto Temático Rhythmic patterns, parameter setting and language change ), de 1999 a 2002.

 - Projeto Temático Fapesp 98/06138-2, ``SIDAM: Sistemas de Informação Distribuídos para Agentes Móveis''. Corrdenação: Siang Wun Song, DCC/IME/USP. De 1999 a 2001.

 - Fapesp 93/0603-01 Projeto DECaFf-KB: ``Distributed Environment for Cooperation among Formalisms for Knowledge Bases''. Projeto conveniado entre Fundacao CAPES (Brasil) e The British Council (Inglaterra). Coordenação: Flavio S. Correa da Silva. De 2000 a 2003.

 - CNPq 552176/01-0 ProjetoLacio-Web (Linguistica Computacional) 2002-2004. 

 - FAPESP Projeto CCC-AHIA 03/00312-0 (Raciocínio Aproximado) 2003-2004. 

 - CNPq 55.20208/02-9 Projeto IMPAR (Aprendizagem aplicada à Grades Computacionais) 2003-2004.

Projetos Internacionais: 

 - ESPRIT II Project SPEC (Especificação de Sw)1991-1992. 
 - ESPRIT II Project TEMPORA (Raciocínio Temporal) 1992-1994.
 - EPSRC Project Labelled Tableaux (Raciocínio Automatizado) 1994-1995.
 - EPSRC Project LDS-NL (Análise de Linguagem Natural) 1996-1999.



Página gerada pelo Sistema Currículo Lattes em 10/12/2018 às 23:01:47