@article{Zhang/15,
AUTHOR = {Zhang, Wenhui},
TITLE = {Bounded semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {1-29},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {formal methods, formal semantics, temporal logics, model checking, program correctness},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008184},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Conradie-Fomatati-Palmigiano-Sourabh/15,
AUTHOR = {Conradie, Willem and Fomatati, Yves and Palmigiano, Alessandra and Sourabh, Sumit},
TITLE = {Algorithmic correspondence for intuitionistic modal mu-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {30-62},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {sahlqvist correspondence, algorithmic correspondence, modal mu-calculus, intuitionistic logic},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008196},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dufourd/15,
AUTHOR = {Dufourd, Jean-Fran{\c{c}}ois},
TITLE = {Formal study of functional orbits in finite domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {63-88},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {formal specification, functional orbits, program correctness, linked representation, algebraic data type, memory shape analysis, computer-aided proof, coq system},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008330},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Edalat/15,
AUTHOR = {Edalat, Abbas},
TITLE = {A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {89-106},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {l-derivative, clarke gradient, analytic maps, cauchy-riemann equations, contour integration, continuous scott domain, data type for complex maps},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008469},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Angiulli-Ben-Eliyahu-Zohary-Palopoli/15,
AUTHOR = {Angiulli, Fabrizio and Ben-Eliyahu-Zohary, Rachel and Palopoli, Luigi},
TITLE = {Restricted default theories: Expressive power and outlier detection tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {107-130},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {default logic, outlier detection, computational complexity, tractable algorithms},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008536},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Di_Giampaolo-La_Torre-Napoli/15,
AUTHOR = {Di Giampaolo, Barbara and La Torre, Salvatore and Napoli, Margherita},
TITLE = {Parametric metric interval temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {564},
PAGES = {131-148},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {temporal logic, parametric real-time verification, (parametric) timed automata},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008627},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}