Flavio Soares Correa da Silva

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


Possui graduação em Engenharia de Produção pela Universidade de São Paulo(1984), mestrado em Engenharia de Transportes pela Escola Politécnica da Universidade de São Paulo(1989) e doutorado em Artificial Intelligence pela University Of Edinburgh(1992). Atualmente é professor associado (MS-5) da Universidade de São Paulo, Membro de corpo editorial da Applied Intelligence (Boston) e Research Fellow (Honorary) da University of Aberdeen. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:inteligência artificial. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Flavio Soares Correa da Silva
Nome em citações bibliográficas
CORREA DA SILVA, F. S.;CORREA DA SILVA, FLÁVIO SOARES;CORRÊA DA SILVA, FLÁVIO SOARES;DA SILVA, FLAVIO;CORREA DA SILVA, FLAVIO S.;Flavio S. Correa da Silva;DA SILVA, FLÁVIO SOARES CORRÊA;SILVA, FLAVIO SOARES CORREA DA;DA SILVA, FLAVIO SOARES CORREA;CORRÊA DA SILVA, FLÁVIO SOARES;DA SILVA, FLAVIO S. CORREA;da Silva, Flávio S. Correa

Endereço


Endereço Profissional
Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Rua do Matão, 1010
Butantã
05508-090 - Sao Paulo, SP - Brasil
Telefone: (11) 30916135
Fax: (11) 30916134
URL da Homepage: http://www.ime.usp.br/~fcs


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


1989 - 1992
Doutorado em Artificial Intelligence.
University Of Edinburgh, UED, Grã-Bretanha.
Título: Automated Reasoning With Uncertainties, Ano de obtenção: 1992.
Orientador: David Stuart Robertson e Jane Hesketh.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Dedução Automatizada; inteligência artificial.
Grande área: Ciências Exatas e da Terra
1985 - 1989
Mestrado em Engenharia de Transportes.
Escola Politécnica da Universidade de São Paulo, POLI/USP, Brasil.
Título: Ocupação volumétrica de contêineres,Ano de Obtenção: 1989.
Orientador: Antônio Galvão Novaes.
Palavras-chave: planejamento de transportes.
Grande área: Engenharias
1980 - 1984
Graduação em Engenharia de Produção.
Universidade de São Paulo, USP, Brasil.


Livre-docência


1999
Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Inteligência Artificial Simbólica - Fundamentos e Aplicações, Ano de obtenção: 1999.
Palavras-chave: inteligência artificial.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2009 - 2009
Introdução a Formulação de Estratégias de eGOV. (Carga horária: 100h).
Organizacao dos Estados Americanos, OEA, Estados Unidos.


Atuação Profissional



Empresa Brasileira de Aeronáutica, EMBRAER, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Outro, Enquadramento Funcional: , Carga horária: 0
Outras informações
Curso "Ontologias Artificiais", para o grupo de Engenharia Baseada em Conhecimento

Atividades

10/2003 - 11/2003
Treinamentos ministrados , Engenharia Baseada Em Conhecimento, Engenharia Baseada Em Conhecimento.

Treinamentos ministrados
Ontologias artificiais

Universidade Estadual do Ceará, UECE, Brasil.
Vínculo institucional

1997 - 1997
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

1997 - 1997
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Aprendizagem Computacional

Universidad de Buenos Aires, UBA, Argentina.
Vínculo institucional

1993 - 1993
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

1993 - 1993
Extensão universitária , Universidad de Buenos Aires, .

Atividade de extensão realizada
Curso: Raciocínio Automatizado com Incertezas.

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

1999 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professor associado (MS-5), Regime: Dedicação exclusiva.

Vínculo institucional

1992 - 1999
Vínculo: servidor precário, Enquadramento Funcional: professor doutor MS3, Regime: Dedicação exclusiva.

Atividades

11/2004 - Atual
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Cargo ou função
Membro da Comissão de Preparação de Exames de Lingua Estrangeira.
1/2002 - Atual
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Cargo ou função
Membro da Comissão de Horários.
1/2002 - Atual
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Cargo ou função
Membro da Comissão de Cursos Quadrimestrais.
2001 - Atual
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Membro do Conselho Departamental.
2000 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

1999 - Atual
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Assessor da CAPES para avaliação de projetos.
1995 - Atual
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Cargo ou função
membro do corpo editorial - Applied Intelligence (Kluwer Academic Publishers).
7/1994 - Atual
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Consultor do Conselho Estadual de Educação para autorização de funcionamento de cursos.
1994 - Atual
Pesquisa e desenvolvimento , Lógica e Teoria da Ciência, Lógica e Teoria da Ciência.

Linhas de pesquisa
Lógica Aplicada
1994 - Atual
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Assessor da FAPESP para avaliação de projetos.
1993 - Atual
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Assessor do CNPq para avaliação de projetos.
01/2011 - 04/2011
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial
08/2010 - 12/2010
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Inteligência Artificial
03/2010 - 07/2010
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução à Computação (duas turmas e coordenação de disciplina)
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos formais em programação
08/2009 - 12/2009
Ensino, Ciencia da Computacao, Nível: Pós-Graduação

Disciplinas ministradas
Metodologia de pesquisa em inteligência artificial
03/2009 - 07/2009
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
Introdução à Computação (duas turmas)
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de software
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de software
Fundamentos metodológicos para a Inteligência Artificial
02/2008 - 06/2008
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
MAC0113 - Introdução à Computação (duas turmas)
08/2007 - 12/2007
Ensino, Ciencia da Computacao, Nível: Pós-Graduação

Disciplinas ministradas
MAC 5764 - Tópicos de Engenharia de Software
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
MAC 0332 - Engenharia de Software
03/2007 - 07/2007
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Laboratório de Inteligência Artificial
02/2007 - 06/2007
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
Introdução à Computação para Ciências Humanas (duas turmas)
8/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais em Programação
8/2006 - 12/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos de Inteligência Artificial
2/2006 - 6/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
2003 - 2006
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Linhas de pesquisa
Acústica Musical (ACMUS)
8/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
8/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Inteligência Artificial para Jogos de Computador
Tópicos de Engenharia de Software
1/2003 - 12/2005
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

8/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de software
Inteligência artificial
8/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos de engenharia de software
Técnicas de programação declarativa
Tópicos de inteligência artificial
1/2004 - 6/2004
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a computação
1/2004 - 6/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Laboratório de inteligência artificial
1999 - 2004
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

Cargo ou função
vice presidente - International Society for Applied Intelligence.
2003 - 2003
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas)
2003 - 2003
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Laboratório de Inteligência Artificial
Técnicas de Programação Declarativa
1/2002 - 12/2002
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, .

Cargo ou função
Membro da Comissão de Preparação de Exames de Língua Estrangeira.
1/1993 - 5/2002
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Membro da Comissão de Biblioteca.
2002 - 2002
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas)
2002 - 2002
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
2002 - 2002
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Laboratório de Inteligência Artificial
1999 - 2002
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

2001 - 2001
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Técnicas de Programação Declarativa
2001 - 2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais em Programação
2001 - 2001
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
2000 - 2000
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas)
2000 - 2000
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais em Programação
2000 - 2000
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
1999 - 2000
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

1999 - 2000
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

1999 - 2000
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Membro do Conselho Departamental.
1998 - 2000
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

1997 - 2000
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Presidente da Comissão de Biblioteca.
1999 - 1999
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas - COORDENADOR DE EQUIPE)
1999 - 1999
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
1999 - 1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos em Sistemas de Computação
1994 - 1999
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Presidente da Comissão de Iniciação Científica.
1993 - 1999
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Membro da Comissão de Iniciação Científica.
1998 - 1998
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas)
1998 - 1998
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Noções do Ensino de Matemática Usando o Computador
1998 - 1998
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
Técnicas de Programação Declarativa
Aprendizagem Computacional:Modelos, Algoritmos e Aplicações
1997 - 1997
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
1997 - 1997
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Inteligência Artificial
1997 - 1997
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
1994 - 1997
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

1996 - 1996
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação (duas turmas)
1996 - 1996
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
Aprendizagem Computacional: Modelos, Algoritmos e Aplicações
1995 - 1995
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
Técnicas de Programação Declarativa
1995 - 1995
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
1995 - 1995
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Inteligência Artificial
5/1994 - 5/1994
Conselhos, Comissões e Consultoria, Universidade de São Paulo, .

Cargo ou função
Consultor do MEC para autorização de funcionamento de curso.
1994 - 1994
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Inteligência Artificial
1994 - 1994
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
1994 - 1994
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Noções Práticas de Computação
1993 - 1993
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Computação para Ciências Exatas
1993 - 1993
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Programação em Lógica
Técnicas de Programação Declarativa
1993 - 1993
Ensino, Física, Nível: Graduação

Disciplinas ministradas
Introdução a Inteligência Artificial
Noções de Computação II
1992 - 1992
Ensino, Física, Nível: Graduação

Disciplinas ministradas
Introdução a Computação para Ciências Exatas

University of Edinburgh, EDINBURGH, Escócia.
Vínculo institucional

1991 - 1992
Vínculo: Outro, Enquadramento Funcional: , Carga horária: 8

Atividades

1991 - 1992
Ensino, Artificial Intelligence, Nível: Graduação

Disciplinas ministradas
Artificial Intelligence I (tutor)
1991 - 1992
Ensino, Artificial Intelligence, Nível: Pós-Graduação

Disciplinas ministradas
Knowledge Representation and Inference II (tutor)
Expert Systems (tutor)

Hindi Sa, HINDI, Brasil.
Vínculo institucional

1988 - 1989
Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 0

Atividades

1/1988 - 9/1989
Serviços técnicos especializados , Hindi Sa, .

Serviço realizado
Desenvolvimento e Manutenção de Sistemas Computacionais.

Consultoria Em Sistemas Computacionais Ltda, CSC, Brasil.
Vínculo institucional

1987 - 1987
Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 0

Atividades

8/1987 - 12/1987
Serviços técnicos especializados , Consultoria Em Sistemas Computacionais Ltda, .

Serviço realizado
Desenvolvimento e Manutenção de Sistemas Computacionais.

Pro Grama Serviços de Computação Ltda, PRO-GRAMA, Brasil.
Vínculo institucional

1986 - 1987
Vínculo: Outro, Enquadramento Funcional: Sócio Diretor, Carga horária: 0

Atividades

8/1986 - 7/1987
Direção e administração, Pro Grama Serviços de Computação Ltda, .

Cargo ou função
Sócio Diretor.
8/1986 - 7/1987
Serviços técnicos especializados , Pro Grama Serviços de Computação Ltda, .

Serviço realizado
Desenvolvimento de Sistemas Computacionais.

Instituto de Pesquisas Tecnológicas do Estado de São Paulo, IPT, Brasil.
Vínculo institucional

1986 - 1987
Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 8

Vínculo institucional

1985 - 1986
Vínculo: Celetista, Enquadramento Funcional: engenheiro, Carga horária: 0

Atividades

8/1986 - 7/1987
Outras atividades técnico-científicas , Instituto de Pesquisas Tecnológicas do Estado de São Paulo, Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Atividade realizada
Consultor - Inteligência Artificial.
1/1985 - 7/1986
Pesquisa e desenvolvimento , Instituto de Pesquisas Tecnológicas do Estado de São Paulo, .

1/1985 - 7/1986
Serviços técnicos especializados , Instituto de Pesquisas Tecnológicas do Estado de São Paulo, .

Serviço realizado
Desenvolvimento e Manutenção de Modelos Computacionais.

University of Aberdeen, ABDN, Escócia.
Vínculo institucional

2016 - Atual
Vínculo: Honorary Research Fellow, Enquadramento Funcional: Research Fellow (Honorary)


Università degli Studi di Milano-Bicocca, UNIMIB, Itália.
Vínculo institucional

2018 - 2018
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.

Vínculo institucional

2017 - 2017
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.


Escola Politécnica da USP, POLI, Brasil.
Vínculo institucional

2012 - 2017
Vínculo: Professor Visitante, Enquadramento Funcional: docente em curso de aperfeiçoamento, Carga horária: 3
Outras informações
Docente em disciplina de aperfeiçoamento voltada a profissionais (MBA). Minhas atividades foram relacionadas ao ensino em uma disciplina, com duração total de 15 horas, apresentada para as turmas de MBA em sustentabilidade e TI anualmente.



Linhas de pesquisa


1.
Projeto VERASS - Aprendizagem Computacional

Objetivo: Aplicação de métodos formais de aprendizagem computacional para resolver problemas práticos de relevância para a indústria. O projeto VERASS foi co-financiado pela USP e pela Olivetti do Brasil..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: aprendizado de máquina.
2.
Cooperação Entre Sistemas Baseados em Conhecimento - CAPES/British Council

Objetivo: Desenvolvimento e implementação de modelos e sistemas para cooperação automática entre sistemas inteligentes. Projeto co-financiado pela CAPES e pelo Conselho Britânico, com participação de pesquisadores da USP, da UECE, da Universidade de Edinburgh (Escócia) e do IIIA (Universidade Autônoma de Barcelona - Espanha). PROJETO COORDENADO PELO DR. FLÁVIO SOARES CORRÊA DA SILVA.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: inteligência artificial; sistemas baseados em conhecimento; resolução distribuída de problemas.
3.
Sistemas de Informação Distribuída - SIDAM

Objetivo: Desenvolvimento de infra-estrutura para sistemas de informação distribuída e agentes móveis. O projeto SIDAM foi desenvolvido como projeto temático financiado pela FAPESP..
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: Sistemas de Informação.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: computação móvel; computação distribuída.
4.
Ensino Multimídia e à Distância - PROIN

Objetivo: Estudo e desenvolvimento de sistemas multimídia para apoio ao ensino de ciência da computação. O projeto PROIN foi co-financiado pela USP e pela CAPES..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Formação Permanente e Outras Atividades de Ensino, Inclusive Educação À Distância e Educação Especial.
Palavras-chave: ensino à distância; metodologia do ensino.
5.
Especificações Executáveis

Objetivo: Desenvolvimento de especificações executáveis usando inglês controlado. O projeto ENLEHS foi financiado pela Universidade de Zurique..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: inteligência artificial; processamento de linguagem natural; engenharia de software.
6.
Gestão e Engenharia do Conhecimento

Objetivo: Estudo da gestão de conhecimento e da engenharia de conhecimento, identificando a inter-relação entre as duas. Proposta de métodos e sistemas computacionais para apoio a essas atividades..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Gestão Empresarial.
Setores de atividade: Desenvolvimento de Programas (Software); Qualidade e Produtividade.
Palavras-chave: inteligência artificial; administração de empresas; engenharia de software.
7.
Lógica Aplicada

Objetivo: Lógica aplicada a inteligência artificial, engenharia e métodos formais em ciência da computação..
8.
Acústica Musical (ACMUS)

Objetivo: Estudo de ferramentas e técnicas computacionais para mensuração, simulação e otimização de acústica de ambientes musicais. Projeto Temático FAPESP multidisciplinar, com pesquisadores de Ciência da Computação e de Música..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Música Computacional; engenharia de software.
9.
REDES DE COOPERACION ENTRE AGENTES INTELIGENTES RC-CAI

Objetivo: Estudo e desenvolvimento de redes de capacidades para a cooperação entre agentes inteligentes artificiais. Projeto de cooperação internacional financiado pela CAPES e pelo Ministério da Educação, Cultura e Desportes da Espanha. PROJETO COORDENADO PELO PROF. DR. FLÁVIO SOARES CORRÊA DA SILVA.
Grande área: Ciências Exatas e da Terra
Palavras-chave: inteligência artificial; resolução distribuída de problemas; sistemas baseados em conhecimento.
10.
Modelos para Planejamento de Transportes

Objetivo: Modelos para apoio ao planejamento regional de transportes..
Grande área: Engenharias
Setores de atividade: Política Econômica e Administração Pública em Geral.
Palavras-chave: planejamento de transportes.


Projetos de pesquisa


2018 - Atual
Data at the heart of improving health and care: the Brazil-UK secure data sharing network
Descrição: Research project funded under the British Academy of Medical Sciences Gobal Challenges Research Fund Netowrking Grant Scheme.
Situação: Em andamento; Natureza: Pesquisa.
2016 - 2018
Fenômenos em meso-escala: multidões, manadas e congestionamentos de tráfego
Situação: Concluído; Natureza: Pesquisa.
2015 - 2016
Colaboração acadêmica - Loughborough University (UK) - Newton Fund/FAPESP
Situação: Concluído; Natureza: Pesquisa.
2014 - 2016
A platform for the management of a distributed cluster for innovative gaming and animation companies
Descrição: Projeto de pesquisas - cooperação internacional - co-financiado por FAPESP e Edinburgh University..
Situação: Concluído; Natureza: Pesquisa.
2013 - 2015
Ciência experimental de interações
Descrição: Projeto de pesquisas - auxílio regular - com apoio financeiro da FAPESP..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2013
MOBILE - processos musicais interativos
Descrição: projeto temático multidisciplinar - FAPESP.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2011
Laboratório de Interoperabilidade
Descrição: laboratório de pesquisas.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2010
TimeSaver
Descrição: Automação de serviços públicos e e-Gov, oferecidos pela web com interface baseada em mundos virtuais e agentes autônomos inteligentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Rosa Alarcon - Integrante.Financiador(es): Latin American and Caribbean ICT Research - Auxílio financeiro.
2008 - 2011
JamSession - a decentralized architecture for virtual worlds and the web 3.0
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) .
Integrantes: Flavio Soares Correa da Silva - Coordenador.Financiador(es): Microsoft Research - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2008 - 2010
Projeto Borboleta - Computação Móvel para Atendimento Domiciliar de Saúde
Situação: Concluído; Natureza: Pesquisa.
2005 - 2010
LCGT - Laboratory for Computer Games Technology
Descrição: Projeto financiado pela Microsoft Research. Tem por objetivo montar laboratório de pesquisas em jogos de computador, visando desenvolver a tecnologia específica para o desenvolvimento de jogos, desenvolver jogos para fins específicos e construir um currículo de ensino especializado em jogos de computador..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador.Financiador(es): Microsoft Corporation - Auxílio financeiro.
2005 - 2010
ConsRel - Logical Consequence and Combinations of Logics
Descrição: Projeto de pesquisa multi-institucional (projeto temático FAPESP) envolvendo pesquisadores da USP e da UNICAMP. O tema se refere a lógica formal - fundamentos e aplicações..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Walter Carnielli - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 3
2005 - 2007
EIE - Espaços Inteligentes para Engenharia
Descrição: Espaços inteligentes para engenharia - aplicação de técnicas de inteligência artificial para a construção de espaços interativos de suporte a atividades de engenharia, em especial engenharia de manutenção de grandes estruturas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Crhistian Alberto Noriega Guerra - Integrante / Gustavo Henrique Salazar Torres - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2003 - 2006
ACMUS
Descrição: ACMUS - Acústica Musical: projeto temático FAPESP, multidepartamental que congrega pesquisadores e estudantes de pós graduação dos departamentos de Ciência da Computação e de Música da USP. O objetivo é construir ferramentas de software e hardware para diagnóstico e sugestões de ações corretivas sobre a qualidade acústica de ambientes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Integrante / Fernando Iazzetta - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 2
2003 - 2005
BIBO - Busca Inteligente Baseada em Ontologias
Descrição: Busca Inteligente Baseada em Ontologias - projeto que trata da organização de informação com base em ontologias para busca na web semântica.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador / Leliane Nunes de Barros - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2003 - 2005
CCC-AHIA
Descrição: CCC-AHIA - Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos. Projeto regular financiado pela FAPESP..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Renata Wasserman - Integrante / Leliane Nunes de Barros - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2003 - 2004
RC-CAI
Descrição: RC-CAI - Redes de Capacidades para Cooperação entre Agentes Inteligentes. Projeto internacional e multiinstitucional, congregando pesquisadores da USP, da Universidade Autônoma de Barcelona e do Instituto de Pesquisas em Inteligência Artificial da Espanha..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante / Carles Sierra - Integrante.Financiador(es): Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2003 - 2004
ECLIPSE IDE para CIAO PROLOG
Descrição: Construção de IDE para desenvolvimento de projetos em CIAO Prolog, usando a plataforma ECLIPSE..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2000 - 2004
Convênio Acadêmico USP/IIIA (Espanha)
Descrição: Convênio acadêmico amplo entre o depto. de ciência da computação da USP (SP) e o IIIA/Espanha.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro.
Número de produções C, T & A: 9 / Número de orientações: 4
1998 - 2001
SIDAM
Descrição: SIDAM - Sistema de Informações Distribuídas para Agentes Móveis. Projeto temático FAPESP..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Integrante / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Siang Wun Song - Coordenador / Alan Mitchel Durham - Integrante / Alfredo Goldman Vel Lejbman - Integrante / Dilma Menezes da Silva - Integrante / Francisco Carlos da Rocha Reverbel - Integrante / Hernan Astudillo - Integrante / João Eduardo Ferreia - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante / Markus Endler - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1
1998 - 2000
DECAFF-KB
Descrição: Projeto de pesquisas internacional e multi-institucional, co-financiado pela CAPES e pelo Conselho Britânico. O objetivo do projeto foi o estudo de técnicas e métodos computacionais e formais para a cooperação entre sistemas baseados em conhecimento construídos com base em formalismos heterogêneos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / David Stuart Robertson - Integrante / Ana Cristina Vieira de Melo - Integrante / Jaume Agusti Cullell - Integrante / Wamberto Vasconcelos - Integrante.Financiador(es): Conselho Britanico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 8 / Número de orientações: 2
1994 - 1996
VERASS
Descrição: VERASS - Verificação de Assinaturas. Projeto financiado pela Olivetti do Brasil, com o objetivo de construir um sistema capaz de reconhecer e verificar assinaturas em documentos..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Junior Barrera - Integrante / Routo Terada - Coordenador.Financiador(es): Olivetti do Brasil - Auxílio financeiro.
Número de produções C, T & A: 4 / Número de orientações: 2


Projetos de desenvolvimento


1999 - 2000
MAC MULTI
Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3


Membro de corpo editorial


2016 - Atual
Periódico: Applied Intelligence (Boston)
1999 - 2016
Periódico: Applied Intelligence (Boston)


Revisor de periódico


2007 - 2016
Periódico: Journal of Information Technology Research


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Computação Aplicada a Artes Ciências Humanas e Entretenimento.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filosofia da Tecnologia.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.


Idiomas


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


Prêmios e títulos


2018
AIxIA membro regular, AixIA - Associazione Italiana per l'Intelligenza Artificiale.
2018
Literati Award 2018 - co-author of "Transparency and open government data", Emerald Publishing co.
2015
Academic Advisor (reconhecimento acadêmico), Foundation For Social Innovation, USA.
2013
Best paper award, International Conference on Entertainment Computing.
2013
Best paper award (2nd place), SBGames Arte e Design.
2011
Concurso Latinoamericano de Dissertações de Mestrado (2o. Lugar), Centro Latinoamericano de Estudios en Informatica.
2011
Best paper award, International Conference on Entertainment Computing.
2009
ACM Senior Member, Association for Computing Machinery (USA).
2009
AISB Senior Member, AISB - British Society for Studies of Artificial Intelligence and Simulation of Behaviour.
2007
Prêmio Jabuti 2007 - Primeiro lugar (livro Lógica para Computação), Câmara Brasileira do Livro.
1997
Bolsa Individual - Pesquisa (2B), CNPq.
1993
Bolsa Individual - Pesquisa (2C), CNPq.
1989
Bolsa para Doutoramento no Exterior, CNPq.
1982
Bolsa de Iniciação Científica, FAPESP.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:14
Total de citações:52
Fator H:3
Correa da Silva, Flavio S  Data: 05/03/2018

Artigos completos publicados em periódicos

1.
KAWAMOTO, ANDRE LUIZ SATOSHI2018KAWAMOTO, ANDRE LUIZ SATOSHI ; DA SILVA, FLAVIO SOARES CORREA . Depth-Sensor Applications for the Elderly: A Viable Option to Promote a Better Quality of Life. IEEE Consumer Electronics Magazine, v. 7, p. 47-56, 2018.

2.
CORREA, ANDREIWID SHEFFER2017CORREA, ANDREIWID SHEFFER ; PAULA, E. C. ; CORREA, PEDRO L.P. ; CORREA DA SILVA, F. S. . Transparency and open government data: a wide national assessment of data openness in Brazilian local governments. Transforming Government (Print), v. 11, p. 1, 2017.

3.
DA CUNHA, ANDRÉ L.2017DA CUNHA, ANDRÉ L. ; AGUIAR, JAIR A.K. ; CORREA DA SILVA, FLAVIO S. ; MICHELACCI, YARA M. . Do chondroitin sulfates with different structures have different activities on chondrocytes and macrophages?. INTERNATIONAL JOURNAL OF BIOLOGICAL MACROMOLECULES, v. 103, p. 1019-1031, 2017.

4.
CORREA DA SILVA, F. S.2017CORREA DA SILVA, F. S.; CHUNG, PAUL W.H. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, DAVE ; VASCONCELOS, W. W. . Hazard prevention for mission plans for aerial vehicles based on soft institutions. Civil aircraft design and research, v. 30, p. 105-116, 2017.

5.
RODRIGUEZ, C. L.2017RODRIGUEZ, C. L. ; SATO, J. R ; ARAUJO, C. ; Fernández M. L. ; VITTORI, K. ; CORREA DA SILVA, F. S. ; PEREIRA, L. . Computação Afetiva e sua aplicação na educação: trabalhos relacionados e projeções futuras. Research and Innovation in Brazilian Education, v. I, p. 24, 2017.

6.
FERNÁNDEZ VENERO, MIRTHA LINA2016FERNÁNDEZ VENERO, MIRTHA LINA ; CORRÊA DA SILVA, FLÁVIO SOARES . Model checking multi-level and recursive nets. Software and Systems Modeling (Print), v. 1, p. 1-28, 2016.

7.
Vieira, Luiz Carlos2016Vieira, Luiz Carlos ; CORRÊA DA SILVA, FLÁVIO SOARES . Assessment of Fun in Interactive Systems: a Survey. Cognitive Systems Research, v. 42, p. 1, 2016.

8.
DA SILVA, FLAVIO2013DA SILVA, FLAVIO. Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information, v. 4, p. 31-32, 2013.

9.
Peanho, Claudio Antonio2012Peanho, Claudio Antonio ; Stagni, Henrique ; CORREA DA SILVA, F. S. . Semantic information extraction from images of complex documents. Applied Intelligence (Boston), v. 37, p. 1-15, 2012.

10.
CORRÊA DA SILVA, FLÁVIO SOARES2012CORRÊA DA SILVA, FLÁVIO SOARES; FERNÁNDEZ VENERO, MIRTHA LINA ; DAVID, DIEGO MIRA ; SALEEM, MOHAMMAD ; CHUNG, PAUL W.H. . Interaction protocols for cross-organisational workflows. Knowledge-Based Systems, v. 37, p. 1-16, 2012.

11.
ARAUJO, C. J. A.2012ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . A System for Governmental Virtual Institutions based on Ontologies and Interaction Protocols. International Journal of Distance Education Technologies, v. 10, p. 82-96, 2012.

12.
CORREA DA SILVA, F. S.2011CORREA DA SILVA, F. S.. Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems, v. 30, p. 1-24, 2011.

13.
CORREA DA SILVA, F. S.2010CORREA DA SILVA, F. S.. On the Ethics of Democratic Access to Web Information. Knowledge in Society (Cessou em 1991. Cont. ISSN 1053-8798 Knowledge and Policy), p. 97-107, 2010.

14.
TORRES, Gustavo Enrique Salazar2008TORRES, Gustavo Enrique Salazar ; COLOMBO, E ; CORREA DA SILVA, F. S. ; GUERRA, Crhistian Alberto Noriega ; BANDINI, S. . Design issues for knowledge artifacts. Knowledge-Based Systems, p. 856, 2008.

15.
CORREA DA SILVA, F. S.2007CORREA DA SILVA, F. S.; VASCONCELOS, W. W. . Managing Responsive Environments with Software Agents. Applied Artificial Intelligence, v. 21, p. 469-488, 2007.

16.
CORREA DA SILVA, F. S.2007CORREA DA SILVA, F. S.; PANIGASSI, R. ; HULOT, C. . Learning Management Systems Desiderata for Competitive Universities. EURODL (Oslo), v. 2007, p. 1, 2007.

17.
TREVISAN, Filipe Werndl2006TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Designing Logic-based Robots. Inteligencia Artificial, Espanha, v. 10, n.31, p. 11-22, 2006.

18.
CORREA DA SILVA, F. S.2005CORREA DA SILVA, F. S.. Towards a Logic of Perishable Propositions. Applied Intelligence (Boston), v. 23, n.2, p. 121-130, 2005.

19.
SILVA, Lourival Paulino da2005SILVA, Lourival Paulino da ; CORREA DA SILVA, F. S. . A Formal Model for the Fifth Discipline. JASSS. Journal of Artificial Societies and Social Simulation, v. 8, n.3, 2005.

20.
CORREA DA SILVA, F. S.2003 CORREA DA SILVA, F. S.; AGUSTI, J. . Issues on Knowledge Coordination. Knowledge and Process Management (Online), v. 10, n.1, p. 37-59, 2003.

21.
CORREA DA SILVA, F. S.2002 CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J. . On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems, v. 15, n.3, p. 147-167, 2002.

22.
CORREA DA SILVA, F. S.2001CORREA DA SILVA, F. S.; CARBOGIM, D. V. . Facts, Annotations, Arguments, and Reasoning. New Generation Computing, Japao, v. 19, n.1, p. 1-22, 2001.

23.
CARBOGIM, D. V.1998CARBOGIM, D. V. ; CORREA DA SILVA, F. S. . Annotated Logic Applications For Imperfect Information. Applied Intelligence, v. 9, p. 163-172, 1998.

24.
CORREA DA SILVA, F. S.1995 CORREA DA SILVA, F. S.. On Proof- And Model-Based Techniques For Reasoning With Uncertainty. International Journal of Intelligent Systems, v. 10, p. 561-570, 1995.

Livros publicados/organizados ou edições
1.
ANACLETO, J. C. (Org.) ; CLUA, E. (Org.) ; CORREA DA SILVA, FLAVIO S. (Org.) ; FELS, S. (Org.) ; YANG, H. S. (Org.) . 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. 1. ed. Alemanha: Springer, 2013. v. 1. 203p .

2.
CORREA DA SILVA, F. S.; FINGER, Marcelo . Introdução à computação para administradores. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 160p .

3.
FEIJO, B. ; CLUA, E. ; CORREA DA SILVA, F. S. . Introdução à ciência da computação com jogos - aprendendo a programar com entretenimento. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 263p .

4.
CORREA DA SILVA, F. S.; AGUSTI, J. . Information Flow and Knowledge Sharing. 1. ed. Elsevier, 2008. v. 1. 296p .

5.
CORREA DA SILVA, F. S.; FINGER, Marcelo ; MELO, Ana Cristina Vieira de . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 244p .

6.
CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de . Modelos Clássicos de Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 67p .

7.
SETZER, Valdemar Waingort ; CORREA DA SILVA, F. S. . Bancos de dados: aprenda o que são, melhore seu conhecimento, construa os seus. 1. ed. São Paulo: Edgard Blucher, 2005. v. 1. 380p .

8.
MELO, Ana Cristina Vieira de ; CORREA DA SILVA, F. S. . Princípios de Linguagens de Programação. 1. ed. São Paulo: Edgard Blucher, 2003. v. 1. 212p .

9.
CORREA DA SILVA, F. S.; AGUSTI, J. . Knowledge Coordination. 1. ed. Londres: John Wiley and Sons, 2003. v. 1. 176p .

Capítulos de livros publicados
1.
da Silva, Flávio S. Correa; Vieira, Luiz Carlos ; Bandini, Stefania . Engagement Mechanisms for Social Machines. In: A. de Gloria and R. Veltkamp. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 361-367.

2.
DA SILVA, FLAVIO S. CORREA; Robertson, David S. ; Vasconcelos, Wamberto W. . LS $$^2$$ C - A Platform for Norm Controlled Social Computers. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 284-297.

3.
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . A computer architecture for intelligent agentes with personality and emotions. In: Marielba Zacarias; Jose Valente de Oliveira. (Org.). Human-computer interaction: the agency perspective. 1ed.Berlin: Springer Studies in Computational Intelligence, 2012, v. 396, p. 263-286.

4.
CORREA DA SILVA, F. S.. Interação Estado/Academia para Inovação em Governo Eletrônico no Brasil. In: Cláudia do Socorro Ferreira Mesquita; Nazaré Lopes Bretas. (Org.). Panorama da Interoperabilidade no Brasil. Brasília: MP-SLTI, 2010, v. , p. 64-73.

5.
CORREA DA SILVA, F. S.; KON, F. . A Fuzzy Categorial Grammar For The Harmonisation Of Melodies. In: D Dubois; H Prade; R R Yager. (Org.). Fuzzy Set Methods in Information Engineering: A Guided Tour of Applications. : Wiley, 1997, v. , p. -.

6.
CORREA DA SILVA, F. S.. Probabilistic Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed.: , 1997, v. , p. -.

7.
CORREA DA SILVA, F. S.. Fuzzy Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed.: Springer-Verlag, 1997, v. , p. -.

8.
BARRERA, J. ; CORREA DA SILVA, F. S. . Automatic Programming Of Mmachs For Ocr. In: P Maragos; R W Schafer; M A Butt. (Org.). Mathematical Morphology and its Applications to Image and Signal Processing. : , 1996, v. , p. -.

9.
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning With Uncertainties. In: M Masuch; L Pawlos. (Org.). Knowledge Representation and Uncertainty. : Springer-Verlag, 1993, v. 808, p. -.

Textos em jornais de notícias/revistas
1.
ROZESTRATEN, A. S. ; BERTHOLDO, A. P. O. ; FARIA, J. H. K. ; CORREA DA SILVA, F. S. . Projeto Arquigrafia: Open Air Museum. Computação Brasil, Brasil, p. 42 - 45, 01 nov. 2017.

2.
UNGER, A. J. ; BARGUIL, J. M. M. ; CORREA DA SILVA, F. S. . Blockchain Technology: the Last Mile for Electronic Property Registry Systems. IPRA-CINDER: International Property Registries Association Review, Brasil, p. 32 - 35, 23 mar. 2017.

Trabalhos completos publicados em anais de congressos
1.
CONCEICAO, A. F. ; CORREA DA SILVA, F. S. ; ROCHA, V. ; LOCORO, A. ; BARGUIL, J. M. M. . Eletronic Health Records using Blockchain Technology. In: Anais do I Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain - SBRC 2018), 2018, Campos do Jordão (SP). Anais do I Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain - SBRC 2018), 2018. v. 1. p. 1.

2.
CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; FREDRECHESKI, G. ; ESQUIAGOLA, J. ; CORREA DA SILVA, F. S. . Agile servient integration with the Swarm: Automatic code generation for nodes in the Internet of Things. In: International Conference on Future Networks and Distributed Systems, 2017, Cambridge. Proceedings of International Conference on Future Networks and Distributed Systems, 2017. v. 1.

3.
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Assessment of Fun from the Analysis of Facial Expressions to Support Video Game Design. In: Artificial Intelligence and Simulation of Behaviour 2016, 2016, Sheffield. Proceedings of AISB 2016 - AI and Games Symposium, 2016.

4.
PEREIRA, A. B. C. ; PICONEZ, S. C. B. ; CORREA DA SILVA, F. S. . Mathematics Experiences: pedagogical implications with the use of digital games, m-learning and social networks. In: XI Conferencia latinoamericana de objetos y tecnologias de aprendizaje, 2016, San Carlos, Costa Rica. Proceedings LACLO 2016, 2016.

5.
CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; CORREA DA SILVA, F. S. . Device discovery strategies for the IoT. In: International Symposium on Consumer Electronics, 2016, Sao Paulo. Proceedings ISCE 2016, 2016.

6.
SULTANA, T. ; LOCORO, A. ; CORREA DA SILVA, F. S. . Time Accounting System: validating a socio-technical solution for service exchange in local communities. In: XIII Conference of the Italian Chapter of the AIS, 2016, Verona, Italy. Proceedings ITAIS 2016, 2016.

7.
PEREIRA, A. B. C. ; CORREA DA SILVA, F. S. ; PICONEZ, S. C. B. ; ZIMMER, J. M. . Jogos Digitais no desenvolvimento de conceitos matemáticos sob perspectiva BYOD e abordagem m-Learning na escola pública. In: Workshop de informática na escola - Congresso brasileiro de informática na educação, 2016, Uberlândia (MG). Anais - Workshop de Informática na Escola 2016, 2016. v. 1.

8.
CORREA DA SILVA, FLAVIO S.; ROBERTSON, DAVE ; VASCONCELOS, Wamberto . LS2C - A Platform to Design, Implement and Execute Social Computations. In: International Conference on Agents and Artificial Intelligence, 2015, Lisbon. Proceedings of the International Conference on Agents and Artificial Intelligence, 2015. v. 1. p. 196-203.

9.
CORREA DA SILVA, F. S.; VIEIRA, L. C. ; BANDINI, S. . Engagement mechanisms for social machines. In: Games and Learning Alliance Conference - Games for Health Workshop, 2015, Roma. Proceedings of Games and Learning Alliance Conference - Games for Health Workshop, 2015.

10.
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Assessment of fun in interactive systems: a survey. In: 10th International Brazilian Meeting on Cognitive Science, 2015, Sao Paulo. Proceedings of 10th International Brazilian Meeting on Cognitive Science, 2015.

11.
CORRÊA, ANDREIWID SHEFFER ; CORRÊA, PEDRO LUIZ PIZZIGATTI ; DA SILVA, FLÁVIO SOARES CORRÊA . Transparency portals versus open government data. In: the 15th Annual International Conference, 2014, Aguascalientes. Proceedings of the 15th Annual International Conference on Digital Government Research - dg.o '14. New York: ACM Press, 2014. p. 178.

12.
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Understanding fun. In: Videojogos 2014, 2014, Barcelos. Videojogos 2014 - Conferência de Ciências e Artes dos Videojogos, 2014.

13.
SATOSHI KAWAMOTO, ANDRE LUIZ ; MARTINS, VALERIA FARINAZZO ; DA SILVA, FLAVIO SOARES CORREA . Converging Natural User Interfaces guidelines and the design of applications for older adults. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 2328.

14.
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; VASCONCELOS, Wamberto . Experimental Interaction Science. In: AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour, 2013, Exeter. Proceedings - AISB 2013 - Social Path Workshop, 2013. v. 1. p. 1-5.

15.
KAWAMOTO, A. L. S. ; CORREA DA SILVA, FLÁVIO SOARES . Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada. In: Tendências e técnicas em realidade virtual e aumentada, 2013, Cuiabá. Tendências e técnicas em realidade virtual e aumentada. Porto Alegre: Sociedade Brasileira de Computação, 2013. v. 3. p. 75-88.

16.
VENERO, M. L. F. ; ARAUJO, C. J. A. ; DAVID, DIEGO MIRA ; CORREA DA SILVA, FLÁVIO SOARES ; MAGALHAES, A. G. . OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do IX Simpósio Brasileiro de Sistemas de Informação, 2013. p. 158-169.

17.
FERNÁNDEZ VENERO, MIRTHA LINA ; CORREA DA SILVA, FLÁVIO SOARES . On the use of SPIN for studying the behavior of nested Petri nets. In: 16th Brazilian Symposium on Formal Methods, 2013, Brasilia. 16th Brazilian Symposium on Formal Methods, 2013. v. 8195. p. 83-98.

18.
SUCA, E. G. ; CORREA DA SILVA, F. S. . An Ontology for Portability and Interoperability Digital Documents. In: 5th International Conference on Knowledge Management and Information Sharing, 2013, Vilamoura, Portugal. Proceedings of 5th International Conference on Knowledge Management and Information Sharing, 2013.

19.
VENERO, M. L. F. ; CORREA DA SILVA, F. S. . Modelling and simulating interaction protocols using Nested Petri Nets. In: Workshop on Formal Methods in the Development of Software, 2013, Madrid. Proceedings of Workshop on Formal Methods in the Development of Software, 2013.

20.
ALMEIDA, M. S. O. ; CORREA DA SILVA, FLAVIO S. . A Systematic Review of Game Design Methods and Tools. In: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, 2013. v. 1. p. 17-29.

21.
ANDREWS, P. Y. ; CORREA DA SILVA, F. S. . Using Parliamentary Open Data to Improve Participation. In: International Conference on Theory and Practice of Electronic Governance, 2013, Seoul. Proceedings of ICEGOV 2013. USA: ACM Press, 2013. v. 1. p. 1-8.

22.
ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S. . Towards a Library of Game Components. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.

23.
ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S. . Requirements for game design tools. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.

24.
ALMEIDA, M. S. O. ; GONCALVES, R. A. ; VALENTIN, L. G. ; CORREA DA SILVA, F. S. . Towards a Game Design Patterns Suggestion Tool. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.

25.
CARNIELLI, W. ; BUENO-SOLER, J. ; CORREA DA SILVA, F. S. . The King of Reasonshire: a computer game to practice critical thinking. In: Third International Congress on Tools for Teaching Logic, 2011, Salamanca. Electronic proceedings - Third International Congress on Tools for Teaching Logic, 2011.

26.
ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . A software platform for governmental virtual institutions. In: The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011, São Paulo. Proceedings of The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011.

27.
CORREA DA SILVA, F. S.; Bressane Neto, A. F. . Affective agents for empathic interactions. In: International Conference on Entertainment Computing, 2011, Vancouver. Entertainment Computing - ICEC 2011, 2011. v. 6972.

28.
SUCA, E. G. ; CORREA DA SILVA, F. S. . Interoperabilidade e Portabilidade de Documentos Digitais Usando Ontologias. In: ONTOBRAS-MOST, 2011, Gramado. Anais - ONTOBRAS-MOST 2011, 2011. p. 117-122.

29.
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . On the Construction of Synthetic Characters with Personality and Emotion. In: Brazilian Symposium of Artificial Intelligence, 2010, São Bernardo do Campo. Brazilian Symposium of Artificial Intelligence - Proceedings, 2010. v. 6404. p. 102-111.

30.
AGUSTI, J. ; CORREA DA SILVA, F. S. . Experimental information and experiential knowledge. In: European Conference on Philosophy and Computing, 2009, Barcelona. European Conference on Philosophy and Computing - Proceedings, 2009.

31.
E. Passos ; Pozzer, C. ; Montenegro, A. ; CORREA DA SILVA, F. S. ; CLUA, E. . Hierarchical PNF Networks: A Temporal Model of Events for the Representation and Dramatization of Storytelling. In: 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009, Rio de Janeiro. Proceedings of 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009.

32.
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Execution and 3D Visualization of Situated Cellular Agent Based Crowd Simulations. In: 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008, Fortaleza. 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008.

33.
CORREA DA SILVA, F. S.. Knowledge-based Modality Selection for Information Presentation in a Mobile System for Primary Homecare. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Multimodal Output Generation, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

34.
CORREA DA SILVA, F. S.; VIZZARI, G. ; MOSCA, A. . Coupled MMASS: A Formal Model for Non-deterministic Multi-agent Simulations. In: Artificial Intelligence and Simulation of Behaviour - Workshop of Logic and the Simulation of Interaction and Reasoning, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

35.
GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . Semantic Web Services for Intelligent Responsive Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

36.
GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . A Middleware for Smart Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

37.
VIZZARI, G. ; BONOMI, A. ; CORREA DA SILVA, F. S. . A Framework for Executing and Visualizing Situated Cellular Agent Based Crowd Simulations. In: European Meeting on Cybernetics and Systems Research, 2008, Viena. Proceedings of EMCSR 2008, 2008.

38.
MASTHOFF, J. ; VASCONCELOS, Wamberto ; AITKEN, C. ; CORREA DA SILVA, F. S. . Agent-Based Group Modelling for Ambient Intelligence. In: International Symposium on Affective Smart Environments, 2007, Newcastle. Proceedings of the International Symposium on Affective Smart Environments, 2007.

39.
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Interactive Situated Agents in Virtual Environments. In: Worshop "From Objects to Agents" - WOA, 2007, Genova. Proceedings - workshop "From Objects to Agents", 2007.

40.
YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis Baseados em Jogos de Computador em Educação. In: XIV Workshop sobre Educação em Computação - WEI, 2006, Campo Grande. Anais do XIV WEI, 2006.

41.
CORREA DA SILVA, F. S.; VASCONCELOS, Wamberto . Rule Schemata for Game Artificial Intelligence. In: SBIA/IBERAMIA - Simpósio Brasileiro de Inteligência Artificial, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence. Berlim: Springer, 2006. v. 4140. p. 451-461.

42.
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo . 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. v. 0. p. 0-0.

43.
CORREA DA SILVA, F. S.; VASCONCELOS, Wamberto . Agent based management of responsive environments. In: Congress of the italian association of artificial intelligence, 2005, Milao. Proceedings of AI*IA, 2005. v. 0. p. 0-0.

44.
TREVISAN, Felipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Low Cost Experiments in Cognitive Robotics for Planning in Hostile Environments with Incomplete Information. In: CAEPIA 2005 - Conferencia de la Asociacion Espanola para la Inteligencia Artificial, 2005, Santiago de Compostela. Proceedings of CAEPIA-2005, 2005. v. 0. p. 0-0.

45.
NAKANISHI, Sérgio Haruo ; CORREA DA SILVA, F. S. . Game-engine as an Educational Tool in Software Engineering Courses. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.

46.
YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis para Validação de Técnicas de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.

47.
CORREA DA SILVA, F. S.; JORGE, Tiago Motta . Towards Complex Reasoning Agents for Action Games. In: Wjogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.

48.
SILVA, Filipe Correa Lima da ; CORREA DA SILVA, F. S. . Um Ambiente Virtual Baseado em Jogos para o Aprendizado de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.

49.
IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar . AcMus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. In: IV Congresso Iberoamericano de Acústica, 2004, Guimarães. IV Congresso Iberoamericano de Acústica, 2004.

50.
CORREA DA SILVA, F. S.; MENESES, E. X. . Expressing Systems Capabilities for Knowledge Coordination. In: Agents Architectures and Multi-Agent Systems, 2002, Bologna. Proceedings of AAMAS, 2002.

51.
CORREA DA SILVA, F. S.. Towards a Logic of Perishable Propositions. In: WORKCOMP, 2002, São José dos Campos, 2002.

52.
CORREA DA SILVA, F. S.; MENESES, E. X. ; MELO, Ana Cristina Vieira de . Capabilities in Formal Knowledge Coordination for Business Integration. In: Workshop - OOPSLA, 2002. Workshop Proceedings - OOPSLA, 2002.

53.
MENESES, E. X. ; CORREA DA SILVA, F. S. . Um Modelo para Cooperação entre Sistemas Baseados em Conhecimento Baseado em Capacidades. In: ENIA - Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. Proceedings - ENIA 2001, 2001.

54.
IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S. . ACMUS: Design and Simulation of Music Listening Environments. In: Eighth Brazilian Symposium of Computer Music, 2001, Fortaleza. Proceedings of Eighth Brazilian Symposium of Computer Music, 2001.

55.
CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; AGUSTI, J. ; ARAUJO, R. C. . Knowledge Sharing Between a Probabilistic Logic and a Bayesian Belief Network. In: International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems, 2000, Madrid. Proceedings of IPMU-2000, 2000. p. 1299-1306.

56.
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de . A Lightweight Capability Communication Mechanism. In: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2000, New Orleans. Intelligent Problem Solving, 2000. v. 1821. p. 660-670.

57.
CORREA DA SILVA, F. S.; VITORINO, S. A. . Remarks on Reasoning with Progressively Obsolete Information. In: SBIA/IBERAMIA, 2000, Atibaia. Proceedings SBIA/IBERAMIA - LNAI, 2000.

58.
CORREA DA SILVA, F. S.; ZANUTTO, J. . Calculo de Equivalencia de Operadores Morfologicos via Sistemas de Re-escrita de Termos. In: LAPTEC 2000, 2000, Sao Paulo. Logica Aplicada a Tecnologia, 2000.

59.
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; AGUSTI, J. ; MELO, Ana Cristina Vieira de . Why Ontologies Are Not Enough For Knowledge Sharing. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.

60.
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. . Cooperation Between Knowledge Based Systems. In: International Congress on Expert Systems, 1998. Proceedings.

61.
FINGER, Marcelo ; CORREA DA SILVA, F. S. . Data Obsolescence: Modelling Problems. In: International Workshop on Temporal Representations and Reasoning, 1998. Proceedings.

62.
TOLENTINO, M. V. ; SANTOS, P. E. ; RILLO, M. ; CORREA DA SILVA, F. S. . Actions As Prolog Programs. In: IEEE Joint Symposia on Intelligence and Systems, 1996. Proceedings.

63.
CORREA DA SILVA, F. S.; KON, F. . Stylistic Musical Choices Via Preference Rules. In: International Fuzzy Systems Association Congress, 1995. Proceedings.

64.
CORREA DA SILVA, F. S.; KON, F. . Categorial Grammar And Harmonic Analysis. In: Brazilian Symposium on Computer Music, 1995. Proceedings.

65.
BARRERA, J. ; CORREA DA SILVA, F. S. ; TOMITA, N. . Automatic Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1995. Proceedings.

66.
BARRERA, J. ; CORREA DA SILVA, F. S. ; BANON, G. . Automating Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1994. Proceedings.

67.
WASSERMAN, Renata ; CORREA DA SILVA, F. S. . Towards Efficient Modelling Of Distributed Knowledge Using Equational And Order-Sorted Logic. In: Brazilian Symposium of Artificial Intelligence, 1994. Anais.

68.
CORREA DA SILVA, F. S.; PIETRANTONIO, H. . Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. In: ANPET, 1993.

69.
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning with Uncertainties. In: Applied Logic Conference, 1992.

70.
CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; CHUNG, P. . Automated Reasoning About an Uncertain Domain. In: ECSQARU, 1991, 1991.

71.
CORREA DA SILVA, F. S.; BUNDY, A. . On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. In: Uncertainty in Artificial Intelligence, 1990, 1990.

Resumos expandidos publicados em anais de congressos
1.
BANDINI, S. ; CROCIANI, L. ; VIZZARI, G. ; CORREA DA SILVA, F. S. ; GORRINI, A. . The Role of Compliance in Heterogeneous Interacting Agents: Data from Observations. In: AAMAS 2017 - workshop Agent based modeling for urban systems, 2017, São Paulo. AAMAS 2017 - workshop Agent based modeling for urban systems, 2017. v. 1.

2.
CORREA DA SILVA, F. S.; CHUNG, P. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, D. S. ; VASCONCELOS, W. W. . Hazard identi cation for UAVs based on soft institutions. In: AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, 2017, Sao Paulo. AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, 2017. v. 1.

3.
SUCA, E. G. ; CORREA DA SILVA, F. S. . A logical approach for preserving confidentiality in shared knowledge bases. In: ONTOBRAS - Seminário de pesquisa em ontologias do Brasil, 2016, Curitiba, PR - Brasil. Proceedings ONTOBRAS 2016, 2016.

4.
CORREA, ANDREIWID SHEFFER ; CORREA, PEDRO L.P. ; SILVA, DANIEL L. ; SILVA, FLAVIO SOARES CORREA DA . Really Opened Government Data: A Collaborative Transparency at Sight. In: 2014 IEEE International Congress on Big Data (BigData Congress), 2014, Anchorage. 2014 IEEE International Congress on Big Data, 2014. p. 806-807.

5.
KAWAMOTO, A. L. S. ; MARTINS, V. F. ; CORREA DA SILVA, FLAVIO S. . Usability Evaluation of an Application Designed for the Older Adults. In: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, 2013. v. 1. p. 189-192.

6.
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . Synthetic characters with personality and emotion. In: Intelligent Virtual Agents, 2009, Amsterdam. Intelligent Virtual Agents. Berlin: Springer LNAI, 2009. v. 5773. p. 533-534.

7.
ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . Governmental virtual institutions. In: International conference on theory and practice of electronic governance, 2009, Bogotá. Proceedings of international conference on theory and practice of electronic governance, 2009.

8.
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Situated Crowd Behavior in Virtual Environments. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.

9.
CLUA, D. M. G. ; BERTONI, V. D. ; SILVA, R. A. ; CORREA DA SILVA, F. S. . ViDa - Jogo de Simulação de Vida e Evolução utilizando. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.

Resumos publicados em anais de congressos
1.
MARTINS, V. ; KAWAMOTO, A. L. S. ; CORREA DA SILVA, F. S. . Guidelines for the Development of Gestural Interface Games for Older Adults. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.

2.
CORREA DA SILVA, F. S.. Formalisations Of Uncertain Reasoning. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.

3.
CORREA DA SILVA, F. S.. On Reasoning With And Reasoning About Uncertainty In Artificial Intelligence. In: European Summer Meeting of the Association of Symbolic Logic, 1996. Proceedings.

4.
CORREA DA SILVA, F. S.; ABE, J. M. ; RILLO, M. . Paraconsistent Logics Of Knowledge And Belief. In: International Congress on Logic, Methodology and Philosophy of Science, 1995. Proceedings.

Outras produções bibliográficas
1.
CORREA DA SILVA, F. S.. Information - Special Issue: Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Basel: MDPI, 2013 (Editor convidado - número especial de períodico internacional).

2.
CORREA DA SILVA, F. S.. Matemática discreta - uma introdução. São Paulo: Cengage Learning, 2010. (Tradução/Livro).

3.
CORREA DA SILVA, F. S.. Programação em MATLAB para engenheiros (segunda edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).

4.
CORREA DA SILVA, F. S.. Princípios de sistemas de informação (nona edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).

5.
VALLE, P. H. C. (tradutor) ; CORREA DA SILVA, F. S. . Fundamentos de Programação - Algoritmos, Estruturas de Dados e Objetos. São Paulo: McGraw-Hill, 2007. (Tradução/Livro).

6.
CORREA DA SILVA, F. S.; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro . Sistemas de Informação. São Paulo: Thomson, 2005. (Tradução/Livro).

7.
CORREA DA SILVA, F. S.. Construção de Compiladores. São Paulo: Thomson, 2004. (Tradução/Livro).

8.
CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F. . Comunicação Entre Computadores e Tecnologias de Redes. São Paulo: Thomson, 2002. (Tradução/Livro).

9.
CORREA DA SILVA, F. S.. Programação MATLAB Para Engenheiros. São Paulo: Thomson, 2002. (Tradução/Livro).

10.
NUNES, M. ; CORREA DA SILVA, F. S. . Estruturas de Dados e Algoritmos em C++. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).

11.
MENDES, M. A. ; CORREA DA SILVA, F. S. . Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).

Demais trabalhos
1.
CORREA DA SILVA, F. S.. Nomeado para comitê de padronização de interfaces de inteligência artificial (gestão 2005). 2005 (Comitê de padronização de interfaces de IA para a indústria de jogos) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
CORREA DA SILVA, F. S.. Participação em banca de Jessica Leite Pituba. Jogos educativos adaptativos utilizando estilos de aprendizagem Felder-Silverman. 2018. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

2.
CORREA DA SILVA, F. S.. Participação em banca de Fabio Augusto Polonio. Método de obtenção de SBVR com definições bilíngues. 2018. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

3.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo Tetsuhiro Sadaike. Melhoria do tempo de resposta para execução de jogos em um sistema em cloud gaming com implementação de camadas e predição de movimento. 2017. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

4.
CORREA DA SILVA, F. S.. Participação em banca de Marino Hilário Catarino. Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

5.
CORREA DA SILVA, F. S.. Participação em banca de Rodolfo Valiente Romero. Processo automático de reconhecimento de texto em imagens de documentos de identificação genéricos. 2017. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

6.
CORREA DA SILVA, F. S.. Participação em banca de Thais Pola Baptista Coelho. O raciocínio da enfermagem na era digital: uma versão renovada do protocolo de intervenção do ?Programa Jovens Mães Cuidadoras". 2017. Dissertação (Mestrado em Enfermagem) - Universidade de São Paulo.

7.
CORREA DA SILVA, F. S.. Participação em banca de Erico de Souza Veriscimo. Interação 3D com retorno de áudio para a identificação de objetos virtuais acessíveis a usuários com deficiência visual. 2016. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.

8.
CORREA DA SILVA, F. S.. Participação em banca de Pedro Matsumura Kayatt. UBIQUOS - Arcabouço multiplataforma para jogos colaborativos utilizando interface distribuída de usuário. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

9.
DA SILVA, FLÁVIO SOARES CORRÊA. Participação em banca de Jorge Augusto Sabaliauskas. Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM. 2015. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

10.
CORREA DA SILVA, F. S.. Participação em banca de Romenig da Silva Ribeiro. Construção e uso de ambiente visual para o ensino de programação introdutória. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

11.
CORREA DA SILVA, F. S.. Participação em banca de Maria José Guimarães de Souza. MOOC de Geometria: discussões e proposta de um modelo para a educação básica. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

12.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre Martins Ferreira de Sousa. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

13.
CORREA DA SILVA, F. S.. Participação em banca de Lucas Nascimento Ferreira. Uma abordagem evolutiva para geração procedural de níveis em jogos de quebra-cabeças baseados em física. 2015. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

14.
CORREA DA SILVA, F. S.. Participação em banca de Marcia Roberta dos Santos Pires da Silva. iCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatória. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

15.
CORREA DA SILVA, FLAVIO S.. Participação em banca de Márcio Fernando Stábile Junior. Melhorando o desempenho de agentes BDI Jason através de filtros de percepção. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

16.
CORREA DA SILVA, F. S.. Participação em banca de Gilmar Rocha de Oliveira Dias. Controle de som e luz no teatro. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

17.
CORREA DA SILVA, FLAVIO S.. Participação em banca de Mauricio Garcia Franco do Nascimento. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

18.
CORREA DA SILVA, F. S.. Participação em banca de Franco Eusébio Garcia. Um motor para jogos digitais universais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

19.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo Valentim de Oliveira. Um estudo empírico sobre classificação de símbolos matemáticos manuscritos. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

20.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo Cunha de Souza. O uso de inteligência artificial no ensino de contabilidade. 2014. Dissertação (Mestrado em Controladoria e Contabilidade) - Universidade de São Paulo.

21.
Flavio S. Correa da Silva. Participação em banca de José Roberto Alves Rodrigues. iQuiz - ambiente de autoria para avaliação do aprendizado no moodle. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

22.
CORRÊA DA SILVA, FLÁVIO SOARES. Participação em banca de José David Fernandez Curado. Typicality in description logics. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

23.
CORREA DA SILVA, F. S.. Participação em banca de Celso Vital Crivelaro. Multicontextualização para aprimoramento de personalização em sistemas de recomendação contextuais. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

24.
CORREA DA SILVA, F. S.. Participação em banca de Fabricio Shigueru Catae. Classificação automática de texto por meio de similaridade de palavras: um algoritmo mais eficiente. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

25.
CORREA DA SILVA, F. S.. Participação em banca de Carlos Leonardo Herrera Munoz. Componentes para interoperabilidade entre redes sociais na Web 2.0. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

26.
CORREA DA SILVA, F. S.. Participação em banca de Frank Araujo de Abreu Cara. Uma heurística ganha-ganha para formação de coalizões em sistemas multiagentes. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

27.
CORREA DA SILVA, F. S.. Participação em banca de Troy Costa Kohwalter. Provenance in games. 2013. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

28.
CORREA DA SILVA, F. S.. Participação em banca de 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.

29.
CORREA DA SILVA, F. S.. Participação em banca de Guilherme Aren Marchetti. Um método de transformação de modelos UML para a inclusão de componentes de frameworks com o uso de planejador lógico. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

30.
CORREA DA SILVA, F. S.. Participação em banca de Luís Emílio Cavechiolli Dalla Valle. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

31.
CORREA DA SILVA, F. S.. Participação em banca de Israel Heringer Lisboa de Castro. Um framework para pesquisa de inteligência artificial em jogos de estratégia por turnos. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

32.
CORREA DA SILVA, F. S.. Participação em banca de Santiago David Dávila Benavides. Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

33.
CORREA DA SILVA, F. S.. Participação em banca de Carlos Eduardo Atencio Torres. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

34.
CORREA DA SILVA, F. S.. Participação em banca de Eduardo Menezes de Morais. Answer set programming probabilístico. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

35.
CORREA DA SILVA, F. S.. Participação em banca de Rafael José Peres Correia. Borboleta: um sistema de telessaúde para auxílio à atenção primária domiciliar. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

36.
CORREA DA SILVA, F. S.. Participação em banca de Adeline Cecília Sécolo. Raciocínio espacial qualitativo para um sistema de segurança em tráfego de veículos. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

37.
CORREA DA SILVA, F. S.. Participação em banca de Esdras Lins Bispo Junior. Métricas de avaliação de alinhamento de ontologias. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

38.
CORREA DA SILVA, F. S.. Participação em banca de Daniel Lins da Silva. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura baseada a serviços. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

39.
CORREA DA SILVA, F. S.. Participação em banca de Fernando Tsuda. Utilização de técnicas de GPGPU em sistema de vídeo-avatar. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

40.
CORREA DA SILVA, F. S.. Participação em banca de Iuri Chaer. Um estudo sobre a teoria da predição aplicada à análise semântica de linguagens naturais. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

41.
CORREA DA SILVA, F. S.. Participação em banca de 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.

42.
CORREA DA SILVA, F. S.. Participação em banca de Silvia Esparrachiari Ghirotti. Reconhecimento de gestos tridimensionais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

43.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre Nascimento Tomoyose. Comparação e classificação de técnicas de estereoscopia para realidade aumentada e jogos. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

44.
CORREA DA SILVA, F. S.. Participação em banca de Simone Hanazumi. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

45.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo Udo. Equivalência e interpretação de modelos UML.P e PDDL para planejamento automático. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

46.
CORREA DA SILVA, F. S.. Participação em banca de Daniel Rodolfo Balsys Maia. Uma Metodologia para o Desenvolvimento de Ambientes de Ensino Usando Salas de Aula Virtuais Sobre a Internet. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

47.
CORREA DA SILVA, F. S.. Participação em banca de Alex Fernandes da Veiga Machado. Uma Engine em XNA e PROLOG para Apoio ao Ensino de Programação Declarativa. 2009. Dissertação (Mestrado em Computação Aplicada e Automação) - Universidade Federal Fluminense.

48.
CORREA DA SILVA, F. S.. Participação em banca de Maurício Alexandre Parente Burdelis. Ajuste de taxas de mutação e de cruzamento de algoritmos genéticos utilizando-se inferência nebulosas. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

49.
CORREA DA SILVA, F. S.. Participação em banca de Valquiria Fenelon Pereira. Autolocalização qualitativa para um robô móvel utilizando informação de sombras. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

50.
CORREA DA SILVA, F. S.. Participação em banca de Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

51.
CORREA DA SILVA, F. S.. Participação em banca de Vilc Quelpe Rufino. Acordo de chaves hierárquico sem certificado. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

52.
CORREA DA SILVA, F. S.. Participação em banca de Paulo Silveira. Geração automática de casos de teste para Web Services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

53.
CORREA DA SILVA, F. S.. Participação em banca de Edgardo Paul Ponce Escobedo. Modelagem de Contexto Utilizando Ontologias. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

54.
CORREA DA SILVA, F. S.. Participação em banca de André Casado Castaño. Populando ontologias através de informações em HTML - o caso do currículo lattes. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

55.
CORREA DA SILVA, F. S.. Participação em banca de Jenny Crescencia Paredes Aguilar. Abordagem semântica aplicada ao gerenciamento de dados em redes de sensores sem fio. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

56.
CORREA DA SILVA, F. S.. Participação em banca de Juan Carlos Zuniga Torres. Uma metodologia para o desenvolvimento de aplicações de realidade aumentada em telefones celulares utilizando dispositivos sensores. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

57.
CORREA DA SILVA, F. S.. Participação em banca de Suzana Mayumi Assato. Proposição de uma Estratégia de Inspeção de Software. 2008. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

58.
CORREA DA SILVA, F. S.. Participação em banca de Alvaro Heiji Miyazawa. Geração parcial de código JAVA a partir de especificações formais Z. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

59.
CORREA DA SILVA, F. S.. Participação em banca de Andre Gustavo de Andrade. Integração de verificadores formais para agentes móveis. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

60.
CORREA DA SILVA, F. S.. Participação em banca de Álvaro Roberto Silvestre Fialho. Exploração de relações entre as técnicas nebulosas e evolutivas da inteligência computacional. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

61.
CORREA DA SILVA, F. S.. Participação em banca de Eduardo Costa Jacober. Proposta e implementação de uma interface para motores de jogos interativa e centrada no usuário. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

62.
CORREA DA SILVA, F. S.. Participação em banca de André Iasi Moura. WBLS: Um sistema de localização de dispositivos móveis em redes Wi-Fi. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

63.
CORREA DA SILVA, F. S.. Participação em banca de Marcos Antonio Cavalhieri. Modelo comportamental baseado em crenças e teoria bayesiana para simulações de vida artificial com humanos virtuais. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

64.
CORREA DA SILVA, F. S.. Participação em banca de Juliana Jabra Chahoud. Planejamento para Serviços Web Semânticos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

65.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre Maciel. Aplicação de autômatos nebulosos no reconhecimento aproximado de cadeias. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

66.
CORREA DA SILVA, F. S.. Participação em banca de Christian Paz Trillo. Recuperação de vídeos indexados por conceitos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

67.
CORREA DA SILVA, F. S.. Participação em banca de Thiago Schumacher Barcelos. Interfaces prestativas baseadas em visão computacional e informação de contexto. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

68.
CORREA DA SILVA, F. S.. Participação em banca de Eduardo Akira Kinto. Máquinas de Vetores-Suporte Aplicadas à Classificação de Textos Reduzidos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

69.
CORREA DA SILVA, F. S.. Participação em banca de Edward Mitsuo Iwanaga Iamamoto. Planejamento Hierárquico Usando GOLOG. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

70.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre Sussumu Hirohashi. Aprendizado de Regras de Substituição para Normatização de Textos Históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

71.
CORREA DA SILVA, F. S.. Participação em banca de Leo Kazuhiro Ueda. Composição e Performance Musical Utilizando Agentes Móveis. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

72.
CORREA DA SILVA, F. S.. Participação em banca de Fábio Tozeto Ramos. Inferência probabilística em sistemas com restrições de tempo e memória. 2003. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

73.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo de Souza Amorim. Uma técnica de verificação para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

74.
CORREA DA SILVA, F. S.. Participação em banca de Fernando Antônio 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.

75.
CORREA DA SILVA, F. S.. Participação em banca de Rogério de Carlo. Classificação e Seleção de Componentes de Software Concorrentes. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

76.
CORREA DA SILVA, F. S.. Participação em banca de Carlos Daniel Chacur Alves. Etiquetagem de Textos em Português Baseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

77.
CORREA DA SILVA, F. S.. Participação em banca de Vera Nagamuta. Coordenação de Agentes Móveis Através do Canal de Broadcast. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

78.
CORREA DA SILVA, F. S.. Participação em banca de Roberto Brunori Junior. Uma Teoria de Primeira Ordem para Especificação e Análise de Protocolos de Criptografia. 1999 - Universidade Estadual do Ceará.

79.
CORREA DA SILVA, F. S.. Participação em banca de Paulo Sérgio Prampero. Combinação de Classificadores para Reconhecimento de Padrões. 1998. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

80.
CORREA DA SILVA, F. S.. Participação em banca de Loreley Zavattiero. Implementação de um Fragmento de TSQL2 para Bancos de Dados de Tempo de Validade. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

81.
CORREA DA SILVA, F. S.. Participação em banca de Jerônimo Pellegrini. Um Estudo do Sistema OYSTER-CLAM. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

82.
CORREA DA SILVA, F. S.. Participação em banca de Ana Maria Monteiro. Lógicas Não Monotônicas para Sistemas Multiagentes. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

83.
CORREA DA SILVA, F. S.. Participação em banca de Marcelo de Souza Lauretto. Árvores de Classificação para Escolha de Estratégias de Operação em Mercados de Capitais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

84.
CORREA DA SILVA, F. S.. Participação em banca de Jorge Nakahara Jr.. Criptoanálise Diferencial-linear Aplicada às Cifras FEAL-N e FEAL-NX. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

85.
CORREA DA SILVA, F. S.. Participação em banca de Maria Aparecida Martins de Paula. Implementações Sistólicas de Redes Neurais Artificiais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

86.
CORREA DA SILVA, F. S.. Participação em banca de André Gama de Almeida. Estimativa de Propriedades Hidrodinâmicas no Projeto de um ROV. 1995. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.

87.
CORREA DA SILVA, F. S.. Participação em banca de Everardo Nóbrega de Queiroz. Racionalidade e Solução de Problemas: a Teoria Científica da Racionalidade em Inteligência Artificial. 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

88.
CORREA DA SILVA, F. S.. Participação em banca de Maristela Ribas Biazzi. Valores Vazios e Incertezas no Modelo de Dados Relacional. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Teses de doutorado
1.
CORREA DA SILVA, F. S.. Participação em banca de Etienne Américo Cartolano Júnior. A model for trust under a suitcase word perspective. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

2.
CORREA DA SILVA, F. S.. Participação em banca de Daniel Lins da Silva. Estratégia computacional para apoiar a reprodutibilidade e reuso de dados científicos baseado em metadados de proveniência. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

3.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre dos Santos Mignon. ML4JIT - um arcabouço para pesquisa com aprendizado de máquina em compiladores JIT. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

4.
CORREA DA SILVA, F. S.. Participação em banca de Thiago França Naves. Uma Arquitetura de Uso Geral baseada em Planejamento Probabilístico para Agentes Completos em Jogos de Estratégia em Tempo Real. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
CORREA DA SILVA, F. S.. Participação em banca de Danilo Nunes dos Santos. Representação e recuperação de imagens por meio de relações espaciais entre objetos. 2017. Tese (Doutorado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.

6.
CORREA DA SILVA, F. S.. Participação em banca de Elanne Cristina Oliveira dos Santos. Uma heurística de comparação de comportamentos para análise semântica de jogos aplicada à aprendizagem de programação. 2016. Tese (Doutorado em Computação) - Universidade Federal Fluminense.

7.
CORREA DA SILVA, F. S.. Participação em banca de Leonardo Anjoletto Ferreira. Programação em lógica não-monotônica aplicada à redução do espaço de planos em processos de decisão de Markov. 2016. Tese (Doutorado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.

8.
CORREA DA SILVA, F. S.. Participação em banca de Patrícia Alves Pereira. iMPaCTS: um modelo de colaboração por pares para aprendizagem. 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

9.
CORREA DA SILVA, F. S.. Participação em banca de Javier Martinez Silva. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri. 2016. Tese (Doutorado em engenharia mecatrônica) - Escola Politécnica da USP.

10.
CORREA DA SILVA, F. S.. Participação em banca de Rosimarci Pacheco Tonaco Basbaum. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático. 2015. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

11.
CORREA DA SILVA, F. S.. Participação em banca de Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

12.
CORREA DA SILVA, F. S.. Participação em banca de Antonio Diaz Tula. Contribuições para a interação pelo olhar com teclados virtuais. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

13.
CORREA DA SILVA, F. S.. Participação em banca de Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

14.
CORREA DA SILVA, F. S.. Participação em banca de Lauro César Araújo. Uma linguagem para formalização de discursos com base em ontologias. 2015. Tese (Doutorado em Ciências da Informação) - Universidade de Brasília.

15.
CORREA DA SILVA, F. S.. Participação em banca de Reginaldo do Prado. iPLAN - uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via web. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

16.
CORREA DA SILVA, F. S.. Participação em banca de Vinícius Rafael Neris dos Santos. Detecção e classificação automática de interferências do subsolo com GPR utilizando Redes Neurais Artificiais. 2014. Tese (Doutorado em Geofísica) - Universidade de São Paulo.

17.
CORREA DA SILVA, F. S.. Participação em banca de Mohamad Saiful Haji Omar. A novel workflow management system for handling dynamic process adaptation and compliance. 2014. Tese (Doutorado em PhD in Computer Science) - Loughborough University.

18.
CORREA DA SILVA, F. S.. Participação em banca de Wannessa Rocha da Fonseca. Diretrizes para especificação de serviços para governo eletrônico baseada em reuso. 2014. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

19.
CORREA DA SILVA, F. S.. Participação em banca de Anderson Fraiha Machado. Conversão de voz inter-linguística. 2013. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

20.
CORREA DA SILVA, F. S.. Participação em banca de Juan Carlos Zuniga Torres. Composição de serviços em ambientes pervasivos: um modelo de referência. 2013. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

21.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre de Barros Barreto. Cyber-Argus Framework - measuring cyber impact on the mission. 2013. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

22.
CORREA DA SILVA, F. S.. Participação em banca de Reginaldo Inojosa da Silva Filho. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. 2012. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

23.
CORREA DA SILVA, F. S.. Participação em banca de Jorge Rodolfo Beingolea Garay. CyberSens: uma plataforma para redes de sensores em sistemas ciber-físicos. 2012. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

24.
CORREA DA SILVA, F. S.. Participação em banca de Elisandra Aparecida Alves da Silva. Proposta de um processo sistemático baseado em métricas não-dicotômicas para avaliação da predição de links em redes de coautoria. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

25.
CORREA DA SILVA, F. S.. Participação em banca de Daniel Costa de Paiva. Modelagem e simulação de agentes com aspectos cognitivos para avaliação de comportamento social. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

26.
CORREA DA SILVA, F. S.. Participação em banca de Eduardo Akira Kinto. Otimização e análise das máquinas de vetores de suporte aplicadas à classificação de documentos. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

27.
CORREA DA SILVA, F. S.. Participação em banca de Paulo Salem da Silva. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

28.
CORREA DA SILVA, F. S.. Participação em banca de Fábio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

29.
CORREA DA SILVA, F. S.. Participação em banca de Fabiana Soares Santana. Uma infraestrutura orientada a serviços para a modelagem de nicho ecológico. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

30.
CORREA DA SILVA, F. S.. Participação em banca de Gustavo Vasconcellos Cavalcante. Ciência das redes: aspectos epistemológicos. 2009. Tese (Doutorado em Ciências da Informação) - Universidade de Brasília.

31.
CORREA DA SILVA, F. S.. Participação em banca de Caio Augustus Morais Bolzani. Análise de arquiteturas e desenvolvimento de uma plataforma para residências inteligentes. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

32.
CORREA DA SILVA, F. S.. Participação em banca de Mário Aparecido Corrêa. Modelo de veículos aéreos não tripulados baseado em sistemas multi-agentes. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

33.
CORREA DA SILVA, F. S.. Participação em banca de Nílton César Furtado Canto. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

34.
CORREA DA SILVA, F. S.. Participação em banca de Alexandre Cesar Tavares Vidal. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. 2007. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

35.
CORREA DA SILVA, F. S.. Participação em banca de Ronaldo Cristiano Prati. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

36.
CORREA DA SILVA, F. S.. Participação em banca de Huei Diana Lee. Seleção de atributos importantes para a extração de conhecimento de bases de dados. 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

37.
CORREA DA SILVA, F. S.. Participação em banca de Jacqueline Brigladori Pugliesi. Pós processamento de regras de regressão. 2004. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.

38.
CORREA DA SILVA, F. S.. Participação em banca de Cláudia Regina Milaré. Extração de conhecimento de redes neurais artificiais utilizando sistemas de aprendizado simbólico e algoritmos genéticos. 2003. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.

39.
CORREA DA SILVA, F. S.. Participação em banca de Silvia Maria Fonseca Massruha. Teoria das Coberturas Nebulosas. 2003. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

40.
CORREA DA SILVA, F. S.. Participação em banca de Flávio Tonidandel. Desenvolvimento e implementação de um sistema de planejamento baseado em casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

41.
CORREA DA SILVA, F. S.. Participação em banca de Sílvio Luís Rafaeli Neto. Um Modelo Conceitual de Sistemas de Apoio à Decisão Espacial para Gestão de Desastres por Inundações. 2000. Tese (Doutorado em Engenharia Civil) - Universidade de São Paulo.

42.
CORREA DA SILVA, F. S.. Participação em banca de Bráulio Coelho Ávila. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para tratar Exceções em Sistemas de Frames com Múltipla Herança. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.



Participação em bancas de comissões julgadoras
Concurso público
1.
CORREA DA SILVA, F. S.. Professor doutor - USP (EACH). 2012. Universidade de São Paulo.

2.
CORREA DA SILVA, F. S.. Professor doutor - USP Leste. 2010. Universidade de São Paulo.

3.
CORREA DA SILVA, F. S.. professor doutor - UFABC. 2010. Universidade Federal do ABC.

4.
CORREA DA SILVA, F. S.. professor doutor. 2009. Universidade Federal do ABC.

5.
CORREA DA SILVA, F. S.. professor doutor. 2008. Universidade de São Paulo.

6.
CORREA DA SILVA, F. S.. professor doutor - IME-USP (campus Butantã). 2008. Universidade de São Paulo.

7.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2008. Universidade de São Paulo.

8.
CORREA DA SILVA, F. S.. Professor doutor (Bancos de dados). 2007. Universidade de São Paulo.

9.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2007. Escola de Artes, Ciências e Humanidades.

10.
CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.

11.
CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.

12.
CORREA DA SILVA, F. S.. Professor Doutor - UNIFESP. 2006. Universidade Federal de São Paulo.

13.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2006. Universidade de São Paulo.

14.
CORREA DA SILVA, F. S.; COSTA, Antonio Augusto Loureiro da; SANTOS, Debora Abdalla. Professor assistente - UEFS. 2005. Universidade Estadual de Feira de Santana.

15.
CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.

16.
CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.

17.
CORREA DA SILVA, F. S.. professor doutor - UNESP (Rio Claro). 1998. Universidade Estadual Paulista Júlio de Mesquita Filho.

Livre docência
1.
CORREA DA SILVA, F. S.. livre-docência. 2016. Universidade de São Paulo.

2.
CORREA DA SILVA, F. S.. livre-docência. 2015. Universidade de São Paulo.

3.
CORREA DA SILVA, F. S.. livre-docência. 2013. Universidade de São Paulo.

4.
CORREA DA SILVA, F. S.. livre-docência. 2012. Universidade de São Paulo.

5.
CORREA DA SILVA, F. S.. livre-docência. 2012. Universidade Estadual Paulista Júlio de Mesquita Filho.

6.
CORREA DA SILVA, F. S.. livre docência - USP. 2007. Escola Politécnica da USP.

7.
CORREA DA SILVA, F. S.. livre docência - USP. 2003. Universidade de São Paulo.

8.
CORREA DA SILVA, F. S.. livre docência - USP. 2001. Universidade de São Paulo.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Autonomous Agents and Multiagent Systems. Autonomous Agents and Multiagent Systems. 2002. (Congresso).

2.
Workcomp - Congresso de Informática. Workcomp - Congresso de Informática. 2002. (Congresso).

3.
Brazilian Symposium of Computer Music. Brazilian Symposium of Computer Music. 2001. (Congresso).

4.
Encontro Nacional de Inteligência Artificial. Encontro Nacional de Inteligência Artificial. 2001. (Congresso).

5.
Information Processing and Management of Uncertainty. Information Processing and Management of Uncertainty. 2000. (Congresso).

6.
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 2000. (Congresso).

7.
Lógica Aplicada - LAPTEC. Lógica Aplicada - LAPTEC. 2000. (Congresso).

8.
Simpósio Brasileiro de Inteligência Artificial - SBIA / IBERAMIA. Simpósio Brasileiro de Inteligência Artificial / IBERAMIA. 2000. (Congresso).

9.
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 1999. (Congresso).

10.
5th International Workshop on Temporal Representations and Reasoning. 5th International Workshop on Temporal Representations and Reasoning. 1998. (Congresso).

11.
International Congress on Expert Systems. International Congress on Expert Systems. 1998. (Congresso).

12.
seminário para graduação.Computação e Música. 1997. (Seminário).

13.
European Summer Meeting of the ASL. European Summer Meeting of the ASL. 1996. (Congresso).

14.
IEEE Joint Symposia on Intelligence and Systems. IEEE Joint Symposia on Intelligence and Systems. 1996. (Congresso).

15.
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1996. (Congresso).

16.
Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira.Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira. 1996. (Seminário).

17.
10th International Congress on Logic, Methodology and Philosophy of Science. 10th International Congress on Logic, Methodology and Philosophy of Science. 1995. (Congresso).

18.
Brazilian Symposium on Computer Music. Brazilian Symposium on Computer Music. 1995. (Congresso).

19.
International Fuzzy Systems Association World Congress. International Fuzzy Systems Association World Congress. 1995. (Congresso).

20.
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1994. (Congresso).

21.
seminário regular.Duas Alternativas para Representação de Incertezas em Sistemas Baseados em Conhecimento. 1994. (Seminário).

22.
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1994. (Congresso).

23.
Pesquisa e Ensino em Transportes - ANPET. Pesquisa e Ensino em Transportes - ANPET. 1993. (Congresso).

24.
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1993. (Congresso).

25.
Applied Logic Conference. Applied Logic. 1992. (Congresso).

26.
Colóquio de Iniciação Cienífica.Colóquio de Iniciação Científica. 1992. (Seminário).

27.
Departmental Seminar.Program Synthesis for Mathematical Morphology. 1992. (Seminário).

28.
European Conference on Symbolic and Quantitative Aspects of Uncertainty. European Conference on Symbolic and Quantitative Aspects of Uncertainty. 1991. (Congresso).

29.
.A Framework for Representing Uncertainty in Automated Reasoning Systems. 1990. (Seminário).

30.
.A Multivalued Approach to the Representation of Uncertainty. 1990. (Seminário).

31.
6th International Conference - Uncertainty in Artificial Intelligence. 6th International Conference - Uncertainty in Artificial Intelligence. 1990. (Congresso).

32.
Primeiro Encontro Regional Sobre Inteligência Artificial.Primeiro Encontro Regional Sobre Inteligência Artificial. 1986. (Encontro).

33.
Seminário de CAD-CAM.Seminário de CAD-CAM. 1986. (Seminário).

34.
Treinamento Introdutório em Contabilidade e Finanças.Treinamento Introdutório em Contabilidade e Finanças. 1984. (Oficina).


Organização de eventos, congressos, exposições e feiras
1.
CORREA DA SILVA, F. S.; BANDINI, S. . Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments. 2008. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Joelma Cristina Costa e Silva. Autômatos celulares e gestão de multidões. Início: 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

2.
João Marcos de Mattos Barguil. Computação distribuída e sistemas de contabilização de tempo. Início: 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

3.
Pablo Cesar Ccori. Plataformas para máquinas sociais. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

4.
Erika Guetti Suca. Ontologias para interoperabilidade entre museus de artes. Início: 2013. 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).

Supervisão de pós-doutorado
1.
Andreiwid Sheffer Correa. Início: 2017. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.

2.
Rosimarci Tonaco Basbaum. Início: 2017. Universidade de São Paulo.


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Vinicius Kiwi Daros. Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS. 2015. 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: Flavio Soares Correa da Silva.

2.
Juliana Sato Yamashita. Visualização de tags para explicar e filtrar recomendações de músicas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

3.
Diego Mira David. Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

4.
Erika Guetti Suca. Interoperabilidade de documentos. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. Orientador: Flavio Soares Correa da Silva.

5.
Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. 2010. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . Orientador: Flavio Soares Correa da Silva.

6.
Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

7.
Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

8.
Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. Orientador: Flavio Soares Correa da Silva.

9.
Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

10.
Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. 2007. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

11.
Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

12.
Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. 2004. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

13.
Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. 2004. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

14.
Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

15.
Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

16.
Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

17.
Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. 2002. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

18.
Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. 2002. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Flavio Soares Correa da Silva.

19.
Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

20.
Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

21.
Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

22.
Sirley Ambrosia Vitorio. Obsolescência de Informação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

23.
Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

24.
Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

25.
Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

26.
Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

27.
Jefferson Zanutto. Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação. 1999. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

28.
Rodrigo de Salvo Braz. Alto Nível Em Redes Neurais. 1998. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

29.
Paulo Eduardo Santos. Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

30.
Daniela Vasconcelos Carbogim. Lógicas Anotadas: Teoria e Aplicações. 1996. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

31.
Renata Wasserman. A Lógica de Estruturas de Features e Suas Aplicações. 1995. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

32.
Roderick Mclean. Testing and Extending the Incidence Calculus. 1992. Dissertação - University of Edinburgh, . Coorientador: Flavio Soares Correa da Silva.

Tese de doutorado
1.
Maricy Caregnato. Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos. 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

2.
Luiz Carlos Vieira. Assessment of fun from the analysis of facial images. 2017. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

3.
Andreiwid Sheffer Correa. Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais. 2017. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . Coorientador: Flavio Soares Correa da Silva.

4.
Adalberto Bosco Pereira. Uso de jogos digitais no desenvolvimento de competências curriculares da matemática. 2017. 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: Flavio Soares Correa da Silva.

5.
André Luiz Kawamoto. Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos. 2016. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

6.
Marcos Silvano de Almeida. Design de jogos baseado em componentes. 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

7.
Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. 2012. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . Orientador: Flavio Soares Correa da Silva.

8.
Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. 2012. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

9.
Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. 2004. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

10.
Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. 2000. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . Coorientador: Flavio Soares Correa da Silva.

11.
Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. 2000. Tese - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

Supervisão de pós-doutorado
1.
Pierre Yves Andrews. 2014. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Flavio Soares Correa da Silva.

2.
Mirtha Lina Fernández Venero. 2014. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Flavio Soares Correa da Silva.



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



Textos em jornais de notícias/revistas
1.
UNGER, A. J. ; BARGUIL, J. M. M. ; CORREA DA SILVA, F. S. . Blockchain Technology: the Last Mile for Electronic Property Registry Systems. IPRA-CINDER: International Property Registries Association Review, Brasil, p. 32 - 35, 23 mar. 2017.



Outras informações relevantes


Presidente da Comissão de Relações Internacionais do IME/USP, de abril/2013 a abril/2017.
Diretor do Centro de Competência em Software Livre da USP, a partir de janeiro/2017.



Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 10:43:35