@article{Hetzl-Leitsch-Reis-Weller/14,
AUTHOR = {Hetzl, Stefan and Leitsch, Alexander and Reis, Giselle and Weller, Daniel},
TITLE = {Algorithmic introduction of quantified cuts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {1-16},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {proof compression, cut-introduction, classical logic, first-order logic},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514004174},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fujita-Schubert/14,
AUTHOR = {Fujita, Ken-etsu and Schubert, Aleksy},
TITLE = {Existential type systems between Church and Curry style (type-free style)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {17-35},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {existential types, type checking, typability, undecidability, type-free type system, church style type system},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514004186},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bilkova-Palmigiano-Venema/14,
AUTHOR = {B{\'{i}}lkov{\'a}, Marta and Palmigiano, Alessandra and Venema, Yde},
TITLE = {Proof systems for Moss' coalgebraic logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {36-60},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {modal logic, coalgebraic logic, sequent system, coalgebra, cover modality, gentzen calculus, completeness},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514004423},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wimmer-Jansen-Abraham-Katoen-Becker/14,
AUTHOR = {Wimmer, Ralf and Jansen, Nils and {\'A}brah{\'a}m, Erika and Katoen, Joost-Pieter and Becker, Bernd},
TITLE = {Minimal counterexamples for linear-time probabilistic verification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {61-100},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {markov chain, markov decision process, counterexample, $\omega$-regular property, mixed integer linear programming, sat-modulo-theories},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751400454X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schewe-Wang/14,
AUTHOR = {Schewe, Klaus-Dieter and Wang, Qing},
TITLE = {A theoretical framework for knowledge-based entity resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {101-126},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {entity resolution, data matching, record linkage, query evaluation, query containment, knowledge representation, knowledge optimization},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514004770},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Song-Touili/14,
AUTHOR = {Song, Fu and Touili, Tayssir},
TITLE = {Efficient CTL model-checking for pushdown systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {127-145},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {pushdown system, model-checking, ctl, ctl with regular valuations},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514005155},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chilton-Jonsson-Kwiatkowska/14,
AUTHOR = {Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta},
TITLE = {An algebraic theory of interface automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {549},
PAGES = {146-174},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {component-based design, interfaces, specification theory, compositionality, refinement, substitutivity, synthesis},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514005611},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}