Ontologias e Especificações

1. Specifying ubiquitous systems through the algebra of contextualized ontologies
   KNOWLEDGE ENGINEERING REVIEW (ONLINE), v. 29, p. 171-185, 2014.
   Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
   The final publication is available at KER
   
   
2. Algebraic Framework for Reverse Engineering on Specifications
   Frontiers in Artificial Intelligence and Applications - Selected Papers from the Sixth Congress on Logic Applied to Technology ISBN: 9781586039363. 1ed.Amsterdam: IOS Press, 2009, v. 186, p. 1-12.
   Isabel Cafezeiro, Edward Hermann Haeusler
   The final publication is available at IOS
   
   
3. Designing ubiquitous applications
   Proceedings of the 6th international workshop on Managing ubiquitous communications and services - MUCS '09. p. 17.
   Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
   The final publication is available at IOS
   
   
4. A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
   Communications in Computer and Information Science. 1ed.ISBN: 9783540884781: Springer Berlin Heidelberg, 2008, v. , p. 519-533.
   Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
   The final publication is available at link.springer
   
   
5. ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua
   Seminário de Pesquisa em Ontologia no Brasil, Niterói, 2008
   Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
   
   
   
6. Ontology and Context
   Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008. p. 417.
   Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
   The final publication is available at IEEE
   
   
7. Semantics Interoperability via Category Theory
   ER 2007, 2007, Auckland. Proc. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, v. 83. p. 197-202.
   Isabel Cafezeiro, Edward Hermann Haeusler
   The final publication is available at ACM
   
   
8. Categorical Limits and Reuse of Algebraic Specifications
   Advances in Logic, Artificial Intelligence and Robotics ISBN: 1586032925. 1ed.Amsterdam: IOS Press, 2002, v. 85, p. 216-233.
   Isabel Cafezeiro, Edward Hermann Haeusler
   
   
9. Sharing and Denotational Semantics
   Simpósio Brasileiro de Engenharia de Software e Simpósio Brasileiro de Banco de Dados (2000) -Workshop de Métodos Formais. João Pessoa: Sociedade Brasileira de Computação, 2000. p. 145-156.
   Isabel Cafezeiro, Edward Hermann Haeusler
   
   
10. Programming language syntax: expressing sharing
    Monografias em Ciência da Computação, v. 1999, p. 9, 1999.
    Isabel Cafezeiro, Edward Hermann Haeusler, Armando Haeberer
    Publicação final em inf.puc-rio
    
    
11. From diagram to code via attribute grammar
    Monografias em Ciência da Computação, v. 1997, p. 03, 1997.
    Isabel Cafezeiro, Edward Hermann Haeusler, Armando Haeberer
    Publicação final em inf.puc-rio
    
    
12. From diagram to code via attribute grammar
    II Simpósio Brasileiro de Linguagens de Programação. Campinas: Universidade Estadual de Campinas, 1997. p. 165-178
    Isabel Cafezeiro, Edward Hermann Haeusler, Armando Haeberer
    
    
13. Paradigmas de linguagens de programação: uma abordagem geométrica
    Monografias em Ciência da Computação, v. 1996, p. 21, 1996.
    Isabel Cafezeiro, Edward Hermann Haeusler, Carlos Lucena
    Publicação final em inf.puc-rio
    
    
14. Paradigmas de linguagens de programação: uma abordagem geométrica
    I Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: Universidade Federal de Minas Gerais, 1996. p. 265-276.
    Isabel Cafezeiro, Edward Hermann Haeusler, Carlos Lucena
    
    
15. Protótipo para especificação de Processos baseado em CSP
    Anais do XIV Congresso da SBC, 1994. p. 365-377.
    Isabel Cafezeiro