Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AcetoFIE05,
  author       = {Luca Aceto and
                  Wan J. Fokkink and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Guest editors' foreword: Process Algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {127--129},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.01.013},
  doi          = {10.1016/J.TCS.2005.01.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AcetoFIE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AldiniB05,
  author       = {Alessandro Aldini and
                  Marco Bernardo},
  title        = {On the usability of process algebra: An architectural view},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {281--329},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.043},
  doi          = {10.1016/J.TCS.2004.10.043},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AldiniB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ApostolicoG05,
  author       = {Alberto Apostolico and
                  Raffaele Giancarlo},
  title        = {Foreword: Pattern Discovery in the Post Genome},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {1--2},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.011},
  doi          = {10.1016/J.TCS.2004.12.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ApostolicoG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Baeten05,
  author       = {Jos C. M. Baeten},
  title        = {A brief history of process algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {131--146},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.036},
  doi          = {10.1016/J.TCS.2004.07.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Baeten05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BafnaILR05,
  author       = {Vineet Bafna and
                  Sorin Istrail and
                  Giuseppe Lancia and
                  Romeo Rizzi},
  title        = {Polynomial and APX-hard cases of the individual haplotyping problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {109--125},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.017},
  doi          = {10.1016/J.TCS.2004.12.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BafnaILR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BergstraM05,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Process algebra for hybrid systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {215--280},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.019},
  doi          = {10.1016/J.TCS.2004.04.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BruniMS05,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Observational congruences for dynamically reconfigurable tile systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {331--372},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.044},
  doi          = {10.1016/J.TCS.2004.10.044},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChattarajP05,
  author       = {Abhijit Chattaraj and
                  Laxmi Parida},
  title        = {An inexact-suffix-tree-based algorithm for detecting extensible patterns},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {3--14},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.013},
  doi          = {10.1016/J.TCS.2004.12.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChattarajP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChoyJSS05,
  author       = {Charles Choy and
                  Jesper Jansson and
                  Kunihiko Sadakane and
                  Wing{-}Kin Sung},
  title        = {Computing the maximum agreement of phylogenetic networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {93--107},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.012},
  doi          = {10.1016/J.TCS.2004.12.012},
  timestamp    = {Tue, 17 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChoyJSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CorradiniV05,
  author       = {Flavio Corradini and
                  Walter Vogler},
  title        = {Measuring the performance of asynchronous systems with {PAFAS}},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {187--213},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.01.039},
  doi          = {10.1016/J.TCS.2004.01.039},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CorradiniV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LuttikO05,
  author       = {Bas Luttik and
                  Vincent van Oostrom},
  title        = {Decomposition orders another generalisation of the fundamental theorem
                  of arithmetic},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {147--186},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.11.019},
  doi          = {10.1016/J.TCS.2004.11.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LuttikO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MauriP05,
  author       = {Giancarlo Mauri and
                  Giulio Pavesi},
  title        = {Algorithms for pattern matching and discovery in {RNA} secondary structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {29--51},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.015},
  doi          = {10.1016/J.TCS.2004.12.015},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MauriP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PalamidessiH05,
  author       = {Catuscia Palamidessi and
                  Oltea Mihaela Herescu},
  title        = {A randomized encoding of the Pi-calculus with mixed choice},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {373--404},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.11.020},
  doi          = {10.1016/J.TCS.2004.11.020},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/PalamidessiH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WaldispuhlS05,
  author       = {J{\'{e}}r{\^{o}}me Waldisp{\"{u}}hl and
                  Jean{-}Marc Steyaert},
  title        = {Modeling and predicting all-alpha transmembrane proteins including
                  helix-helix pairing},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {67--92},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.018},
  doi          = {10.1016/J.TCS.2004.12.018},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/WaldispuhlS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WangZDL05,
  author       = {Lusheng Wang and
                  Hao Zhao and
                  Guozhu Dong and
                  Jianping Li},
  title        = {On the complexity of finding emerging patterns},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {15--27},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.014},
  doi          = {10.1016/J.TCS.2004.12.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WangZDL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/XuWZL05,
  author       = {Ying Xu and
                  Lusheng Wang and
                  Hao Zhao and
                  Jianping Li},
  title        = {Exact matching of {RNA} secondary structure patterns},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {1},
  pages        = {53--66},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.12.016},
  doi          = {10.1016/J.TCS.2004.12.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/XuWZL05.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.