Marcelo Finger

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, Pesquisador Principal do USP-Fapesp-IBM Centro de Inteligência Artificial (C4AI), onde coordena o grupo NLP2 de processamento de lingauge natural em português. É 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.

Informações coletadas do Lattes em 12/06/2023

Acadêmico

Formação acadêmica

Doutorado em PhD in Computing

1990 - 1994

Imperial College of Science and Technology, University of London
Título: Changing the past: applications of two-dimensional temporal logic to databases
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 TerraGrande Á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.

Mestrado em Foundations of Advanced Information Technology

1989 - 1990

Imperial College of Science, Technology and Medicine
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 TerraGrande Á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.

Graduação em Engenharia Eletronica

1983 - 1988

Universidade de São Paulo

Pós-doutorado

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.

Idiomas

Inglês

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

Áreas de atuação

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.

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: Metodologia e Técnicas da Computação/Especialidade: Linguistica Computacional.

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.

Organização de eventos

Finger, Marcelo . Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Congresso).

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

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

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

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

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

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).

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

Participação em eventos

AAAI. Counting Quantifiers. 2017. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Participação em bancas

Aluno: Rodrigo Amorim Ruiz

Finger, MarceloDe Bona, Glauber. Jurisprudence Search Based on Fact Similarity Using NLP and ML Techniques. 2021. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Felipe Ribas Serras

Finger, Marcelo. Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: BRUNO LEME

Finger, Marcelo. Classificação automática de documentos de características econômicas para defesa jurídica. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Gabriela Souza de Melo

COZMAN, FABIO GAGLIARDIFinger, Marcelo. Winograd Schemas in Portuguese. 2020. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Marcelo de Rezende Martins

Finger, Marcelo; GEROSA, M. A.. Uso de redes neurais convolucionais na recuperação de trecho de código- fonte. 2020. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Rafael Reggiani Manzo

Finger, Marcelo. 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.

Aluno: Yuri David Sandos

Finger, MarceloWASSERMANN, R.. Pseudo-contrações em revisões de crença. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Fabio Henrique Santana Machado

COZMAN, FABIO G.Finger, Marcelo. 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.

Aluno: Viviane Santos da Silva

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

Aluno: Sandro Márcio da Silva Preto

CARNIELLI, W.;Finger, Marcelo; Juliana Bueno. Lógica, Probabilidade e Consequência. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Fillipe Manoel Xavier Resina

Finger, MarceloWASSERMANN, R; FERME, E.. 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.

Aluno: Caio de Naday Hornhardt

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

Aluno: William Daniel Colen de Moura Silva

Finger, Marcelo. Aprimorando o Corretor Gramatical CoGrOO. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Michel Oleynik

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

Aluno: Wesley Seidel Carvalho

Finger, Marcelo. 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.

Aluno: Bruno César Ribas

Finger, Marcelo. Satisfatibilidade Não-clausal restrita às variáveis de entrada. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Glauber De Bona

Finger, MarceloCOZMAN, F. G.. Satisfatibilidade Probabilística. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Maurício Hernandes Simões Camilo

CARNIELLI, W.;Finger, MarceloSILVA, F. C.. Multiplicadores Algébricos de Validade Lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Mariana Pereira de Melo

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

Aluno: Wendel Scardua

Finger, Marcelo. 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.

Aluno: Denis Deratani Mauá

Finger, MarceloCOZMAN, F. G.. 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.

Aluno: Danilo Picagli Shibata

FINGER, M.. 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.

Aluno: Ricardo Guimarães Herrmann

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

Aluno: Samir Bezerra Gorsky

CARNIELLI, W.;FINGER, M.; CONIGLIO, M.. 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.

Aluno: Danilo Matheus Rubio Conde

FINGER, M.. 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.

Aluno: Luiz Carlos da Cruz Carvalheira

FINGER, M.. 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.

Aluno: Thiago Carvalho de Sousa

FINGER, M.; Mário Benevides;WASSERMANN, R.. 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.

Aluno: Rodrigo Moreira Barbosa

FINGER, M.GOLDMAN, A.. 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.

Aluno: Rafael Fernandes Lopes

FINGER, M.. MAG: Uma grade computacional baseada em agentes móveis. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Maranhão.

Aluno: Germano Capistrano Bezerra

FINGER, M.KON, F.COZMAN, F. G.. 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.

Aluno: Daniel Lima Ventura

FINGER, M.. 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.

Aluno: Juan Carlos Agudelo Agudelo

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

Aluno: Kelly Rosa Braghetto

FINGER, M.. 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.

Aluno: Guilherme de Souza Rabello

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

Aluno: Fábio Natanael Kepler

FINGER, M.. 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.

Aluno: Vladimir Emiliano Moreira Rocha

FINGER, M.KON, F.. . 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.

Aluno: Joselyto Naeber da Costa Riani

FINGER, M.. 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.

Aluno: Luís Alves Ferreira Filho

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

Aluno: Aline Vieira Malanovicz

FINGER, M.. 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.

Aluno: Rogério dos Santos Fajardo

FINGER, M.WEISS, M. A.WASSERMANN, R.. Combinações de lógicas modais não-normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Fábio Luiz Ide

FINGER, M.. 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.

Aluno: Andrei Goldchleger

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

Aluno: Alexandre Sussumu Hirohashi

FINGER, M.NUNES, M. G. V.SILVA, F. C.. 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.

Aluno: Lucia Specia

FINGER, M.. 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.

Aluno: Fabiano de Carvalho e Sousa

FINGER, M.NUNES, M. G. V.WASSERMANN, R.. 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.

Aluno: Flávio Shigeo Yamamoto

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

Aluno: Archias Alves de Almeida Filho

FINGER, M.. 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.

Aluno: Aldebaran Perseke

FINGER, M.. 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.

Aluno: Leonardo Carvalheiro Langie

FINGER, M.. 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.

Aluno: Ivan José Vazinczak

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

Aluno: Flávia Cardoso de Almeido Cruz

FINGER, M.. 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.

Aluno: Flávio Leonardo Cavalcanti de Moura

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

Aluno: Bianka Maria Moura Teixeira Goncalves

FINGER, M.. 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.

Aluno: Juliana Galvani Greghi

FINGER, M.. 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.

Aluno: Sirley Ambrosia Vitorio

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

Aluno: Carla Amor Divino Moreira Delgado

FINGER, M.. 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.

Aluno: Lorena Pereira da Ponte Pierre

FINGER, M.. 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.

Aluno: Glauco Galves Bordin

FINGER, M.. 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.

Aluno: Sidney Evaldo Leal

Finger, Marcelo. Predição da complexidade sentencial do português brasileiro escrito, usando métricas linguísticas, psicolinguísticas e de rastreamento ocular. 2021. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Sandro Márcio da Silva Preto

Finger, Marcelo. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. 2021. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Alexandre Tadeu Salle

Finger, Marcelo. The Role of Negative Information when Learning Dense Word Vectors. 2021. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Edilson José Rodrigues

Finger, Marcelo; Paulo Eduardo Santos. DEFINIÇÃO E IMPLEMENTAÇÃO DE UMA SEMÂNTICA DE SUPERVALORAÇÃO PARA POLISSEMIA EM EXPRESSÕES ESPACIAIS. 2019. Tese (Doutorado em Ciência da Computação) - Centro Universitário FEI.

Aluno: Maria Ines nCorbalab

Finger, Marcelo. From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Carolina Blasio da Silva

Finger, Marcelo. 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.

Aluno: Joel Luis Carbonera

Finger, Marcelo. 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.

Aluno: Ana Cristina Rocha Oliveira Valverde

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

Aluno: Felipe de Souza Salvatore

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

Aluno: Bruno César Ribas

Fabiano Silva;Finger, Marcelo. 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á.

Aluno: Márcio Kléos Freire Pereira

MORTARI, C. A.;Finger, Marcelo. EXTENSÕES DE PRIMEIRA ORDEM PARA A LÓGICA DO ANÚNCIO PÚBLICO. 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

Aluno: Newton Marques Peron

CARNIELLI, W.; Finger, M.; CONIGLIO, M.. (In)Completude Modal por (N)Matrizes Finitas. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Diogo Ferreira da Costa Patrão

Finger, Marcelo. Desenvolvimento e Avaliação de Ferramentas Computacionais para Triagem de Sujeitos de Pesquisa. 2014. Tese (Doutorado em Oncologia) - Fundação Antônio Prudente.

Aluno: Alexandre Matos Arruda

Finger, MarceloWASSERMANN, RCOZMAN, F. G.; Mário Benevides; Paulo Eduardo Santos. 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.

Aluno: Sandro Rama Fiorini

Finger, Marcelo. 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.

Aluno: Thaynara Arielly de Lima

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

Aluno: Helves Humberto Domingues

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

Aluno: Anderson de Araújo

CARNIELLI, W.;Finger, Marcelo. Uma Abordagem Modelo-teórica de Computabilidade de Turing Clássica. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Fábio Natanael Kepler

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

Aluno: Márcio Moretto Ribeiro

Finger, M.;WASSERMANN, R.; CARNIELLI, W.;COZMAN, F. G.; Mário Benevides. 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.

Aluno: Fabiano Rogério Corrêa

COZMAN, F. G.Finger, Marcelo. 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.

Aluno: Juliana Bueno

Finger, M; DOTTAVIANO, I.. Multimodalidades anodicas e catodicas. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: André Luiz Galdino

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

Aluno: M´arcio Katsumi Oikawa

FINGER, M.; FERREIRA, J. E.. 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.

Aluno: David Rajaratnam

Finger, Marcelo. Logical Approximation and Compilation for Resource-Bound Reasoning. 2008. Tese (Doutorado em Computer Science) - University of New South Wales.

Aluno: ADOLFO GUSTAVO SERRA SECA NETO

FINGER, M.; CARNIELLI, W.;WASSERMANN, R.; Mário Benevides; Bittencourt, Guilherme. 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.

Aluno: Carla Amor Divino Moreira Delgado

FINGER, M.. 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.

Aluno: Alexandre César Tabares Vidal

FINGER, M.. 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.

Aluno: Silvio do Lago Pereira

FINGER, M.COZMAN, F. G.BARROS, L. N.. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Flávio Leonardo Cavalcanti de Moura

FINGER, M.. 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.

Aluno: Jerusa Marchi

FINGER, M.. 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.

Aluno: Víctor Leandro Fernández

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

Aluno: Jorge Petrúcio Viana

FINGER, M.. 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.

Aluno: João Marcos

FINGER, M.. Lógicas de Inconsistência Formal. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: José Carlos Ferreira da Rocha

FINGER, M.. Algoritmos para Inferência em Redes Credais. 2004. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Eugênio Akihiro Nassu

FINGER, M.. 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.

Aluno: Andréia Gentil Bonfante

FINGER, M.. 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.

Aluno: Vânia Costa

FINGER, M.. 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.

Aluno: Renata Pereira de Freitas

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

Aluno: Anjolina Grisi de Oliveira

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

Aluno: Alneu de Andrade Lopes

FINGER, M.. Regras e Casos: Uma abordagem à Aprendizagem Relacional Multi-estratégia. 2001. Tese (Doutorado em Doutorado em Ciência de Computadores) - Universidade do Porto.

Aluno: DANIEL PEIXOTO PINTO DA SILVA

Finger, Marcelo. ANÁLISE DE INTERPRETABILIDADE EM MODULO PROFUNDO PARA DETECÇÃO DE INSUFICIÊNCIA RESPIRATÓRIA: UM ESTUDO DE CASO PARA A COVID-19. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

Finger, Marcelo; RINCON, M. A.; Mário Benevides; MARTINS, A. T. C.. Banca de Professor Titular de Claudia Nalon. 2022. Universidade de Brasília.

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

Finger, Marcelo. Roberto Souto Maior de Barros: Advances in Data Stream Mining with Concept Drift. 2017. Universidade Federal de Pernambuco.

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

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

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

Finger, Marcelo. Comissão julgadora UFABC. 2017. Universidade Federal do ABC.

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.

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.

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.

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.

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.

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

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.

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

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

Finger, Marcelo; MAUA, D. D.. Presidente da Banca de LIvre Docência de Denis Deratani Maua. 2022. Universidade de São Paulo.

Finger, Marcelo. Anarosa Alves Brandão. 2021. Universidade de São Paulo.

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

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

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

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

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

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.

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

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

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

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.

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

Orientou

Sandro Márcio da Silva Preto

Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory; Início: 2021; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Marcelo Matheus Gauy

Início: 2020; Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo;

BRUNO LEME

Classificação automática de documentos de características econômicas de defesa jurídica; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo,; Orientador: Marcelo Finger;

Felipe Ribas Serras

Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos; 2021; 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;

Thiago Ildeu Albuquerque Lira

Modelos Neurais para Regressão em Séries Temporais; 2020; 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;

Rayssa Küllian Martins

A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo,; Orientador: Marcelo Finger;

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;

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;

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;

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;

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;

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;

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;

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;

Maurício 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;

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;

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;

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;

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;

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;

Rogerio 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;

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;

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;

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;

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;

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;

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;

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;

Emerson 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;

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;

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;

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;

Eduardo José 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;

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;

Sandro Márcio da Silva Preto

Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory; 2021; 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;

Felipe Salvatore

Analysing Natural Language Inference from a Rigorous Point of View; 2020; 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;

Fabiano Ferreira Luz

Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL; 2019; 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;

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;

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;

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;

Fábio 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;

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;

Eugênio Akihiro Nassu

Consultas envolvendo; 2003; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo,; Orientador: Marcelo Finger;

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;

Juliana Bueno

2010; Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo; Marcelo Finger;

Renata Wassermann

2001; Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo; Marcelo Finger;

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;

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;

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;

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;

Tiago Garcia

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Fernando Corrêa 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;

Produções bibliográficas

BERTI, LARISSA CRISTINA ; SPAZZAPAN, EVELYN ALVES ; QUEIROZ, MARCELO ; PEREIRA, PEDRO LEYTON ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, BEATRIZ RAPOSO DE ; MARTINS, MARCUS VINÍCIUS MOREIRA ; FERREIRA, LETÍCIA SANTIAGO ; SILVA, INGRID GANDOLFI GOMES DA ; SABINO, ESTER CERDEIRA ; LEVIN, ANNA SARA ; Finger, Marcelo . Fundamental frequency related parameters in Brazilians with COVID-19. JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA , v. 153, p. 576-585, 2023.
SALVATORE, FELIPE DE SOUZA ; Finger, Marcelo ; HIRATA, ROBERTO ; PATRIOTA, ALEXANDRE G. . A resampling-based method to evaluate NLI models. Natural Language Engineering , v. 1, p. 1-28, 2023.
Preto, Sandro ; Finger, Marcelo . Efficient representation of piecewise linear functions into -ukasiewicz logic modulo satisfiability. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , v. 32, p. 1-26, 2022.
Preto, Sandro ; Finger, Marcelo . Proving properties of binary classification neural networks via -ukasiewicz logic. LOGIC JOURNAL OF THE IGPL , v. 06, p. jzac050, 2022.
Preto, Sandro ; FERMÉ, EDUARDO ; Finger, Marcelo . Coherence of probabilistic constraints on Nash equilibria. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 28, p. 38-51, 2022.
Finger, Marcelo . Inteligência Artificial e os rumos do processamento do português brasileiro. ESTUDOS AVANÇADOS (ONLINE) , v. 35, p. 51-72, 2021.
Finger, Marcelo ; Preto, Sandro . Probably Partially True: Satisfiability for -ukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. JOURNAL OF AUTOMATED REASONING , v. 1, p. 1-20, 2020.
Preto, Sandro ; Finger, Marcelo . An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 351, p. 167-186, 2020.
Finger, Marcelo . Quantitative Logic Reasoning. arXiv e-prints , v. 1905.05665, p. 1-40, 2019.
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 , v. 1, p. 1, 2018.
Finger, 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.
OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M. . Automated Classification of Semi-Structured Pathology Reports into ICD-O Using SVM in Portuguese. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS , v. 235, p. 256-260, 2017.
Finger, 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.
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.
BONA, 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.
Finger, 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.
OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M. . Automated Classification of Pathology Reports. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS , v. 216, p. 1040, 2015.
De Bona, Glauber ; COZMAN, FABIO GAGLIARDI ; Finger, Marcelo . Towards classifying propositional probabilistic logics. Journal of Applied Logic , v. 12, p. 349-368, 2014.
ARRUDA, A. ; Finger, M . Completeness for cut-based abduction. Logic Journal of the IGPL (Print) , v. 21, p. 1, 2013.
Finger, Marcelo ; REIS, POLIANA . On the Predictability of Classical Propositional Logic. Information , v. 4, p. 60-74, 2013.
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.
Finger, Marcelo . Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print) , v. 20, p. 370-387, 2012.
Araújo, Anderson de ; Finger, Marcelo . Classical and quantum satisfiability. Electronic Proceedings in Theoretical Computer Science , v. 81, p. 79-84, 2012.
Finger, M. . Analytic Methods for the Logic of Proofs. Journal of Logic and Computation (Print) , v. 20, p. 167-188, 2010.
Finger, 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.
da 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.
D'Agostino, M. ; Finger, M. ; GABBAY, D. . Cut-Based Abduction. Logic Journal of the IGPL , v. 16, p. 537-560, 2008.
Finger, M ; RABELLO, G. . Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic , v. 152, p. 161-173, 2008.
FINGER, M. ; WASSERMANN, R. . Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation , v. 17, p. 53-82, 2007.
FINGER, 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.
Finger, M ; WASSERMANN, R . The universe of propositional approximations. Theoretical Computer Science , v. 355, n.2, p. 153-166, 2006.
Finger, Marcelo ; Gabbay, Dov . Cut and Pay. Journal of Logic, Language and Information , v. 15, p. 195-218, 2006.
Finger, 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.
Goldchleger, 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.
BRODA, 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.
FINGER, 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.
Finger, 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.
Finger, M . A logical reconstruction of temporal databases. Journal of Logic and Computation (Print) , v. 10, n.6, p. 847-876, 2000.
Broda, K ; Finger, M ; RUSSO, A. . Labelled natural deduction for substructural logics. Logic Journal of the IGPL , v. 7, n.3, p. 283-318, 1999.
Finger, M . Towards structurally-free theorem proving. Logic Journal of the IGPL , v. 6, n.3, p. 425-449, 1998.
FINGER, 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.
FINGER, M. ; GABBAY, D. . Combining Temporal Logic Systems. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 37, n.2, p. 204-232, 1996.
FINGER, M. ; Gabbay, Dov M. . Adding a temporal dimension to a logic system. Journal of Logic, Language and Information , v. 1, p. 203-233, 1992.
FINGER, M. . Handling Database Updates In Two-Dimensional Temporal Logic. JOURNAL OF APPLIED NON-CLASSICAL LOGIC, v. 2, n.2, p. 201-224, 1992.
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.
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 .
FINGER, M. ; REYNOLDS, M. (Org.) ; DIXON, C. (Org.) ; FISHER, M. (Org.) . AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer, 2001. v. 1.
GABBAY, D. ; FINGER, M. ; REYNOLDS, M. . Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press, 2000.
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 .
GAUY, MARCELO MATHEUS ; BERTI, L. C. ; CANDIDO JR, A. ; CAMARGO NETO, A. C. ; GOLDMAN, A. ; LEVIN, A. S. ; MARTINS, M. ; MEDEIROS, B. R. ; QUEIROZ, M. G. ; SABINO, E. C. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo . Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Lecture Notes in Computer Science. 1ed.: , 2023, v. 13897, p. 271-.
Finger, Marcelo . Quando se compra inteligência artificial, o que de fato se leva para casa? Além do ?oba-oba?. In: Fabio G. Cozman GuilhermeAry Plonski Hugo Neri. (Org.). Inteligência Artificial: Avanços e Tendências. 1ed.São Paulo: Universidade de São Paulo/INSTITUTO DE ESTUDOS AVANÇADOS, 2021, v. , p. 95-109.
Finger, Marcelo ; ALUISIO, S. M. ; SPAZZAPAN, E. A. ; BERTI, L. C. ; CAMARGO NETO, A. C. ; CANDIDO JR, A. ; CASANOVA, E. ; FERNANDES-SVARTMAN, F. ; FERREIRA, R. ; FERNANDES JR, R. ; GOLDMAN, A. ; GRIS, L. R. ; LEYTON, P. ; LEVIN, A. S. ; MARTINS, M. ; QUEIROZ, M. G. ; QUIRINO, J. H. ; MEDEIROS, B. R. ; SABINO, E. C. ; SILVA, D. . Detecting Respiratory Insufficiency by Voice Analysis: The SPIRA Project. In: Emma Otta; Patrícia Ferreira Monticelli. (Org.). Acoustic communication: an interdisciplinary approach. 1ed.São Paulo: Instituto de Psicologia. Universidade de São Paulo, 2021, v. , p. 164-.
Finger, Marcelo . Logic in Times of Big Data. In: J. Acacio de Barros and Décio Kraus. (Org.). A True Polymath -- A Tribute to Francisco Antonio Doria. 1ed.Rickmansworth: College Publications, 2020, v. , p. 184-198.
de Souza, Jackson José ; Finger, Marcelo . Robust Ranking of Brazilian Supreme Court Decisions. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 581-594.
Finger, Marcelo . Extending ++ with Linear Constraints on the Probability of Axioms. In: Lutz C., Sattler U., Tinelli C., Turhan AY., Wolter F.. (Org.). Description Logic, Theory Combination, and All That. Lecture Notes in Computer Science, vol 11560.. 1ed.: Springer, 2019, v. 11560, p. 286-300.
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.
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.
Finger, Marcelo . Quantitative Logic Reasoning. Trends in Logic. 1ed.: Springer International Publishing, 2018, v. , p. 241-271.
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.
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.
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.
FINGER, M. ; REYNOLDS, M. ; GABBAY, D. . Advanced Tense Logic. In: Dov Gabbay. (Org.). Handbook of Philosophical Logic. : , 2001, v. , p. -.
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.
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.
Finger, Marcelo . Não Vai Set Tão Fácil. Exame CEO (Inteligência Artificial), São Paulo, p. 16 - 19, 01 maio 2018.
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.
GAUY, MARCELO MATHEUS ; CAMARGO NETO, A. C. ; Finger, Marcelo . Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. In: 21st International Conference on Artificial Intelligence in Medicine, 2023, Portoroz, Slovenia. Lecture Notes in Computer Science, 2023. v. 13897. p. 271-275.
Finger, Marcelo ; SOUSA, M. C. P. ; STURZENEKER, M. ; CRESPO, M. C. ; ROCHA, M. L. ; MONTE, V. M. ; NAMIUTI, C. . Carolina?s Methodology: building a large corpus with provenance and typology information. In: Second Workshop on Digital Humanities and Natural Language Processing, 2022, Fortaleza. CEUR Workshop Proceedings -- Workshop on Digital Humanities and Natural Language Processing, 2022. v. 3128. p. 53-58.
Finger, Marcelo ; GAUY, M. M. . Pretrained audio neural networks for Speech emotion recognition in Portuguese. In: Speech Emotion Recognition in Portuguese, 2022, Fortaleza. Speech Emotion Recognition in Portuguese, 2022.
ALUISIO, S. M. ; CAMARGO NETO, A. C. ; CASANOVA, E. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo ; GOLDMAN, A. ; LEYTON, P. ; LEVIN, A. S. ; GAUY, M. M. ; MARTINS, M. ; QUEIROZ, M. G. ; MEDEIROS, B. R. ; SABINO, E. C. ; CANDIDO JR, A. ; FERNANDES JR, R. ; GRIS, L. R. ; SILVA, D. ; SPAZZAPAN, E. A. ; BERTI, L. C. ; QUIRINO, J. H. . Detecting Respiratory Insufficiency Via Voice Analysis: The Spira Project. In: Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations, 2022. Proceedings of the tenth International Conference on Learning Representations (ICLR 2022), 2022. v. 1.
LIRA, T. ; Finger, Marcelo . Bayesian Neural Models for Time-Series Prediction of CS28 Compressive Strength in Cement Manufacturing. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 2022, Campinas. ANAIS DO ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC). Porto Alegre: Sociedade Brasileira de Computação, 2022. p. 660-669.
IOSTE, A. ; Finger, Marcelo . Establishing the Parameters of a Decentralized Neural Machine Learning Model. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 2022, Campinas. ANAIS DO ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC). Porto Alegre: Sociedade Brasileira de Computação, 2022. p. 401-412.
CAMARGO, AUGUSTO ; CARVALHO, WESLEY ; PERESSIM, FELIPE ; BARZILAY, ALAN ; Finger, Marcelo . Text-to-hashtag Generation using Seq2Seq Learning. In: Brazilian eScience Workshop, 2021, Brasil. Anais do XV Brazilian e-Science Workshop (BRESCI 2021), 2021. p. 121.
CASANOVA, EDRESSON ; CANDIDO JR., ARNALDO ; FERNANDES JR., RICARDO CORSO ; Finger, Marcelo ; GRIS, LUCAS RAFAEL STEFANEL ; PONTI, MOACIR ANTONELLI ; PINTO DA SILVA, DANIEL PEIXOTO . Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. In: Interspeech 2021, 2021. Interspeech 2021. ISCA: ISCA, 2021. p. 446.
CASANOVA, EDRESSON ; GRIS, LUCAS ; CAMARGO, AUGUSTO ; DA SILVA, DANIEL ; GAZZOLA, MURILO ; SABINO, ESTER ; LEVIN, ANNA ; CANDIDO JR, ARNALDO ; ALUISIO, SANDRA ; Finger, Marcelo . Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech. In: Findings of the Association for Computational Linguistics: ACLIJCNLP 2021, 2021, Online. Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021. Stroudsburg: Association for Computational Linguistics, 2021. p. 625.
GAUY, MARCELO MATHEUS ; Finger, Marcelo . Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. In: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, 2021, Brasil. Anais do XIII Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2021), 2021. p. 143.
SERRAS, FELIPE R. ; Finger, Marcelo . verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. In: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, 2021, Brasil. Anais do XIII Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2021), 2021. p. 237.
BERTI, L. C. ; SPAZZAPAN, E. A. ; LEYTON, P. ; QUEIROZ, M. G. ; FERNANDES-SVARTMAN, F. ; MEDEIROS, B. R. ; MARTINS, M. ; FERREIRA, L. S. ; SILVA, I. G. G. ; Finger, Marcelo . Mudanças nos parâmetros acústicos da voz em brasileiros com COVID-19. In: XXIX CONGRESSO BRASILEIRO E XI CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA, 2021. XXIX CONGRESSO BRASILEIRO E XI CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA, 2021.
Preto, Sandro ; Finger, Marcelo . An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. In: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2020, Salvador, BA (remoto). 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2020.
Finger, Marcelo . Detecting Respiratory Insufficiency by Voice Analysis. In: Acoustic Communication: An Interdisciplinary Approach, 2020, Sao Paulo. Acoustic Communication: An Interdisciplinary Approach, 2020.
SOUZA, J. J. ; Finger, Marcelo . Robust Ranking of Brazilian Supreme Court Decisions. In: BRACIS 2020 -- Brazilian Conference on Intelligent Systems, 2020. BRACIS 2020 -- Brazilian Conference on Intelligent Systems, 2020. p. 581-594.
SALVATORE, F. ; PRETO, S. ; Finger, Marcelo ; HIRATA JR, R. . Using neural models to perform inference. In: Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19, 2019, Macau. Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19, 2019.
SALVATORE, FELIPE ; Finger, Marcelo ; HIRATA JR, ROBERTO . A logical-based corpus for cross-lingual evaluation. In: Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019), 2019, Hong Kong. Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Stroudsburg: Association for Computational Linguistics, 2019. p. 22.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
FINGER, M. ; Fajardo . Non-Normal Modalisation. In: Advances in Modal Logic, 2002, Toulouse. Advances in Modal Logic, 2002. p. 316-325.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
FINGER, M. ; MCBRIEN, P. ; OWENS, R. . Databases And Executable Temporal Logic. In: Annual Esprit Conference, 1991, Londres. Annual Esprit Conference, 1991. p. 288-302.
BERTI, L. C. ; MARTINS, M. ; FERNANDES-SVARTMAN, F. ; QUEIROZ, M. G. ; MEDEIROS, B. R. ; FERREIRA, L. S. ; SILVA, I. G. G. ; LEYTON, P. ; SPAZZAPAN, E. A. ; Finger, M . A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19. In: XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021, On line. XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021.
BERTI, L. C. ; SPAZZAPAN, E. A. ; LEYTON, P. ; QUEIROZ, M. G. ; FERNANDES-SVARTMAN, F. ; MEDEIROS, B. R. ; MARTINS, M. ; FERREIRA, L. S. ; SILVA, I. G. G. ; Finger, M . MUDANÇAS NOS PARÂMETROS ACÚSTICOS DA VOZ EM BRASILEIROS COM COVID-19. In: XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021, Online. XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021.
PRETO, S. ; Finger, Marcelo . Representing Rational McNaughton Functions via MODSAT Relativisation. In: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, 2019. p. 1-5.
Finger, Marcelo . Sparse Models: a tractable fragment for SAT, MAXSAT and PSAT. In: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, 2019. p. 1-5.
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.
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.
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.
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.
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.
Finger, Marcelo . A System for Precocious Detection of Respiratory Insufficiency via Audio. In: First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020, Cambridge. UK. First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020.
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.
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.
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.
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.
CARNIELLI, W. ; FINGER, M. . Minimal axiomatizations and algebraic rings: a conjectured relationship. In: Encontro Brasileiro de Lógica, 2008, Parati. CLE30-EBL-SLALM, 2008.
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.
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.
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.
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.
Finger, Marcelo . Artificial intelligence symposium: where do we stand in the substitution of physicians by machines. 2019. (Apresentação de Trabalho/Conferência ou palestra).
Finger, Marcelo ; De Bona, Glauber . A Defeated Conjecture on Probabilistic Satisfiability. 2010. (Apresentação de Trabalho/Conferência ou palestra).
GAUY, M. M. ; Finger, Marcelo . Pretrained audio neural networks for Speech emotion recognition in Portuguese. arXiv, 2022 (Relatório Técnico).
GAUY, M. M. ; Finger, Marcelo . Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. arXiv, 2022 (Relatório Técnico).
IOSTE, A. R. ; DURHAM, A. M. ; Finger, Marcelo . Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. arXiv, 2022 (Relatório Técnico).
SERRAS, F. ; Finger, Marcelo . verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. arXiv, 2022 (Relatório Técnico).
PRETO, S. ; FERME, E. ; Finger, Marcelo . Coherence of probabilistic constraints on Nash equilibria. arXiv, 2022 (Relatório Técnico).
SILVA, D. ; CASANOVA, E. ; GRIS, LUCAS RAFAEL STEFANEL ; CANDIDO JR., ARNALDO ; Finger, Marcelo ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, B. R. ; MARTINS, M. ; ALUISIO, SANDRA ; BERTI, LARISSA CRISTINA . Interpretability Analysis of Deep Models for COVID-19 Detection. arXiv, 2022 (Relatório Técnico).
CAMARGO NETO, A. C. ; CARVALHO, W. S. ; PERESSIM, F. ; Finger, Marcelo . Text-to-hashtag Generation using Seq2seq Learning. arXiv, 2021 (Relatório Técnico).
Finger, Marcelo . Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv, 2019 (Relatório Técnico).
LUZ, F. F. ; Finger, Marcelo . Semantic Parsing Natural Language into {SPARQL:} Improving Target Language Representation with Neural Attention. Computing Research Repository -- ArXiv, 2018 (Relatório Técnico).
LUZ, F. F. ; Finger, Marcelo . Semantic Parsing: Syntactic assurance to target sentence using {LSTM} Encoder CFG-Decoder. Computing Research Repository -- ArXiv, 2018 (Relatório Técnico).
Finger, Marcelo ; FERNANDEZ, M. . Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA), 2014. (Prefácio, Pósfacio/Prefácio)>.
FINGER, M. ; NASSU, E. A. . O significado de "aqui'' em sistemas transacionais móveis 2001 (Relatório Técnico).
FINGER, M. ; CEZAR, F. A. M. C. . Banco de dados obsolescentes e uma proposta de implementação 2001 (Relatório Técnico).

Outras produções

Finger, Marcelo . LIPSAT: Probabilistic Satisfiability over Lukasiewicz Infinitely valued Logic. 2018.

CQU-SAT: a SAT-solver for Counting Quantifiers over Unary Predicates. 2017.

De Bona, Glauber ; Finger, Marcelo . PSAT resolvedor de Satisfatibilidade Probabilística. 2011.

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.

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

Finger, Marcelo . Como evitar a bolha dos algoritmos na internet?. 2019. (Programa de rádio ou TV/Entrevista).

Finger, Marcelo . Google lança nova ferramenta de busca para dados científicos. 2019. (Programa de rádio ou TV/Entrevista).

Finger, Marcelo . 'Robôs não têm um detector de coerência', diz pesquisador. 2019. (Programa de rádio ou TV/Entrevista).

Finger, Marcelo . Brasil precisa debater ética e direitos humanos em IA. 2019. (Programa de rádio ou TV/Entrevista).

Finger, Marcelo . Jornal Nacional -- Serie de reportagem sobre Intelugência Artificial. 2019.

Finger, Marcelo . Band News: Aqui tem vaga -- Inteligencia Artificial. 2019.

Finger, Marcelo . O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou TV/Entrevista).

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).

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

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

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

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

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

Finger, Marcelo ; SOUSA, M. C. P. ; NAMIUTI, C. ; MONTE, V. M. . Corpus Carolina v1.0 Ada. 2022. (Corpus).

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

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

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

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).

Projetos de pesquisa

2020 - Atual

Projeto SPIRA: Sistema de detecção Precoce de Insuficiência Respiratória por meio de análise de Áudio, Descrição: O objetivo deste estudo é desenvolver uma ferramenta que possa detectar precocemente as pessoas com insuficiência respiratória devido a COVID-19 usando dados de fala. Para tanto iremos coletar registros em áudio de pessoas infectadas bem como de pessoas normais, a fim de explorar diferenças associadas à saturação de O$_2$ e à frequência respiratória que permitam distinguir os dois grupos. A ferramenta de classificação automática proposta será baseada em técnicas de inteligência artificial, processamento de sinais e aprendizado de máquina, e servirá inicialmente para facilitar a triagem de pacientes que precisam procurar auxílio médico-hospitalar. Numa segunda etapa, a ferramenta poderá ajudar sistemas de telemedicina a monitorar pacientes de forma contínua, permitindo o acompanhamento da evolução de pacientes internados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (4) . , Integrantes: Marcelo Finger - Coordenador / Alfredo Goldman - Integrante / Sandra Maria Aluísio - Integrante / Marcelo Gomes de Queiroz - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2020 - Atual

Corpus Carolina - Laboratório Virtual de Humanidades Digitais (LaViHD), Centro de Inteligência Artificial (C4AI), Descrição: Projeto apoiado pela empresa IBM Research Brazil em 18/05/2022. Descrição: Tem como objetivo geral desenvolver sistemas que avancem o estado da arte do Processamento de Linguagem Natural para o português brasileiro, atingindo um novo patamar em qualidade de geração e desempenho em relação ao que existe hoje. Para isso, a primeira etapa da pesquisa prevê a construção de um corpus multigênero com um volume de textos robusto e inédito na língua portuguesa. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) .. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Marcelo Finger - Coordenador / Maria Clara Paixão de Sousa - Integrante / Vanessa Martins do Monte - Integrante / Cristiane Namiuti - Integrante., Financiador(es): Universidade de São Paulo - Bolsa.
2020 - Atual

C4AI -- Centro de Inteligência Artificial/Center for Artificial Intelligence, Projeto certificado pelo(a) coordenador(a) Fabio Gagliardi Cozman em 31/01/2021., Descrição: Centro de Engenharia IBM-Fapesp proc 2019/07665-4 (Pesquisador Principal e coordenador da área de processamento de linguagem natural). , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (20) . , Integrantes: Marcelo Finger - Integrante / Fabio Gagliardi Cozman - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2011 - 2011

Professor visitante na Universidade de Toulouse (IRIT), França, Descrição: DEZEMBRO DE 2011. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Marcelo Finger - Coordenador.
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.

Prêmios

2022

1st place in Speech Emotion Recognition in Portuguese, Propor2022 Shared Task in Speech Emotion Recognition in Portuguese.

2021

Stefan Steidl Computational Paralinguistics Award, COVID-19 Cough Sub-Challenge Prize, INTERSPEECH.

2021

Excelência em Fonoaudiologia 2021 pelo trabalho A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19, Excelência em Fonoaudiologia 2021 pelo trabalho A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM.

2017

Best Paper Award, 2nd Place, Eniac 2017, Brazilian Computer Society.

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.

Histórico profissional

Endereço profissional

Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. , Rua do Matão, 1010, Butantã, 05508090 - São Paulo, SP - Brasil, Telefone: (011) 30916135, URL da Homepage:

Experiência profissional

2012 - 2013

Cornell University

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

2011 - 2011

Université Toulouse III Paul Sabatier

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

2009 - 2012

Universidade de São Paulo

Vínculo: , Enquadramento Funcional:

1996 - 1999

School of Oriental and African Studies

Vínculo: Colaborador, Enquadramento Funcional: Consultor de projeto

Atividades

01/1996 - 06/1999
Pesquisa e desenvolvimento.,Linhas de pesquisa

1994 - 1995

Imperial College of Science, Technology and Medicine

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.,Linhas de pesquisa
04/1994 - 07/1995
Pesquisa e desenvolvimento, Imperial College of Science and Technology, University of London.,Linhas de pesquisa