Search dblp for Publications

export results for "toc:db/journals/jbcs/jbcs22.bht:"

 download as .bib file

@article{DBLP:journals/jbcs/AbreuGCFS16,
  author       = {Renato B. Abreu and
                  Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Eddie Batista de Lima Filho and
                  Waldir Sabino da Silva Jr.},
  title        = {Bounded model checking for fixed-point digital filters},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {1:1--1:20},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0041-8},
  doi          = {10.1186/S13173-016-0041-8},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/AbreuGCFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/DantasKFS16,
  author       = {Ramide Dantas and
                  Carlos Kamienski and
                  Stenio Fernandes and
                  Djamel Sadok},
  title        = {Assessing the effectiveness of automated service composition},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {6:1--6:13},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0047-2},
  doi          = {10.1186/S13173-016-0047-2},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/DantasKFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/DelfimPCM16,
  author       = {Fernanda Madeiral Delfim and
                  Kl{\'{e}}risson Vin{\'{\i}}cius Ribeiro Paix{\~{a}}o and
                  Damien Cassou and
                  Marcelo de Almeida Maia},
  title        = {Redocumenting APIs with crowd knowledge: a coverage analysis based
                  on question types},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {9:1--9:34},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0049-0},
  doi          = {10.1186/S13173-016-0049-0},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/DelfimPCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/FreitasRF16,
  author       = {Pedro Garcia Freitas and
                  Ronaldo Rigoni and
                  Myl{\`{e}}ne C. Q. Farias},
  title        = {Secure self-recovery watermarking scheme for error concealment and
                  tampering detection},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {5:1--5:13},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0046-3},
  doi          = {10.1186/S13173-016-0046-3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbcs/FreitasRF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/LimaBFCGMS16,
  author       = {Anderson C. Lima and
                  Rodrigo G. Branco and
                  Samuel Ferraz and
                  Edson Norberto C{\'{a}}ceres and
                  Roussian R. A. Gaioso and
                  Wellington Santos Martins and
                  Siang W. Song},
  title        = {Solving the maximum subsequence sum and related problems using {BSP/CGM}
                  model and multi-GPU {CUDA}},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {7:1--7:13},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0045-4},
  doi          = {10.1186/S13173-016-0045-4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbcs/LimaBFCGMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/MatosMN16,
  author       = {Ernesto Cid Brasil de Matos and
                  Anamaria Martins Moreira and
                  Jo{\~{a}}o Batista de Souza Neto},
  title        = {An empirical study of test generation with {BETA}},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {8:1--8:17},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0048-1},
  doi          = {10.1186/S13173-016-0048-1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbcs/MatosMN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/PalmeiraBS16,
  author       = {Eduardo Silva Palmeira and
                  Benjam{\'{\i}}n R. C. Bedregal and
                  Jos{\'{e}} Anchieta G. dos Santos},
  title        = {Some results on extension of lattice-valued QL-implications},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {4:1--4:9},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0044-5},
  doi          = {10.1186/S13173-016-0044-5},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/PalmeiraBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/QueirosSNV16,
  author       = {Leandro Marques Queiros and
                  Denis Silva da Silveira and
                  Jorge S. Correia Neto and
                  Guilherme Vilar},
  title        = {{LODPRO:} learning objects development process},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {3:1--3:9},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0043-6},
  doi          = {10.1186/S13173-016-0043-6},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/QueirosSNV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/XavierBC16,
  author       = {Ademir L. Xavier Jr. and
                  Daniel Bonatti and
                  Sergio Celaschi},
  title        = {Rain gauge simulator and first tests with a new mobile climate alert
                  system in Brazil},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {2:1--2:14},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0042-7},
  doi          = {10.1186/S13173-016-0042-7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/XavierBC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics