Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AmeenT16,
  author       = {Mahmudul Faisal Al Ameen and
                  Makoto Tatsuta},
  title        = {Completeness for recursive procedures in separation logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {73--96},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.004},
  doi          = {10.1016/J.TCS.2016.04.004},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AmeenT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BozzelliS16,
  author       = {Laura Bozzelli and
                  C{\'{e}}sar S{\'{a}}nchez},
  title        = {Foundations of Boolean stream runtime verification},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {118--138},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.019},
  doi          = {10.1016/J.TCS.2016.04.019},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BozzelliS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CassezMZ16,
  author       = {Franck Cassez and
                  Ron van der Meyden and
                  Chenyi Zhang},
  title        = {The complexity of synchronous notions of information flow security},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {16--42},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.03.011},
  doi          = {10.1016/J.TCS.2016.03.011},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CassezMZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ferrara16,
  author       = {Pietro Ferrara},
  title        = {A generic framework for heap and value analyses of object-oriented
                  programming languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {43--72},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.001},
  doi          = {10.1016/J.TCS.2016.04.001},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Ferrara16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ForejtKNT16,
  author       = {Vojtech Forejt and
                  Marta Kwiatkowska and
                  Gethin Norman and
                  Ashutosh Trivedi},
  title        = {Expected reachability-time games},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {139--160},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.021},
  doi          = {10.1016/J.TCS.2016.04.021},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ForejtKNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HanikovaS16,
  author       = {Zuzana Hanikov{\'{a}} and
                  Petr Savick{\'{y}}},
  title        = {Term satisfiability in FL\({}_{\mbox{ew}}\)-algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {1--15},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.03.009},
  doi          = {10.1016/J.TCS.2016.03.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HanikovaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kahl16,
  author       = {Thomas Kahl},
  title        = {Topological abstraction of higher-dimensional automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {631},
  pages        = {97--117},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.018},
  doi          = {10.1016/J.TCS.2016.04.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kahl16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}