BibTeX records: Isabel Cafezeiro

download as .bib file

@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   = {Knowledge Eng. Review},
  volume    = {29},
  number    = {2},
  pages     = {171--185},
  year      = {2014},
  url       = {https://doi.org/10.1017/S0269888914000046},
  doi       = {10.1017/S0269888914000046},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ker/CafezeiroVRHE14},
  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},
  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}},
  pages     = {58--68},
  year      = {2014},
  crossref  = {DBLP:conf/hci/2014-1},
  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/bib/conf/hci/CafezeiroGCM14},
  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},
  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},
  pages     = {519--533},
  year      = {2008},
  crossref  = {DBLP:conf/isola/2008},
  url       = {https://doi.org/10.1007/978-3-540-88479-8\_37},
  doi       = {10.1007/978-3-540-88479-8\_37},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/CafezeiroFRHE08},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/percom/2008},
  url       = {https://doi.org/10.1109/PERCOM.2008.21},
  doi       = {10.1109/PERCOM.2008.21},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/percom/CafezeiroHR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/CafezeiroH07,
  author    = {Isabel Cafezeiro and
               Edward Hermann Haeusler},
  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},
  pages     = {197--202},
  year      = {2007},
  crossref  = {DBLP:conf/er/2007tppi},
  url       = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV83Cafezeiro.html},
  timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/er/CafezeiroH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laptec/CafezeiroH07,
  author    = {Isabel Cafezeiro and
               Edward Hermann Haeusler},
  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},
  pages     = {1--12},
  year      = {2007},
  crossref  = {DBLP:conf/laptec/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/bib/conf/laptec/CafezeiroH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hci/2014-1,
  editor    = {Masaaki Kurosu},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07233-3},
  doi       = {10.1007/978-3-319-07233-3},
  isbn      = {978-3-319-07232-6},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hci/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-88478-1},
  timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/percom/2008,
  title     = {Sixth Annual {IEEE} International Conference on Pervasive Computing
               and Communications (PerCom 2008), 17-21 March 2008, Hong Kong},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4517340/proceeding},
  isbn      = {978-0-7695-3113-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/percom/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/er/2007tppi,
  editor    = {John C. Grundy and
               Sven Hartmann and
               Alberto H. F. Laender and
               Leszek A. Maciaszek and
               John F. Roddick},
  title     = {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},
  publisher = {Australian Computer Society},
  year      = {2007},
  isbn      = {978-1-920682-64-4},
  timestamp = {Tue, 17 Jun 2008 13:54:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/er/2007tppi},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laptec/2007,
  editor    = {Germano Lambert{-}Torres and
               Jair Minoro Abe and
               Jo{\~{a}}o In{\'{a}}cio da Silva Filho and
               Helga Gonzaga Martins},
  title     = {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},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-58603-936-3},
  timestamp = {Thu, 26 Feb 2009 13:07:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laptec/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics