 | 2009 |
|---|
| 6 |       | Edward Hermann Haeusler,
Alexandre Rademaker:
Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}.
ER Workshops 2009: 34-44 |
| 2008 |
|---|
| 5 | | Isabel Cafezeiro,
José Viterbo Filho,
Alexandre Rademaker,
Edward Hermann Haeusler,
Markus Endler:
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.
ISoLA 2008: 519-533 |
| 4 | | Isabel Cafezeiro,
Edward Hermann Haeusler,
Alexandre Rademaker:
Ontology and Context.
PerCom 2008: 417-422 |
| 3 | | Alexandre Rademaker,
Edward Hermann Haeusler:
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.
SBIA 2008: 167-176 |
| 2006 |
|---|
| 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.
EDOC Workshops 2006: 1 |
| 2005 |
|---|
| 1 | | Alexandre Rademaker,
Christiano de O. Braga,
Alexandre Sztajnberg:
A Rewriting Semantics for a Software Architecture Description Language.
Electr. Notes Theor. Comput. Sci. 130: 345-377 (2005) |
