Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs404.bht:"
download as .bib file
@article{DBLP:journals/tcs/Ben-DavidFR08,
author = {Shoham Ben{-}David and
Dana Fisman and
Sitvanit Ruah},
title = {Embedding finite automata within regular expressions},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {202--218},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.011},
doi = {10.1016/J.TCS.2008.03.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ben-DavidFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BensalemPQT08,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis},
title = {Automatic generation of path conditions for concurrent timed systems},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {275--292},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.012},
doi = {10.1016/J.TCS.2008.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BensalemPQT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrijderCRRS08,
author = {Robert Brijder and
Matteo Cavaliere and
Agustin Riscos{-}N{\'{u}}{\~{n}}ez and
Grzegorz Rozenberg and
Dragos Sburlan},
title = {Membrane systems with proteins embedded in membranes},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {26--39},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.002},
doi = {10.1016/J.TCS.2008.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrijderCRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiZ08,
author = {Nadia Busi and
Claudio Zandron},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {3--4},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.009},
doi = {10.1016/J.TCS.2008.04.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalderM08,
author = {Muffy Calder and
Alice Miller},
title = {An automatic abstraction technique for verifying featured, parameterised
systems},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {235--255},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.034},
doi = {10.1016/J.TCS.2008.03.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CalderM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Cardelli08a,
author = {Luca Cardelli},
title = {Bitonal membrane systems: Interactions of biological membranes},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {5--18},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.016},
doi = {10.1016/J.TCS.2008.04.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Cardelli08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CavaliereS08,
author = {Matteo Cavaliere and
Sean Sedwards},
title = {Decision problems in membrane systems with peripheral proteins, transport
and evolution},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {40--51},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.003},
doi = {10.1016/J.TCS.2008.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CavaliereS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoptyFUYZ08,
author = {Shady Copty and
Shai Fine and
Shmuel Ur and
Elad Yom{-}Tov and
Avi Ziv},
title = {A probabilistic alternative to regression suites},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {219--234},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.020},
doi = {10.1016/J.TCS.2008.03.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CoptyFUYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Csuhaj-VarjuV08,
author = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Gy{\"{o}}rgy Vaszil},
title = {(Mem)brane automata},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {52--60},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.004},
doi = {10.1016/J.TCS.2008.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Csuhaj-VarjuV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CurienDKZ08,
author = {Pierre{-}Louis Curien and
Vincent Danos and
Jean Krivine and
Min Zhang},
title = {Computational self-assembly},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {61--75},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.014},
doi = {10.1016/J.TCS.2008.04.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CurienDKZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Diaz-PernilGPR08,
author = {Daniel D{\'{\i}}az{-}Pernil and
Miguel A. Guti{\'{e}}rrez{-}Naranjo and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Agustin Riscos{-}N{\'{u}}{\~{n}}ez},
title = {A uniform family of tissue {P} systems with cell division solving
3-COL in a linear time},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {76--87},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.005},
doi = {10.1016/J.TCS.2008.04.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Diaz-PernilGPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FrancoM08,
author = {Giuditta Franco and
Maurice Margenstern},
title = {A {DNA} computing inspired computational model},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {88--96},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.013},
doi = {10.1016/J.TCS.2008.04.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FrancoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GeisweillerHS08,
author = {Nil Geisweiller and
Jane Hillston and
Marco Stenico},
title = {Relating continuous and discrete {PEPA} models of signalling pathways},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {97--111},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.012},
doi = {10.1016/J.TCS.2008.04.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GeisweillerHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HussainH08,
author = {Altaf Hussain and
Michael Huth},
title = {On model checking multiple hybrid views},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {186--201},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.010},
doi = {10.1016/J.TCS.2008.03.010},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HussainH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IvancicYGGA08,
author = {Franjo Ivancic and
Zijiang Yang and
Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Efficient SAT-based bounded model checking for software verification},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {256--274},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.013},
doi = {10.1016/J.TCS.2008.03.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IvancicYGGA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KleijnK08,
author = {Jetty Kleijn and
Maciej Koutny},
title = {Processes of membrane systems with promoters and inhibitors},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {112--126},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.006},
doi = {10.1016/J.TCS.2008.04.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KleijnK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaneveT08,
author = {Cosimo Laneve and
Fabien Tarissan},
title = {A simple calculus for proteins and cells},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {127--141},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.011},
doi = {10.1016/J.TCS.2008.04.011},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LaneveT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manca08,
author = {Vincenzo Manca},
title = {The metabolic algorithm for {P} systems: Principles and applications},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {142--155},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.015},
doi = {10.1016/J.TCS.2008.04.015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manca08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MargariaS08,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {185},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.023},
doi = {10.1016/J.TCS.2008.03.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MargariaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Paun08,
author = {Gheorghe Paun},
title = {Membrane computing and brane calculi. Old, new, and future bridges},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {19--25},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.001},
doi = {10.1016/J.TCS.2008.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Paun08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RomanelP08,
author = {Alessandro Romanel and
Corrado Priami},
title = {On the decidability and complexity of the structural congruence for
beta-binders},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {156--169},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.007},
doi = {10.1016/J.TCS.2008.04.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RomanelP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rozenberg08b,
author = {Grzegorz Rozenberg},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.08.015},
doi = {10.1016/J.TCS.2008.08.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rozenberg08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchonherrFSB08,
author = {Jens Sch{\"{o}}nherr and
Martin Freibothe and
Bernd Straube and
J{\"{o}}rg Bormann},
title = {Semi-formal verification of the steady state behavior of mixed-signal
circuits by SAT-based property checking},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {293--307},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.032},
doi = {10.1016/J.TCS.2008.03.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchonherrFSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VerlanBGM08,
author = {Sergey Verlan and
Francesco Bernardini and
Marian Gheorghe and
Maurice Margenstern},
title = {Generalized communicating {P} systems},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {170--184},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.008},
doi = {10.1016/J.TCS.2008.04.008},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VerlanBGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 01:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
