@article{Bartocci-Bortolussi-Nenzi-Sanguinetti/15,
AUTHOR = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
TITLE = {System design of stochastic models using robustness of temporal properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {587},
PAGES = {3-25},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {system design, stochastic models, robustness degree, temporal logic},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002224},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Casagrande-Piazza/15,
AUTHOR = {Casagrande, Alberto and Piazza, Carla},
TITLE = {Unwinding biological systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {587},
PAGES = {26-48},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {systems biology, unwinding, behavioural equivalences, robustness},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002212},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Angius-Balbo-Beccuti-Bibbona-Horvath-Sirovich/15,
AUTHOR = {Angius, Alessio and Balbo, Gianfranco and Beccuti, Marco and Bibbona, Enrico and Horvath, Andras and Sirovich, Roberta},
TITLE = {Approximate analysis of biological systems by hybrid switching jump diffusion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {587},
PAGES = {49-72},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {diffusion approximation, jump diffusion, stochastic differential equations with barriers},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002194},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bodei-Gori-Levi/15,
AUTHOR = {Bodei, Chiara and Gori, Roberta and Levi, Francesca},
TITLE = {Causal static analysis for Brane Calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {587},
PAGES = {73-103},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {causality, abstract interpretation, brane calculi},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002182},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pardini-Milazzo-Maggiolo-Schettini/15,
AUTHOR = {Pardini, Giovanni and Milazzo, Paolo and Maggiolo-Schettini, Andrea},
TITLE = {Component identification in biochemical pathways},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {587},
PAGES = {104-124},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {biochemical pathways, modular modeling, formal methods},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002170},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}