Carlos Bazílio

Publication Activity (10 Years)

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

Top Topics

Health Information

Top Venues

Publications

Aline Souza, Carlos Bazílio, Adriana Pereira de Medeiros
An Application Ontology to Support the Access to Data of Medical Doctors and Health Facilities in Brazilian Municipalities. ONTOBRAS (2015)
Carlos Bazílio, Edward Hermann Haeusler, Markus Endler
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electron. Notes Theor. Comput. Sci. 184 (2007)
Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler
An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops (2006)