Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbelMU05,
  author       = {Andreas Abel and
                  Ralph Matthes and
                  Tarmo Uustalu},
  title        = {Iteration and coiteration schemes for higher-order and nested datatypes},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {3--66},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.017},
  doi          = {10.1016/J.TCS.2004.10.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbelMU05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BlanchetP05,
  author       = {Bruno Blanchet and
                  Andreas Podelski},
  title        = {Verification of cryptographic protocols: tagging enforces termination},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {67--90},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.018},
  doi          = {10.1016/J.TCS.2004.10.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BlanchetP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bonelli05,
  author       = {Eduardo Bonelli},
  title        = {Normalisation for higher-order calculi with explicit substitutions},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {91--125},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.019},
  doi          = {10.1016/J.TCS.2004.10.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bonelli05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BonevaT05,
  author       = {Iovka Boneva and
                  Jean{-}Marc Talbot},
  title        = {When ambients cannot be opened},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {127--169},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.020},
  doi          = {10.1016/J.TCS.2004.10.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonevaT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BreugelMOW05,
  author       = {Franck van Breugel and
                  Michael W. Mislove and
                  Jo{\"{e}}l Ouaknine and
                  James Worrell},
  title        = {Domain theory, testing and simulation for labelled Markov processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {171--197},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.021},
  doi          = {10.1016/J.TCS.2004.10.021},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BreugelMOW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BuschMS05,
  author       = {Costas Busch and
                  Marios Mavronicolas and
                  Paul G. Spirakis},
  title        = {The cost of concurrent, low-contention Read{\&}Modify{\&}Write},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {373--400},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.018},
  doi          = {10.1016/J.TCS.2004.04.018},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BuschMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FernandezGRS05,
  author       = {Antonio Fern{\'{a}}ndez and
                  Chryssis Georgiou and
                  Alexander Russell and
                  Alexander A. Shvartsman},
  title        = {The Do-All problem with Byzantine processor failures},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {433--454},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.06.034},
  doi          = {10.1016/J.TCS.2004.06.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FernandezGRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FlamminiNP05,
  author       = {Michele Flammini and
                  Alfredo Navarra and
                  Andrzej Proskurowski},
  title        = {On routing of wavebands for all-to-all communications in all-optical
                  paths and cycles},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {401--413},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.05.025},
  doi          = {10.1016/J.TCS.2004.05.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FlamminiNP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GavoilleN05,
  author       = {Cyril Gavoille and
                  Martin Neh{\'{e}}z},
  title        = {Interval routing in reliability networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {415--432},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.008},
  doi          = {10.1016/J.TCS.2004.12.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GavoilleN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gordon05,
  author       = {Andrew D. Gordon},
  title        = {Preface for the Special Issue: Foundations of Software Science and
                  Computation Structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {1},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.11.001},
  doi          = {10.1016/J.TCS.2004.11.001},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gordon05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ItoIOY05,
  author       = {Hiro Ito and
                  Kazuo Iwama and
                  Yasuo Okabe and
                  Takuya Yoshihiro},
  title        = {Single backup table schemes for shortest-path routing},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {347--353},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.06.033},
  doi          = {10.1016/J.TCS.2004.06.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ItoIOY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KowalskiP05,
  author       = {Dariusz R. Kowalski and
                  Andrzej Pelc},
  title        = {Time complexity of radio broadcasting: adaptiveness vs. obliviousness
                  and randomization vs. determinism},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {355--371},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.017},
  doi          = {10.1016/J.TCS.2004.04.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KowalskiP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Laird05,
  author       = {Jim Laird},
  title        = {Game semantics and linear {CPS} interpretation},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {199--224},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.022},
  doi          = {10.1016/J.TCS.2004.10.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Laird05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lugiez05,
  author       = {Denis Lugiez},
  title        = {Multitree automata that count},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {225--263},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.023},
  doi          = {10.1016/J.TCS.2004.10.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lugiez05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Osterloh05,
  author       = {Andre Osterloh},
  title        = {Optimal oblivious routing on d-dimensional meshes},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {331--346},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.016},
  doi          = {10.1016/J.TCS.2004.04.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Osterloh05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PelegS05,
  author       = {David Peleg and
                  Jop F. Sibeyn},
  title        = {Preface: Structural Information and Communication Complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {3},
  pages        = {329--330},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.007},
  doi          = {10.1016/J.TCS.2004.12.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PelegS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SantocanaleA05,
  author       = {Luigi Santocanale and
                  Andr{\'{e}} Arnold},
  title        = {Ambiguous classes in mu-calculi hierarchies},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {265--296},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.024},
  doi          = {10.1016/J.TCS.2004.10.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SantocanaleA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SassoneS05,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  title        = {Locating reaction with 2-categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {297--327},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.025},
  doi          = {10.1016/J.TCS.2004.10.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SassoneS05.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.