default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs335.bht:"
@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 = {Mon, 05 Aug 2024 01:00:00 +0200}, 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 = {Tue, 13 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/XuWZL05.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.