Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AnconaBZ23,
  author       = {Davide Ancona and
                  Pietro Barbieri and
                  Elena Zucca},
  title        = {Checked corecursive streams: Expressivity and completeness},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114081},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114081},
  doi          = {10.1016/J.TCS.2023.114081},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AnconaBZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BiloV23,
  author       = {Vittorio Bil{\`{o}} and
                  Cosimo Vinci},
  title        = {Congestion games with priority-based scheduling},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114094},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114094},
  doi          = {10.1016/J.TCS.2023.114094},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BiloV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Broy23,
  author       = {Manfred Broy},
  title        = {Specification and verification of concurrent systems by causality
                  and realizability},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114106},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114106},
  doi          = {10.1016/J.TCS.2023.114106},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Broy23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CiceroneSDHKY23,
  author       = {Serafino Cicerone and
                  Gabriele Di Stefano and
                  Lara Drozdek and
                  Jaka Hedzet and
                  Sandi Klavzar and
                  Ismael G. Yero},
  title        = {Variety of mutual-visibility problems in graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114096},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114096},
  doi          = {10.1016/J.TCS.2023.114096},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CiceroneSDHKY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EscardoO23,
  author       = {Mart{\'{\i}}n Escard{\'{o}} and
                  Paulo Oliva},
  title        = {Higher-order games with dependent types},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114111},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114111},
  doi          = {10.1016/J.TCS.2023.114111},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EscardoO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FleischmannHHHMN23,
  author       = {Pamela Fleischmann and
                  Lukas Haschke and
                  Jonas H{\"{o}}fer and
                  Annika Huch and
                  Annika Mayrock and
                  Dirk Nowotka},
  title        = {Nearly \emph{k}-universal words - Investigating a part of Simon's
                  congruence},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114113},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114113},
  doi          = {10.1016/J.TCS.2023.114113},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FleischmannHHHMN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/InoueHS23,
  author       = {Yusuke Inoue and
                  Kenji Hashimoto and
                  Hiroyuki Seki},
  title        = {An ambiguity hierarchy of weighted context-free grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114112},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114112},
  doi          = {10.1016/J.TCS.2023.114112},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/InoueHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LenhartL23,
  author       = {William J. Lenhart and
                  Giuseppe Liotta},
  title        = {Mutual witness Gabriel drawings of complete bipartite graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {974},
  pages        = {114115},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114115},
  doi          = {10.1016/J.TCS.2023.114115},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LenhartL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}