@article{Malcher-Pighizzini/13,
AUTHOR = {Malcher, Andreas and Pighizzini, Giovanni},
TITLE = {Descriptional complexity of bounded context-free languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {227},
PAGES = {1-20},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {automata and formal languages, descriptional complexity, finite-turn pushdown automata, recursive trade-offs, bounded languages},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000357},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Desharnais-Laviolette-Zhioua/13,
AUTHOR = {Desharnais, Jos{\'e}e and Laviolette, Fran{\c{c}}ois and Zhioua, Sami},
TITLE = {Testing probabilistic equivalence through reinforcement learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {227},
PAGES = {21-57},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {verification, stochastic systems, markov processes, distance, divergence, reinforcement learning, testing, equivalence relations},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000163},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Klin-Sassone/13,
AUTHOR = {Klin, Bartek and Sassone, Vladimiro},
TITLE = {Structural operational semantics for stochastic and weighted transition systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {227},
PAGES = {58-83},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000497},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Annampedu-Wagh/13,
AUTHOR = {Annampedu, Viswanath and Wagh, Meghanad D.},
TITLE = {Decomposition of threshold functions into bounded fan-in threshold functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {227},
PAGES = {84-101},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {threshold functions, decomposition, bounded fan-in, majority logic, comparison function},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000503},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}