Carlos Bazílio

According to our database, Carlos Bazílio authored at least 3 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

An Application Ontology to Support the Access to Data of Medical Doctors and Health Facilities in Brazilian Municipalities.

Aline Souza, Carlos Bazílio, Adriana Pereira de Medeiros

Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2015), 2015

2006

An Ontology-based Approach to the Formalization of Information Security Policies.

Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems.

Carlos Bazílio, Edward Hermann Haeusler, Markus Endler

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005