@article{Blaser/05b,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {Beyond the Alder-Strassen bound},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {3-21},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.029},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sadakane-Takki-Chebihi-Tokuyama/05,
AUTHOR = {Sadakane, Kunihiko and Takki-Chebihi, Nadia and Tokuyama, Takeshi},
TITLE = {Combinatorics and algorithms for low-discrepancy roundings of a real sequence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {23-36},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.030},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Czumaj-Sohler/05a,
AUTHOR = {Czumaj, Artur and Sohler, Christian},
TITLE = {Testing hypergraph colorability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {37-52},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.031},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sibeyn/05,
AUTHOR = {Sibeyn, Jop F.},
TITLE = {Faster gossiping on butterfly networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {53-72},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.032},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cohen-Halperin-Kaplan/05,
AUTHOR = {Cohen, Edith and Halperin, Eran and Kaplan, Haim},
TITLE = {Performance aspects of distributed caches using TTL-based consistency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {73-96},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.033},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Alur-Etessami-Yannakakis/05,
AUTHOR = {Alur, Rajeev and Etessami, Kousha and Yannakakis, Mihalis},
TITLE = {Realizability and verification of MSC graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {97-114},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.034},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{van_Breugel-Worrell/05,
AUTHOR = {van Breugel, Franck and Worrell, James},
TITLE = {A behavioural pseudometric for probabilistic transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {115-142},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.035},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Comon-Cortier/05,
AUTHOR = {Comon, Hubert and Cortier, V{\'e}ronique},
TITLE = {Tree automata with one memory set constraints and cryptographic protocols},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {143-214},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.036},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schroder-Mossakowski-Tarlecki-Klin-Hoffman/05,
AUTHOR = {Schr{\"o}der, Lutz and Mossakowski, Till and Tarlecki, Andrzej and Klin, Bartek and Hoffman, Piotr},
TITLE = {Amalgamation in the semantics of CASL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {1},
PAGES = {215-247},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.037},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abraham-de_Boer-de_Roever-Steffen/05,
AUTHOR = {{\'A}brah{\'a}m, Erika and de Boer, Frank S. and de Roever, Willem-Paul and Steffen, Martin},
TITLE = {An assertion-based proof system for multithreaded Java},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {251-290},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.019},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hooman-van_de_Pol/05,
AUTHOR = {Hooman, Jozef and van de Pol, Jaco},
TITLE = {Semantic models of a timed distributed dataspace architecture},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {291-323},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.020},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ferrari-Montanari-Tuosto/05,
AUTHOR = {Ferrari, Gianluigi and Montanari, Ugo and Tuosto, Emilio},
TITLE = {Coalgebraic minimization of HD-automata for the $\pi$-calculus using polymorphic types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {325-365},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.021},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Achermann-Nierstrasz/05,
AUTHOR = {Achermann, Franz and Nierstrasz, Oscar},
TITLE = {A calculus for reasoning about software composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {367-396},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.022},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kesten-Pnueli/05,
AUTHOR = {Kesten, Yonit and Pnueli, Amir},
TITLE = {A compositional approach to CTL* verification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {397-428},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.023},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sekerinski/05,
AUTHOR = {Sekerinski, Emil},
TITLE = {Verification and refinement with fine-grained action-based concurrent objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {429-455},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {object-based concurrency, actions, verification, refinement, weakest preconditions},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.024},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pattinson-Wirsing/05,
AUTHOR = {Pattinson, Dirk and Wirsing, Martin},
TITLE = {A coordination approach to mobile components},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {331},
NUMBER = {2-3},
PAGES = {457-483},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.025},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}