Search the dblp DataBase

Publications of Author

1. Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg
   A Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:345-377 [Journal]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   EDOC Workshops, 2006, pp:1- [Conf]
   
3. 
   Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}. [Citation Graph (, )][DBLP]
   
   
4. 
   A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. [Citation Graph (, )][DBLP]
   
   
5. 
   Ontology and Context. [Citation Graph (, )][DBLP]
   
   
6. 
   Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. [Citation Graph (, )][DBLP]