ReP

Filtros

• Sources
  • produção científica (~15)
• Document Types
  • trabalho de evento-anais periodico (~13)
  • artigo de periodico-apres/intr (~2)
• Grau
• USP Schools
  • ime (~13)
  • icmc (~2)
• Departament
  • ime-mac (~12)
  • ime-mat (~1)
• Authors
  • finger, marcelo (5)
  • melo, ana cristina vieira de (3)
  • cherman, everton alvares (2)
  • coutinho, gabriel (2)
  • fernandes, cristina gomes (2)
  mais >>

Authors

• finger, marcelo (5)
• melo, ana cristina vieira de (3)
• cherman, everton alvares (2)
• coutinho, gabriel (2)
• fernandes, cristina gomes (2)
• monard, maria carolina (2)
• spolaôr, newton (2)
• bianconi, ricardo (1)
• botler, fábio happ (1)
• cerioli, márcia r (1)
• fernández, maribel (1)
• godsil, chris (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)
• roberson, david e (1)
• santos, vinicius dos (1)
• silva, cândida nunes da (1)
• silva, marcel kenji de carli (1)
• silva, paulo salem da (1)
• tomás, jimena torres (1)
• urrutia, sebastián (1)
• wassermann, renata (1)

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

USP affiliated authors

• finger, marcelo (5)
• melo, ana cristina vieira de (3)
• fernandes, cristina gomes (2)
• monard, maria carolina (2)
• bianconi, ricardo (1)
• kohayakawa, yoshiharu (1)
• preto, sandro márcio da silva (1)
• silva, marcel kenji de carli (1)
• silva, paulo salem da (1)
• wassermann, renata (1)

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

Date published

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

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

Subjects

• inteligência artificial (3)
• lógica formal (3)
• teoria dos grafos (3)
• programação matemática (2)
• ciência da computação (1)
• computabilidade e complexidade (1)
• java (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 (~15)
• Source title
  • electronic notes in theoretical computer science (~15)
• Publisher
  • elsevier (~9)
• Conference titles
  • latin and american algorithms, graphs and optimization symposium - lagos (4)
  • brazilian symposium on formal methods - sbmf (2)
  • workshop on logical and semantic frameworks, with applications - lsfa (2)
  • brazilian workshop on formal methods - wmf (1)
  • international workshop on logical and semantic frameworks, with applications - lsfa 2020 (1)
  mais >>

Conference titles

• latin and american algorithms, graphs and optimization symposium - lagos (4)
• brazilian symposium on formal methods - sbmf (2)
• workshop on logical and semantic frameworks, with applications - lsfa (2)
• brazilian workshop on formal methods - wmf (1)
• 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)
• workshop on logic, language, information and computation - wollic (1)

Fechar
• GDS
• Countries/Territories
  • holanda (~15)
• Grupo de pesquisa