BibTeX records: Isabel Cafezeiro

• > Home > Persons > Isabel Cafezeiro

@article{DBLP:journals/isys/CafezeiroL17,
  author       = {Isabel Cafezeiro and
                  Fabio Silva Lopes},
  title        = {Editorial da Edi{\c{c}}{\~{a}}o especial Abordagem sociot{\'{e}}cnica},
  journal      = {Braz. J. Inf. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {1--4},
  year         = {2017},
  url          = {https://doi.org/10.5753/isys.2017.332},
  doi          = {10.5753/ISYS.2017.332},
  timestamp    = {Sat, 17 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isys/CafezeiroL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isys/BragaCC17,
  author       = {Tiago De Jesus Braga and
                  Leonardo Cruz da Costa and
                  Isabel Cafezeiro},
  title        = {Educa{\c{c}}{\~{a}}o, Sociedade e Forma{\c{c}}{\~{a}}o em Sistemas
                  de Informa{\c{c}}{\~{a}}o},
  journal      = {Braz. J. Inf. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {5--23},
  year         = {2017},
  url          = {https://doi.org/10.5753/isys.2017.349},
  doi          = {10.5753/ISYS.2017.349},
  timestamp    = {Sat, 17 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isys/BragaCC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ker/CafezeiroVRHE14,
  author       = {Isabel Cafezeiro and
                  Jos{\'{e}} Viterbo and
                  Alexandre Rademaker and
                  Edward Hermann Haeusler and
                  Markus Endler},
  title        = {Specifying ubiquitous systems through the algebra of contextualized
                  ontologies},
  journal      = {Knowl. Eng. Rev.},
  volume       = {29},
  number       = {2},
  pages        = {171--185},
  year         = {2014},
  url          = {https://doi.org/10.1017/S0269888914000046},
  doi          = {10.1017/S0269888914000046},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/CafezeiroVRHE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/CafezeiroGCM14,
  author       = {Isabel Cafezeiro and
                  Carmem Gadelha and
                  Virginia Chaitin and
                  Ivan da Costa Marques},
  editor       = {Masaaki Kurosu},
  title        = {A Knowledge-Construction Perspective on Human Computing, Collaborative
                  Behavior and New Trends in System Interactions},
  booktitle    = {Human-Computer Interaction. Theories, Methods, and Tools - 16th International
                  Conference, {HCI} International 2014, Heraklion, Crete, Greece, June
                  22-27, 2014, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8510},
  pages        = {58--68},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07233-3\_6},
  doi          = {10.1007/978-3-319-07233-3\_6},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/CafezeiroGCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/CafezeiroFRHE08,
  author       = {Isabel Cafezeiro and
                  Jos{\'{e}} Viterbo Filho and
                  Alexandre Rademaker and
                  Edward Hermann Haeusler and
                  Markus Endler},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous
                  Computing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation,
                  Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
                  13-15, 2008. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {17},
  pages        = {519--533},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88479-8\_37},
  doi          = {10.1007/978-3-540-88479-8\_37},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/CafezeiroFRHE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/percom/CafezeiroHR08,
  author       = {Isabel Cafezeiro and
                  Edward Hermann Haeusler and
                  Alexandre Rademaker},
  title        = {Ontology and Context},
  booktitle    = {Sixth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications (PerCom 2008), 17-21 March 2008, Hong Kong},
  pages        = {417--422},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/PERCOM.2008.21},
  doi          = {10.1109/PERCOM.2008.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/CafezeiroHR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/er/CafezeiroH07,
  author       = {Isabel Cafezeiro and
                  Edward Hermann Haeusler},
  editor       = {John C. Grundy and
                  Sven Hartmann and
                  Alberto H. F. Laender and
                  Leszek A. Maciaszek and
                  John F. Roddick},
  title        = {Semantic Interoperability via Category Theory},
  booktitle    = {Challenges in Conceptual Modelling. Tutorials, posters, panels and
                  industrial contributions at the 26th International Conference on Conceptual
                  Modeling - {ER} 2007. Auckland, New Zealand, November 5-9, 2007. Proceedings},
  series       = {{CRPIT}},
  volume       = {83},
  pages        = {197--202},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV83Cafezeiro.html},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/er/CafezeiroH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/laptec/CafezeiroH07,
  author       = {Isabel Cafezeiro and
                  Edward Hermann Haeusler},
  editor       = {Germano Lambert{-}Torres and
                  Jair Minoro Abe and
                  Jo{\~{a}}o In{\'{a}}cio da Silva Filho and
                  Helga Gonzaga Martins},
  title        = {Algebraic Framework for Reverse Engineering on Specifications},
  booktitle    = {Advances in Technological Applications of Logical and Intelligent
                  Systems, Selected Papers from the Sixth Congress on Logic Applied
                  to Technology, {LAPTEC} 2007, Unisanta, Santa Cecilia University,
                  Santos, Brazil, November 21-23, 2007},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {186},
  pages        = {1--12},
  publisher    = {{IOS} Press},
  year         = {2007},
  url          = {https://doi.org/10.3233/978-1-58603-936-3-1},
  doi          = {10.3233/978-1-58603-936-3-1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/laptec/CafezeiroH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}