ReP

Filtros

• Sources
  • produção científica (~14)
• Document Types
  • trabalho de evento-anais periodico (~12)
  • artigo de periodico-apres/intr (~2)
• Grau
• USP Schools
  • ime (~12)
  • icmc (~2)
  • if (~1)
• Departament
  • ime-mac (~11)
  • ime-mat (~1)
• Authors
  • finger, marcelo (6)
  • cherman, everton alvares (2)
  • fernandes, cristina gomes (2)
  • melo, ana cristina vieira de (2)
  • monard, maria carolina (2)
  mais >>

Authors

• finger, marcelo (6)
• cherman, everton alvares (2)
• fernandes, cristina gomes (2)
• melo, ana cristina vieira de (2)
• monard, maria carolina (2)
• spolaôr, newton (2)
• bianconi, ricardo (1)
• botler, fábio happ (1)
• cerioli, márcia r (1)
• coutinho, gabriel (1)
• fernández, maribel (1)
• gutierrez, juan (1)
• kaestner, celso a. a. (1)
• kohayakawa, yoshiharu (1)
• lee, huei diana (1)
• lee, orlando (1)
• lintzmayer, carla negri (1)
• mota, guilherme oliveira (1)
• neto, adolfo (1)
• preto, sandro (1)
• rabello, guilherme de souza (1)
• santos, vinicius dos (1)
• silva, cândida nunes da (1)
• silva, paulo salem da (1)
• tomás, jimena torres (1)
• urrutia, sebastián (1)
• wassermann, renata (1)

Fechar
• USP affiliated authors
  • finger, marcelo (6)
  • fernandes, cristina gomes (2)
  • melo, ana cristina vieira de (2)
  • monard, maria carolina (2)
  • bianconi, ricardo (1)
  mais >>

USP affiliated authors

• finger, marcelo (6)
• fernandes, cristina gomes (2)
• melo, ana cristina vieira de (2)
• monard, maria carolina (2)
• bianconi, ricardo (1)
• kohayakawa, yoshiharu (1)
• preto, sandro márcio da silva (1)
• rabello, guilherme de souza (1)
• silva, paulo salem da (1)
• wassermann, renata (1)

Fechar
• Date published
  • 2020 (1)
  • 2019 (3)
  • 2014 (2)
  • 2013 (1)
  • 2009 (3)
  mais >>

Date published

• 2020 (1)
• 2019 (3)
• 2014 (2)
• 2013 (1)
• 2009 (3)
• 2006 (1)
• 2005 (1)
• 2003 (1)
• 2002 (1)

Fechar
• Subjects
  • inteligência artificial (3)
  • lógica formal (3)
  • teoria dos grafos (3)
  • ciência da computação (1)
  • java (1)
  mais >>

Subjects

• inteligência artificial (3)
• lógica formal (3)
• teoria dos grafos (3)
• ciência da computação (1)
• java (1)
• lógica modal (1)
• modelos de processo de software (1)
• modelos matemáticos (1)
• representação de conhecimento (1)
• semântica (1)
• teoria dos autômatos (1)
• teoria dos conjuntos (1)
• variedades complexas (1)
• web semântica (1)

Fechar
• Language
  • inglês (~14)
• Source title
  • electronic notes in theoretical computer science (~14)
• Publisher
  • elsevier (~9)
• Conference titles
  • latin and american algorithms, graphs and optimization symposium - lagos (3)
  • brazilian symposium on formal methods - sbmf (2)
  • workshop on logic, language, information and computation - wollic (2)
  • workshop on logical and semantic frameworks, with applications - lsfa (2)
  • international workshop on logical and semantic frameworks, with applications - lsfa 2020 (1)
  mais >>

Conference titles

• latin and american algorithms, graphs and optimization symposium - lagos (3)
• brazilian symposium on formal methods - sbmf (2)
• workshop on logic, language, information and computation - wollic (2)
• workshop on logical and semantic frameworks, with applications - lsfa (2)
• international workshop on logical and semantic frameworks, with applications - lsfa 2020 (1)
• latin american computing conference - clei (1)
• latin american conference in informatics - clei (1)
• workhop on logic, language, information and computation - wollic (1)

Fechar
• GDS
• Countries/Territories
  • holanda (~14)
• Grupo de pesquisa
• Funding Agencies
  • financiado pela fapesp (4)
  • financiado pelo cnpq (4)
  • conselho nacional de desenvolvimento científico e tecnológico (cnpq) (3)
  • financiado pela capes (3)
  mais >>

Funding Agencies

• financiado pela fapesp (4)
• financiado pelo cnpq (4)
• conselho nacional de desenvolvimento científico e tecnológico (cnpq) (3)
• financiado pela capes (3)
• financiamento cnpq (2)
• fundação de amparo à pesquisa do estado de são paulo (fapesp) (2)

Fechar