Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AdaoMV14,
  author       = {Pedro Ad{\~{a}}o and
                  Paulo Mateus and
                  Luca Vigan{\`{o}}},
  title        = {Protocol insecurity with a finite number of sessions and a cost-sensitive
                  guessing intruder is NP-complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {2--15},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.09.015},
  doi          = {10.1016/J.TCS.2013.09.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AdaoMV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DengGHM14,
  author       = {Yuxin Deng and
                  Rob J. van Glabbeek and
                  Matthew Hennessy and
                  Carroll Morgan},
  title        = {Real-reward testing for probabilistic processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {16--36},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.016},
  doi          = {10.1016/J.TCS.2013.07.016},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DengGHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DragerKPQ14,
  author       = {Klaus Dr{\"{a}}ger and
                  Marta Z. Kwiatkowska and
                  David Parker and
                  Hongyang Qu},
  title        = {Local abstraction refinement for probabilistic timed programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {37--53},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.013},
  doi          = {10.1016/J.TCS.2013.07.013},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DragerKPQ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FahrenbergL14,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {The quantitative linear-time-branching-time spectrum},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {54--69},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.030},
  doi          = {10.1016/J.TCS.2013.07.030},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FahrenbergL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Giro14,
  author       = {Sergio Giro},
  title        = {Optimal schedulers vs optimal bases: An approach for efficient exact
                  solving of Markov decision processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {70--83},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.020},
  doi          = {10.1016/J.TCS.2013.08.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Giro14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GiroDF14,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio and
                  Luis Mar{\'{\i}}a Ferrer Fioriti},
  title        = {Distributed probabilistic input/output automata: Expressiveness, (un)decidability
                  and algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {84--102},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.017},
  doi          = {10.1016/J.TCS.2013.07.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GiroDF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HansenT14,
  author       = {Henri Hansen and
                  Mark Timmer},
  title        = {A comparison of confluence and ample sets in probabilistic and non-probabilistic
                  branching time},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {103--123},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.014},
  doi          = {10.1016/J.TCS.2013.07.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HansenT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Klebanov14,
  author       = {Vladimir Klebanov},
  title        = {Precise quantitative information flow analysis - a symbolic approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {124--139},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.04.022},
  doi          = {10.1016/J.TCS.2014.04.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Klebanov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MassinkNW14,
  author       = {Mieke Massink and
                  Gethin Norman and
                  Herbert Wiklicky},
  title        = {Quantitative Aspects of Programming Languages and Systems {(2011-12)}},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {1},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.05.011},
  doi          = {10.1016/J.TCS.2014.05.011},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MassinkNW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TschaikowskiT14a,
  author       = {Max Tschaikowski and
                  Mirco Tribastone},
  title        = {Exact fluid lumpability in Markovian process algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {140--166},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.029},
  doi          = {10.1016/J.TCS.2013.07.029},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/TschaikowskiT14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/YasuokaT14,
  author       = {Hirotoshi Yasuoka and
                  Tachio Terauchi},
  title        = {Quantitative information flow as safety and liveness hyperproperties},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {167--182},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.031},
  doi          = {10.1016/J.TCS.2013.07.031},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/YasuokaT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.