Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BurrellCR14,
  author       = {Mike Burrell and
                  J. Robin B. Cockett and
                  Brian F. Redmond},
  title        = {Safe recursion revisited {I:} Categorical semantics for lower complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {515},
  pages        = {19--45},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.09.034},
  doi          = {10.1016/J.TCS.2013.09.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BurrellCR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FaellaTM14,
  author       = {Marco Faella and
                  Salvatore La Torre and
                  Aniello Murano},
  title        = {Automata-theoretic decision of timed games},
  journal      = {Theor. Comput. Sci.},
  volume       = {515},
  pages        = {46--63},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.021},
  doi          = {10.1016/J.TCS.2013.08.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FaellaTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LarsenLTW14,
  author       = {Kim G. Larsen and
                  Axel Legay and
                  Louis{-}Marie Traonouez and
                  Andrzej Wasowski},
  title        = {Robust synthesis for real-time systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {515},
  pages        = {96--122},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.015},
  doi          = {10.1016/J.TCS.2013.08.015},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LarsenLTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MaFB14,
  author       = {Shuai Ma and
                  Wenfei Fan and
                  Loreto Bravo},
  title        = {Extending inclusion dependencies with conditions},
  journal      = {Theor. Comput. Sci.},
  volume       = {515},
  pages        = {64--95},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.11.002},
  doi          = {10.1016/J.TCS.2013.11.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MaFB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TkachevA14,
  author       = {Ilya Tkachev and
                  Alessandro Abate},
  title        = {Characterization and computation of infinite-horizon specifications
                  over Markov processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {515},
  pages        = {1--18},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.09.032},
  doi          = {10.1016/J.TCS.2013.09.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TkachevA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}