@article{Prabhakar-Vladimerou-Viswanathan-Dullerud/15,
AUTHOR = {Prabhakar, Pavithra and Vladimerou, Vladimeros and Viswanathan, Mahesh and Dullerud, Geir},
TITLE = {A decidable class of planar linear hybrid systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {574},
PAGES = {1-17},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {hybrid systems, decidability, planar systems, piecewise constant derivatives, bisimulations, reachability, verification, safety},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514008615},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Esik-Rondogiannis/15,
AUTHOR = {{\'E}sik, Zolt{\'a}n and Rondogiannis, Panos},
TITLE = {A fixed point theorem for non-monotonic functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {574},
PAGES = {18-38},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {fixed point theory, non-monotonicity, semantics of logic programming},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515000687},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Matsikoudis-Lee/15,
AUTHOR = {Matsikoudis, Eleftherios and Lee, Edward A.},
TITLE = {The fixed-point theory of strictly causal functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {574},
PAGES = {39-77},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {timed systems, strictly causal functions, generalized ultrametric semilattices, strictly contracting functions, constructive fixed-point theorem, fixed-point induction principle},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515000729},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zhang-Xu/15,
AUTHOR = {Zhang, Wenfeng and Xu, Xiaoquan},
TITLE = {$s_2$-quasicontinuous posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {574},
PAGES = {78-85},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {s 2 -continuous poset, meet s 2 -continuous poset, s 2 -quasicontinuous poset, $\sigma$ 2 -topology},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515000730},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bezem-Coquand/15,
AUTHOR = {Bezem, Marc and Coquand, Thierry},
TITLE = {A Kripke model for simplicial sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {574},
PAGES = {86-91},
YEAR = {2015},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {simplicial set, kripke model, constructivity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397515000717},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}