Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cuza/Bergstra21,
  author       = {Jan A. Bergstra},
  title        = {Qualifications of Instruction Sequence Failures, Faults and Defects:
                  Dormant, Effective, Detected, Temporary, and Permanent},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {1--50},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.1},
  doi          = {10.7561/SACS.2021.1.1},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/DasR21,
  author       = {Shibsankar Das and
                  Shikha Rai},
  title        = {Topological Characterization of the Third Type of Triangular Hex-derived
                  Networks},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {2},
  pages        = {145--161},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.2.145},
  doi          = {10.7561/SACS.2021.2.145},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/DasR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Iorgulescu21,
  author       = {Afrodita Iorgulescu},
  title        = {On Quantum-MV Algebras - Part {I:} The Orthomodular Algebras},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {2},
  pages        = {163--222},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.2.163},
  doi          = {10.7561/SACS.2021.2.163},
  timestamp    = {Mon, 20 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Iorgulescu21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Mandrali21,
  author       = {Eleni Mandrali},
  title        = {A Translation of Weighted {LTL} Formulas to Weighted B\{{\textbackslash}"
                  u\}chi Automata over \{{\textbackslash}({\textbackslash}omega{\textbackslash})\}-valuation
                  Monoids},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {2},
  pages        = {223--292},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.2.223},
  doi          = {10.7561/SACS.2021.2.223},
  timestamp    = {Mon, 20 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Mandrali21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Muresan21,
  author       = {Claudia Muresan},
  title        = {A Note on Congruences of Infinite Bounded Involution Lattices},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {51--78},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.51},
  doi          = {10.7561/SACS.2021.1.51},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Muresan21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Rudi21,
  author       = {Ali Gholami Rudi},
  title        = {Maximizing the Number of Visible Labels on a Rotating Map},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {2},
  pages        = {293--313},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.2.293},
  doi          = {10.7561/SACS.2021.2.293},
  timestamp    = {Mon, 20 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Rudi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/RussoF21,
  author       = {Lu{\'{\i}}s M. S. Russo and
                  Alexandre P. Francisco},
  title        = {Small Longest Tandem Scattered Subsequences},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {79--110},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.79},
  doi          = {10.7561/SACS.2021.1.79},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/RussoF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/TrezzyOOO21,
  author       = {Micka{\"{e}}l Trezzy and
                  Ileana Ober and
                  Iulian Ober and
                  Raquel Ara{\'{u}}jo de Oliveira},
  title        = {Applying {MDE} to {ROS} Systems: {A} Comparative Analysis},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {111--144},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.111},
  doi          = {10.7561/SACS.2021.1.111},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/TrezzyOOO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}