@article{Tang-She-Min-Zhu/13,
AUTHOR = {Tang, Jianguo and She, Kun and Min, Fan and Zhu, William},
TITLE = {A matroidal approach to rough set theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {471},
PAGES = {1-11},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {rough set, matroid, p -ums, direct sum, boundary region},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512010067},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Doerr-Johannsen-Kotzing-Neumann-Theile/13,
AUTHOR = {Doerr, Benjamin and Johannsen, Daniel and K{\"o}tzing, Timo and Neumann, Frank and Theile, Madeleine},
TITLE = {More effective crossover operators for the all-pairs shortest path problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {471},
PAGES = {12-26},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {running time analysis, crossover, theory, shortest paths},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512010055},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gori-Levi/13,
AUTHOR = {Gori, Roberta and Levi, Francesca},
TITLE = {An analysis for proving probabilistic termination of biological systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {471},
PAGES = {27-73},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {chemical ground form calculus, abstract interpretation, probabilistic termination},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751201002X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Su-Xiong-Sun-Li/13,
AUTHOR = {Su, Guifu and Xiong, Liming and Sun, Yi and Li, Daobin},
TITLE = {Nordhaus-Gaddum-type inequality for the hyper-Wiener index of graphs when decomposing into three parts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {471},
PAGES = {74-83},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {wiener index, hyper-wiener index, k -decomposition, nordhaus-gaddum-type inequality},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009814},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Doerr-Kotzing-Lengler-Winzen/13,
AUTHOR = {Doerr, Benjamin and K{\"o}tzing, Timo and Lengler, Johannes and Winzen, Carola},
TITLE = {Black-box complexities of combinatorial problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {471},
PAGES = {84-106},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {black-box complexity, runtime analysis, combinatorial optimization, theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009681},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}