Search dblp for Publications

export results for "toc:db/journals/tcs/tcs655.bht:"

 download as .bib file

@article{DBLP:journals/tcs/0001BW16,
  author       = {Nathalie Bertrand and
                  Luca Bortolussi and
                  Herbert Wiklicky},
  title        = {Editorial: Quantitative Aspects of Programming Languages and Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {91},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.023},
  doi          = {10.1016/J.TCS.2016.11.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/0001BW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AmiriKR16,
  author       = {Saeed Akhoondian Amiri and
                  Stephan Kreutzer and
                  Roman Rabinovich},
  title        = {DAG-width is PSPACE-complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {78--89},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.09.011},
  doi          = {10.1016/J.TCS.2016.09.011},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AmiriKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BonatoMPP16,
  author       = {Anthony Bonato and
                  Dieter Mitsche and
                  Xavier P{\'{e}}rez{-}Gim{\'{e}}nez and
                  Pawel Pralat},
  title        = {A probabilistic version of the game of Zombies and Survivors on graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {2--14},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.012},
  doi          = {10.1016/J.TCS.2015.12.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonatoMPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FoersterW16,
  author       = {Klaus{-}Tycho Foerster and
                  Roger Wattenhofer},
  title        = {Lower and upper competitive bounds for online directed graph exploration},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {15--29},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.11.017},
  doi          = {10.1016/J.TCS.2015.11.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FoersterW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FominFNT16,
  author       = {Fedor V. Fomin and
                  Pierre Fraigniaud and
                  Nicolas Nisse and
                  Dimitrios M. Thilikos},
  title        = {Forewords: Special issue on Theory and Applications of Graph Searching
                  Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {1},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.001},
  doi          = {10.1016/J.TCS.2016.11.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FominFNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GazeauMP16,
  author       = {Ivan Gazeau and
                  Dale Miller and
                  Catuscia Palamidessi},
  title        = {Preserving differential privacy under finite-precision semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {92--108},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.015},
  doi          = {10.1016/J.TCS.2016.01.015},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GazeauMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LasotaP16,
  author       = {Slawomir Lasota and
                  Marcin Poturalski},
  title        = {Undecidability of performance equivalence of Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {109--119},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.034},
  doi          = {10.1016/J.TCS.2016.01.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LasotaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lehner16,
  author       = {Florian Lehner},
  title        = {Pursuit evasion on infinite graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {30--40},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.024},
  doi          = {10.1016/J.TCS.2016.04.024},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Lehner16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LuccioP16,
  author       = {Fabrizio Luccio and
                  Linda Pagli},
  title        = {More agents may decrease global work: {A} case in butterfly decontamination},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {41--57},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.09.027},
  doi          = {10.1016/J.TCS.2016.09.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LuccioP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/McIverRS16,
  author       = {Annabelle McIver and
                  Tahiry M. Rabehaja and
                  Georg Struth},
  title        = {Probabilistic rely-guarantee calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {120--134},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.016},
  doi          = {10.1016/J.TCS.2016.01.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/McIverRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MiculanP16,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Structural operational semantics for non-deterministic processes with
                  quantitative aspects},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {135--154},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.012},
  doi          = {10.1016/J.TCS.2016.01.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MiculanP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PuchalaR16,
  author       = {Bernd Puchala and
                  Roman Rabinovich},
  title        = {Jumping robbers in digraphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {58--77},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.09.016},
  doi          = {10.1016/J.TCS.2016.09.016},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/PuchalaR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schuppan16,
  author       = {Viktor Schuppan},
  title        = {Enhancing unsatisfiable cores for {LTL} with information on temporal
                  relevance},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {155--192},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.014},
  doi          = {10.1016/J.TCS.2016.01.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schuppan16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TimmerKPS16,
  author       = {Mark Timmer and
                  Joost{-}Pieter Katoen and
                  Jaco van de Pol and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Confluence reduction for Markov automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {193--219},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.017},
  doi          = {10.1016/J.TCS.2016.01.017},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/TimmerKPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.