@article{Bonnet-Finkel-Haddad-Rosa-Velardo/13,
AUTHOR = {Bonnet, R{\'e}mi and Finkel, Alain and Haddad, Serge and Rosa-Velardo, Fernando},
TITLE = {Ordinal theory for expressiveness of well-structured transition systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {224},
PAGES = {1-22},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {well-structured transition systems, expressiveness, coverability languages, well-partial orders, ordinals},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001769},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Edalat-Lieutier-Pattinson/13,
AUTHOR = {Edalat, Abbas and Lieutier, Andr{\'e} and Pattinson, Dirk},
TITLE = {A computational model for multi-variable differential calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {224},
PAGES = {23-45},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {domain theory, data type, clarke gradient, l-derivative, computability, effective structure, interval-valued path integration, green's theorem, minimal surface},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001939},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Brazdil-Forejt-Krcal-Kretinsky-Kucera/13,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Forejt, Vojt{\v{e}}ch and Kr{\v{c}}{\'a}l, Jan and K{\v{r}}et{\'{i}}nsk{\'y}, Jan and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Continuous-time stochastic games with time-bounded reachability},
JOURNAL = {Inf.~Comput.},
VOLUME = {224},
PAGES = {46-70},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {continuous time stochastic systems, time-bounded reachability, stochastic games},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000023},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Lohrey-Mathissen/13,
AUTHOR = {Lohrey, Markus and Mathissen, Christian},
TITLE = {Isomorphism of regular trees and words},
JOURNAL = {Inf.~Comput.},
VOLUME = {224},
PAGES = {71-105},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000035},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}