Daniel Aguiar da Silva

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Semantic Web Rule Language

Statistical Summaries

Top Venues

Publications

Luís Sérgio de Oliveira Araújo, Mauro Tapajós Santos, Daniel Aguiar da Silva
The Brazilian federal budget ontology: a semantic web case of public open data. MEDES (2015)
Luís Sérgio de Oliveira Araújo, Daniel Aguiar da Silva, Mauro Tapajós Santos, Fernando William Cruz, Matheus S. Fonseca, Guilherme de L. Bernardes
Uma Ontologia das Classificações da Despesa do Orçamento Federal. ONTOBRAS-MOST (2012)
Daniel Aguiar da Silva, Patrícia D. L. Machado
Towards Test Purpose Generation from CTL Properties for Reactive Systems. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)