@article{Cardelli/08a,
AUTHOR = {Cardelli, Luca},
TITLE = {Bitonal membrane systems --- Interactions of biological membranes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {5-18},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane computing, process algebra, endocytosis, bitonality},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S85DRX-1/2/9650d8c9d6e41568a72f5825fe301e76},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Paun/08,
AUTHOR = {P{\u{a}}un, Gheorghe},
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},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane computing, p systems, brane calculi, turing computability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-2/2/c5da32a3f68de5ef81888a52c27a9eae},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brijder-Cavaliere-Riscos-Nunez-Rozenberg-Sburlan/08,
AUTHOR = {Brijder, Robert and Cavaliere, Matteo and Riscos-N{\'u}{\~n}ez, Agust{\'{i}}n and Rozenberg, Grzegorz and Sburlan, Drago{\c{s}}},
TITLE = {Membrane systems with proteins embedded in membranes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {26-39},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-1/2/2120747a2efab68c5db9458fefd2cbee},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cavaliere-Sedwards/08,
AUTHOR = {Cavaliere, Matteo and Sedwards, Sean},
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},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane systems, peripheral proteins, systems biology},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-7/2/8d414d720cf9846890a9252db6bc2761},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Csuhaj-Varju-Vaszil/08,
AUTHOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Vaszil, Gy{\"o}rgy},
TITLE = {(Mem)brane automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {52-60},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {p systems, brane calculi, p automata, computational completeness},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-3/2/de847a149a7b814fa7532a51b949f38e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Curien-Danos-Krivine-Zhang/08,
AUTHOR = {Curien, Pierre-Louis and Danos, Vincent and Krivine, Jean and Zhang, Min},
TITLE = {Computational self-assembly},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {61-75},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S80XN0-1/2/f0b4ea01fd14b8f30d4686ced340f964},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Diaz-Pernil-Gutierrez-Naranjo-Perez-Jimenez-Riscos-Nunez/08,
AUTHOR = {D{\'{i}}az-Pernil, Daniel and Guti{\'e}rrez-Naranjo, Miguel A. and P{\'e}rez-Jim{\'e}nez, Mario J. and Riscos-N{\'u}{\~n}ez, Agust{\'{i}}n},
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},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane computing, tissue p systems, cell division, 3-coloring problem},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-8/2/e36b2f7bd12a23c5c0d534322365756c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Franco-Margenstern/08,
AUTHOR = {Franco, Giuditta and Margenstern, Maurice},
TITLE = {A DNA computing inspired computational model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {88-96},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {dna computing, double string structure, membrane systems, register machine program},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S80XN0-2/2/bdb8f5e8279838d4af40a150b7126a70},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Geisweiller-Hillston-Stenico/08,
AUTHOR = {Geisweiller, Nil and Hillston, Jane and Stenico, Marco},
TITLE = {Relating continuous and discrete PEPA models of signalling pathways},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {97-111},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pepa, odes, ctmc, kurtz},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S7J5P1-1/2/510a279b8f206f83e8f4aee549d5b708},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kleijn-Koutny/08,
AUTHOR = {Kleijn, Jetty and Koutny, Maciej},
TITLE = {Processes of membrane systems with promoters and inhibitors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {112-126},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane system, promoter, inhibitor, petri net, locality},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-4/2/51809185e817cb6e7b2fe56903f96a2e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Laneve-Tarissan/08,
AUTHOR = {Laneve, Cosimo and Tarissan, Fabien},
TITLE = {A simple calculus for proteins and cells},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {127-141},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {systems biology, process algebra, signal transduction pathways},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S7J5P1-2/2/a9f2a292cdf29fe047710e3a0c293921},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Manca/08,
AUTHOR = {Manca, Vincenzo},
TITLE = {The metabolic algorithm for P systems: Principles and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {142-155},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {metabolism, biological modeling, p systems, mp systems, discrete dynamics},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S80XN0-3/2/cede3bad07e823e5ca6e6a6a9be89f9b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Romanel-Priami/08,
AUTHOR = {Romanel, A. and Priami, C.},
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},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {process calculi, structural congruence, decidability, complexity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-5/2/e9fd5c5d547ca7ba335e577185c9b0d8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Verlan-Bernardini-Gheorghe-Margenstern/08,
AUTHOR = {Verlan, Sergey and Bernardini, Francesco and Gheorghe, Marian and Margenstern, Maurice},
TITLE = {Generalized communicating P systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {1-2},
PAGES = {170-184},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {p systems, symport, antiport, minimal interactions, formal languages, universal computations},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6P257-6/2/9689170f4222b836ea35b135fa00b61a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hussain-Huth/08,
AUTHOR = {Hussain, Altaf and Huth, Michael},
TITLE = {On model checking multiple hybrid views},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {186-201},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {hybrid logic, satisfiability, model checking, consistency checking},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S3WX22-2/2/acaffc956bdffa7d6a40d76a135a4d86},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ben-David-Fisman-Ruah/08,
AUTHOR = {Ben-David, Shoham and Fisman, Dana and Ruah, Sitvanit},
TITLE = {Embedding finite automata within regular expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {202-218},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {regular expression, finite automata, model checking, linear translation, on-the-fly, embedding, psl},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S3WX22-1/2/74072dffbff9ab33a2134320503e27d3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Copty-Fine-Ur-Yom-Tov-Ziv/08,
AUTHOR = {Copty, Shady and Fine, Shai and Ur, Shmuel and Yom-Tov, Elad and Ziv, Avi},
TITLE = {A probabilistic alternative to regression suites},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {219-234},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {regression suites, probabilistic regression suites, coverage analysis, greedy algorithms, future-aware greedy algorithms, hardware verification, software testing},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S50K97-1/2/ea7d0566d4fc232afe9d31384de64335},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Calder-Miller/08,
AUTHOR = {Calder, M. and Miller, A.},
TITLE = {An automatic abstraction technique for verifying featured, parameterised systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {235-255},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S7JG2W-1/2/cabda391ffb4f405d165ed66d6a7a29c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ivancic-Yang-Ganai-Gupta-Ashar/08,
AUTHOR = {Ivan{\v{c}}i{\'c}, Franjo and Yang, Zijiang and Ganai, Malay K. and Gupta, Aarti and Ashar, Pranav},
TITLE = {Efficient SAT-based bounded model checking for software verification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {256-274},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {software verification, bounded model checking, sat-based model checking},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S43BHY-1/2/a01e50ac238ef55616a0c8221b0e3904},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bensalem-Peled-Qu-Tripakis/08,
AUTHOR = {Bensalem, Saddek and Peled, Doron and Qu, Hongyang and Tripakis, Stavros},
TITLE = {Automatic generation of path conditions for concurrent timed systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {404},
NUMBER = {3},
PAGES = {275-292},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {path condition, test case generation, timed transition systems, extended timed automata, partial order, difference-bound matrices},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S3WX22-3/2/b881b88a00237e35f387fa51102c2a9e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schonherr-Freibothe-Straube-Bormann/08,
AUTHOR = {Sch{\"o}nherr, Jens and Freibothe, Martin and Straube, Bernd and Bormann, J{\"o}rg},
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},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {mixed-signal, formal verification, property checking, vhdl behavioral description},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4S6G936-1/2/b744a2023339240ff8264378dfc746ce},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}