Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbrahamBRS05,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Frank S. de Boer and
                  Willem P. de Roever and
                  Martin Steffen},
  title        = {An assertion-based proof system for multithreaded Java},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {251--290},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.019},
  doi          = {10.1016/J.TCS.2004.09.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbrahamBRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AchermannN05,
  author       = {Franz Achermann and
                  Oscar Nierstrasz},
  title        = {A calculus for reasoning about software composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {367--396},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.022},
  doi          = {10.1016/J.TCS.2004.09.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AchermannN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AlurEY05,
  author       = {Rajeev Alur and
                  Kousha Etessami and
                  Mihalis Yannakakis},
  title        = {Realizability and verification of {MSC} graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {97--114},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.034},
  doi          = {10.1016/J.TCS.2004.09.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlurEY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Blaser05,
  author       = {Markus Bl{\"{a}}ser},
  title        = {Beyond the Alder-Strassen bound},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {3--21},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.029},
  doi          = {10.1016/J.TCS.2004.09.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Blaser05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BreugelW05,
  author       = {Franck van Breugel and
                  James Worrell},
  title        = {A behavioural pseudometric for probabilistic transition systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {115--142},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.035},
  doi          = {10.1016/J.TCS.2004.09.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BreugelW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CohenHK05,
  author       = {Edith Cohen and
                  Eran Halperin and
                  Haim Kaplan},
  title        = {Performance aspects of distributed caches using TTL-based consistency},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {73--96},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.033},
  doi          = {10.1016/J.TCS.2004.09.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CohenHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ComonC05,
  author       = {Hubert Comon and
                  V{\'{e}}ronique Cortier},
  title        = {Tree automata with one memory set constraints and cryptographic protocols},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {143--214},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.036},
  doi          = {10.1016/J.TCS.2004.09.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ComonC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CzumajS05,
  author       = {Artur Czumaj and
                  Christian Sohler},
  title        = {Testing hypergraph colorability},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {37--52},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.031},
  doi          = {10.1016/J.TCS.2004.09.031},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CzumajS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FerrariMT05,
  author       = {Gian{-}Luigi Ferrari and
                  Ugo Montanari and
                  Emilio Tuosto},
  title        = {Coalgebraic minimization of HD-automata for the Pi-calculus using
                  polymorphic types},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {325--365},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.021},
  doi          = {10.1016/J.TCS.2004.09.021},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FerrariMT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HoomanP05,
  author       = {Jozef Hooman and
                  Jaco van de Pol},
  title        = {Semantic models of a timed distributed dataspace architecture},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {291--323},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.020},
  doi          = {10.1016/J.TCS.2004.09.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HoomanP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KestenP05,
  author       = {Yonit Kesten and
                  Amir Pnueli},
  title        = {A compositional approach to CTL* verification},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {397--428},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.023},
  doi          = {10.1016/J.TCS.2004.09.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KestenP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/OrejasL05,
  author       = {Fernando Orejas and
                  Jan van Leeuwen},
  title        = {Preface: Automata, Languages and Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {1--2},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.028},
  doi          = {10.1016/J.TCS.2004.09.028},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OrejasL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PattinsonW05,
  author       = {Dirk Pattinson and
                  Martin Wirsing},
  title        = {A coordination approach to mobile components},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {457--483},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.025},
  doi          = {10.1016/J.TCS.2004.09.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PattinsonW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SadakaneTT05,
  author       = {Kunihiko Sadakane and
                  Nadia Takki{-}Chebihi and
                  Takeshi Tokuyama},
  title        = {Combinatorics and algorithms for low-discrepancy roundings of a real
                  sequence},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {23--36},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.030},
  doi          = {10.1016/J.TCS.2004.09.030},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SadakaneTT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SchroderMTKH05,
  author       = {Lutz Schr{\"{o}}der and
                  Till Mossakowski and
                  Andrzej Tarlecki and
                  Bartek Klin and
                  Piotr Hoffman},
  title        = {Amalgamation in the semantics of {CASL}},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {215--247},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.037},
  doi          = {10.1016/J.TCS.2004.09.037},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SchroderMTKH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sekerinski05,
  author       = {Emil Sekerinski},
  title        = {Verification and refinement with fine-grained action-based concurrent
                  objects},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {2-3},
  pages        = {429--455},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.024},
  doi          = {10.1016/J.TCS.2004.09.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sekerinski05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sibeyn05,
  author       = {Jop F. Sibeyn},
  title        = {Faster gossiping on butterfly networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {331},
  number       = {1},
  pages        = {53--72},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.09.032},
  doi          = {10.1016/J.TCS.2004.09.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sibeyn05.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.