Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Augusto_Sampaio_(computer_scientist)> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Augusto_Sampaio_(computer_scientist) abstract "Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributations are in the area of model transformations and automatic generation of test from formal models.".
- Augusto_Sampaio_(computer_scientist) wikiPageID "42447470".
- Augusto_Sampaio_(computer_scientist) wikiPageRevisionID "604151631".
- Augusto_Sampaio_(computer_scientist) subject Category:Brazilian_academics.
- Augusto_Sampaio_(computer_scientist) subject Category:Computer_scientists.
- Augusto_Sampaio_(computer_scientist) type Agent.
- Augusto_Sampaio_(computer_scientist) type Person.
- Augusto_Sampaio_(computer_scientist) type Person.
- Augusto_Sampaio_(computer_scientist) type Q215627.
- Augusto_Sampaio_(computer_scientist) type Q5.
- Augusto_Sampaio_(computer_scientist) type Agent.
- Augusto_Sampaio_(computer_scientist) type NaturalPerson.
- Augusto_Sampaio_(computer_scientist) type Thing.
- Augusto_Sampaio_(computer_scientist) type Person.
- Augusto_Sampaio_(computer_scientist) comment "Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributations are in the area of model transformations and automatic generation of test from formal models.".
- Augusto_Sampaio_(computer_scientist) label "Augusto Sampaio (computer scientist)".
- Augusto_Sampaio_(computer_scientist) sameAs m.051g3lq.
- Augusto_Sampaio_(computer_scientist) sameAs Q16466596.
- Augusto_Sampaio_(computer_scientist) sameAs Q16466596.
- Augusto_Sampaio_(computer_scientist) wasDerivedFrom Augusto_Sampaio_(computer_scientist)?oldid=604151631.
- Augusto_Sampaio_(computer_scientist) isPrimaryTopicOf Augusto_Sampaio_(computer_scientist).