ReP

Filtros

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

Authors

• finger, marcelo (4)
• cherman, everton alvares (2)
• coutinho, gabriel (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)
• fernández, maribel (1)
• godsil, chris (1)
• gutierrez, juan (1)
• kohayakawa, yoshiharu (1)
• lee, huei diana (1)
• lee, orlando (1)
• lintzmayer, carla negri (1)
• mota, guilherme oliveira (1)
• preto, sandro (1)
• rabello, guilherme de souza (1)
• roberson, david e (1)
• santos, vinicius dos (1)
• silva, cândida nunes da (1)
• silva, marcel kenji de carli (1)
• tomás, jimena torres (1)
• urrutia, sebastián (1)
• wassermann, renata (1)

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

USP affiliated authors

• finger, marcelo (4)
• 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, marcel kenji de carli (1)
• wassermann, renata (1)

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

Date published

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

Fechar
• Subjects
  • inteligência artificial (3)
  • teoria dos grafos (3)
  • programação matemática (2)
  • ciência da computação (1)
  • computabilidade e complexidade (1)
  mais >>

Subjects

• inteligência artificial (3)
• teoria dos grafos (3)
• programação matemática (2)
• ciência da computação (1)
• computabilidade e complexidade (1)
• lógica formal (1)
• lógica modal (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)

Fechar
• Language
  • inglês (~13)
• Source title
  • electronic notes in theoretical computer science (~13)
• Publisher
  • elsevier (~7)
• Conference titles
  • latin and american algorithms, graphs and optimization symposium - lagos (4)
  • workshop on logic, language, information and computation - wollic (2)
  • brazilian symposium on formal methods - sbmf (1)
  • 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)
• workshop on logic, language, information and computation - wollic (2)
• brazilian symposium on formal methods - sbmf (1)
• 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)

Fechar
• GDS
• Countries/Territories
  • holanda (~13)
• Grupo de pesquisa
• Funding Agencies
  • financiado pelo cnpq (5)
  • financiado pela fapesp (4)
  • financiado pela capes (3)
  • financiamento cnpq (2)
  mais >>

Funding Agencies

• financiado pelo cnpq (5)
• financiado pela fapesp (4)
• financiado pela capes (3)
• financiamento cnpq (2)
• financiado pela natural sci eng res council of canada (1)

Fechar
• Indexado em
  • indexado no scopus (~2)
• Collaboration
• Normalized affiliation
• Non normalized affiliation
  • federal university of minas gerais - dept. of computer science - belo horizonte (2)
  • federal university of abc - center for mathematics, computing and cognition - santo andré, sp (1)
  • federal university of rio de janeiro - institute of de mathematics and pesc-coppe - rio de janeiro (1)
  • federal university of são carlos - department of computing - são carlos, sp (1)
  mais >>

Non normalized affiliation

• federal university of minas gerais - dept. of computer science - belo horizonte (2)
• federal university of abc - center for mathematics, computing and cognition - santo andré, sp (1)
• federal university of rio de janeiro - institute of de mathematics and pesc-coppe - rio de janeiro (1)
• federal university of são carlos - department of computing - são carlos, sp (1)
• universidade federal do rio de janeiro - programa de engenharia de sistemas e computação - rio de janeiro (1)
• university of campinas - institute of computing - campinas, sp (1)
• university of denmark - dept. of applied mathematics and computer science technical - kongens lyngby (1)
• university of waterloo - dept. of combinatorics and optimization - waterloo (1)
• western paraná state university - laboratory of bioinformatics (1)

Fechar
• Countries of institutions of collaboration
  • brasil (~4)
  • canadá (~1)
  • dinamarca (~1)
• Qualis 2013/2016 - Área