Augusto Sampaio

Known as: Augusto Sampaio (computer scientist), Sampaio (disambiguation) 
Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. Augusto Sampaio from Recife… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1941-2018
02419412017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
  • Roberto González Echevarría
  • 2017
In his paper, "Latin American and Comparative Literature," Roberto González Echevarría asks whether comparative literature, a… (More)
Is this relevant?
2016
2016
40 José Eduardo Silva (Ph.D.) is Post-Doctoral researcher/Visiting assistant professor Faculty of Psychology and Education… (More)
Is this relevant?
2013
2013
Using social media data—specially twitter—of the Chilean 2011-12 student movement, we study their social network evolution over… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2013
2013
Giuseppe Galli was born in Ravenna in 1933. In 1957 he graduated in Medicine in Bologna. Here he carried out his psychological… (More)
Is this relevant?
2012
2012
A coloring c of a graph G = (V,E) is a b-coloring if in every color class there is a vertex colored i whose neighborhood… (More)
  • figure 2
Is this relevant?
2011
2011
  • atenção primária, Carla Gianna LuppiI, +7 authors Hélio Caiaffa-FilhoVI
  • 2011
Carla Gianna LuppiI Rute Loreto Sampaio de OliveiraI Maria Amélia VerasI Sheri A. LippmanII Heidi JonesIII Christiane Herold de… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
2003
2003
Cross-listed shares may confound government efforts to control capital outflows by providing a legal means through which… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2003
2003
Brenda Laurel’s approach to computing is a shock to many because of how classical it is. Certainly, it seemed radical in 1991 to… (More)
Is this relevant?
2000
2000
  • Dimitri Vittas, Marianne Leenaerts, Peter Agardh
  • 2000
Association of Mutual Funds for the useful information they provided, and Augusto Iglesias for his very helpful comments and… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
1999
1999
This paper describes a system (ParTS) for automatic hardware/software partitioning of applications described in the concurrent… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?