Search dblp for Publications

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

 download as .bib file

@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 = {Sun, 28 May 2017 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, 25 Sep 2019 01:00:00 +0200},
  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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  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 = {Sat, 19 Oct 2019 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 = {Fri, 30 Nov 2018 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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/Kahl16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics