@article{Barbuti-Levi-Milazzo-Scatena/12,
AUTHOR = {Barbuti, Roberto and Levi, Francesca and Milazzo, Paolo and Scatena, Guido},
TITLE = {Probabilistic model checking of biological systems with uncertain kinetic rates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {419},
PAGES = {2-16},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {probabilistic model checking, systems biology, uncertain kinetic rates, abstract interpretation, interval markov chains},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511008929},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ben-Aroya-Ta-Shma/12,
AUTHOR = {Ben-Aroya, Avraham and Ta-Shma, Amnon},
TITLE = {Better short-seed quantum-proof extractors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {419},
PAGES = {17-25},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {extractors, quantum information, privacy amplification, the bounded storage model},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009558},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Caravagna-Hillston/12,
AUTHOR = {Caravagna, Giulio and Hillston, Jane},
TITLE = {Bio-PEPAd: A non-Markovian extension of Bio-PEPA},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {419},
PAGES = {26-49},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bio-pepa, delay-as-duration, non-markovian process algebra, gsmps, dssa, ddes},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009479},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Finck-Beyer/12,
AUTHOR = {Finck, Steffen and Beyer, Hans-Georg},
TITLE = {Performance analysis of the simultaneous perturbation stochastic approximation algorithm on the noisy sphere model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {419},
PAGES = {50-72},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {algorithm comparison, stochastic gradient approximation, evolution strategy, noisy optimization},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009340},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Qiu-Zou-Li-Wu-Mateus/12,
AUTHOR = {Li, Lvzhou and Qiu, Daowen and Zou, Xiangfu and Li, Lvjun and Wu, Lihua and Mateus, Paulo},
TITLE = {Characterizations of one-way general quantum finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {419},
PAGES = {73-91},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {formal languages, quantum finite automata, regular languages, equivalence},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511008917},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}