Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbbesB08,
  author       = {Samy Abbes and
                  Albert Benveniste},
  title        = {True-concurrency probabilistic models: Markov nets and a law of large
                  numbers},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {129--170},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.018},
  doi          = {10.1016/J.TCS.2007.09.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbbesB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ApostolicoPR08,
  author       = {Alberto Apostolico and
                  Laxmi Parida and
                  Simona E. Rombo},
  title        = {Motif patterns in 2D},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {40--55},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.019},
  doi          = {10.1016/J.TCS.2007.10.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ApostolicoPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AsarinPSY08,
  author       = {Eugene Asarin and
                  Gordon J. Pace and
                  Gerardo Schneider and
                  Sergio Yovine},
  title        = {Algorithmic analysis of polygonal hybrid systems, Part {II:} Phase
                  portrait and tools},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {1--26},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.025},
  doi          = {10.1016/J.TCS.2007.09.025},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AsarinPSY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AtanasiuAP08,
  author       = {Adrian Atanasiu and
                  Radu{-}Florian Atanasiu and
                  Ion Petre},
  title        = {Parikh matrices and amiable words},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {102--109},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.022},
  doi          = {10.1016/J.TCS.2007.10.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AtanasiuAP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChengKW08,
  author       = {Yongxi Cheng and
                  Ker{-}I Ko and
                  Weili Wu},
  title        = {On the complexity of non-unique probe selection},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {120--125},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.014},
  doi          = {10.1016/J.TCS.2007.10.014},
  timestamp    = {Thu, 02 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChengKW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChepoiNV08,
  author       = {Victor Chepoi and
                  Karim Nouioua and
                  Yann Vax{\`{e}}s},
  title        = {A rounding algorithm for approximating minimum Manhattan networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {56--69},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.013},
  doi          = {10.1016/J.TCS.2007.10.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChepoiNV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JeffreyR08,
  author       = {Alan Jeffrey and
                  Julian Rathke},
  title        = {Full abstraction for polymorphic pi-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {171--196},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.020},
  doi          = {10.1016/J.TCS.2007.09.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JeffreyR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KlasingMP08,
  author       = {Ralf Klasing and
                  Euripides Markou and
                  Andrzej Pelc},
  title        = {Gathering asynchronous oblivious mobile robots in a ring},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {27--39},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.032},
  doi          = {10.1016/J.TCS.2007.09.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KlasingMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LarsenR08,
  author       = {Kim Guldstrand Larsen and
                  Jacob Illum Rasmussen},
  title        = {Optimal reachability for multi-priced timed automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {197--213},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.021},
  doi          = {10.1016/J.TCS.2007.09.021},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LarsenR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mol08,
  author       = {Liesbeth De Mol},
  title        = {Tag systems and Collatz-like functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {92--101},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.020},
  doi          = {10.1016/J.TCS.2007.10.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mol08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MorsyN08,
  author       = {Ehab Morsy and
                  Hiroshi Nagamochi},
  title        = {An improved approximation algorithm for capacitated multicast routings
                  in networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {81--91},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.021},
  doi          = {10.1016/J.TCS.2007.10.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MorsyN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MurawskiW08,
  author       = {Andrzej S. Murawski and
                  Igor Walukiewicz},
  title        = {Third-order Idealized Algol with iteration is decidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {214--229},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.022},
  doi          = {10.1016/J.TCS.2007.09.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MurawskiW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Park08,
  author       = {Jung{-}Heum Park},
  title        = {Panconnectivity and edge-pancyclicity of faulty recursive circulant
                  G(2\({}^{\mbox{m}}\), 4)},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {70--80},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.016},
  doi          = {10.1016/J.TCS.2007.10.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Park08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sassone08,
  author       = {Vladimiro Sassone},
  title        = {Foundations of Software Science and Computational Structures: Selected
                  papers from {FOSSACS} 2005},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {127--128},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.019},
  doi          = {10.1016/J.TCS.2007.09.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sassone08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schroder08,
  author       = {Lutz Schr{\"{o}}der},
  title        = {Expressivity of coalgebraic modal logic: The limits and beyond},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {230--247},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.023},
  doi          = {10.1016/J.TCS.2007.09.023},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Schroder08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ShiY08,
  author       = {Yongqiang Shi and
                  Deshi Ye},
  title        = {Online bin packing with arbitrary release times},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {1},
  pages        = {110--119},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.10.023},
  doi          = {10.1016/J.TCS.2007.10.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ShiY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Stark08,
  author       = {Ian Stark},
  title        = {Free-algebra models for the pi -calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {248--270},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.024},
  doi          = {10.1016/J.TCS.2007.09.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Stark08.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.