Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AndreevCR99,
  author       = {Alexander E. Andreev and
                  Andrea E. F. Clementi and
                  Jos{\'{e}} D. P. Rolim},
  title        = {Worst-Case Hardness Suffices for Derandomization: {A} New Method for
                  Hardness-Randomness Trade-offs},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {3--18},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00024-9},
  doi          = {10.1016/S0304-3975(99)00024-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AndreevCR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Apt99,
  author       = {Krzysztof R. Apt},
  title        = {The Essence of Constraint Propagation},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {179--210},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00032-8},
  doi          = {10.1016/S0304-3975(99)00032-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Apt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BartalL99,
  author       = {Yair Bartal and
                  Stefano Leonardi},
  title        = {On-Line Routing in All-Optical Networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {19--39},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00025-0},
  doi          = {10.1016/S0304-3975(99)00025-0},
  timestamp    = {Tue, 27 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BartalL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BassinoBP99,
  author       = {Fr{\'{e}}d{\'{e}}rique Bassino and
                  Marie{-}Pierre B{\'{e}}al and
                  Dominique Perrin},
  title        = {Enumerative Sequences of Leaves and Nodes in Rational Trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {41--60},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00026-2},
  doi          = {10.1016/S0304-3975(99)00026-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BassinoBP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BouajjaniH99,
  author       = {Ahmed Bouajjani and
                  Peter Habermehl},
  title        = {Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular
                  Sets of Configurations},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {211--250},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00033-X},
  doi          = {10.1016/S0304-3975(99)00033-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BouajjaniH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BurkartS99,
  author       = {Olaf Burkart and
                  Bernhard Steffen},
  title        = {Model Checking the Full Modal mu-Calculus for Infinite Sequential
                  Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {251--270},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00034-1},
  doi          = {10.1016/S0304-3975(99)00034-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BurkartS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Durand99,
  author       = {Bruno Durand},
  title        = {Tilings and Quasiperiodicity},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {61--75},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00027-4},
  doi          = {10.1016/S0304-3975(99)00027-4},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Durand99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ErdosSSW99,
  author       = {P{\'{e}}ter L. Erd{\"{o}}s and
                  Michael Anthony Steel and
                  L{\'{a}}szl{\'{o}} A. Sz{\'{e}}kely and
                  Tandy J. Warnow},
  title        = {A Few Logs Suffice to Build (almost) All Trees: Part {II}},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {77--118},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00028-6},
  doi          = {10.1016/S0304-3975(99)00028-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ErdosSSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ErlebachJKMP99,
  author       = {Thomas Erlebach and
                  Klaus Jansen and
                  Christos Kaklamanis and
                  Milena Mihail and
                  Pino Persiano},
  title        = {Optimal Wavelength Routing on Directed Fiber Trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {119--137},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00029-8},
  doi          = {10.1016/S0304-3975(99)00029-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ErlebachJKMP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Fu99,
  author       = {Yuxi Fu},
  title        = {Variations on Mobile Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {327--368},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00037-7},
  doi          = {10.1016/S0304-3975(99)00037-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fu99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gianantonio99,
  author       = {Pietro Di Gianantonio},
  title        = {An Abstract Data Type for Real Numbers},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {295--326},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00036-5},
  doi          = {10.1016/S0304-3975(99)00036-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gianantonio99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HenzingerK99,
  author       = {Thomas A. Henzinger and
                  Peter W. Kopke},
  title        = {Discrete-Time Control for Rectangular Hybrid Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {369--392},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00038-9},
  doi          = {10.1016/S0304-3975(99)00038-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HenzingerK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HondaY99,
  author       = {Kohei Honda and
                  Nobuko Yoshida},
  title        = {Game-Theoretic Analysis of Call-by-Value Computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {393--456},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00039-0},
  doi          = {10.1016/S0304-3975(99)00039-0},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HondaY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KrumkeNMRRSW99,
  author       = {Sven Oliver Krumke and
                  Hartmut Noltemeier and
                  Madhav V. Marathe and
                  R. Ravi and
                  S. S. Ravi and
                  Ravi Sundaram and
                  Hans{-}Christoph Wirth},
  title        = {Improving Spanning Trees by Upgrading Nodes},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {139--155},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00030-4},
  doi          = {10.1016/S0304-3975(99)00030-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KrumkeNMRRSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ManziniM99,
  author       = {Giovanni Manzini and
                  Luciano Margara},
  title        = {A Complete and Efficiently Computable Topological Classification of
                  D-dimensional Linear Cellular Automata over Zm},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {157--177},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00031-6},
  doi          = {10.1016/S0304-3975(99)00031-6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ManziniM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sangiorgi99,
  author       = {Davide Sangiorgi},
  title        = {The Name Discipline of Uniform Receptiveness},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {457--493},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00040-7},
  doi          = {10.1016/S0304-3975(99)00040-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sangiorgi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VinkR99,
  author       = {Erik P. de Vink and
                  Jan J. M. M. Rutten},
  title        = {Bisimulation for Probabilistic Transition Systems: {A} Coalgebraic
                  Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {221},
  number       = {1-2},
  pages        = {271--293},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(99)00035-3},
  doi          = {10.1016/S0304-3975(99)00035-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VinkR99.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.