Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cuza/AmanC22,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  title        = {New Editorial Team for {SACS} after 16 Years},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {181--182},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.181},
  doi          = {10.7561/SACS.2022.2.181},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/AmanC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Bergstra22,
  author       = {Jan A. Bergstra},
  title        = {A Survey of Testing for Instruction Sequence Theory},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {5--86},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.5},
  doi          = {10.7561/SACS.2022.1.5},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Bergstra22a,
  author       = {Jan A. Bergstra},
  title        = {Four Notions of Fault for Program Specifications},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {183--209},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.183},
  doi          = {10.7561/SACS.2022.2.183},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/BergstraT22,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Which Arithmetical Data Types Admit Fracterm Flattening?},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {87--107},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.87},
  doi          = {10.7561/SACS.2022.1.87},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Ciobanu22,
  author       = {Gabriel Ciobanu},
  title        = {Reflections on a Scientific Journal},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {1--4},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.1},
  doi          = {10.7561/SACS.2022.1.1},
  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Ciobanu22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Czeizler0P22,
  author       = {Eugen Czeizler and
                  Alexandru Popa and
                  Victor Popescu},
  title        = {Fixed Parameter Algorithms and Hardness of Approximation Results for
                  the Structural Target Controllability Problem},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {109--136},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.109},
  doi          = {10.7561/SACS.2022.1.109},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Czeizler0P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/DuDG22,
  author       = {Wenjie Du and
                  Yuxin Deng and
                  Daniel Gebler},
  title        = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {211--254},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.211},
  doi          = {10.7561/SACS.2022.2.211},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/DuDG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/LaghribHH22,
  author       = {Amine Laghrib and
                  Aissam Hadri and
                  Moad Hakim},
  title        = {An Enhanced Fluid Registration for Image Multi-Frame Super Resolution},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {255--283},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.255},
  doi          = {10.7561/SACS.2022.2.255},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/LaghribHH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Middelburg22,
  author       = {Cornelis A. Middelburg},
  title        = {Imperative Process Algebra with Abstraction},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {137--179},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.137},
  doi          = {10.7561/SACS.2022.1.137},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Middelburg22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Middelburg22a,
  author       = {Cornelis A. Middelburg},
  title        = {Program Algebra for Random Access Machine Programs},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {285--319},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.285},
  doi          = {10.7561/SACS.2022.2.285},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Middelburg22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}